Ce concluzie rezultă în mod logic din următoarele afirmații:
(a) Animalele care nu se zbat nu sunt nărăvașe;
(b) Măgarii nu au coarne;
(c) Un bivol poate să te azvârle peste poartă;
(d) Animalele care se zbat nu sunt ușor de înghițit;
(e) Niciun animal nepurtător de coarne nu poate să te azvârle peste poartă;
(f) Toate animalele, cu excepția bivolilor, sunt nărăvașe.
(Lewis Carroll)

Soluție:

Spațiul de lucru al acestei probleme este mulțimea tuturor animalelor iar cele 6 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
Z: se zbate;
N: este nărăvaș;
M: este măgar;
C: are coarne;
B: este bivol;
A: poate să te azvârle peste poartă;
I: este ușor de înghițit.
Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (a)-(f), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(a) ¬ Z ⇒ ¬ N;
     N ⇒  Z;
(b)  M ⇒ ¬ C;
     C ⇒ ¬ M;
(c)  B ⇒  A;
    ¬ A ⇒ ¬ B;
(d)  Z ⇒ ¬ I;
     I ⇒ ¬ Z;
(e) ¬ C ⇒ ¬ A;
     A ⇒  C;
(f) ¬ B ⇒  N;
    ¬ N ⇒  B;
     N ⇒ ¬ B;
     B ⇒ ¬ N.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
I ⇒ ¬ Z ⇒ ¬ N ⇒ B ⇒ A ⇒ C ⇒ ¬ M
Așadar, soluția problemei este implicația:
I ⇒ ¬ M
sau, echivalent,
M ⇒ ¬ I
adică
Dacă este măgar, nu e ușor de înghițit;
sau, în limbajul curent,
Măgarii nu sunt ușor de înghițit.

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