0 Daumen
263 Aufrufe

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?

Avatar von

1 Antwort

0 Daumen

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.

blob.png

Avatar von 28 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community