Inleiding Logica

Op deze pagina vindt u informatie over het vak Inleiding Logica. Het vak heb ik gevolgd als onderdeel van mijn opleiding KI aan de Rijksuniversiteit Groningen. De theorie is behandeld aan de hand van het boek 'The language of first order logic' van Jon Barwise en John Etchemendy.

Begrippen in de logica

predikaatsymbool: Symbool dat een kenmerk van een object of een relatie tot een of meerdere andere objecten aangeeft. (vb. Dommer(Pim, Einstein), het predikaat Dommer(x,y) geeft aan dat x dommer is dan y (mits dat zo gedefinieerd is))
functiesymbool: Symbool dat verwijst naar een instantie ervan met een bepaald kenmerk. (vb. vader(Archytas): de vader van Archytas). Functiesymbolen kunnen genest worden in tegenstelling tot predikaten.
negatie: Een negatie geeft aan dat iets waar is als hetgeen waar de negatie op van toepassing is onwaar is. Negaties worden vaak gebruikt om woorden als 'niet', 'noch' en voorvoegsels als 'on' en 'a' te vertalen naar de eerste orde taal.
conjunctie: Een conjunctie geeft aan dat iets waar is als iedere bewering waarop de conjunctie van toepassing is waar is. Een conjunctie wordt o.a. gebruikt om woorden als 'en', 'desalniettemin' en 'maar' naar LOFOL (eerste orde taal) te vertalen.
disjunctie: Een disjunctie geeft aan dat iets waar is als een of meerdere uitspraken waarop de conjuctie van toepassing is waar is. Wordt meestal gebruikt om (inclusief) 'of' te vertalen.
LOFOL: LOFOL staat voor 'Language of First Order Logic', ofwel de eerste orde taal.
ambiguïteit: Een zin is ambigu als op basis van de syntaxis hieraan meer dan 1 betekenis kan worden gegeven. In FOL wordt ambiguïteit meestal voorkomen door het gebruik van haakjes. (vb. Het is blauw of het is groot en het is rond. De waarheidswaarde is niet duidelijk als het een blauw vierkant betreft.).
implicatie: Een implicatie, aangegeven met een pijl, geeft aan dat wat rechts van de pijl staat altijd waar moet zijn als aan hetgeen voor de pijl is voldaan. In het Nederlands wordt dit meestal met '(als ...) dan' uitgedrukt.
equivalentie: Equivalent ja