Proposition

• A declarative statement that is true or false
• Symbolized with propositional variables (typically $p, q, r, s$)

Compound Propositions

• Can be constructed with the use of logical connectives
  • $\neg$ Negation (“not”)
  • $\land$ Conjunction (“and”)
  • $\lor$ Disjunction (“or”)
  • $\implies$ Implication (“implies”)
  • $\iff$ Biconditional (“iff”)
• The propositions that build a compound proposition are known as atomic propositions