Prädikatenlogik/Quantoren/Tautologien/Ableitungen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Die folgenden Ausdrücke sind im Prädikatenkalkül ableitbar.

Zum Beweis, Alternativen Beweis erstellen