| A | B |
|---|
| logic | Procedure of correct reasoning |
| inductive logic | A conclusion reached by a series of observations. |
| deductive logic | A conclusion reached by if-then reasoning. |
| proof | The process of establishing the truth of general statements. |
| premises | The assumptions made in a logical proof. |
| conclusion | Statement whose truth is to be verified given the premises. |
| statement | A sentence that is either true or false. |
| axiom | A statement assumed to be true. |
