Tipărire

Ce concluzie rezultă în mod logic din următoarele afirmații:
1) Niciunul din lucrurile neremarcabile pe care le întâlnești călătorind prin Transilvania nu este un vampir;
2) Tot ceea ce este consemnat în jurnalul de călătorie în timpul unui voiaj prin Transilvania este demn de reținut;
3) N-am întâlnit niciodată ceva demn de reținut în timpul unei călătorii;
4) Toate lucrurile remarcabile pe care le întâlnești călătorind prin Transilvania sunt consemnate în jurnalul de călătorie.

Soluție:

Vom considera ca spațiu de lucru al problemei mulțimea tuturor „lucrurilor pe care le întâlnești călătorind prin Transilvania”.
vom încerca să construim, prin transformări echivalente, un lanț de implicații logice care să lege toate afirmațiile din enunț. Pentru început, vom împărți enunțul în propoziții cât mai simple:
R: este remarcabil;
V: este vampir;
J: este consemnat în jurnalul de călătorie;
D: este demn de reținut;
I: l-am întâlnit în timpul unei călătorii.

 

Vom transcrie cu ajutorul acestor propoziții simple afirmațiile 1-4, precum și contrarele reciprocelor lor (cu care acestea sunt echivalente):
(1)~ overline{R} doubleright overline{V};
~ V doubleright R;
(2)~ J doubleright D;
~ overline{D} doubleright overline{J};
(3)~ I doubleright overline{D};
~ D doubleright overline{I};
(4)~ R doubleright J;
~ overline{J} doubleright overline{R}.
Privind cu atenție aceste afirmații, constatăm că putem alcătui cu ajutorul lor următorul lanț de implicații:
~ I doubleright overline{D} doubleright overline{J} doubleright overline{R} doubleright overline{V}.
Așadar, soluția problemei este implicația:
~ I doubleright overline{V},
adică
Dacă l-am întâlnit în timpul unei călătorii prin Transilvania, nu este un vampir;
sau, echivalenta (contrara reciprocei),
Dacă este un vampir, nu l-am întâlnit în timpul unei călătorii prin Transilvania;
sau, într-o transcriere mai apropiată de limbajul curent,
N-am întâlnit niciodată un vampir în timpul unei călătorii prin Transilvania.