0:00
MellemliggendeLogisk ÆkvivalensTræk og Slip Bevis

Arrangér følgende trin i den korrekte rækkefølge for at bevise R ud fra de givne præmisser.

Mål: Bevis R

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

Tilgængelige trin

P ∨ QPræmis
¬PPræmis
Q → RPræmis
QDisjunktiv Syllogisme (1, 2)
RModus Ponens (3, 4)

Mål: Bevis R

Træk trin hertil for at bygge dit bevis