Ce concluzie rezultă în mod logic din următoarele afirmații:
(a) Toate păsările colibri sunt viu colorate;
(b) Nicio pasăre de talie mare nu se hrănește cu miere;
(c) Păsările care nu se hrănesc cu miere au un colorit șters.
(Lewis Carroll)
Soluție:
Spațiul de lucru al acestei probleme este mulțimea tuturor păsărilor iar cele 3 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
C: este colibri;
V: este viu colorat;
T: este de talie mare;
H: se hrănește cu miere.
Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (a)-(c), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(a)  C ⇒  V;
    ¬ V ⇒ ¬ C;
(b)  T ⇒ ¬ H;
     H ⇒ ¬ T;
(c) ¬ H ⇒ ¬ V;
     V ⇒  H.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
C ⇒ V ⇒ H ⇒ ¬ T.
Așadar, soluția problemei este implicația:
C ⇒ ¬ T;
adică
Dacă este colibri, atunci nu este o pasăre de talie mare
sau
Niciun colibri nu este de talie mare.

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