0:00
Moeilijkheid: GemiddeldCategorie: Logische EquivalentieType: BewijsGegeven de premissen:
- P → Q
- P
Bewijs: Q
P → Q, P ⊢ QDoel: Bewijs ?
Bouw je bewijs stap voor stap
1.
P → Q
Premisse
2.
P
Premisse
Gegeven de premissen:
Bewijs: Q
P → Q, P ⊢ QBouw je bewijs stap voor stap