Abstract
Dit artikel geeft een inleiding in de predicatenlogica. Er wordt
aangegeven welke uitbreiding aan de propositielogica (zie artikel
1230) moet worden gegeven opdat van een bepaalde klasse van
uitspraken de waarheidswaarde kan worden bepaald. Ook wordt
aandacht besteed aan redeneerschema’s in de predicatenlogica.
Tenslotte wordt een toepassing van predicatenlogica bij deductieve
databases gegeven.
Original language | Dutch |
---|---|
Title of host publication | Handboek database systemen |
Editors | R.F. Lans, van der, H.J. Pels, R.A. Meersman |
Place of Publication | Alphen a/d Rijn |
Publisher | Array publications |
Pages | 1240-1-1240-16 |
ISBN (Print) | 90-74562-01-9 |
Publication status | Published - 1994 |