Notacja Łukasiewicza

Jan Łukasiewicz zaproponował zapis bez nawiasów.

Przykład:

C p q

oznacza:

p → q

Schemat wnioskowania:

C C p q r

---

---

• Sylogizm

Tagi

historia-logiki inne-dziedziny-akademickie evergreen