Prädikatenlogik/Quantoren/Tautologien/Ableitungen/Fakt
Zur Navigation springen
Zur Suche springen
Zum Beweis, Alternativen Beweis erstellen
Die folgenden Ausdrücke sind im Prädikatenkalkül ableitbar.