| Term | Definition |
| proof | an explanation as to why something is true |
| conditional statement | if HYPOTHESIS then CONCLUSION |
| hypothesis | independent |
| conclusion | dependent |
| converse | if CONCLUSION then HYPOTHESIS |
| counter example | an illustration showing why a statement is false |
| negation | writing the opposite or negative of a statement |
| inverse | if not HYPOTHESIS then not CONCLUSION |
| contra positive | if not CONCLUSION then not HYPOTHESIS |
| law of syllogism | (or logic chain) p->q and q->r, p->r |
| law of detachment | p->q, p therefore q |
| law of contrapositive | p->q, not q, therefore not p |
| biconditional statements | written as iff (hypothesis iff conclusion) |
| definition | statements that are always true |
| euler's diagram | you need to know about the euler's diagram... but idk how to put it up so just please type euler's diagram and move on |