Prädikatenlogik/Quantoren/Tautologie/Vertauschung/Fakt

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