Se os valores lógicos de duas proposições são falsos, então é correto afirmar que:

Gabarito

Certo

Comentário do professor

O conectivo considerado é o condicional, representado por \(p \to q\). Sua regra de valor lógico é simples: a implicação é falsa somente quando o antecedente é verdadeiro e o consequente é falso, ou seja, quando ocorre \(V \to F\).

Nos demais casos a implicação vale verdade. Em particular, quando ambos os enunciados são falsos temos \(F \to F\).

Aplicando a regra, \(F \to F\) não cai na única situação que torna o condicional falso; portanto a fórmula é verdadeira. Essa validade é frequentemente chamada de verdade vacuamente satisfeita, porque não há antecedente verdadeiro que exija o consequente.

Logo, com \(p = F\) e \(q = F\), conclui-se que \(p \to q \equiv V\).