Zum Inhalt springen

Aussagenlogik/Ableitung/Externe und interne Implikation/Aufgabe

Aus Wikiversity

Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik über einer Aussagenvariablenmenge und es seien . Zeige, dass

zu

äquivalent ist.