| A | B |
|---|
| Logic | Science and art of reasoning well |
| Law of Excluded Middle | Any statement is either true or false |
| Law of Identity | If a statement is true, then it is true. |
| Law of Noncontradiction | A statement cannot be both true and false |
| Formal Logic | Deals with the proper modes of reasoning |
| Informal Logic | Deals with operations of thinking that are indirectly related to reasoning |
| Induction | Reasoning with probability from examples or experience to general rules |
| Deduction | Reasoning with certainty from premises to conclusions |
| Categorical Logic | Type of logic which deals with syllogism which was developed by Aristotle |
| Syllogism | Type of deductive argument in which the conclusion connects one category(or term) with another |
| Propositional Logic | Connects entire propositions together in arguments |
