Inferência imediata que permite a transformação do enunciados A e I nos seus correspondentes E e O, e vice-versa, mantendo em cada caso a ordem do sujeito e do predicado, mas mudando o seu carácter afirmativo para negativo.

Exemplos:

Qualquer homem é mortal - Nenhum homem é um não-mortal;

Alguns estudantes estão felizes - Alguns estudantes não estão infelizes;

Todos os coelhos são herbívoros - Nenhum coelho é um não herbívoro.

Na Lógica Tradicional a inferência imediata (conclusão retirada a partir de uma premissa) também comporta, além da obversão, a conversão, contraposição e inversão.