Es gibt vier Aussagen: A: Er ist jung. B: Er ist langsam. C: Er ist alt. E: Er ist schnell. Dann bedeutet ¬A: Er ist nicht jung. ¬B: Er ist nicht langsam. ¬C: Er ist nicht alt. ¬E: Er ist nicht schnell.
) Er ist jung und langsam: A ∧ B
2) Er ist weder alt noch jung: ¬ (C ∧ A)
3) Es stimmt nicht, dass er jung und schnell ist: ((¬A ∨ ¬E)
4) Wenn er langsam ist, so ist er jung: B ⇒ A