blob: af03b1086df5033677087d99150c5ea49fc2e39c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
definition module PropositieLogica3
import StdBool2, StdClass
// Definitie PropL moet gekopieerd worden uit PropositieLogica3.icl
:: PropL d = Con d // constante d (2-waardig of 3-waardig)
| Var Ident // variabele met gegeven naam
| Niet (PropL d) // ontkenning van een term
| En (PropL d) (PropL d) // logische conjunctie
| Of (PropL d) (PropL d) // logische disjunctie
:: Ident :== Int // variabelen hebben een index i (> 0)
:: Valuatie d // valuatie van variabelen naar booleans
:: Bool3 = Waar | Onwaar | Onbekend
class domein d :: [d]
class true d :: d
instance domein Bool
instance domein Bool3
instance true Bool
instance true Bool3
instance == Bool3
instance ~~ Bool3
instance ||| Bool3
instance &&& Bool3
instance toString Bool3
instance toString (PropL d) | toString d
vars :: (PropL d) -> [Ident]
vals :: [Ident] -> [Valuatie d] | domein d
eval :: (Valuatie d) (PropL d) -> d | ~~, |||, &&& d
truths :: (PropL d) -> [Valuatie d] | ~~, |||, &&&, ==, domein, true d
|
