Question

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}

Answer 1

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.