files/practicum/PropositieLogica2.icl


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

implementation module PropositieLogica2

import StdEnv

::	PropL ...
::	Valuatie ...

instance toString PropL where
	toString ...

eval1 :: PropL -> Bool
eval1 ...

eval2 :: Valuatie PropL -> Bool
eval2 ...

vars :: PropL -> ...
vars ...

vals :: ...
vals ...

truths :: PropL -> [Valuatie]
truths ...

Start = 0