files/practicum/PropositieLogica2.icl

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