home *** CD-ROM | disk | FTP | other *** search
/ Developer Source 3 / Developers_Source_Vol_03_1996.iso / dbprd / jan94 / mcgo12.gif < prev    next >
Graphics Interchange Format  |  1996-06-12  |  92.7 KB  |  456x533  |  4-bit (16 colors)
   ocr: LawafDelachment Pa(P>0)0 Modus tollendotollens 08P0) - Madus-tollendo ponens Pa(PVQ)>0 Lawof Simplitication P&Q2P LawofAdjunction P&Q2P&Q Law of Hypothetical syllogism (P>0)8(0 R) (P R) Law of Exportation P&Q-RI * EP. X ( R)] Law ofimportation [P(Q R IP &9RI Lawof Absurdity [P-08-01 * - - Law ofAddition P(PVQ) Law.ot Double Negation P-P Law 01 Contraposition (P>0)*(-Q P) DeMorgans's Laws (PVO)*Pa-a) (Pa0)->(PV-a) Commutative Laws P&Q08P PVQQVP Law: 0f Equivalence for mplication and Uisjunction (P >0)*(PVO) Lawot Negation for Implication (P 0P&-0 Laws for Bicondional Sentences (P. 0P(P - - a) & ...