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ă.

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