Hoofdstuk 4: Predikaatlogica, modellen en programma's
Inhoud
Introductie
Verdere inhoud van hoofdstuk 4
Downloads
Hoofdstuk 4
Introductie
De taal van de propositielogica is voor veel toepassingen te arm. Dat bleek al in de Klassieke Oudheid, waar logici allerlei redeneerpatronen vonden die te maken hebben met de manier waarop wij in natuurlijke taal objecten beschrijven, en hun eigenschappen en relaties. Dan gaan andere uitdrukkingen een sleutelrol spelen dan connectieven als 'niet' of 'en', met name de kwantoren 'alle' en 'sommige'. Maar net als in hoofdstuk 2 komt deze noodzaak tot uitbreiding het scherpst naar voren als we kijken naar wiskundig redeneren, en dus beginnen we ook weer daar om te zien wat voor rijker logisch systeem we nu nodig hebben.
Het systeem van de predikaatlogica, waarmee we in de komende hoofdstukken kennismaken, heeft een veel grotere uitdrukkingskracht dan de propositielogica, waar ze een verfijning en uitbreiding van is. In dit hoofdstuk maken we kennis met de taal van de predikaatlogica en met een methode om situaties aan te geven waarin een predikaatlogische formule waar is.
Verdere inhoud van hoofdstuk 4
Alle materiaal is te vinden in de file die gedownload kan worden (zie bovenaan deze pagina).
