Über einen Teilbereich des Aussagenkalküls. (Q2624155)

Verf. stellt im Bereiche des Aussagenkalküls ein System von drei Axiomen auf, die sich mit der \textit{Hilbert}schen Symbolik (anstatt der vom Verf. benützten Symbolik der polnischen logistischen Schule) folgendermaßen schreiben: \((1)\;p\rightarrow (q\rightarrow p)\), \((2)\^^M(p\rightarrow q) \rightarrow [(q\rightarrow r) \rightarrow (q\rightarrow r)]\), \((3)\;[(p\rightarrow q) \rightarrow p] \rightarrow p\). Dieses System ist, wie bewiesen wird, ausreichend, um alle richtigen Aussageformeln abzuleiten, in denen die Implikation als einzige Grundverknüpfung auftritt.