Aufgabe:
Zeigen Sie, dass es zu jeder aussagenlogischen Formel F eine semantisch äquivalente Formel gibt, die nur den Junktor ↓ enthält, also ¬P∧¬Q
Kann mir jemand helfen?
Hallo,
das ist der Peirce-Pfeil. Dieser ist in der Tat funktional vollständig. Er ist dual zum Shefferschen Strich. Du kannst dich also hier inspirieren lassen. Noch besser hier.
