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.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos
