0 Daumen
394 Aufrufe

Frage: Ist { ->, 0} vollständige System von Junktoren? Wenn ja/nein, wie beweise man ?


Code:

beweisen oder widerlegen Sie, dass es vollständige Systeme von Junktoren ist.

{ ->, 0}

Avatar von

1 Antwort

0 Daumen

Man versucht, andere Junktoren mittels \(\to\) und \(0\) darzustellen. Zum Beispiel ist

        \(\neg A \equiv A\to 0\)

wie man anhand einer Wahrheitstabelle feststellen kann.

Hat man alle Junktoren eines bekanntermaßen vollständigen Systems mittels \(\to\) und \(0\) dargestellt, dann ist auch \(\{\to, 0\}\) vollständig.

Avatar von 5,6 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community