Conjunctieve normaalvorm Samenvattingen, Aantekeningen en Examens

Inleiding Logica Samenvatting Laatste update van het document:   geleden

Deze samenvatting bevat voor zowel de eerste als de tweede module van het vak Inleiding Logica alle besproken begrippen en veel van deze begrippen worden laten zien aan de hand van voorbeelden. Ook alle regels die gebruikt worden bij bijvoorbeeld, natuurlijke deductie, resolutie en semantisch tableau worden uitgelegd. Bevat zowel predicatenlogica als propositielogica. Ook bevat het een aantal stappenplannen voor opdrachten als het opstellen van een Conjunctieve NormaalVorm en het bewijzen van st...