Predicatenlogica

R.V. Schuwer

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

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 languageDutch
Title of host publicationHandboek database systemen
EditorsR.F. Lans, van der, H.J. Pels, R.A. Meersman
Place of PublicationAlphen a/d Rijn
PublisherArray publications
Pages1240-1-1240-16
ISBN (Print)90-74562-01-9
Publication statusPublished - 1994

Cite this