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:
“The total and universal want of manners, both in males and females, is ... remarkable ... that polish which removes the coarser and rougher parts of our nature is unknown and undreamed of.”
—Frances Trollope (1780–1863)
“Somebody who should have been born
is gone.
Yes, woman, such logic will lead
to loss without death. Or say what you meant,
you coward . . . this baby that I bleed.”
—Anne Sexton (1928–1974)