Ce concluzie rezultă în mod logic din următoarele afirmații:
(a) Fructele necoapte sunt nesănătoase;
(b) Merele din acest coș sunt sănătoase;
(c) Niciun fruct crescut la umbră nu e copt.
(după Lewis Carroll)

Soluție:

Spațiul de lucru al acestei probleme este mulțimea tuturor fructelor iar cele 3 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
C: este copt;
S: este sănătos;
M: este măr din acest coș;
U: a crescut la umbră.

Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (a)-(c), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(a) ¬ C ⇒ ¬ S;
     S ⇒  C;
(b)  M ⇒  S;
    ¬ S ⇒ ¬ M;
(c)  U ⇒ ¬ C;
     C ⇒ ¬ U.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
M ⇒ S ⇒ C ⇒ ¬ U.
Așadar, soluția problemei este implicația:
M ⇒ ¬ U;
adică
Dacă este măr din acest coș, atunci nu a crescut la umbră
sau
Niciun măr din acest coș nu a crescut la umbră.

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