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.