Prädikatenlogik/Aussagenlogische Tautologie/Einsetzen/1/Beispiel

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Wir betrachten die aussagenlogische Tautologie der Form

mit

also

In diese aussagenlogische Tautologie soll

ersetzt werden. Das ergibt die prädikatenlogische Tautologie