p q (pV~p)\(\to\)q V V X V F Y F V Z F F W Seja a proposição composta P(p, q)=(p∨~p)\(\to\)q, a tabela verdade da operação é dada abaixo

Gabarito

Errado

Comentário do professor

A expressão é \( (p\vee\sim p)\to q \). Observe que \(p\vee\sim p\) é uma **tautologia**: independentemente de \(p\), a disjunção vale **V**.

Uma condicional \(A\to B\) é **falsa** somente quando \(A\) é **V** e \(B\) é **F**; nos demais casos é **V**. Como aqui o antecedente é sempre **V**, o valor de verdade da proposição composta coincide com o valor de \(q\).

Portanto, nas quatro linhas da tabela, o resultado segue exatamente \(q\): quando \(q=V\) a fórmula vale **V**; quando \(q=F\) a fórmula vale **F**.

Logo, os valores são: X=V, Y=F, Z=V e W=F, conforme a alternativa correta.