L1 DESTROY

• Negation


  ¬ (logical NOT)
• Conjunction


  ∧ (logical AND)
• Disjunction


  ∨ (logical OR)
• Implication


  → "if... then...")
• Biconditional


  ↔ ( "if and only if")