Imagem de fundo

Em Lógica Matemática, os princípios fundamentais ajudam a estabelecer a validade de pro...

Em Lógica Matemática, os princípios fundamentais ajudam a estabelecer a validade de proposições e argumentos. Um dos princípios é o "Princípio do Terceiro Excluído", que afirma que uma proposição é verdadeira ou falsa, sem possibilidade de um terceiro valor. Com base nesse princípio, qual das alternativas abaixo representa corretamente sua aplicação?


A

P v ¬ P será verdadeiro se P for verdadeiro, mas não se P for falso.


B

P v ¬ P sempre será falso, pois não é possível que uma proposição seja verdadeira e falsa ao mesmo tempo.


C

P ^ ¬ P sempre será verdadeiro, pois uma proposição pode ser verdadeira e falsa simultaneamente.


D

P v ¬ P sempre será verdadeiro, pois toda proposição ou é verdadeira ou é falsa.