Por meio do raciocínio por oposição é possível concluir uma proposição por meio de outra proposição dada, com a observância do princípio de não-contradição. Neste sentido, que poderá inferir-se da verdade, falsidade ou indeterminação das proposições referidas na sequência abaixo se supusermos que a primeira é verdadeira? E se supusermos que a primeira é falsa?

1^a − Alguns piauienses nasceram em Teresina.

2^a − Todos os piauienses nasceram em Teresina.

3^a − Alguns piauienses não nasceram em Teresina.

4^a − Nenhum piauiense nasceu em Teresina.