Prädikatenkalkül/Konjunktion der Allaussage/Rückrichtung/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es ist

aufgrund einer aussagenlogischen Tautologie. Nach Aufgabe ergibt sich

und ebenso

Dies zusammengenommen ergibt