Jan Łukasiewicz zaproponował zapis bez nawiasów. Przykład: C p q oznacza: p → q Schemat wnioskowania: C C p q r Cytaty Źródła Sylogizm