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? 1a - Todos os comediantes que fazem sucesso são engraçados.2a - Nenhum comediante que faz sucesso é engraçado.3a - Alguns comediantes que fazem sucesso são engraçados.4a - Alguns comediantes que fazem sucesso não são engraçados.