Propositielogica

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