Logicus - Antrenamentul conexiunilor rapide

Struți și alte păsări

Detalii

Publicat: 16 Noiembrie 2017 16 Noiembrie 2017

Accesări: 928 928

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)

Citește mai mult:Struți și alte păsări

Fii și fiice

Detalii

Publicat: 30 Octombrie 2017 30 Octombrie 2017

Accesări: 991 991

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)

Citește mai mult:Fii și fiice

Flori - parfum și culoare

Detalii

Publicat: 12 Octombrie 2017 12 Octombrie 2017

Accesări: 944 944

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 mult:Flori - parfum și culoare

Colibri

Detalii

Publicat: 09 Octombrie 2017 09 Octombrie 2017

Accesări: 848 848

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.