Logic
- Logic
- Propositional logic
- Statement
- Propositional variable
- Tautology
- Atomic statement
- Molecular statement
- Truth table
- Logical connective
- Negation
- Conjunction
- Disjunction
- De Morgan’s laws
- Conditional
- Antecedent
- Consequent
- Contrapositive
- Converse
- Biconditional
- Exclusive disjunction
- Mutual exclusivity
- Argument
- Premise
- Conclusion
- Rule of inference
- Modus ponens
- Fallacy
- Predicate logic
- Predicate
- Quantifier
- Universal quantifier
- Existential quantifier
- Unique existential quantifier