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)
“The usefulness of madmen is famous: they demonstrate society’s logic flagrantly carried out down to its last scrimshaw scrap.”
—Cynthia Ozick (b. 1928)