Über einen Teilbereich des Aussagenkalküls.

MaRDI QIDQ2624155zbMATH OpenFDO

Authors Kurt Schütte

Publication date 1933

Published in Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie. Classe III (Search for Journal in Brave)

Review text

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.

This page was built for publication: Über einen Teilbereich des Aussagenkalküls.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2624155)