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:
“You will have to polish up the stars
with Bab-o and find a new God
as the earth empties out
into the gnarled hands of the old redeemer.”
—Anne Sexton (1928–1974)
“What avail all your scholarly accomplishments and learning, compared with wisdom and manhood? To omit his other behavior, see what a work this comparatively unread and unlettered man wrote within six weeks. Where is our professor of belles-lettres, or of logic and rhetoric, who can write so well?”
—Henry David Thoreau (1817–1862)