Zum Inhalt springen

Prädikatenlogik/Quantoren/Tautologie/Vertauschung/Fakt

Aus Wikiversity

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