files/practicum/PropositieLogica3.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

implementation module PropositieLogica3

import StdEnv

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

instance toString PropL where
	toString ...

eval :: Valuatie PropL -> Waarde
eval ...

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

vals :: ...
vals ...

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

Start = 0