Tipărire

Ce concluzie rezultă în mod logic din următoarele afirmații:
(a) Niciun terier nu rătăcește printre semnele zodiacale;
(b) Nimic din ce nu rătăcește printre semnele zodiacale nu este o cometă;
(c) Doar terierii au coada îmbârligată.
(după Lewis Carroll)

Soluție:

Spațiul de lucru al acestei probleme este universul cu tot ceea ce cuprinde el, iar cele 3 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
T: este terier;
R: rătăcește printre semnele zodiacale;
C: este cometă;
I: are coada îmbârligată.
Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (a)-(c), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(a)  T ⇒ ¬ R;
     R ⇒ ¬ T;
(b) ¬ R ⇒ ¬ C;
     C ⇒  R;
(c)  T ⇒  I;
    ¬ I ⇒ ¬ T;
    ¬ T ⇒ ¬ I;
     I ⇒  T.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
C ⇒ R ⇒ ¬ T ⇒ ¬ I.
Așadar, soluția problemei este implicația:
C ⇒ ¬ I
adică
Nicio cometă nu are coada îmbârligată.