Predicatenlogica - Samenvattingen, Notities en Examens

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...

Samenvatting en lesnota's van het vak 'logica en relaties' gegeven aan de UCLL BaSO 1ste bachelor te Diepenbeek. Het bevat ook tekeningen, ter verduidelijking, die tijdens de lessen gemaakt zijn.

Samenvatting van het eerste hoofdstuk van de logica syllabus, het theoriegedeelte. Hier wordt in beschreven hoe de eerste orde predicatenlogica is ontstaan.