A tabela a seguir mostra o início da construção de tabelas-verdade de proposições compostas a partir das proposições simples P, Q e R. Julgue o item seguinte, considerando o corret

Gabarito

Certo

Comentário do professor

Comentário: Para avaliar a proposição (P↔Q)∨R, precisamos primeiro entender o que significa o bicondicional (P↔Q) e a disjunção (P∨R).

O bicondicional (P↔Q) é verdadeiro quando ambas as proposições P e Q têm o mesmo valor lógico. Com isso, montamos a tabela-verdade para P↔Q:

P       Q       P↔Q
V       V       V
V       F       F
F       V       F
F       F       V

Agora, ao adicionar a proposição R e considerar a disjunção (P↔Q)∨R, lembramos que uma disjunção é verdadeira se pelo menos uma das proposições é verdadeira. Para isso, completamos a coluna (P↔Q)∨R:

P       Q       R       P↔Q       (P↔Q)∨R
V       V       V       V       V
V       V       F       V       V
V       F       V       F       V
V       F       F       F       F
F       V       V       F       V
F       V       F       F       F
F       F       V       V       V
F       F       F       F       F

Assim, a coluna correspondente à proposição (P↔Q)∨R apresenta os seguintes valores de cima para baixo: V, V, V, F, V, F, V, V. Portanto, a afirmação feita na questão está CERTA.