¥i¬O¹J¦³¤£È±o´£Òªº¦WºÙ¡A«h¤@·§¼o±ó¤£¦¬¡C¤ñ¦p¡Alogic¤w¦Ñ¦ºÙ¬° 'ÅÞ¿è'¡C¨ä¥Lªº¦WºÙ¡A¦p'¦W¾Ç'¡A'½×²z¾Ç'¡A'²z«h¾Ç'µ¥µ¥¡A¬Ò¨S¦³¦¬¤J¥»¿èùØÀY¡C
¶¶«K¤@´£ªº¬O¡A¦b¤¤¤åùØ 'Ãã'»P 'µü'ªº¥Îªk¬O¤£¦Pªº¡C¦ý¦b³oùØ¡A½sªÌ§âÃã¬Ý¦¨¬O¤@ºØ¯S¨Ò¡C³o¼Ë°µªº²z¥Ñ¬O¡G(1)±qÅ޿誺Æ[ÂI¬Ý¡A¦³®É¤@ÓÃã»P¤@Óµü¡A¤£®e©öÂ_µM¹º¤À¡C¤×¨ä¬O§Ú̪º°Q½×²o¯A¨ì¤£¦Pªº»y¨¥ªº®ÉÔ¡A©¹©¹¦b³oÓ»y¨¥ùجOÃ㪺¡A¦b¥t¤@¹ïÀ³ªº»y¨¥ùØ«o¬OÓµü¡C(2)±qÅ޿誺Æ[ÂI¬Ý¡A³oÓ¤À§O¨Ã¤£«n¡C(3)§âÃã¬Ý¦¨¬Oµüªº¤@ºØ¯S¨Ò¡A«Ü¦X¥G¤@¯ëªºÅÞ¿è³B¨Æ²ßºD¡C
³o¥»®Ñ¤À¦¨¤TÓ³¡¥²¡G(1)^º~¹ï·ÓÅÞ¿è»y·J¡F(2)º~^¹ï·ÓÅÞ¿è»y·J¡F(3)ªþ¿ý¡CÃö©ó¦U³¡¥÷ªº½s¿ènÂI¤¤À³¸Ó¤@´£ªº¡A¦C¼g¦p¤U¡G
I ^º~¹ï·Ó³¡¥÷¡G
(1)»yµüªº½s±Æ¥þ¥H¥±`ªº¦r¥À¦¸§Ç¬°¤§¡C
(2)©Ò¦Cªº§¡¬°^»y¦WºÙ¡A¦ý±`¥Îªº¥~»y(¯S§O¬O©Ô¤B»yµü¡A¥H¤Îì¨Ó©Ô¤B¤åùبS¦³¡A¦ý«o¼Ò¥é©Ô¤B¤åªk»s¦¨ªº»yµü)¥ç¦¬¿ý¨ä¶¡¡C
(3)¾¨¥i¯à´£Ò²³æĶ¦W¡C¦p±N truth function ºÙ¬° '¯u¨ç'(¥çºÙ '¯u¨çȼÆ')¡C¤S¦p±Nrule of universal instantiation ºÙ¬° '¥þ¨Ò¤Æ«ß'('¥þºÙӨҤƳW«h')¡C
(4)ª`«ÅÞ¿è¤Wªººë²Ó°Ï¤À¡C¦pentailment »Pimplication¤§¤À§O¡A¥H¤Îlogical »Panalytical truth ¤§¤£¦P¡C¤S¦p¡A±Ntautology ºÙ¬° '¯u¨ç«í¯u¦¡'©Î '®M®Mµ¸°ò'¡A¦Ó¨S¦³±N¤§Ä¶¦¨ '«í¯u¦¡'¡C¦]¬°«eªÌ¬O«áªÌªº¤@ºØ¯S¨Ò¦Ó¤w¡C¹ï©ólogistic systemªººÙ©I¤]¬O¤@¼Ë¡C§Ṳ́£¯à¥u¦W¤§¬° 'ÅÞ¿è¨t²Î'¡A¦]¬°¤@ÓÅÞ¿è¨t²Îªº§J¨t©TµM¬O¤@ºØÅÞ¿è¨t²Î¡A¦ý¤Ï¤§¤£¥²µM¡C
(5)¦³¨Ç¥~»y¦Wµü¡A¥þ¨Ì¨ä¥Îªk·NĶ¡C¨Ò¦pmodus ponens, bivalence, expository syllogism, Barbaraµ¥¤À§OºÙ¬° 'Â÷Â_«ß'¡A '¯uȱƤ¤'¡A '³æ»y¤¤µü¤T¬q½×'(§Y Darapti »P Felapton¨âªÌ)»P²Ä¤@®æAAA¤T¬q½×(©Î '²Ä¤@®æ³æºÙAAA¤T¬q½×')¡C
(6)¤@ÓÅÞ¿è»yµüY§t¦³´XÓºc¦¨¶µ¡A«hŪªÌ¥i¥H¤À§OÀˬd¦UÓºc¦¨¶µ¡A¥H©ú¸ÓÅÞ¿è»yµüªº¿ï¥NĶ¦W¡C¨Ò¦p 'predicate' variable'¬O¥Ñ 'predicate'»P 'variable'¤G¶g©Ò¦¨¡A«hŪªÌ¥i¥H¤À§OÀˬd 'predicate'©M 'variable'¨âµüªºº~Ķ¡C«eªÌ¦³ '¿×µü'»P '»«µü'¡F«áªÌ¦³ 'ÅܼÆ'»P 'Åܶµ'¡C«h¸Ó¦X¦¨»yµü²z½×¤W¥i¦³¥|ºØ¤£¦PªºÄ¶ªk¡C¦ý³o¥u¬O´£¨ÑŪªÌ¤@ºØ°Ñ¦Ò¥Îªk¡A¨Ã¤£ªí¥Ü³o¼Ëºó¦¨ªº¨C¤@ºÙ©I³£¥i¥Î¡C¦³ªº¬O·¥¤£¦ÛµM¡A¬Æ¦ÜÀ³¸Ó±Æ±óªº¡C©Ò¥H¦b³o¤è±¡AŪªÌÀ³¸Ó´N¦Û¤v©Ò»Ý¡Aµ½°µ§PÂ_¡C
(7)¦UºØ¬A¸¹ªº¥Îªk¦p¤U¡G¶ê¬A¸¹ªí¥Ü(a)¤S¦W¡A©M(b)¥i¬Ù²¤¦rµü¡C¤ñ¦p¡G 'ºØÄݬɻ¡(ºØ®t¬É»¡)'ªí¥Ü¦Pª«²§¦W¡F '¶°(¦X)ªí¥Ü¥i¦W¤§¬° '¶°(¦X)'ªí¥Ü¥i¦W¤§¬° '¶°'¥ç¥i¦W¤§¬° '¶°¦X'¡C¤è¬A¸¹ªí¥Ü¦h»y¥æ¨Ö¡C¦p '¤@³e¡£©Ê¡¤'ªí¥Ü¥i·í '¤@³e'¸Ñ¡A¤S¥i·í '¤@³e©Ê'¸Ñ¡C¦±¬A¸¹ªí¥Üªþ±a»¡©ú¤å¦r¡A¦p '¤T¬q½×ªº ®æ'ªí¥Ü³o¦WºÙ¬O¥Î¦b¤T¬q½×ùØ¡C¨ä¥L¼ÐÂI¥Îªk¡G³æ¤Þ¸¹ªí¥Ü²Å¸¹ªº´£«ü¡A¦p ' '¡¼''¡C³r¸¹ªí¥Ü¦P½è¥Îªk¤¤ªº®í¦W¡A¤À¸¹ªí¥Ü²§½è¥Î±d¡C¨Ò¦p¡G '»yµü¡A»y¶µ¡F³N»y'¡C¦ý»Ýª`·N¡A³o¤@°Ï¤À¬O¬Û¹ïªº¡A¤£¥i¹L¥÷©ëªd¡A»\¡u¸Uª«²¦¦P²¦²§¡v¤]¡C
IIº~^¹ï·Ó³¡¥÷¡G
(1)¥Hµ§¹º¦h¹è±Æ¦C¬°¥Dnì«h¡C¦U»yµüªº¤¤¤å¦WºÙ¤¤²Ä¤@¦r¬Û¦PªÌ½s±Æ¦b¤@°_¡C
(2)¥H©Ê½è¬Ûªñªº»yµü±Æ¦C¦b¤@°_¬°»²§Uì«h¡C
(3)º~»y¤§«e«a¦³¥~¤åªº(¦pn¦ì)±Æ¬°0¹º¡C
(4)p¼Æµ§¹º®É¥H¥Ø«e¬y¦æªº¦rÅ鬰ì«h¡C¦p '§Î'¤£±Æ¦¨ '§Î'¡A 'Á|'¤£±Æ¦¨ '(Á|)»P¤â'¡A 'Åé'¤£±Æ¦¨ 'Ê^'µ¥¡C¦b³o¤è±½sªÌ´£¤£¥X¤@©w±o¿í´`ªºì«h¡C
(5)¬A¸¹»P¼ÐÂIªº¥Îªk»P^º~³¡¥÷¦P¡C
III ªþ¿ý³¡¥÷¡G
(1)²Ä7Óªþ¿ýùØ©Ò´£ªº¶µ¥Ø¡A¨ì©³À³¸ÓºÙ¬°³W«h¡A©w«ß©³ì²z¡A³o±`±`¤£¬O¤@¦¨¤£Åܪº¡C¨ºn¬Ý¸Ó¶µ¥Ø¦b¤@ÓÅÞ¿è¨t²ÎùØ©Ò¦ûªº¦a¦ì¦Ó©w(¦³®É¤]¦]ÅÞ¿è®aªº³ß·R¤§¤£¦P¦Ó¦³§O)¡C¦]¦¹§Ų́S¦³²Î¤@ªº³W©w¡A¤]¨S¦³«½Æ¦CÁ|¡C
(2)³o¨Ç¥Ø¿ý©Ò¦CÁ|ªº¡A¥u¬O¨Ç±`¨£±`¥Îªº¶µ¥Ø¡C¤×¨ä¬O¨Ç½sªÌ¬Û«H¹ï©óÅÞ¿è±Ð¾Ç¦³¥Îªº¶µ¥Ø¡C