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. ;"*           Constructing TRUTH TABLES and comparing propositions            *"
  3. ;"*             in a max/min MULTI-VALUED (w-valued) modal LOGIC              *"
  4. ;"* (c)Eugenio Roanes-Lozano (Dept. Algebra, Univ. Complutense Madrid) Jan 00 *"
  5. ;"*****************************************************************************"
  6.  
  7. ;"-----------------------------------------------------------------------------"
  8.  
  9. "Remark: LOGIC_MU.MTH must be LOADED before"
  10.  
  11. ;"-----------------------------------------------------------------------------"
  12.  
  13. "Example I: Commutativity of OR in a 5-valued Logic:"
  14.  
  15. w:=5
  16.  
  17. TT(2,MOR(p,q),MOR(q,p))
  18.  
  19. "Example II: Associativity of AND in Boolean Logic:"
  20.  
  21. w:=2
  22.  
  23. TT(3,MAND(p,MAND(q,r)),MAND(MAND(p,q),r))
  24.  
  25. "Example III: Distributivity of AND w.r.t. OR in 3-valued Logic:"
  26.  
  27. w:=3
  28.  
  29. TT(3,MAND(p,MOR(q,r)),MOR(MAND(p,q),MAND(p,r)))
  30.  
  31. "Example IV: De Morgan's laws in 5-valued Logic:"
  32.  
  33. w:=5
  34.  
  35. TT(2,MNEG(MAND(p,q)),MOR(MNEG(p),MNEG(q)))
  36.  
  37. "Example V: ``Not possible'' compared with ``necessary not'' (3-valued Logic):"
  38.  
  39. w:=3
  40.  
  41. TT(1,MNEG(MPOS(p)),MNEC(MNEG(p)))
  42.  
  43. ;"-----------------------------------------------------------------------------"
  44.  
  45. "Example VI: ``Implies'' and ``iff'' in Boolean and 3-valued Logics:"
  46.  
  47. w:=2
  48.  
  49. TT(2,MIMP(p,q),MIFF(p,q))
  50.  
  51. w:=3
  52.  
  53. TT(2,MIMP(p,q),MIFF(p,q))
  54.  
  55. "-----------------------------------------------------------------------------"
  56.  
  57. "Example VII: Tautologies in Boolean and 3-valued Logics (surprise!):"
  58.  
  59. w:=2
  60.  
  61. ISTAUT(1,MOR(p,MNEG(p)))
  62.  
  63. w:=3
  64.  
  65. ISTAUT(1,MOR(p,MNEG(p)))
  66.  
  67. "-----------------------------------------------------------------------------"
  68.  
  69. "Example VIII: Tautological consequences in Boolean and 3-valued Logics"
  70.  
  71. w:=2
  72.  
  73. ISCONSTAUT(1,p,p)
  74.  
  75. ISCONSTAUT(2,MAND(p,q),p)
  76.  
  77. w:=7
  78.  
  79. ISCONSTAUT(1,p,p)
  80.  
  81. ISCONSTAUT(2,MAND(p,q),p)
  82.  
  83. "---------------------------  END  OF .DMO  FILE  ---------------------------"
  84.  
  85.