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


Die Ableitungsbeziehung

bedeutet, dass es Ausdrücke mit

gibt. Aufgrund der aussagenlogischen Tautologie

ist dies äquivalent zu

Dies bedeutet gerade