Prädikatenlogik/Quantoren/Tautologie/Vertauschung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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