Conforme a teoria da lógica proposicional, a proposição ~ P ? P é: