Ce concluzie rezultă în mod logic din următoarele afirmații:
(1) Toate obiectele vechi din dulăpiorul de bucătărie sunt crăpate;
(2) Nicio cană din dulăpiorul de bucătărie nu este nouă;
(3) Niciun obiect crăpat din dulăpiorul de bucătărie nu ține apa.
(Lewis Carroll)

Soluție:

Spațiul de lucru al acestei probleme este mulțimea tuturor obiectelor din dulăpiorul de bucătărie, iar cele 3 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
V: este vechi;
R: este crăpat;
C: este cană;
T: ține apa.

Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (1)-(3), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(1)  V ⇒  R;
    ¬ R ⇒ ¬ V;
(2)  C ⇒  V;
    ¬ V ⇒ ¬ C;
(3)  R ⇒ ¬ T;
     T ⇒ ¬ R.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
C ⇒ V ⇒ R ⇒ ¬ T.
Așadar, soluția problemei este implicația:
C ⇒ ¬ T;
adică
Dacă este cană din dulăpiorul de bucătărie, atunci nu ține apa
sau
Nicio cană din dulăpiorul de bucătărie nu ține apa.

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