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.