Sabendo que o valor lógico de uma proposição simples p é falso e que o valor lógico de uma proposição simples q é verdade, então é correto afirmar que o valor lógico de:

Gabarito

D

Comentário do professor

A expressão em questão é a implicação \(p \rightarrow q\).

Na tabela-verdade da implicação, ela é falsa somente quando o antecedente é verdadeiro e o consequente é falso. Em qualquer outra combinação de valores a implicação é verdadeira.

Como foi dado que \(p\) é falso e \(q\) é verdadeiro, temos a configuração \(p = F,\, q = V\). Portanto a implicação \(p \rightarrow q\) assume o valor lógico verdadeiro.

Intuitivamente, não há contraexemplo à afirmação "se \(p\) então \(q\)" quando \(p\) não ocorre, por isso a condicional é considerada vacuamente verdadeira nessa situação.