files/practicum/PropositieLogica3.icl

   1 implementation module PropositieLogica3
   2
   3 import StdEnv
   4
   5 ::      PropL    ...
   6 ::      Valuatie ...
   7 ::  Waarde   ...
   8
   9 instance toString PropL where
  10         toString ...
  11
  12 eval :: Valuatie PropL -> Waarde
  13 eval ...
  14
  15 vars :: PropL -> ...
  16 vars ...
  17
  18 vals :: ...
  19 vals ...
  20
  21 truths :: PropL -> [Valuatie]
  22 truths ...
  23
  24 Start = 0