Uma proposição simples é representada, frequentemente, por letras maiúsculas do alfabeto. Se A e B são proposições simples, então a expressão AwB representa uma proposição composta, lida como “A ou B”, e que tem valor lógico F quando A e B são ambos F e, nos demais casos, é V. A expressão ¬A representa uma proposição composta, lida como “não A”, e tem valor lógico V quando A é F, e tem valor lógico F quando A é V. Com base nessas informações e no texto, julgue o item seguinte.

Considere que a proposição composta “Alice não mora aqui ou o pecado mora ao lado” e a proposição simples “Alice mora aqui” sejam ambas verdadeiras. Nesse caso, a proposição simples “O pecado mora ao lado” é verdadeira.