Ce concluzie rezultă în mod logic din următoarele afirmații:
(a) Nicio pasăre, cu excepția struțului, nu are 2,8m înălțime;
(b) Nicio pasăre din această volieră nu aparține altcuiva decât mie;
(c) Niciun struț nu se hrănește cu plăcintă de șoarece;
(d) Nu am păsări cu înălțimea mai mică de 2,8m.
(Lewis Carroll)

Soluție:

Spațiul de lucru al acestei probleme este mulțimea tuturor păsărilor iar cele 4 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
S: este struț;
I: are înălțimea de 2,8m;
V: este pasăre din această volieră;
A: aparține altcuiva decât mie;
H: se hrănește cu plăcintă de șoarece.
Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (a)-(d), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(a) ¬ S ⇒ ¬ I;
     I ⇒  S;
     S ⇒  I;
    ¬ I ⇒ ¬ S;
(b)  V ⇒ ¬ A;
     A ⇒ ¬ V;
(c)  S ⇒ ¬ H;
     H ⇒ ¬ S;
(d) ¬ A ⇒  I;
    ¬ I ⇒  A.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
V ⇒ ¬ A ⇒ I ⇒ S ⇒ ¬ H.
Așadar, soluția problemei este implicația:
V ⇒ ¬ H
adică
Dacă este pasăre din această volieră, atunci nu se hrănește cu plăcintă de șoarece;
sau
Nicio pasăre din această volieră nu se hrănește cu plăcintă de șoarece.

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