Tipărire

Ce concluzie rezultă în mod logic din următoarele afirmații:
(a) Singurele mâncăruri pe care medicul a spus că am voie să le consum sunt cele care nu sunt foarte consistente;
(b) Nimic din ceea ce tolerez nu este nepotrivit pentru cină;
(c) Tortul de nuntă este cu siguranță foarte consistent;
(d) Medicul a spus că am voie să mănânc tot ce e potrivit pentru cină.
(Lewis Carroll)

Soluție:

Spațiul de lucru al acestei probleme este mulțimea tuturor alimentelor destinate consumului uman iar cele 4 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
M: medicul a spus că am voie să îl consum;
F: este foarte consistent;
T: îl tolerez;
P: este potrivit pentru cină;
N: este tort de nuntă.
Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (a)-(d), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(a) M ⇒ ¬ F;
     F ⇒ ¬ M;
    ¬ F ⇒  M;
    ¬ M ⇒  F;
(b)  T ⇒  P;
    ¬ P ⇒ ¬ T;
(c)  N ⇒  F;
    ¬ F ⇒ ¬ N;
(d)  P ⇒  M;
    ¬ M ⇒ ¬ P.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
N ⇒ F ⇒ ¬ M ⇒ ¬ P ⇒ ¬ T
Așadar, soluția problemei este implicația:
N ⇒ ¬ T
adică
Dacă este tort de nuntă, atunci nu-l tolerez;
sau, mai simplu,
Nu tolerez torturile de nuntă.