logika Olek: Zapisz w postaci formuły klasycznego rachunku zdań następujące zdanie. Jeżeli Jan zna logikę, to jeżeli Jan urodził się w V wieku przed naszą erą, to Jan zna logikę i urodził się w V wieku Czy to zdanie wygląda tak: p− Jan zna logikę  q− Jan urodził się w V wieku (p⇒q)⇒(p⋀q)?

ite: Jeżeli Jan zna logikę, to (jeżeli Jan urodził się w V wieku przed naszą erą, to (Jan zna logikę i urodził się w V wieku)).

Olek: p⇒(q⇒(p∧q)) ?

ite: Tak. formuła z 14:26 (p⇒q)⇒(p⋀q) imo odpowiada zdaniu: Jeżeli z tego, że Jan zna logikę, wynika że Jan urodził się w V wieku przed naszą erą, to Jan zna logikę i urodził się w V wieku.