Classical negation can be expressed by one of its halves (Q4237677)

Der Autor betrachtet Formeln, die aus aussagenlogischen Variablen vermittels einer zweistelligen Operation \(\succ\) und einer einstelligen Operation \(\Theta\) aufgebaut sind. Als Interpretationen sind solche Funktionen \(\beta\) aus der Menge dieser Formeln nach \(\{0,1\}\) zulässig, bei denen: 1) \(\beta(a \succ b)=0\) genau dann, wenn \(\beta(a)=1\) und \(\beta(b)=0\); 2) wenn \(\beta(a)=1\), dann \(\beta(\Theta a)=0\). Falls \(a\) eine Formel und \(T\) eine Menge von Formeln ist, dann gilt definitionsgemäß: \(T\vDash_{k/2}a\) genau dann, wenn für jede zulässige Funktion \(\beta\), bei der \(\beta(b)=1\) für alle \(b\in T\), auch \(\beta(a)=1\) gilt. Wenn man \(\succ\) als die Implikation und \(\Theta\) als die Negation interpretiert, dann ist \(\vDash_{k/2}\) schwächer als das klassische Ableitbarkeitssymbol \(\vDash_k\). Wenn man aber die Implikation \(a\to b\) als \(a\succ b\) und die Negation \(\neg a\) als \(a\succ\Theta a\) interpretiert, dann wird die ganze klassische Aussagenlogik durch einen Teil des gegebenen Kalküls ausgedrückt, wobei in diesem Teil \(\vDash_{k/2}\) genau dem klassischen Ableitbarkeitssymbol \(\vDash_k\) entspricht.