0:00
MellomLogisk EkvivalensDra og Slipp Bevis

Ordne følgende steg i riktig rekkefølge for å bevise R fra de gitte premissene.

Mål: Bevis R

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

Tilgjengelige trinn

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

Mål: Bevis R

Dra trinn hit for å bygge beviset ditt