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ă.

Susține Logicus.ro!

Dacă îți plac problemele de logică de pe www.logicus.ro și vrei să contribui și tu la eforturile noastre, ai acum ocazia de a ne susține!

Cu cât vrei să contribui?: