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)

Soluție:

Spațiul de lucru al acestei probleme este mulțimea tuturor florilor iar cele 3 afirmații din enunț sunt implicații logice care operează cu următoarele propoziții de bază:
C: are culoare;
P: are parfum;
L: îmi place;
A: a crescut în aer liber.
Vom transcrie cu ajutorul acestor propoziții simple afirmațiile (1)-(3), precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(1)  C ⇒  P;
    ¬ P ⇒ ¬ C;
(2) ¬ A ⇒ ¬ L;
     L ⇒  A;
(3)  A ⇒  C;
    ¬ C ⇒ ¬ A.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații logice:
L ⇒ A ⇒ C ⇒ P.
Așadar, soluția problemei este implicația:
L ⇒ P sau ¬ P ⇒ ¬ L
adică
Nu-mi plac florile fără parfum.

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