Uma proposição lógica P é composta pela operação de uma proposição lógica simples m com ela mesma. Em símbolos, tem-se P: m ? m, em que o símbolo de interrogação é um operador lógico.

Sabendo-se que P é uma contradição, é correto afirmar que o operador ? se refere a uma