Ceainice

Detalii: Scris de Cristina Vuşcan Cristina Vuşcan; Publicat: 04 Iulie 2016 04 Iulie 2016; Accesări: 3221 3221

Ce concluzie rezultă în mod logic din următoarele afirmații:
(1) Singurele mele obiecte din alamă sunt ceainicele;
(2) Toate cadourile primite de la tine îmi sunt foarte folositoare;
(3) Niciunul din ceainicele mele nu îmi este de vreun folos.
(după Lewis Carroll)

Soluție:

Spațiul de lucru al acestei probleme este mulțimea tuturor obiectelor mele, iar cele 3 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
A: este din alamă;
C: este ceainic;
D: este cadou de la tine;
F: îmi este de folos.

Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (1)-(3), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(1)~ A doubleright C;
~~~~ overline{C} doubleright overline{A};
(2)~ D doubleright F;
~~~~ overline{F} doubleright overline{D};
(3)~ C doubleright overline{F};
~~~~ F doubleright overline{C}.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
D doubleright F doubleright overline{C} doubleright overline{A}.
Așadar, soluția problemei este implicația:
D doubleright overline{A};
adică
Dacă este cadou de la tine, atunci nu este din alamă
sau, într-o transcriere mai apropiată de limbajul curent,
Niciun cadou de la tine nu este din alamă.