Tipărire

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.