blob: 555022fd87e484cb33dbc97fc13730d3d9b00199 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
definition module PropositieLogica2
import StdEnv
// Definitie PropL moet gekopieerd worden uit PropositieLogica2.icl
:: PropL = Waar // logische waarheid
| Onwaar // logische onwaarheid
| Niet PropL // ontkenning van een term
| En PropL PropL // logische conjunctie
| Of PropL PropL // logische disjunctie
| Var Ident // variabele v met gegeven index i
:: Ident :== Int // variabelen hebben een index i (> 0)
:: Valuatie // valuatie van variabelen naar booleans
instance toString PropL
eval1 :: PropL -> Bool
eval2 :: Valuatie PropL -> Bool
vars :: PropL -> [Ident]
vals :: [Ident] -> [Valuatie]
truths :: PropL -> [Valuatie]
|
