- Detalii
- Scris de Cristina Vuşcan Cristina Vuşcan
- Publicat: 21 Mai 2019 21 Mai 2019
- Accesări: 857 857
Ce concluzie rezultă în mod logic din următoarele afirmații:
(1) Singurele animale din această casă sunt pisicile;
(2) Orice animal căruia îi place să se zgâiască la lună se pretează ca animal de companie;
(3) Evit orice animal pe care îl detest;
(4) Niciun animal care nu stă noaptea la pândă nu e carnivor;
(5) Nicio pisică nu se dă în lături de la a vâna șoareci;
(6) Niciun animal, cu excepția celor din această casă, nu mă place;
(7) Cangurii nu se pretează ca animale de companie;
(8) Numai carnivorele vânează șoareci;
(9) Detest animalele care nu mă plac;
(10) Animalelor care stau noaptea la pândă le place să se zgâiască la lună.
(după Lewis Carroll)
Soluție:
Spațiul de lucru al acestei probleme este mulțimea tuturor animalelor iar cele 10 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
A: este din această casă;
P: este pisică;
L: îi place să se zgâiască la lună;
S: se pretează ca animal de companie;
E: îl evit;
D: îl detest;
N: stă noaptea la pândă;
C: este carnivor;
V: vânează șoareci;
M: mă place;
G: este cangur.
Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (1)-(10), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(1) A ⇒ P;
¬ P ⇒ ¬ A;
(2) L ⇒ S;
¬ S ⇒ ¬ L;
(3) D ⇒ E;
¬ E ⇒ ¬ D;
(4) ¬ N ⇒ ¬ C;
C ⇒ N;
(5) P ⇒ V;
¬ V ⇒ ¬ P;
(6) ¬ A ⇒ ¬ M;
M ⇒ A;
A ⇒ M;
¬ M ⇒ ¬ A;
(7) G ⇒ ¬ S;
S ⇒ ¬ G;
(8) C ⇒ V;
¬ V ⇒ ¬ C;
V ⇒ C;
¬ C ⇒ ¬ V;
(9) ¬ M ⇒ D;
¬ D ⇒ M;
(10) N ⇒ L;
¬ L ⇒ ¬ N.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
¬ E ⇒ ¬ D ⇒ M ⇒ A ⇒ P ⇒ V ⇒ C ⇒ N ⇒ L ⇒ S ⇒ ¬ G.
Așadar, soluția problemei este implicația:
¬ E ⇒ ¬ G
sau, echivalent,
G ⇒ E
adică
Dacă este cangur, atunci îl evit;
sau, în limbajul curent,
Evit întotdeauna cangurii.
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!