Gebruiker:Robert Kleinpenning
Uit Werkplaats
|
Robert Kleinpenning, *1986 - Informatica e-mail ' |
|
Vooropleiding |
vwo |
|
Dossier |
|
De uitzondering bevestigt de regel
Domeinmodel
| propositie | type | betekenis | meting |
|---|---|---|---|
| - | X | De verzameling van alle gebeurtenissen | |
| Waar | B | De gebeurtenis is waar | n.t.b. |
| Onwaar | B | De gebeurtenis is onwaar | n.t.b. |
(∃x:X, onwaar x) → (∀x:X, Waar x)
Of
Domeinmodel
| propositie | type | betekenis | meting |
|---|---|---|---|
| - | X | De verzameling van alle gebeurtenissen | |
| - | R | De verzameling van alle Regels | |
| - | U | De verzameling van alle Uitzonderingen | |
| Bevestigt a b | B | a bevestigt b | n.t.b. |
| Uitzondering a b | B | a is een uitzondering op b | n.t.b. |
(∃u:U,r:R, Uitzondering u r → Bevestigt u r)
