Fontem paginae Notatio Polonica inspicere

[[Fasciculus:Prefix-dia.svg|thumb|125px]]
'''Notatio Polonica,''' etiam '''notatio praefixorum Polonica''' vel simpliciter '''notatio praefixorum,''' est genus [[notatio]]nis in usu in [[logica]], [[arithmetica]], et [[algebra]]. Sua proprietas unica est [[operator (mathematica)|operatores]] ad sinistram eorum [[operandum|operandorum]] ponere. Si [[aritas]] operatorum certa sit, eventus est [[syntax]] [[parenthesis|parenthesibus]] vel aliis uncis carens qui sine ambiguitate iam describi potest. [[Ioannes Łukasiewicz]], logicus [[Polonia|Polonus]], hanc notationem anno [[1924]] excogitavit ut [[calculus propositionalis|logicam sententialem]] faciliorem reddat.

[[Alonzus Church]] in [[liber|libro]] classico de [[logica mathematica]] hanc rationem commemorat, quam dignam notationis aestimat in rationibus notationis adeo contra expositionem notationis logicae [[Alfredus North Whitehead|Alfredi North Whitehead]] et [[Bertrand Russell|Bertrandi Russell]] et eorum opus in libro ''[[Principia Mathematica|Principiis Mathematicis]].''<ref>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."</ref>

==Notatio Polonica in logica==
Tabula infra data nucleum notationis [[Ioannes Łukasiewicz|Ioannis Łukasiewicz]] pro [[logica sententialis|logica sententiali]] excogitatae monstrat.<ref>Craig [http://books.google.com/books?id=mxpFwcAplaAC&pg=PA496 1998:496.]</ref> Nonnullae [[littera]]e in tabula certa [[vocabulum|verba]] in [[lingua Polonica]] significant.
{| class=wikitable
|-
!Sententia!!Notatio usitata!!Notatio Polonica!!Verbum Polonicum
|-
|- style="border-top:3px solid #999;"
|-
|[[Negatio]]||<math>\neg\varphi</math>||<math>\mathrm N\varphi</math>||''negacja''
|-
|[[Coniunctio]]||<math>\varphi</math>∧<math>\psi</math>||<math>\mathrm K\varphi\psi</math>||''koniunkcja''
|-
|[[Disiunctio]]||<math>\varphi</math>∨<math>\psi</math>||<math>\mathrm A\varphi\psi</math>||''alternatywa''
|-
|[[Conditionale materiale]]||<math>\varphi\to\psi</math>||<math>\mathrm C\varphi\psi</math>||''implikacja''
|-
|[[Biconditionale]]||<math>\varphi\leftrightarrow\psi</math>||<math>\mathrm E\varphi\psi</math>||''ekwiwalencja''
|-
|[[Falsum]]||<math>\bot</math>||<math>\mathrm O</math>||''fałsz''
|-
|[[Ictus Shefferanus]]||<math>\varphi\mid\psi </math>||<math>\mathrm D\varphi\psi</math>||''dysjunkcja''
|-
|[[Possibilitas]]||<math>\Diamond\varphi</math>||<math>\mathrm M\varphi</math>||''możliwość''
|-
|[[Necessitas]]||<math>\Box\varphi</math>||<math>\mathrm L\varphi</math>||''konieczność''
|-
|[[Quantificator universalis]]||<math>\forall p\,\varphi</math>||<math>\Pi p\,\varphi</math>||''kwantyfikator ogólny''
|-
|[[Quantificator existentialis]]||<math>\exists p\,\varphi</math>||<math>\Sigma p\,\varphi</math>||''kwantyfikator szczegółowy''
|}

{{NexInt}}
*[[Adhibitio functionum]]
*[[Calculus lambda]]
*[[Expressio-S]]
*[[Lisp]]
*[[Notatio Hungarica]]
*[[Notatio Polonica reversa]]

==Notae==
<div class="references-small"><references/></div>

==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]]<!--en:I. Polish--><!--sed inventiones "inventings"; inventa "things invented"-->