0:00
IntermediárioEquivalência LógicaProva Arrastar e Soltar

Organize os seguintes passos na ordem correta para provar R a partir das premissas dadas.

Objetivo: Provar R

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

Passos disponíveis

P ∨ QPremissa
¬PPremissa
Q → RPremissa
QSilogismo Disjuntivo (1, 2)
RModus Ponens (3, 4)

Objetivo: Provar R

Arraste os passos aqui para construir sua prova