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) V ~P pode ser classificada como uma: