0:00
GemiddeldLogische EquivalentieSleep en Laat Bewijs

Plaats de volgende stappen in de juiste volgorde om R te bewijzen vanuit de gegeven premissen.

Doel: Bewijs R

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

Beschikbare stappen

P ∨ QPremisse
¬PPremisse
Q → RPremisse
QDisjunctief Syllogisme (1, 2)
RModus Ponens (3, 4)

Doel: Bewijs R

Sleep stappen hierheen om je bewijs op te bouwen