Considere as afirmações: Se Paula é uma boa amiga, então Vagner diz a verdade. Se Vagner diz a verdade, então Helen não é uma boa aluna. Se Helen não é uma boa aluna, então Paula é uma boa amiga. A análise do encadeamento lógico da argumentação contida nessas três afirmações permite concluir que elas:
-
A implicam necessariamente que Paula é uma boa amiga;
-
B são consistentes entre si, quer Paula seja uma boa amiga, quer Paula não seja uma boa amiga;
-
C implicam necessariamente que Vagner diz a verdade e que Helen não é uma boa aluna;
-
D são equivalentes a dizer que Paula não é uma boa amiga;
-
E acarretam necessariamente que Helen é uma boa aluna.