Aussagenlogik/Ableitung/Externe und interne Implikation/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Die Ableitungsbeziehung

bedeutet, dass es Ausdrücke mit

gibt. Aufgrund der aussagenlogischen Tautologie

ist dies äquivalent zu

Dies bedeutet gerade