Ce concluzie rezultă în mod logic din următoarele afirmații:
(1) Disprețuiesc tot ceea ce nu poate fi utilizat ca pod;
(2) Tot ceea ce merită un imn de slăvire este un dar binevenit pentru mine;
(3) Un curcubeu nu poate susține greutatea unei roabe;
(4) Tot ceea ce poate fi utilizat ca pod poate susține greutatea unei roabe;
(5) Nu aș primi în dar un lucru pe care-l disprețuiesc.
(Lewis Carroll)

Soluție:

Spațiul de lucru al acestei probleme este mulțimea tuturor obiectelor de pe Pământ iar cele 5 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
D: îl disprețuiesc;
P: poate fi utilizat ca pod;
M: merită un imn de slăvire;
R: este un dar binevenit pentru mine;
C: este curcubeu;
S: poate susține greutatea unei roabe.
Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (1)-(5), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(1) ¬ P ⇒  D;
    ¬ D ⇒  P;
(2)  M ⇒  R;
    ¬ R ⇒ ¬ M;
(3)  C ⇒ ¬ S;
     S ⇒ ¬ C;
(4)  P ⇒  S;
    ¬ S ⇒ ¬ P;
(5)  D ⇒ ¬ R;
     R ⇒ ¬ D.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
C ⇒ ¬ S ⇒ ¬ P ⇒ D ⇒ ¬ R ⇒ ¬ M
Așadar, soluția problemei este implicația:
C ⇒ ¬ M
adică
Dacă este curcubeu, atunci merită un imn de slăvire;
sau
Orice curcubeu merită un imn de slăvire.

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