Deduction

• Deductive reasoning
  Deductive reasoning
  
  Deductive reasoning, sometimes called deductive logic, is reasoning which constructs or evaluates deductive Argument s.In logic, an argument is said to be deductive when the truth of the conclusion is purported to follow necessarily or be a logical consequence of the premises and its corresponding conditional is a necessary truth....
  , inference in which the conclusion is of no greater generality than the premises
• Natural deduction
  Natural deduction
  
  In philosophical logic, natural deduction is an approach to proof theory that attempts to provide a deductive system which is a formal model of logical reasoning as it "naturally" occurs....
  , an approach to proof theory that attempts to provide a formal model of logical reasoning as it "naturally" occurs

• Tax deduction
  Tax deduction
  
  A tax deduction or a tax-deductible expense affects a taxpayer's income tax. A tax deduction represents an expense incurred by a taxpayer....
  , variable amounts that you can subtract, or deduct, from your gross income.
• Itemized deduction
  Itemized deduction
  
  Individual taxpayers in the United States are allowed a choice when preparing their Federal income tax returns. After computing their Adjusted gross income , taxpayers can itemize their deductions and subtract those itemized deductions from their AGI amount to arrive at their taxable income amount....
  
• Standard deduction
  Standard deduction
  
  The standard deduction, as defined under United States tax law, is a dollar amount that non-itemizers may subtract from their income and is based upon filing status....
  

See also

• Logic
  Logic
  
  Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical Trivium . The word derives from Greek language ?????? , fem....
  
• Venn diagram
  Venn diagram
  
  Venn diagrams or set diagrams are diagrams that show all hypothetically possible logical relations between a finite collection of Set . Venn diagrams were invented around 1880 by John Venn....
  
• Inductive reasoning
  Inductive reasoning
  
  Induction or inductive reasoning, sometimes called inductive logic, is reasoning which takes us "beyond the confines of our current evidence or knowledge to conclusions about the unknown." The premises of an inductive logical argument support the conclusion but do not entailment it; i.e....