Se (P → Q) é verdadeira e Q é falsa, o que se infere sobre P? E se P = R ∨ S, o que se conclui sobre R e S?

P é falso; se P = R ∨ S então R é falso e S é falso.

Explicação:
Se uma condicional (P → Q) é verdadeira e o consequente Q é falso, então o antecedente P deve ser falso (negação por contrapartida lógica).
Se o antecedente P é uma disjunção R ∨ S, a falsidade dessa disjunção implica que R e S são ambos falsos.

Exemplo:
Considere a proposição: "Se o contrato foi assinado ou o pagamento foi confirmado, então o serviço começa e a nota fiscal é emitida."
Formalizando: (A ∨ B) → (C ∧ D). Se observamos que a nota fiscal D não foi emitida (D é falso) e a condicional é verdadeira, então C ∧ D é falso, logo A ∨ B é falso. Assim, tanto A (contrato assinado) quanto B (pagamento confirmado) são falsos — nenhum dos dois ocorreu.

⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação

---

Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/364758