Polish Notation - Polish Notation For Logic

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 negacja
Conjunction Kφψ koniunkcja
Disjunction Aφψ alternatywa
Material conditional Cφψ implikacja
Biconditional Eφψ ekwiwalencja
Falsum O fałsz
Sheffer stroke Dφψ dysjunkcja
Possibility możliwość
Necessity 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:

    It has always been my practice to cast a long paragraph in a single mould, to try it by my ear, to deposit it in my memory, but to suspend the action of the pen till I had given the last polish to my work.
    Edward Gibbon (1737–1794)

    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)