Aussagenlogik/Ableitungskalkül/Konjunktion/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Für ist

und

Zum Beweis, Alternativen Beweis erstellen