Probleme de raţionament

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.

Probleme de gândire laterală

Care este opusul imaginației?

Mr. Banks a intrat în cadă fără să se ude. Cum a reuşit?

Citește mai departe...