Logicus - Antrenamentul conexiunilor rapide

Colibri

Detalii

Publicat: 09 Octombrie 2017 09 Octombrie 2017

Accesări: 581 581

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.

Turbanele beduinilor

Detalii

Publicat: 16 Septembrie 2017 16 Septembrie 2017

Accesări: 679 679

O caravană încărcată cu daruri de preţ pentru Şahul Persiei străbate deşertul, târându-se încet sub soarele  nemilos. Caravana e însoţită de 5 beduini călare pe cămile. Fiecare beduin poartă pe cap un turban alb sau roşu şi vede doar turbanele de pe capetele celorlalţi. Cei care poartă turbane roşii mint iar cei care poartă turbane albe spun adevărul.
Cel mai vârstnic dintre beduini spune:
– Văd 3 turbane albe şi unul roşu.
Al doilea după el în ordinea vârstei zice:
– Văd 4 turbane roşii.
Al treilea afirmă:
– Văd 1 turban alb şi 3 turbane roşii.
În fine, cel mai tânăr dintre ei spune:
– Văd 4 turbane albe.
Ce culoare are turbanul fiecărui beduin?

Citește mai departe: Turbanele beduinilor

Verzituri nesănătoase

Detalii

Publicat: 22 Iulie 2017 22 Iulie 2017

Accesări: 805 805

Ce concluzie rezultă în mod logic din următoarele afirmații:
(a) Fructele necoapte sunt nesănătoase;
(b) Merele din acest coș sunt sănătoase;
(c) Niciun fruct crescut la umbră nu e copt.
(după Lewis Carroll)

Citește mai departe: Verzituri nesănătoase

Din dulăpiorul de bucătărie

Detalii

Publicat: 10 Mai 2017 10 Mai 2017

Accesări: 739 739

Ce concluzie rezultă în mod logic din următoarele afirmații:
(1) Toate obiectele vechi din dulăpiorul de bucătărie sunt crăpate;
(2) Nicio cană din dulăpiorul de bucătărie nu este nouă;
(3) Niciun obiect crăpat din dulăpiorul de bucătărie nu ține apa.
(Lewis Carroll)

Citește mai departe: Din dulăpiorul de bucătărie