A oposição é a espécie de inferência imediata pela qual é 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ª - Todos os comediantes que fazem sucesso são engraçados.

2ª - Nenhum comediante que faz sucesso é engraçado.

3ª - Alguns comediantes que fazem sucesso são engraçados.

4ª - Alguns comediantes que fazem sucesso não são engraçados.