Propositielogica

R.V. Schuwer

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Abstract

Kennis van formele logica is bij het gebruiken van databases van wezenlijk belang. Gegevens of combinaties van gegevens zijn immers op te vatten als representaties van uitspraken. Met uitspraken kan worden geredeneerd, nieuwe gegevens kunnen op een al dan niet correcte wijze worden afgeleid. De formele regels om met gegevens correct (vanuit logisch standpunt gezien) om te gaan worden gegeven door een logica. Deze bijdrage geeft een inleiding in de propositie- logica. Deze logica is te beschouwen als een basis, waarop vele andere logica’s voortbouwen. Behandeld worden onder meer de begrippen uitspraak, waarheidswaarde, waarheidstabellen en redeneerschema’s.
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
Pages1230-1-1230-14
ISBN (Print)90-74562-01-9
Publication statusPublished - 1994

Cite this

Schuwer, R. V. (1994). Propositielogica. In R. F. Lans, van der, H. J. Pels, & R. A. Meersman (Eds.), Handboek database systemen (pp. 1230-1-1230-14). Alphen a/d Rijn: Array publications.