&;ukasiewicz-Notation, Polnische Notation, Klammerfreie Schreibweise
Als &;ukasiewicz-Notation, polnische Notation oder klammerfreie Schreibweise bezeichnet man eine Notation des Aussagenkalküls, bei der als Aussagenvariablen kleine Buchstaben, evtl. mit Indizes und als Junktoren große Buchstaben, evtl. ebenfalls mit Indizes verwendet werden und die keine Klammern benötigt.Im Fall der zweiwertigen Logik wird die Konjunktion p &; q durch Kpq, die Alternative p &; q durch Apq, die Implikation p &; q durch Cpq, die Äquivalenz p &; q durch Epq und die Negation &;p durch Np wiedergegeben.
Der Ausdruck (p &; (q &; r)) &; (p &; q &; r) wird z. B. zu der Formel CCpCqrCKpqr, (p &; q) &; r zu CCpqr und der Ausdruck p &; (q &; r) zu CpCqr.
Die klammerfreie Schreibweise ist eindeutig. Sie wurde von &;ukasiewicz eingeführt und wird vor allem von polnischen Logikern verwendet.
a – Axiom | Badische Schule – Buridians Esel | C – covering-law model | Daimonion – Dysteleologie | e – externe Relation | fallacia – Für-Wahr-Halten | G43-Implikation – Gruppe, Berliner | Halbierungsparadoxie – Hysteresis | i – Isosthenie der Argumente | judicium | K – Kyrieuon | language of thought – Lust, sinnliche | M – Münchhausentrilemma | N – nyāya-Schule | o – Oxymoron | P – Pythagoreismus | Quadrat, logisches – Quodlibetarier | R – Russell’s Antinomie | S – Szientismus | t – twin earth | Übel – utraque praemissa … | Vagheit – Vulgärmaterialismus | w – Würde | x – XYZ | Yager-Intersection – Yoga | Zadeh-1-Implikation – Zynismus