0:00
BeginnerLogische EquivalentieBewijs Voltooiing
Vul de ontbrekende rechtvaardigingen in voor dit bewijs.
Doel: Bewijs Q
P → Q, P ⊢ QDoel: Bewijs Q
Klik op de lege velden om het bewijs in te vullen
1.
P → Q
Premisse
2.
P
Premisse
3.
Q
Selecteer regel
Selecteer regelreferenties