Prädikatenlogik/Quantoren/Tautologien/Ableitungen/Fakt

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