Overig
Logica en formele systemen Tips & Tricks voor het afleiden van formules
- Instelling
- Vrije Universiteit Brussel (VUB)
Dit document bevat tips & tricks (met uitgewerkte voorbeelden) om het afleiden (natuurlijke deductie) van de meeste formules uit de propositielogica te vergemakkelijken. Eindscore: 19/20, behaald op het examen van het vak "Logica en formele systemen" gegeven door professor Olga De Troyer. Vergeet ...
[Meer zien]