Logical notation devised by the Polish logician Jan Łukasiewicz (1878–1956) which dispenses with the need for parentheses indicating the scope of each logical connective. The propositional functors are N for ¬ (negation); K for & (conjunction); C for → (implication); and E for ↔ (equivalence). Each precedes the symbols to which it applies, and since there is a definite number of these, no scope ambiguity can arise. Thus CKpqr reads (p & q ) →r . The different p & (q →r ) would be KpCqr . The quantifiers are xFx and ΣxFx . Although intellectually elegant, Polish notation is hard to read without practice, and is not widely used.
Philosophy dictionary. Academic. 2011.