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.