0:00
Moeilijkheid: GemiddeldCategorie: Logische EquivalentieType: Sleep en Laat BewijsPlaats de volgende stappen in de juiste volgorde om R te bewijzen vanuit de gegeven premissen.
Doel: Bewijs R
P ∨ Q, ¬P, Q → R ⊢ RBeschikbare 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