Sabendo que o valor lógico do condicional entre duas proposições p e q, nessa ordem, é falso, então pode-se afirmar que:

Gabarito

B

Comentário do professor

A condicional \(p \to q\) é uma afirmação que só falha quando a hipótese ocorre e a conclusão não ocorre. Em termos lógicos, a única situação que torna \(p \to q\) falsa é quando a primeira parte é verdadeira e a segunda é falsa.

Isso pode ser visto diretamente na linha relevante da tabela verdade: p = V, q = F implica \(p \to q =\) F.

Intuitivamente, dizer "se p então q" envolve uma garantia: se p for verdadeira espera‑se q verdadeira. Quando p é verdadeira e q é falsa, a garantia é violada, tornando a condicional falsa.

Portanto, para \(p \to q\) ser falso, deve ocorrer que p seja verdade e q seja falso.