0:00
MellanliggandeLogisk EkvivalensDra och Släpp Bevis

Ordna följande steg i rätt ordning för att bevisa R från de givna premisserna.

Mål: Bevisa R

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

Tillgängliga steg

P ∨ QPremiss
¬PPremiss
Q → RPremiss
QDisjunktiv Syllogism (1, 2)
RModus Ponens (3, 4)

Mål: Bevisa R

Dra steg hit för att bygga ditt bevis