Beweren en bewijzen/supplement/planning (voor docenten)/tentamen/1
Op dit tentamen laat je zien dat je voor eenvoudige systemen een correctheidsstelling op het niveau van taak 3 kunt opstellen in propositielogica en op het niveau van taak 4 met behulp van waarheidstabellen kunt aantonen dat deze klopt.
Ook laat je zien dat je kunt uitleggen hoe men met waarheidstabellen aantoont
- dat een bewering een geldig gevolg is van een aantal aannames,
- dat een bewering tautologisch is.
Je krijgt een beschrijving of een tekening van een artefact en een onvolledige correctheidsstelling: er ontbreekt een onderdeel, zo als de kabeltjes in taak 3. Je moet naar eigen inzicht de specificatie van een systeemonderdeel toevoegen om tot een bewijsbare stelling te komen.
Vervolgens moet je met behulp van waarheidstabellen aantonen dat de specificatie van het systeem een geldig gevolg is van de specificaties van zijn onderdelen en/of uitleggen hoe men dit doet.
