---

Index of 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