Polish Notation For Logic
The table below shows the core of Jan Łukasiewicz's notation for sentential logic. The "conventional" notation did not become so until the 1970s and 80s. Some letters in the Polish notation table means a certain word in Polish, as shown:
| Concept | Conventional notation |
Polish notation |
Polish word |
|---|---|---|---|
| Negation | Nφ | negacja | |
| Conjunction | Kφψ | koniunkcja | |
| Disjunction | Aφψ | alternatywa | |
| Material conditional | Cφψ | implikacja | |
| Biconditional | Eφψ | ekwiwalencja | |
| Falsum | O | fałsz | |
| Sheffer stroke | Dφψ | dysjunkcja | |
| Possibility | Mφ | możliwość | |
| Necessity | Lφ | konieczność | |
| Universal quantifier | Πpφ | kwantyfikator ogólny | |
| Existential quantifier | Σpφ | kwantyfikator szczegółowy |
Note that the quantifiers ranged over propositional values in Łukasiewicz's work on many-valued logics.
Bocheński introduced an incompatible system of Polish notation that names all 16 binary connectives of classical propositional logic.
Read more about this topic: Polish Notation
Famous quotes containing the words polish and/or logic:
“‘Then I polish all the silver, which a supper-table lacquers;
Then I write the pretty mottoes which you find inside the
crackers’—”
—Sir William Schwenck Gilbert (1836–1911)
“Though living is a dreadful thing
And a dreadful thing is it
Life the niggard will not thank,
She will not teach who will not sing,
And what serves, on the final bank,
Our logic and our wit?”
—Philip Larkin (1922–1986)