0:00
AvançadoEquivalência LógicaCompletar Prova
Complete a seguinte prova usando análise de casos:
- P ∨ Q (Premissa)
- P → R (Premissa)
- Q → R (Premissa)
- Caso 1: Suponha P
- _____ (?)
- Caso 2: Suponha Q
- _____ (?)
- _____ (?)
Objetivo: Provar R
P ∨ Q, P → R, Q → R ⊢ RObjetivo: Provar ?
Clique nos campos vazios para preencher a prova