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