home *** CD-ROM | disk | FTP | other *** search
- ;"*****************************************************************************"
- ;"* Constructing TRUTH TABLES and comparing propositions *"
- ;"* in a max/min MULTI-VALUED (w-valued) modal LOGIC *"
- ;"* (c)Eugenio Roanes-Lozano (Dept. Algebra, Univ. Complutense Madrid) Jan 00 *"
- ;"*****************************************************************************"
-
- ;"-----------------------------------------------------------------------------"
-
- "Remark: LOGIC_MU.MTH must be LOADED before"
-
- ;"-----------------------------------------------------------------------------"
-
- "Example I: Commutativity of OR in a 5-valued Logic:"
-
- w:=5
-
- TT(2,MOR(p,q),MOR(q,p))
-
- "Example II: Associativity of AND in Boolean Logic:"
-
- w:=2
-
- TT(3,MAND(p,MAND(q,r)),MAND(MAND(p,q),r))
-
- "Example III: Distributivity of AND w.r.t. OR in 3-valued Logic:"
-
- w:=3
-
- TT(3,MAND(p,MOR(q,r)),MOR(MAND(p,q),MAND(p,r)))
-
- "Example IV: De Morgan's laws in 5-valued Logic:"
-
- w:=5
-
- TT(2,MNEG(MAND(p,q)),MOR(MNEG(p),MNEG(q)))
-
- "Example V: ``Not possible'' compared with ``necessary not'' (3-valued Logic):"
-
- w:=3
-
- TT(1,MNEG(MPOS(p)),MNEC(MNEG(p)))
-
- ;"-----------------------------------------------------------------------------"
-
- "Example VI: ``Implies'' and ``iff'' in Boolean and 3-valued Logics:"
-
- w:=2
-
- TT(2,MIMP(p,q),MIFF(p,q))
-
- w:=3
-
- TT(2,MIMP(p,q),MIFF(p,q))
-
- "-----------------------------------------------------------------------------"
-
- "Example VII: Tautologies in Boolean and 3-valued Logics (surprise!):"
-
- w:=2
-
- ISTAUT(1,MOR(p,MNEG(p)))
-
- w:=3
-
- ISTAUT(1,MOR(p,MNEG(p)))
-
- "-----------------------------------------------------------------------------"
-
- "Example VIII: Tautological consequences in Boolean and 3-valued Logics"
-
- w:=2
-
- ISCONSTAUT(1,p,p)
-
- ISCONSTAUT(2,MAND(p,q),p)
-
- w:=7
-
- ISCONSTAUT(1,p,p)
-
- ISCONSTAUT(2,MAND(p,q),p)
-
- "--------------------------- END OF .DMO FILE ---------------------------"
-