Ce concluzie rezultă în mod logic din următoarele afirmații:
(1) Niciun rechin nu se îndoiește că este puternic;
(2) Un pește care nu poate dansa menuet este vrednic de dispreț;
(3) Niciun pește nu e sigur că este puternic dacă nu are trei rânduri de dinți;
(4) Toți peștii, cu excepția rechinilor, sunt prietenoși cu copiii;
(5) Niciun pește de talie mare nu poate dansa menuet;
(6) Un pește cu trei rânduri de dinți nu trebuie disprețuit.
(Lewis Carroll)

Soluție:

Spațiul de lucru al acestei probleme este mulțimea tuturor peștilor iar cele 6 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
R: este rechin;
S: este sigur că este puternic;
M: poate dansa menuet;
V: este vrednic de dispreț;
D: are trei rânduri de dinți;
P: este prietenos cu copiii;
T: este de talie mare.
Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (1)-(6), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(1)  R ⇒  S;
    ¬ S ⇒ ¬ R;
(2) ¬ M ⇒  V;
    ¬ V ⇒  M;
(3) ¬ D ⇒ ¬ S;
     S ⇒  D;
(4)  R ⇒ ¬ P;
     P ⇒ ¬ R;
    ¬ R ⇒  P;
    ¬ P ⇒  R;
(5)  T ⇒ ¬ M;
     M ⇒ ¬ T;
(6)  D ⇒ ¬ V;
     V ⇒ ¬ D.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
T ⇒ ¬ M ⇒ V ⇒ ¬ D ⇒ ¬ S ⇒ ¬ R ⇒ P
Așadar, soluția problemei este implicația:
T ⇒ P
adică
Dacă este de talie mare, atunci este prietenos cu copiii;
sau, echivalent,
Peștii de talie mare sunt prietenoși cu copiii.

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