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

Zur gelösten Aufgabe