¸ºÅжÏÊÇͨ¹ý·ñ¶¨Ä³¸öÅжÏËùµÃµÄÅжϡ£È瓲¢·ÇÒ»ÇвúÆ·¶¼ÊÇÉÌÆ·”£¬¾ÍÊǸºÅжϡ£¸ºÅжÏÊÇÓÉÔÅжϼÓÉÏ·ñ¶¨Áª½á´Ê“²¢·Ç”¶øÐγɵĸ´ºÏÅжϡ£ÔÅжÏÓÓP”±íʾ£¬¸ºÅжÏÔòÊÇ“²¢·ÇP”¡£Óɴ˾ö¶¨Á˸ºÅжÏÓëÔÅжϳɶÔÁ¢¹ØÏµ¡£¸ºÅжϵÄÕæ¼Ù£¬ÓëÔÅжϵÄÕæ¼ÙÓÐÃÜÇйØÏµ¡£ÔÅжϓP”Õæ£¬Ôò¸ºÅжϓ²¢·ÇP”¾Í¼Ù£»ÔÅжϓP”¼Ù£¬Ôò¸ºÅжϓ²¢·ÇP”¾ÍÕæ¡£
¡¡¡¡¸ºÅжϵÄÂß¼ÐÔÖÊÊǶÔijһ¸öÅжϵķñ¶¨¡£¸ºÅжϵĽṹʽ(Á½²¿·Ö)ÊÇ£º
¡¡¡¡(1)Ö«Åжϡ£¸ºÅжÏÖб»·ñ¶¨µÄÅжϡ£Ò²¾ÍÊÇÔÅжϡ£
¡¡¡¡(2)Áª½áÏî¡£“²¢·Ç……”¡¢“²¢²»ÊÇ……”¡¢“……ÊǼٵĔµÈ±íʾ¡£Ò²¿ÉÓÃÂß¼·ûºÅ“¦è”(¶Á×÷“·Ç”)±íʾ¡£
¡¡¡¡¸ºÅжϵÄÂß¼ÐÎʽ¼°Õæ¼ÙÖµÈçÏ£º
¡¡¡¡ÓïÑÔ±í´ïʽ£º²¢·Çp¡£“²¢·Ç……”¡¢“²¢²»ÊÇ……”¡¢“……ÊǼٵĔµÈ±íʾ¡£
¡¡¡¡Âß¼±í´ïʽ£º¦è p(“¦è”¶Á×ö²¢·Ç)
¡¡¡¡¸ºÅжÏÓëÖ«ÅжϵÄÕæ¼ÙÇé¿ö¡£Ö«ÅжÏÓ븺ÅжÏÊÇì¶Ü¹ØÏµ£¬»¥ÎªÕæ¼Ù¡£
¡¡¡¡¸ºÅжϵÄÕæÖµ±í£º
| Ö«ÅÐ¶Ï | ¸ºÅÐ¶Ï |
| Õæ | ¼Ù |
| ¼Ù | Õæ |
¡¡¡¡ÔÚ MPAccöλÔÓéÀֵǼÈë¿ÚÏÂÔØÖÐÈô˹Óöµ½¸ºÅжϣ¬Í¨³£²ÉÓ÷ñ¶¨¶¨ÀíÀ´½â¾ö¾Í¿ÉÒÔ¡£´ó¼Ò¼ÇסÒÔÏ¿ھ÷£º
·ñ¶¨·ñ¶¨µÃ¿Ï¶¨£»·ñ¶¨¿Ï¶¨µÃ·ñ¶¨£»
·ñ¶¨²¢ÇҵûòÕߣ»·ñ¶¨»òÕߵò¢ÇÒ£»
·ñ¶¨ËùÓеÃÓеģ»·ñ¶¨ÓеĵÃËùÓУ»
·ñ¶¨±ØÈ»µÃ¿ÉÄÜ£»·ñ¶¨¿ÉÄܵñØÈ»¡£
¡¡¡¡ÓÐÁËÕâЩ¿Ú¾÷ºó£¬ÎÒÃÇÁоټ¸¸öMPAccöλÔÓéÀֵǼÈë¿ÚÏÂÔØÖеÄÌâÄ¿À´¿´¿´¸ºÅжϵÄÓ÷¨¼°ÍÆÀí£º
¡¡¡¡¡¾2013MPAcc48ÀýÌâ1¡¿
¡¡¡¡Ä³¹«Ë¾ÈËÁ¦×ÊÔ´¹ÜÀí²¿ÈËʿָ³ö£ºÓÉÓÚ±¾¹«Ë¾ÕÐÆ¸Ö°Î»ÓÐÏÞ£¬ÔÚ±¾´ÎÕÐÆ¸öλÔÓéÀֵǼÈë¿ÚÏÂÔØÖв»¿ÉÄÜËùÓеÄӦƸÕß¶¼±»Â¼È¡¡£
¡¡¡¡»ùÓÚÒÔÏÂÄÄÏî¿ÉÒԵóö¸ÃÈËÊ¿µÄÉÏÊö½áÂÛ£¿
¡¡¡¡A¡£ÔÚ±¾´ÎÕÐÆ¸öλÔÓéÀֵǼÈë¿ÚÏÂÔØÖУ¬¿ÉÄÜÓÐӦƸÕß±»Â¼Óá£
¡¡¡¡B¡£ÔÚ±¾´ÎÕÐÆ¸öλÔÓéÀֵǼÈë¿ÚÏÂÔØÖУ¬¿ÉÄÜÓÐӦƸÕß²»±»Â¼Óá£
¡¡¡¡C¡£ÔÚ±¾´ÎÕÐÆ¸öλÔÓéÀֵǼÈë¿ÚÏÂÔØÖУ¬±ØÈ»ÓÐӦƸÕß²»±»Â¼Óá£
¡¡¡¡D¡£ÔÚ±¾´ÎÕÐÆ¸öλÔÓéÀֵǼÈë¿ÚÏÂÔØÖУ¬±ØÈ»ÓÐӦƸÕß±»Â¼Óá£
¡¡¡¡E¡£ÔÚ±¾´ÎÕÐÆ¸öλÔÓéÀֵǼÈë¿ÚÏÂÔØÖУ¬¿ÉÄÜÓÐӦƸÕß±»Â¼Óã¬Ò²¿ÉÄÜÓÐӦƸÕß²»±»Â¼Óá£
¡¡¡¡¡¾´ð°¸¡¿C
¡¡¡¡¡¾½âÎö¡¿±¾ÌâµÄ¹Ø¼üÐÅÏ¢ÊDz»¿ÉÄÜËùÓеÄӦƸÕß¶¼±»Â¼È¡£¬·ñ¶¨¿ÉÄܵñØÈ»£¬·ñ¶¨ËùÓеÃÓе쬷ñ¶¨¿Ï¶¨±»Â¼È¡£¬µÃ·ñ¶¨£¬²»±»Â¼È¡¡£¹ÊÕýÈ·´ð°¸Ñ¡ÔñC¡£
¡¡¡¡¡¾2006ÄêGRK27ÀýÌâ2¡¿
¡¡¡¡²¢·Ç²Ì¾Àí¸ºÔðÑз¢»òÕ߸ºÔðÏúÊÛ¹¤×÷¡£
¡¡¡¡Èç¹ûÉÏÊö³ÂÊöÎªÕæ£¬ÒÔÏÂÄÄÏî³ÂÊöÒ»¶¨ÎªÕ棿
¡¡¡¡A. ²Ì¾Àí¼È²»¸ºÔðÑз¢Ò²²»¸ºÔðÏúÊÛ¡£
¡¡¡¡B. ²Ì¾Àí¸ºÔðÏúÊÛµ«²»¸ºÔðÑз¢¡£
¡¡¡¡C. ²Ì¾Àí¸ºÔðÑз¢µ«²»¸ºÔðÏúÊÛ¡£
¡¡¡¡D. Èç¹û²Ì¾Àí²»¸ºÔðÏúÊÛ£¬ÄÇôËû¸ºÔðÑз¢¡£
¡¡¡¡E. Èç¹û²Ì¾Àí¸ºÔðÏúÊÛ£¬ÄÇôËû²»¸ºÔðÑз¢¡£
¡¾´ð°¸¡¿A
¡¡¡¡¡¾½âÎö¡¿Ìâ¸É¬(Ñз¢∨ÏúÊÛ)µÈÖµÓÚ¬Ñз¢∧¬ÏúÊÛ£¬¹ÊÕýÈ·´ð°¸Ñ¡ÔñA¡£Õâ¸öÌâÄ¿Ö÷ÒªÓõ½ÁË·ñ¶¨¿Ï¶¨µÃ·ñ¶¨£¬·ñ¶¨»òµÃÇÒ¡£
¡¡¡¡×îºó£¬´ó¼Ò½áºÏ ÎÒÃǽ²¹ýµÄµÈÖµÍÆÀí¹«Ê½£¬ÔÚ¹«Ê½µÄÁ½±ßͬʱ¼Ó·ñ£¬¹«Ê½Á½±ß»¹ÊdzÉÁ¢µÄ¡£¸½±í£º³£ÓõÈÖµ¹«Ê½
| Âß¼ÃüÌâ | µÈÖµÃüÌâ |
| P→Q | ¬P∨Q |
| P∨Q | ¬P→Q |
| ¬(P∧Q) | ¬P∨¬Q |
| ¬(P∨Q) | ¬P∧¬Q |
| ¬(P |
(P∧Q)∨(¬P∧¬Q) |
| ¬(P→Q) | P∧¬Q |
| ¬(P«Q) | (P∧¬Q)∨(¬P∧Q) |
| (A→(B→C)) | (A∧B)→C |

