Prädikatenlogik

Einige prädikatenlogische Äquivalenzen

Dieses Kapitel stellt exemplarisch einige häufiger gebrauchte prädikatenlogische Äquivalenzen, angezeigt durch den Doppelpfeil, dar.

Sprich: die Verneinung der Aussage „Alle Autos sind grün“ lässt sich wahlweise als „Nicht alle Autos sind grün“ oder als „Es gibt mindestens ein Auto, das nicht grün ist“ formulieren.

Diese Äquivalenz zeigt auf, dass die Verneinung der Aussage „Es gibt mindestens einen Ostfriesen, der die Wahrheit sagt“ wahlweise als „Es ist nicht der Fall, dass es mindestens einen Ostfriesen gibt, der die Wahrheit sagt“ oder als „Alle Ostfriesen sagen nicht die Wahrheit“ ausgedrückt werden kann.

Copyright- und Lizenzinformationen: Diese Seite basiert auf dem Artikel Prädikatenlogik aus der freien Enzyklοpädιe Wιkιpedιa und steht unter der Lizenz Creative Commons CC-BY-SA 3.0 Unported (Kurzfassung). Liste der Autoren

Anbieterkennzeichnung