Formuła klasycznego rachunku zdań Oaza: Proszę o pomoc przy zadaniu. 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 przed naszą erą. Myślałem, żeby zrobić to tak: j− Jan zna logikę p− Jan urodził się w V wieku przed naszą erą (j⇒p)⇒ j ⋀ p ale coś czuje, że jest źle

iteRacj@: pomocniczo: 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 przed naszą erą}. czyli j⇒( p⇒(j∧p) )

Oaza: Dzięki wielkie