Ce concluzie rezultă în mod logic din următoarele afirmații:
(1) Niciuna din portocalele cumpărate de mine astăzi nu este decojită;
(2) Portocalele de pe farfuria din fața mea sunt bune de mâncat;
(3) Nicio portocală nedecojită nu e bună de mâncat.
(după Lewis Carroll)

Soluție:

Spațiul de lucru al acestei probleme este mulțimea tuturor portocalelor iar cele 3 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
A: este cumpărată de mine astăzi;
D: este decojită;
F: este de pe farfuria din fața mea;
M: este bună de mâncat.
Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (1)-(3), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(1)  A ⇒ ¬ D;
     D ⇒ ¬ A;
(2)  F ⇒  M;
    ¬ M ⇒ ¬ F;
(3) ¬ D ⇒ ¬ M;
     M ⇒  D.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
F ⇒ M ⇒ D ⇒ ¬ A
Așadar, soluția problemei este implicația:
F ⇒ ¬ A
adică
Dacă este de pe farfuria din fața mea, nu este cumpărată de mine astăzi
sau
Niciuna din portocalele de pe farfuria din fața mea nu este cumpărată de mine astăzi.

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