Portocale

Ce concluzie rezultă în mod logic din următoarele afirmații:
(1) Niciuna din portocalele cumpărate astăzi de mine 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)

Struți și alte păsări

Ce concluzie rezultă în mod logic din următoarele afirmații:
(a) Nicio pasăre, cu excepția struțului, nu are 2,8m înălțime;
(b) Nicio pasăre din această volieră nu aparține altcuiva decât mie;
(c) Niciun struț nu se hrănește cu plăcintă de șoarece;
(d) Nu am păsări cu înălțimea mai mică de 2,8m.
(Lewis Carroll)

Fii și fiice

Ce concluzie rezultă în mod logic din următoarele afirmații:
(1) Toți fiii mei sunt slabi;
(2) Niciunul dintre copiii mei nu este sănătos dacă nu face sport;
(3) Copiii mei care sunt hulpavi sunt și grași;
(4) Niciuna din fiicele mele nu face sport.
(Lewis Carroll)

Flori - parfum și culoare

Ce concluzie rezultă în mod logic din următoarele afirmații:
(1) Toate florile colorate sunt și parfumate;
(2) Nu-mi plac florile care nu au crescut în aer liber;
(3) Nicio floare crescută în aer liber nu este fără culoare.
(Lewis Carroll)

Citește mai departe: Flori - parfum și culoare

Colibri

Ce concluzie rezultă în mod logic din următoarele afirmații:
(a) Toate păsările colibri sunt viu colorate;
(b) Nicio pasăre de talie mare nu se hrănește cu miere;
(c) Păsările care nu se hrănesc cu miere au un colorit șters.
(Lewis Carroll)
Soluție:
Spațiul de lucru al acestei probleme este mulțimea tuturor păsărilor iar cele 3 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
C: este colibri;
V: este viu colorat;
T: este de talie mare;
H: se hrănește cu miere.
Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (a)-(c), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(a)  C ⇒  V;
    ¬ V ⇒ ¬ C;
(b)  T ⇒ ¬ H;
     H ⇒ ¬ T;
(c) ¬ H ⇒ ¬ V;
     V ⇒  H.
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 ⇒ H ⇒ ¬ T.
Așadar, soluția problemei este implicația:
C ⇒ ¬ T;
adică
Dacă este colibri, atunci nu este o pasăre de talie mare
sau
Niciun colibri nu este de talie mare.

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