0:00
Moeilijkheid: BeginnerCategorie: Logische EquivalentieType: Sleep en Laat BewijsZet de volgende stappen in de juiste volgorde om Q te bewijzen vanuit de gegeven premissen.
Doel: Bewijs Q
P → Q, P ⊢ QBeschikbare stappen
P → QPremisse
PPremisse
QModus Ponens (1, 2)
Doel: Bewijs Q
Sleep stappen hierheen om je bewijs op te bouwen