Negieren Sie die folgende Aussage, wobei keine Negation für Quantoren verwendet werden soll.
Beachten Sie dabei die allgemeinen Regeln der Aussagenlogik:
¬∀x∶φ(x) ⇐⇒ ∃x∶¬φ(x) und ¬∃x∶φ(x) ⇐⇒ ∀x∶¬φ(x).
Sei L eine Menge und n ∈ N eine natürliche Zahl (in dieser Veranstaltung können Sie im Allgemeinen davon ausgehen, dass N = {0,1,2,3,4,...} gilt). Bitte gehen Sie davon aus, dass es keine Pizza gibt, die gleichzeitig Ananas enthält.
Alle Personen mit braunen Haaren im Raum mögen italienisches Essen, aber nur wenn es entweder eine Pizza ist oder Ananas enthält.