Logic & Proof
Conditional statements, proof methods, logical connectives, and quantifiers
All Terms (32)
- Axiom
- Conclusion
- Conditional
- Conjecture
- Conjunction
- Contrapositive
- Converse
- Corollary
- Counterexample
- Disjunction
- Exclusive
- Exclusive or
- Hypothesis
- if and only if
- Inclusive
- Inclusive or
- Proof by Contradiction
- Induction
- Inverse of a Conditional
- Lemma
- Modus Ponens
- Modus Tolens
- Postulate
- QED
- Theorem
- Tautology
- Modus Tollens
- Negation Sign
- NAND
- Conjunctive Normal Form
- Universal Sentence
- NOR