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 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 | 1230-1-1230-14 |
| ISBN (Print) | 90-74562-01-9 |
| Publication status | Published - 1994 |