- Gebruik bewijsstrategieën om de te bewijzen uitspraak om te zetten in eenvoudiger bewijsproblemen.
- Kan niet verder vereenvoudigd worden? Bekijk gegeven om te zien hoe dat gebruikt kan worden.
- Als implicatie "Phi => Psi" bewezen moet worden, en aannemen dat Phi waar is geen uikomst lijkt te bieden, probeer dan contrapositie.
- Geen van directe bewijsregels biedt uitkomst? Bewijs uit het ongerijmde.

Ik ga je even een zetje geven, want soms heb je dat even nodig.

Ik ga je even een zetje geven, want soms heb je dat even nodig :)
Omdat je ons hebt opgezocht en enthousiast de site hebt bekeken, wil ik je een flinke korting aanbieden.