Proposições são frases declarativas que podem ser julgadas como verdadeiras (V) ou falsas (F), mas não cabem ambos os julgamentos. Proposições simples podem ser denotadas por letras maiúsculas do alfabeto.
Expressões da forma A6B são proposições compostas, podem ser lidas como: se A então B, e são julgadas como F quando A é V e B é F, e nos demais casos é V. Expressões da forma AwB também são proposições compostas, podem ser lidas como: ou A ou B, e são julgadas como F quando A e B são F, e nos demais casos é V. Além dessas proposições compostas, também considere como proposição composta uma expressão da forma ¬A, que representa a negação de A, e é julgada como F quando A é V, e V quando A é F.
De acordo com as definições apresentadas no texto acima, julgue o item subsequente.
Considere-se que a proposição composta “Ou Branca de Neve não acordou ou o Príncipe Encantado sumiu” e a proposição simples “Branca de Neve acordou” sejam ambas V. Nesse caso, é correto concluir que a proposição simples “O Príncipe Encantado sumiu” será necessariamente V.
