Vocabulary for Unit 2

Adjacent angles

And, or, not

Antecedent

Biconditional

Conclusion

Conditional

Consequent

Contradiction

Contrapositive

Converse

Deductive

Definition

Direct proof

Euler diagram

Hypothesis

Indirect proof

Inductive

Invalid

Inverse

Logic

Logically equivalent

Modus Ponens

Modus Tollens

Negation

Premise

Proof

Theorem

Transitive

Truth table

Valid

Vertical angles