Notatio Polonica

Notatio Polonica, etiam notatio praefixorum Polonica vel simpliciter notatio praefixorum, est genus notationis in usu in logica, arithmetica, et algebra. Sua proprietas unica est operatores ad sinistram eorum operandorum ponere. Si aritas operatorum certa sit, eventus est syntax parenthesibus vel aliis uncis carens qui sine ambiguitate iam describi potest. Ioannes Łukasiewicz, logicus Polonus, hanc notationem anno 1924 excogitavit ut logicam sententialem faciliorem reddat.

Alonzus Church in libro classico de logica mathematica hanc rationem commemorat, quam dignam notationis aestimat in rationibus notationis adeo contra expositionem notationis logicae Alfredi North Whitehead et Bertrandi Russell et eorum opus in libro Principiis Mathematicis.Church 1944:38: "Worthy of remark is the parenthesis-free notation of Jan Łukasiewicz. In this the letters N, A, C, E, K are used in the roles of negation, disjunction, implication, equivalence, conjunction respectively."

Notatio Polonica in logica
Tabula infra data nucleum notationis Ioannis Łukasiewicz pro logica sententiali excogitatae monstrat.Craig 1998:496. Nonnullae litterae in tabula certa verba in lingua Polonica significant.
SententiaNotatio usitataNotatio PolonicaVerbum PolonicumNegationegacjaConiunctio∧koniunkcjaDisiunctio∨alternatywaConditionale materialeimplikacjaBiconditionaleekwiwalencjaFalsumfałszIctus ShefferanusdysjunkcjaPossibilitasmożliwośćNecessitaskoniecznośćQuantificator universaliskwantyfikator ogólnyQuantificator existentialiskwantyfikator szczegółowy

Adhibitio functionum
Calculus lambda
Expressio-S
Lisp
Notatio Hungarica
Notatio Polonica reversa

Notae

Bibliographia
Church, Alonzo.1944. Introduction to Mathematical Logic. Princetoniae: Princeton University Press.
Craig, Edward. 1998. Routledge Encyclopedia of Philosophy, 8. Taylor & Francis. ISBN 9780415073103.
Łukasiewicz, Jan. 1930, 1967. Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls. Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie 23:51–77 (1930). Conv. H. Weber ut "Philosophical Remarks on Many-Valued Systems of Propositional Logics," in Polish Logic 1920–1939, ed. Storrs McCall (Oxoniae: Clarendon Press, 1967).
Łukasiewicz, Jan 1957. Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Oxoniae: Oxford University Press.

Categoria:Notatio mathematica
Categoria:Inventiones