0:00
AvançadoEquivalência LógicaCompletar Prova

Complete a seguinte prova usando análise de casos:

  1. P ∨ Q (Premissa)
  2. P → R (Premissa)
  3. Q → R (Premissa)
  4. Caso 1: Suponha P
  5. _____ (?)
  6. Caso 2: Suponha Q
  7. _____ (?)
  8. _____ (?)

Objetivo: Provar R

P ∨ Q, P → R, Q → R ⊢ R

Objetivo: Provar ?

Clique nos campos vazios para preencher a prova