Considere verdadeira a afirmação:

“Todos os corredores são magros”.

Observe, a seguir, três conclusões da afirmação dada:

1. Se João é magro então é corredor.
2. Se João não é corredor, então não é magro.
3. Se João não é magro então não é corredor.

Denotando por V uma conclusão verdadeira e por F uma conclusão falsa, para as três conclusões dadas, temos, respectivamente,