Se știu următoarele:
(a) Nicio poezie interesantă nu este nepopulară printre persoanele de bun-gust;
(b) Niciun poem modern nu este lipsit de afectare;
(c) Toate poeziile scrise de tine au ca temă baloanele de săpun;
(d) Niciun poem afectat nu este popular printre persoanele de bun-gust;
(e) Niciun poem antic nu are ca temă baloanele de săpun.
Ce concluzie rezultă în mod logic din afirmațiile de mai sus?
(Lewis Carroll)

Soluție:

Spațiul de lucru al acestei probleme este mulțimea tuturor poeziilor, iar cele 5 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
I: este interesant;
P: este popular printre persoanele de bun-gust;
M: este modern;
A: este afectat;
S: este scris de tine;
B: are ca temă baloanele de săpun.
Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (a)-(e), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(a)~ I doubleright P;
~ overline{P} doubleright overline{I};
(b)~ M doubleright A;
~ overline{A} doubleright overline{M};
(c)~ S doubleright B;
~ overline{B} doubleright overline{S};
(d)~ A doubleright overline{P};
~ P doubleright overline{A};
(e)~ overline{M} doubleright overline{B};
~ B doubleright M.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
~ S doubleright B doubleright M doubleright A doubleright overline{P} doubleright overline{I}
Așadar, deși cam neplăcută, soluția problemei este implicația:
~ S doubleright overline{I},
adică
Dacă este scrisă de tine, poezia nu este interesantă;
sau, într-o transcriere mai apropiată de limbajul curent,
Poeziile tale nu sunt interesante.

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