Aussagenlogik/Ableitung/Externe und interne Implikation/Aufgabe
Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik über einer Aussagenvariablenmenge und es seien . Zeige, dass
zu
äquivalent ist.
Es sei eine Ausdrucksmenge in der
Sprache der Aussagenlogik
über einer Aussagenvariablenmenge
und es seien
. Zeige, dass
zu
äquivalent ist.