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.