0:00
BeginnerLogische EquivalentieSleep en Laat Bewijs
Zet 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