home *** CD-ROM | disk | FTP | other *** search
/ Chip 2002 June / Chip_2002-06_cd1.bin / zkuste / derive / download / Setup.exe / %MAINDIR% / Users / Logic_mu.dmo < prev    next >
Encoding:
Text File  |  2002-05-15  |  2.0 KB  |  85 lines
  1. ;"*****************************************************************************"
  2.  
  3. ;"*           Constructing TRUTH TABLES and comparing propositions            *"
  4.  
  5. ;"*             in a max/min MULTI-VALUED (w-valued) modal LOGIC              *"
  6.  
  7. ;"* (c)Eugenio Roanes-Lozano (Dept. Algebra, Univ. Complutense Madrid) Jan 00 *"
  8.  
  9. ;"*****************************************************************************"
  10.  
  11.  
  12.  
  13. ;"-----------------------------------------------------------------------------"
  14.  
  15.  
  16.  
  17. "Remark: LOGIC_MU.MTH must be LOADED before"
  18.  
  19.  
  20.  
  21. ;"-----------------------------------------------------------------------------"
  22.  
  23.  
  24.  
  25. "Example I: Commutativity of OR in a 5-valued Logic:"
  26.  
  27.  
  28.  
  29. w:=5
  30.  
  31.  
  32.  
  33. TT(2,MOR(p,q),MOR(q,p))
  34.  
  35.  
  36.  
  37. "Example II: Associativity of AND in Boolean Logic:"
  38.  
  39.  
  40.  
  41. w:=2
  42.  
  43.  
  44.  
  45. TT(3,MAND(p,MAND(q,r)),MAND(MAND(p,q),r))
  46.  
  47.  
  48.  
  49. "Example III: Distributivity of AND w.r.t. OR in 3-valued Logic:"
  50.  
  51.  
  52.  
  53. w:=3
  54.  
  55.  
  56.  
  57. TT(3,MAND(p,MOR(q,r)),MOR(MAND(p,q),MAND(p,r)))
  58.  
  59.  
  60.  
  61. "Example IV: De Morgan's laws in 5-valued Logic:"
  62.  
  63.  
  64.  
  65. w:=5
  66.  
  67.  
  68.  
  69. TT(2,MNEG(MAND(p,q)),MOR(MNEG(p),MNEG(q)))
  70.  
  71.  
  72.  
  73. "Example V: ``Not possible'' compared with ``necessary not'' (3-valued Logic):"
  74.  
  75.  
  76.  
  77. w:=3
  78.  
  79.  
  80.  
  81. TT(1,MNEG(MPOS(p)),MNEC(MNEG(p)))
  82.  
  83.  
  84.  
  85. ;"-----------------------------------------------------------------------------"
  86.  
  87.  
  88.  
  89. "Example VI: ``Implies'' and ``iff'' in Boolean and 3-valued Logics:"
  90.  
  91.  
  92.  
  93. w:=2
  94.  
  95.  
  96.  
  97. TT(2,MIMP(p,q),MIFF(p,q))
  98.  
  99.  
  100.  
  101. w:=3
  102.  
  103.  
  104.  
  105. TT(2,MIMP(p,q),MIFF(p,q))
  106.  
  107.  
  108.  
  109. "-----------------------------------------------------------------------------"
  110.  
  111.  
  112.  
  113. "Example VII: Tautologies in Boolean and 3-valued Logics (surprise!):"
  114.  
  115.  
  116.  
  117. w:=2
  118.  
  119.  
  120.  
  121. ISTAUT(1,MOR(p,MNEG(p)))
  122.  
  123.  
  124.  
  125. w:=3
  126.  
  127.  
  128.  
  129. ISTAUT(1,MOR(p,MNEG(p)))
  130.  
  131.  
  132.  
  133. "-----------------------------------------------------------------------------"
  134.  
  135.  
  136.  
  137. "Example VIII: Tautological consequences in Boolean and 3-valued Logics"
  138.  
  139.  
  140.  
  141. w:=2
  142.  
  143.  
  144.  
  145. ISCONSTAUT(1,p,p)
  146.  
  147.  
  148.  
  149. ISCONSTAUT(2,MAND(p,q),p)
  150.  
  151.  
  152.  
  153. w:=7
  154.  
  155.  
  156.  
  157. ISCONSTAUT(1,p,p)
  158.  
  159.  
  160.  
  161. ISCONSTAUT(2,MAND(p,q),p)
  162.  
  163.  
  164.  
  165. "---------------------------  END  OF .DMO  FILE  ---------------------------"
  166.  
  167.  
  168.  
  169.