A proposição lógica é definida como toda oração que declare algo, podendo ser valorada como verdadeira ou falsa. Assim, uma proposição do tipo P ∧ ~(~P) ∨ ~P pode ser classificada como uma