Logic (from Classical Greek λόγος logos; meaning word, thought, idea, argument, account, reason, or principle) is the study of the principles and criteria of valid inference and demonstration. As a formal science, logic investigates and classifies...

Logic summary and related information.

Inductive reasoning

Natural deduction, an approach to proof theory that attempts to provide a formal model of logical reasoning as it "naturally" occurs

Venn diagram

Deductive reasoning, inference in which the conclusion is of no greater generality than the premises

Itemized deductions

Standard deduction