Ce concluzie rezultă în mod logic din următoarele afirmații:
(1) Nimeni nu este interesat de revista National Geographic Traveler dacă nu este bine educat;
(2) Niciun arici nu știe să citească;
(3) Cei care nu știu să citească nu sunt bine educați.
(după Lewis Carroll)

Soluție:

Spațiul de lucru al acestei probleme este mulțimea tuturor viețuitoarelor de pe Pământ iar cele 3 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
I: este interesat de revista National Geographic Traveler;
E: este bine educat;
A: este arici;
C: știe să citească.

Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (1)-(3), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(1) ¬ E ⇒ ¬ I;
     I ⇒  E;
(2)  A ⇒ ¬ C;
     C ⇒ ¬ A;
(3) ¬ C ⇒ ¬ E;
     E ⇒  C.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
A ⇒ ¬ C ⇒ ¬ E ⇒ ¬ I.
Așadar, soluția problemei este implicația:
A ⇒ ¬ I;
adică
Dacă este arici, atunci nu este interesat de revista National Geographic Traveler
sau
Niciun arici nu este interesat de revista National Geographic Traveler.

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?: