1ï¼å æ¥è§£å³ä¸ä»ä¹æ¯å¿ è¦æ¡ä»¶ï¼ä»ä¹æ¯å åæ¡ä»¶
2ï¼å åæ¡ä»¶ï¼å°±ååä¸å¦ä¹ ç串èçµè·¯é£æ ·ï¼åªè¦å¨ä¸²èä¸ççµå®¹å¨å ·å¤æä¸æ¡çº¿è·¯ç éï¼é£ä¹å°±å¯ä»¥ä¿è¯æ´ä¸ªçµè·¯æ¯ç éçãç¨æ¨åºå ³ç³»è¯´ï¼å°±æ¯Pæ¯Qçå åæ¡ä»¶ï¼å°±æ¯P=>Q
3ï¼å¿ è¦æ¡ä»¶ï¼å°±ååä¸å¦ä¹ ç并èçµè·¯é£æ ·ï¼åªæçµè·¯ä¸ææççµå®¹å¨é½æ¯ç éçï¼æå¯ä»¥ä¿è¯çµè·¯çç éãç¨æ¨åºå ³ç³»è¯´ï¼å°±æ¯Qæ¯Pçå¿ è¦æ¡ä»¶ï¼å°±æ¯Q=>P
4ï¼P=>Qçä»·äº-PæQï¼ä»ççç¾å½é¢å°±æ¯ï¼Pä¸-Qï¼ä»çéå½é¢å°±æ¯ï¼Q=>Pï¼éå¦å½é¢å°±æ¯ï¼-Q=>-Pï¼éå¦å½é¢å°±çä»·äºQæ-Pã
æä¸è¿°å¼åå¯ä»¥çåºï¼å åæ¡ä»¶çéå¦å½é¢ä¸å åæ¡ä»¶æ¬èº«å±äºçä»·å ³ç³»ï¼æ以åçåå
5ï¼Q=>Pçä»·äº-QæPï¼ä»ççç¾å½é¢å°±æ¯ï¼Qä¸-Pï¼ä»çéå½é¢å°±æ¯ï¼P=>Qï¼éå¦å½é¢å°±æ¯ï¼-P=>-Qï¼éå¦å½é¢å°±çä»·äº-QæP
æä¸è¿°å¼åå¯ä»¥çåºï¼å¿ è¦æ¡ä»¶çéå¦å½é¢ä¸å¿ è¦æ¡ä»¶æ¬èº«å±äºçä»·å ³ç³»ï¼æ以åçåå