---

Map of content

• Statement
  • Propositional variable
  • Tautology
  • Kinds
    • Atomic statement
    • Molecular statement
      • Truth table
• Connective
  • Elementary
    • Negation
    • Conjunction
    • Disjunction
  • De Morgan’s laws
  • Conditional
    • Constituents
      • Antecedent
      • Consequent
    • Modifications
      • Contrapositive
      • Converse
  • Biconditional
  • Exclusive disjunction
  • Mutual exclusivity
• Argument
  • Constituents
    • Premise
    • Conclusion
  • Rule of inference
    • Modus ponens
  • Fallacy