98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&l3 @ ! @ !98...

27

Upload: dokhanh

Post on 05-Feb-2018

214 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

��������������� ����������������� ��������������! �"�#��$%��� !���&��� ' (")���*����+� �"

, ����������-!�.���/�0��$1 '�� ����!������������� ����������������� 2 (�3 '�4+� (5��6�478�� ("�9: ��� '-/������";� ' ����< '�>=@?�ACB�D;=@?�AFEHG!?�I1I�J!K�EHG;L.M#�� �"��> (�N '���O�P����+�����+��6�����Q���!��R '�:"&��������"; -! �+���-!�����@��� !���&��� ' (")���S��-!�T��$U�&VW���� ��@X�� !�&-/ P���� (�@���� Y�Z�� �-/�&"; X"����.������&�� [��$\ !�� ���"����-/�!��].���^M_�5��-N98���^M# ���+����^M`X�� !���&��� ! �")���a����+� �"NM_��-/9T�2 �������/�45��&-cbd���&�(��$U���a$U��-#�������&-/�/ ������� ���+@ !����X�� !���&��� ! �")���*MS�^bY��$% !�� ���98 (��+�LM#�� �"��e����"&�d����/ !�&-/�&�f�������^M#�Ob����e !�g������-!����"��e��� '���&��� ' (")���_"&����"�&�� !������f��-/�����(�&@�� (�W�g"&�(�)��-������W"����h����&�� YMS�^bi�O (��"&�(���� (��+g�����bi��$R '�����-!�T��$P�j kbT�.�l78���&�c ' ������[ (�Y '�� (�#"&����-/�!��V

,nm -/ ( ' (��+�����+� �"&�����ob[ (�1�#5��&-/b6���/�$U���T�!98 (���HV�pj \ ��q�/����;M#���� 1-!��P�� !�&�� '��Lr���� \���� '���6�'��@�6���&LsM#-! o ' (��+4"&���&��-!�ob�L���-#�;t�" ���8 !�(b�L.��-["����5� (��"& (��+��ob�L���-# ���$U��-!��r� ' (5��&�ob*]8 (���)���(�(bQ������MS�������4M3���8 _ '�6���0��������$a '���&�!�[�� �����"��LT���� _�!��@� ! �@�&������O�����R '�:���9��u"�����-!��@ ��/�&�uvC '������+��wM# ( !�>��-'��" ' ("&�Ob����yxz���%�.�u�������Q !���"��� ��;5��4@��-!�u��${b�����-lM#-! o ' ���+Y���T|/�" ' o5���0"����"&��-!-!��� '�(b�}~Vu���T���Q�:����+� �"&�����-!+������8 ���^bn�/��@� ' (���4���T��9�����M# ������b�L3�;��"�&�!�/ (5��&�(b�"&��@���( �")�r '�&�aL_��-�� '���-/M# (�!�[�����.�)��-{����"����5T ���" ���+�V%�����N�� (+6����5����� ���+��[��$.M#-! o ' (��+�����+� (")���(�(b�L���^MS�;5��&-L� ��l !���� 6�����@")���Z�.�X�����!���(�� '��(b>�/��-!�4 '���r 6b�����-6"&����"&�����! ����ZM# (����*�0"&��-/-!�&"; )La���N�(����+Y���R���(�qb�����-R��bT�.�� '����!��RMS�-!�O"��-!-/�&" l������b�����-N�c '����MS�-!�@����+� (")����]y���/ ���+��� '���&-��/ kbT����0��$_M#-/ ( ' (��+:�����4"&�����.�4-!�&���!���������(bw"&�����5� (��"&��� '���� R�/����; '�� (��+X (�[ !-!����La���� [ '���-!�O (�R�X�� (�*�&-!���"&�0�*�; kMS��&���.�& ���+"&����5T ���"�&�������d�*� ���+Y�;�T�'D;V

,e� �& (��+R����+� �"&���8 ������� % '���������(b6����! (-'�����(�S '-!�� ( \ ��0M#-! ( ! ���+�L������u (�O$F��" %�!��@�;� ' �@�&�6 ( 0+��; '�Q (�� !����MS�)b*]���� '���X�r ' �" P������$U��-0 (���/ '����"&����$C '���-!��!��-c Q !��!����-c O (��$U��-!����{��-/+���@�&�� '�0M#�� �"�����-!�Y���� O����+� �"&�����ob�-/ �+���-/������M#���&�� !���bM3���� � '�:"����5T ���"�@�� '���-lX�� !���&��� ! �"& ������[��$_�d�c ��� !�&@�&�� lM# ( !������ ����� ���+ '��-/����+��<�����a��$% !����������+4���; ��� (���Ls�����d '�����'����� ��� !-!���6��$\"&����-/�!��$U��-#�������X�� !���&��� ! �"& ����������1M_�&�(�HV%���N�!�^bT (��+[ !���� %�2�c ��� !�&@�&�� ���-1��-/+���@�&�� \ ��[�/���� ����+� (")���(�Q (�3���� #���"&��!�'��-! ��obd�O�����: !�� ���+�]� '���-!�6��-/�l��$C '��������bY�/ ( !���� ' (�����M#���&�e�����������4+��T���n-!�&���!������ !������ ��.�d�&@������ ! �"d���.���� @�.�& (��+��(��+� (")����V� �^MS�;5��-&L{�����@�!�����������.�Y�)MS��-!����$3 !���X�� (�/ ! ���"; ' ������.� kM_�&��i�(��+� (")����-/�)�r��!���� (��+:�����w���-!�Q (��$U��-/X����@�)�����R��$���-/+���@�&�� )La�����>���� N '-cb< !�Y�����/�R������� ��(����+� (")���{��-!+���@�&�� @���u�.�& (��+>����+� �"&�����ob>-! (+���-!�����&V�vFpk�n����-c ' ("&������-&L� o$[�����@�M_��-!9w78����/ ! �������-l�;�����78����/ ' (���g (�����!98 (��+�$U��-��<��-!�T��$�L� '���&�Z ( � ���;���*�" ! ���+4b����d '�4�.������+� (")���* ��Yb�����-[�����/M_�&-'};V

Page 2: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

, � ��+� �": (�����!98 (���3 '���� @���&����� !�g�.���(�)��-/�� ��( �9��<���8bn�� '���-&L3���� @ !�� ��@�!98 (��� ��������/�e (������ !�> '�e�����R��$Qb���� �� �������&�yLRb����`��-!���������(bW���!�� !���Z�P�)M#�d��$����+� ("0����"&�����!"& (�����/�(bw (�wb�����-l�5��-/bT���)b��!�.�&�"��g������ ��wb�����-l�^M#�Z (�� '�&-/�����vF�����T�k��� '���X�r ' �"&���C}{-!�&���!���� ���+�V � �^MS�;5��-&Ly o [������2 '��9��Q�@�� o 2��$� '-!�� ��� ���+�����Z��-'��"; ' ("&�O '�d-/�&"&��+��� ���u '�� (�l ������r '�u�!98 (���������Z !�<�������(bw ( R !�<�����/ !-'��"; �! ( !���� ! ��������/��"��>���# '�����!�0�&��"������ '�-!�&�� ���X�� !���&��� ! �")���y��-!�T��$U�V � �")�����/�����+� ("X (�u ������r '��L{ '�������)M#�u��$N�(��+� ("� '���� 4b����i���&��-!���/�������(� =@?���D��^D����^D6� ($3b�����h�����b�����-!�/�&�o$[���^5T (��+� '�������-/ ���@�����Y��$� !���X��-/ ���" ����(�&�0��-Q���^M#���$S�(��+� ("O���&-/��LqM# ( !������ l$U��&�� (��+��:���8 '���6�/"�� �"�98�d��-�"&�����-/�&������� (��+:M#�8b '���� R�P�)M �/�������(�>MS��-/9sLq !���&�>b����ZM# (���1��-!���������ob��aJrA%�.�4�����(�O '�:���/�u '���� �P�)MW��$q�(��+� �"#"��-!-/�&" !�(bX�����Y�;�a�" ! (5���(b� �����-'��"; ' ("&��V��T��L�.I�D!?r�^D������yx ��/ !����b '�� (�[������������ N '���6M3�)b�b����>@ �+��� ["&-!�� �*�;$U��-!�Q��h��������_ '���� N ��[+��� ���+@ !��*�0���!����&�/�&Vlpk���c '�&���yL� ��������������������������� !�"���#�%$�&'$)({Ly�������'D!?�*O������+��*TD;�'�;AH?,��*l !�� ��������������� 2-!�� '���-3 '�����<@�&-/�&�(b��;A��-*,.rE/�TK6 ( 10

2323242325 �r '���X�� ! �"&���y�/ '�� '����� '�

,76 ��bg��� !���&��� ' (")������-/+���@�&�� O��-!�T"&�&����u ������!�7T���&��"�<��$�=@?�ACB�D;=@?�AFEHG!?�I�;Aj?�AkD;=XD���AU�;Vi������!�w��-!����-!�"& ��/�d�/ ��r '�&@�&�� !�X"&����"&�-!�� (��+Z5���-/ ������@��� !���;�X�� ! �"&���_���T|/�&"; '�<vF�8��O�.�&-/�&L�5��" !��-!�L_$U����"; ' (�����&L{�; '"�V } �����i-/�&���� ' (�����Q�.�;� kMS��&�W '��� vF������ o ' ����yL3�&78������ ( kb�L#�� (�*�&-/�&�� ' ��� ' (���yL3�; '"�V };V ������!�>���8|/�&" !�")���@�& o '���-��*�#"&�����/ '���� '����-�5���-! ���������&]8@��-!�����u !�� ������� '�-&V��8 ��� !�&@�&�� '�_��-!��& ( !���&-3 !-!������-3$F�����!��V

,76 ���;����@�����l��$%�O '-/�����/ ��r '�&@�&�� 2 ��8:9;8=<?> ]

���d�;����@�����l��$%�u$F�����/�l�/ ��r '�&@�&�� 2 ��8:9;8=<A@+B

,DC �� 0�5��&-/bg"&��Q�� ����r ' �������$3X�� !���&��� ! �")�����/bTO�.�����0 ��0���/ '�� '����8 &VFE���- ����c �����"��L

<A8:9;9G>�<IH?<J8 ��R���� ��:�/ ��r '�&@�&�� &]qM_�4�!��@� ! �@�&�[")���(�% ( OECICILKNM)Jr�;=XDO*Q��-uECICILKP*TD"QR�aDO*�V6�������-!�;5� (�����@ kMS���c ��� !�&@�&�� '�X��-!�TSSD;ICILKNM)Jr�~=XDO*���-USSD;ICILKP*TD"QR�aDO*�Vf���8���XM_�&�(�o�$U��-!@�&�e�/ ��r '�&@�&�� !�X")���f�*�<�& o '���-@ !-!���<��-@$F�����!��][ (��� �j$U��-/�����/ ��r '�&@�&�� !�

8

Page 3: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

��-!�l"�����! (���&-/�&�� '�4�*�l���& ( !���&-� !-!���l��-�$F���(�!�4vU ��:$F��"; )L� !���b���-/�l���!�������obY���� "&�����/ ����-!��w�/ '�� '����8 !�R�� N���(�C};V 6 @��-/�0�/���� '�(�0�~����������6��${���< ���� �j$U��-/����/ ��r '�&@�&�� 2 ��

�����=< � ]�� (5T ��/ �������b&�&�-!�u (�S�������h�����yLs�����:�/�O '���R���*�^5��l�/ ��r '�&@�&�� � (�3 ��(�o�H$U��-!@�&�yV6 ����+� (")���*��-/+���@�&�� ��!���������d���� #"&���� ��� �������bY (���o�H$U��-!@�&���/ '�� '����8 !�&L� !�T���$U��-3 ����/ �����"&�� ($\������-/+���@�&�� #���/�&�[�4�c ��� !�&@�&�� #�!��"��w����� ��� <� L� ( 3���&���� '�Xh�-/�/ l����!��-!�Q !���� � ��[���� N�&78�����1 '�&��&-!��V4v 5 ���8b�����-/�*��-c '��w��-!�T��$U�[��$� ��<O� ����-0�� '���-0$F���(�!�@�/ ��r '�&@�&�� !�Q-!��(b����g� 5��&-/���T��98 ���+d '�� (�w�c�/ ��r '�&@�&�� !�O���/ 2�.�RMS���� �j$U��-/�����u"&-/ ( '�-! (���s};V

, 5 ����b���$�b����w���)5��O��-!���������(b:M#-/ ( ! !�&�< ���� �j$U��-/���Y��-2�� '���&-/M# (�!�0 �����""&��-!�� '��/ ��r '�&@�&�� !�3 ��Xb�����-�������;MS��-/9���-S�;����@�&L�M#�� ��(�[ (�8 !�&���� ���+Q !�u��&���Y�/������ '���-&L�M_�&��� �j$U��-/���d��������"&"��-'�� !�0�c ��� !�&@�&�� )VS�\�X�@"�&-/ '�� ����;�T !�&�� N !�� ��# ���*�-!@ ��!�/ ����(�0�2 ( � (�l�! (� (�P��-# '�d@ ��!�/�*����( ���+Y�/��@�OMS��-/���6 ��Z���/�&�� '���"&��L%��-���! (��+O�6�!�� (+��� '�obO �����"&"��-'�� !�N��-{����+�-'��@��� ' (")����M_��-/�Y ��@���P��"&�2��$q�0"��-!-/�&"; ������v�'������-'����+��T�T���� (���/ !�)������$��'�����Y-!���gM_�&�(���8}~V�pk�������b�"&���!��&L� '���-!�)�����&-<vF��-u+�-'�����&-�}Q"&���i��� !�&" 4 !�� ��u@ ����k�/ !�&�i�����i"&��-!-!�" 4$U��-u o )V � � M3��5��-&L� ( {���T��98�{������-/��$U�&�/�! (�������*�����@�!��+�+��&�c '�S !���� {b�����X�)b4���� S98���^MfM#���r b����Z��-/�O ����(9T (��+:���.���� &V 6 ���� ($� ������&�&�>b����g��" '�������ob<�������� l98���^M M#���r b�������-/�0 '����98 ���+X���.���� &Ly�����>��-!�Q�������obT ���+�X�� !���&��� ! �")������-N�(��+� �"&����-!�����&����� (�����(b�La '���&��M#-! ( ! ���+����� (���o�H$U��-!@�&�<�/ '�� '����8 6"&����78�� ("�98�(b>"����$U���/�@b���� ��� '�wM#-/ ( ' (��+w@��-!�Y������@��-!�Y�������!����!�:�����/�����(�(b���$# '���:�/��-/ uM#�� ("��n-!�;�"&�& o5���@���Z"-!��� ( @ ���+�-'���� (��+�V����� ( u (�u �@�*��-c ����� &L��&�!�.�&" P���(�(bZM#���&�w|/���c ���)��-!�� (��+u�u�!���8|/�&" &L� '�u ���9���")��-/�l ��d9���&�� (��+4�/ ��r '�&@�&�� !�#M_�&�(�o�H$U��-!@�&�d�������-!�"& ��/��V[v�R��"�lb��������)5��6���-!�l�!98 (���y�����<"����h����&��"�6b����<"&���<���a��-!�d����"���+��� (�Y '�@�!�.�)��9:�(�����/�&�ob�L��.�&"&�����!�6b����dM# ��(�y98���^M M#���� 2b�������-/�0���� ���+@�����MS���axz 6�.�u ��Z����O��"���������+��&-���$�5���&-! (��+����� ��� !�:�������/�&���/��L%���� �p[M_�����(����� #-!�"&��@@�&���: '���� [�� � '�� (���/ '��+���V }

, l���3��$� '���3�����/ �"��r�� (����\��$s��� '���X�r ' �"&��������+� �"� ��1 '���� ��5��-/bOM_�&�(�o�H$U��-!@�&��/ ��r '�&@�&�� d (�Y�& o '���-Y '-!���>��-Y$F�����/��L2���� d���� :�*�� '� vU !������+�� o$l '���-!�Z��-!�$U-!�&�@5���-! ���������&Lq '���@ '-/�� '����$#���c ��� !�&@�&�� O��)b����&�.�&���g���g '����5��������&�6��$ '����!�Q5���-/ P�����(�&�V 5 ��-!�0���< !�� ��[�P�� !�&-'};V:E���-/ !���&-/���-!��Ls '���0 '-/�� '����-2$F�����! o kb��$#�d�/ ��r '�&@�&�� Q ��6 ��� '-/ ����/ �"u '�d '�����/ '�� '����8 &L����������T�&�6���� 0���&�.�&������� '���<���� ��� ����e��$l '���<�*�-!�/���f5T ��M# (��+g !���w�/ '�� '����� �v����Y������+����X������ '������h��� ( ' (�����S�����Y���� ��� ! ������_��-/�R��+�-/�&��:���*���yL���$q"����-/�!�^}~V����O '�0��-!�^5��R '����

Page 4: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

�Q�/ '�� '����8 3 ��_ !-!����]� ( _�!��t�"�&�� '�Q�!���^M '���� S ( S ��S���� S$F���(�!��]� '�Q�!���^M '���� ���c ��� !�&@�&�� 6 ��l$F�����/��Lq ( ��/��t@"&��0 '���!��� M '���� 6 o � ������� � '-/����]1 '�� (�� ��R '�����-! (��"& (�����O�������&-/�(bT ���+d !���4�*�^M_�&-c$U���� '�&"����� �78���@��$ �.�'J^J M � .>G�J���AF�!?�*�EHG;AFEHJ���V���� ��6�r�� ��� ��l5T P�������4���6������+<���6������ (�lMS��-/98 ���+dM# ( !����-/�&" ��!�@"&����"&��� '�L$U��-3M#�� �"��� '���� '-/�� '����-�$F���(�! ( kbX")�����.�0���; '�-!@ ������vF�� #���&���/ 2 ��d��-/ ���" ����(�^} �� ��� ���T|/�" ! (5�������� "&�����/ ��c '�&�� ���������-&V � �^MS�;5��&-Ll ($������> ��YM_��-!98 ���+ ���5��-/bg�������jX�� !���&��� ! �")�����/ ( !���� ' (�����L� '����n !�� ��O�r�� ��� �*�"&��@�&�uQ��"�����-/�l������ (�����L*�����<�/�� o #")�����.�Q�4� (�/ '��9��R !�X�������(b:��� !���&��� ' (")���*����+� �" '���������k��� '���&��� ' (")���3�/ ( !���� ' (�����V v�Es��-� (���/ '����"&��L2���/ '�� '����� :�!��"�� ����c '�� (�[-/��"�9YM_�& (+���� @ 8 �.���������!�Y (�[-/�)���/���������obd��-!�"& (�!�O�����w���T|/�" ! (5���Ly������!�� o d ��:$F�� (-!�(b��'��$U�� '�i���/�g��� '���X�r ' �"&���N-/�)���/���� (��+i !�e����� (�������� '�> o )LM#���&-/�)�����/ '�� '����� '�6�!��"������<�c '�� ��R-/��"�9w (�l���)�)58bT��L[�c '�� ��l�� (�&"&�u��$SO���! �" ��4�*�&���� ! ($U���(�Z��-����l�T�e�~�� (�/ !�!����-!��O��"���@��-/����-!�����(�&��� ' ("�Vf����M#�� (���X�� !���&��� ! �")��������+� ("# ��_�05��-/bY���!�$U���y�����X�*�^M_�&-/$U���* '�T����LT o S�c ' (���s���T�&�S���^5���!��@�R�� (� o ��� ! ���������$%�������� (")���� ��� o kb�V } R���l"&���d�/ ' (���a�� ! !�&@�� 3 '�4�������(bX����+� �"vF��-���-! ���"& ������&�%�! �@ �����-� '������+� �")}1 ��O !���&�/�#")���/�&�[vU$U��-% ����c �����"��L���bu"-!�)�r ' ���+��=@?�AUB�D;=@?�AFEHG!?�I*=XJ1*TD;I���$1�O-!�&���o�j�� ($U�������&�����������s}~L����� S '�� (�S ��_���^M`�/"& (�&��"���-����� (�����/������b�L����� {X�� !���&��� ! �"&�L������@M_��M# ��������� {�� (�!"���!�{ ( %$U��-/ !���&-{���-!��V

, vF�����-!�_��-!���� !���&-q@�����&������$��(��+� �"\M#�� �"��0�� ! !�&@�� '�� !�2���)����M# o '�6�/ ��r '�&@�&�� !� '���� X��-/������ X���h��� o '��(b� '-/������-����h��� o '��(b�$F���(�!��L_�!��"��f����@�T����������+� �"�&L ��� '�� o ' (���� ��c S�(��+� ("&�&L���-3$U� � �b:�(��+� �"�&L����� � '���&�!�6��-/�����h��� ( '��(b� ��: '���l-!�)������$q����+� �"2�����Y���� ��(���!�����8b������Y '�8���SM_�&�(�a�.�b������Y '���N�!"&���*�R��$� '�� (�S"&����-!�/�^};V

,e� �& (��+@ !-!���6 ��#�� o�a�-!��8 2$U-!�� �*� ���+��8�^D"M~�TI���-OD��WG;EHD���AFV E���-# ����c �����"��L� '����/ ��r '�&@�&��

8=<A8 ��3 '-/�������� 2�����( �9��&�(b@ '�@�.�R5��&-cb����!�;$U���HV������6�/ '�� '�����

>���>

������(�!�N !-!����L����� ����� �5��-/bO�;t@"& ���� [vU '�����/ ��r '�&@�&�� > < > (�%@��-!�3��-!�&" ��/�^};Vpj 4X�)bg�����/�>�*�Y !���� 4�>�/ '�� '����� 4X�)b��*�Y$F���(�!�Xb�� @�/ ! ��(�_�.�:���!�;$U���HL�$U��- ����c �����"�

� < 8 8 �� ������� { !-!����L����� _ (�{�/ ' (�������!�$U���*���_�lh�-/�/ S������-/�^�� (X�� ! ����aV1pk��X�r '���X�� ! �"&���-!�)���!���� (��+�LTMS�l�����(b@"&����"&�&-/�d����-!�/�&�o5��&��M# o '�X !-!�� !�:-'�� !���&-S !�����:���/�$U���(���&�/�

>

Page 5: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

��-_�;t@"& ����"b.]� !���N-/�)���/���Y (�� !���� S !-!�� !�Y ������T|/�" ! (5��OvF�;5��&-cbT�*�T��bY"&���:��+�-!�&����> ( �}[�����wM_�u")���Z���&����"�u '-!���O�/ '�� '����8 !�R$U-!�� ��-/�&"& (�!�u-/������&LaM#���-!�&������!�;$U��������!�������Y�t@" ��&��"bX��-!�2 '�O�/����2�;�T !�&�� ���� ! !�&-!�_��$����� ��� (���yLT�����Y������� �$U�����(�^M ��-!�&" ��/��-/������&V 6 ���/��Lq�5���� ($_�!����4��$_ '���4 ����� (5T ����������c '�&���Q ��������-/+���@�&�� 6X�)b����� Q�/�&�&�5��&-/b����/�$U���{��-6�t@"& (�&�� )L% ( � ��6�/ ! ��(���*���!�! (�����vF ������&��yL�78�� ( !�l"&��@@���s}�$U��-_ '���Rh�������"&����"&�����! ����Y '�4�*�l78�� o '�l�������j !-! (5T ����vF HVz��V����� #����5T ������/�(bY !-!���)}3���������!�;$U���HV

, �T ��� !�&@�&�� '����-/���� (�*�&-/�&�� �$U-!�� D � �.�'D����;EHJ����;V��8 ��� !�&@�&�� '����-/�3 '-!������-�$F�����/��]�;����-!��!�/ ������O��-!���<�/�&78���&��"&�:��$���� !���&��� ' (")���%�!�&78�����"&�YM#�� �"�����-/������"&���!��@�X��� '���&��� ' (")�������T|/�&"; �v����T��O�*�-&L���� '-/ o�*Lq$U����" ! ����aL%�!�; )L��; '"�V }`��� ( '�35����(����VRE���-� (���/ '����"�

8 9 ��� @ ��6���g�~����-!��!�! (���yL����� O���/ '�� '����8 &]� ( 6��-/������"&�&�Q�<�8��O�.�&-0���0 ( '�l5����(����V5 �)����M#�� (����L

8:9 ��� @ < � � ��#�4�/ ��r '�&@�&�� &L����� [���d�;����-/�&�!�/ ����aVS���8���2 ( #���T�&�#���� 2���9��6����b:�/�&���/�0 !����!9YM#���; '���- 8:9 ���:@ ��� !-!���6��-�$F�����/��V 6 �#M# ( '���/ '�� '����� '�&L.�;����-/�&�/�! ������")�����.�4MS����o�j���h����&����-0 (���o�j���h����&�y] 8 9 ����� L\$U��-6 ����c �����"&��L\ ��6 ��(�o�k���h�����yV5 ��-!�_�!���� '���_�;����@������%��$� ���� �k���;h�����0�~����-!�&�/�! (��������-/ ��/�_M#����yL�$U��-1 ����c �����"&��L�� ! !�&@�� ' (��+2 !�R�����u�[5��" !��-\ !�l�[��� '-/ o�*Lr��-\�;5��������r ' ���+N�[$U����" ! ����0���� '�/ ������$% o '������X�� (�yL���V +�V��/ ������&v 8 }~V

, l���:")���iX��9��:�/ '�� '����� '�@���� 4��$[�;����-/�&�!�/ ���������b����/ ���+n�'D;Io?�AFEHJ����Q�/��"����� < L��L�6L��{L� 6L�� '"�V���-N��bw���! ���+4�.�'J ��D;�;AFEHD��OvF�/��"��Z���d�/ (�N��-/ �@�&��LS�/ ��"&���� ' (�8�������/��L#�/ (�N ���5��&-/ ! ����(�&��L.� !"�V }TE���-2 ����/ �����"&��L#� � � 9�@ ��R��-! �@�&�� ��N��/ ��r '�&@�&�� &L����{ (�Q� � � 9 @ ��>8RH � ��V C �� '�# '���r _��� !���&��� ' (")�����/ ��r '�&@�&�� !���-!�����(���^M_�&�: '�4"&���8 '�� �������+��( ��!�YM_��-/���&V

, l���Q")���>X��9��O�ZG�Jr= ��Jr�)��*��;Aj?�AkD;=XD���Aq$U-!�� @��-!�0��-! (� o ' (5����/ ��r '�&@�&�� !��8b����/ ���+:I�J!K�EHG!?�I�G�J�� �aD�G;A�E���D����!��"������������yL���-&L����� )L� ($P�j !���&�aL� o$P�������T�k�����ob��k ($�L�������/��$U��-c '�yV m ��+� (5��<�/��@���~����������&�@�.�&���^M�L3 (�e���&"&-/�)���/ ���+���-!���&-@��$ ��� '�� o ' o5��&���&�!�V

,�� ��(�� ��(��,� �"��(���pj$�� (���N�c ��� !�&@�&�� {������� ��%�N�/ '�� '����� )L� '���S�/ '�� '����� ��� �������Q�� ��� '-/���@ ($�� ����� � ��-/���.�� !�Z !-!����L������� ���$F�����/�4�� '���-/M# (�!��VEs��-2 (���/ '����"��L�� 8 9 8�< > ����� � 9 � <"! �X (�2 !-!����L.M#�� ����<� 8 9 8 < > �����

@

Page 6: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

� 9 � < @ �� (�Q���� &V 6 ���� '���&-Q�~���������� � � 8=9 8 < > ����� 8 9 8F< > �� �� '-!����L��;5��&�� o$3 o Q (�Q���� ( 6-!������������8 &]_�(��+� ("@ (�0"����"�&-!���&��M# ( !�� !-!�� !�yL����� �t@"& (�&��";b�V

,�� ���R '�O !���l�;����-/�&�!�/ (5��&����!�R��$q !��� �{��+��� (�!�:�P����+�����+���LT������")���d-/�M_��-!�: '����/ ��r '�&@�&�� <��� ����� �6�d ��>�����b�MS�^bT�L\��V +�V>��� �����Z�����/� �0��L���-�� � �� !�� ����� � ��-/�X '-/���&��L�� '"�V�pk�� !�&-!��/ ! ���+��ob�L� !���:�/ '�� '����8 �����L����� �0�> ������+� (")���(�(bw !���d�'��@�Y�c ��� !�&@�&�� ����Z��� ����� �6��L{���� 4 '���;b����)5��<�� o�a�-!��8 "&�������� ��� ! ������RvU�*�� !�Y�/ '�� '����� '����t@-/ !���� � ����� � ��-!�[�*�� '�X !-!����L����� '���Qh�-!�/ N5��&-/�! (���>�!��+�+��&�c '�R '���� �� ����� � ��-/�Q ���"&���� '-!���/ N '�Y�&��"����� '���-&LM#�� ��(�0 '���u�!�&"������5��-!�! (�����!��+�+��&�c '�l '���r � ����� � �!�����*��-/ ��)��"����� !���&-'};V6 +��� (�yL��(��+� ("R ��#���.���� � !-!�� !�yL����� 2���*���� ["�������� ��� ! ���������-��!��+�+��&�/ ! ������&V

,�� ��� � ��( �,� ����( �_pj$ � (�_�6�/ '�� '����8 S����� � ��_�6�c ��� !�&@�&�� )L8 '���2�/ '�� '����� ��� ��- �0�n ��Y !-!���� o$0� ( !���&- � ��- � ��Y !-!����LR��-:�.�� '�aV Es��-Y ����c �����"&��L� 8 9;8 < > ��- � 9 �3< @ �� ��# '-/����L*���� d� 8 9�8 <I@ ��- � 9 �3<I@ �Y (�[���� )V6 ���/�n� 8 9?8 < > ��- � 9 � < ! �Y ��N !-!���:vF�5��&�Z (${ o R ��R�X�� ( R ����;t�" ���8 &]� ( MS�������X�.�[�0�/ !-!����+��&-��/ '�� '����8 � '�0�'�)bg� 8 9 8 < > ����� �'9 � < ! �8}~V����8����8b0���;$F�����( &L� !���_M_��-!�Z�c��-!�[ ��Q��� !���&��� ' (")�����(��+� ("����$F�����o '�1 '�OE/�aG;I ���;E���D[Jr�~V�����0-/�)���/���<M_�Q���@ !�� ��# ��� !���� 2M# ( '�� ���"&�����! (5�����-&L� '�45��-! o$Cbe��� ��- �6��Ls ( �!��t@"&��S '��5��-! o$Cbu '���� �|/���c S�����[��$ � ��- � ��� '-/����]8MS�[�����yx _���&��X '�0�!���^M '���� [ '���0�� '���&-R�����Q ��2$F�����/��VR���XM_�O98���^M�La$U��-N (���/ '����"��L* !���� :� 8 9�83< >��- 8���@��G9?@�� ��� < � 8�,> �: (�l '-!���4M# o '������ ����)5T ���+: '�����T��9<�� l '���@�/�&"������&78���� ! ����yV 6 �l ��> !���u��-!�;5T ��������� (�!"���!�/ ����yL� !���u�/ '�� '����8 �� 8 9?8 < > ��-8 9D8 < > �4 ��3 !-!����L��5���� o$% o � ����� (+����obY ����t@"& (�&�� )V

, pj$R�����d-/�)���(�(b�������@MS���� @ '�����!���;��"�����/ (5�����-L_���/�����/ '�� '����� ��/��"��W���� �� ( '���&- � ��- � ��� '-/����L1���� 0���� 0�.�� '������-<� �%����" !�(b���������$ � ��- � �� '-!���&��V �%��"&�(���! o5��[��-{������_"��@�2���X ��4��� '���&��� ' ("&�&L����� S��� M#���&-!�[���)��-S�����$C '��<���2 (��"&�(���! o5��l��-V

,� $� �-� �"�#( �w�����X�/ ��r '�&@�&�� >��� (�6���� Q !-!�������-���� (�6$F�����!���L%��-w�/pj 0 ������ 6 '����")���/�� '���� �>��L\ (�0"&�����(�&�� !���U�aDHK�?�A�EHJ��w��$ ��L������� ��� '-/���@ ($#����������(b4 o$ �� (��$F�����!��L������X (�_$F���(�!�2 ($������Y�����ob4 ($ �� ��{ '-/����VRE���-� ����c �����"&��L8 '����/ ��r '�&@�&�� <�/pj R ��N���� R '���u")���/�O '���� 8 9 8 < @ �: ��l�X !-!���O�c ��� !�&@�&�� )V N$"&����-/�!�lM_�0"��������������-!�;5� ��� '�l !�� ����c ��� !�&@�&�� # '��� 8:9;8��<J@ ��V

,DC �&+��� ' (������"&���85��&-c u�!�������6 ��� '���/��-!��V'E���-% ����c �����"��L8 '���#���+��� ! ����u��$��� ������� ���������2������"�9:���� (-[������ ������ � �T�6�����[�������6�b��&�!�X ��X�� ������ � �������T�&�/�yx

!

Page 7: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

���)5��N���P��"�9u���� �-{��-{���T�&�!�axz S���)5��N�������2�b��&�!��L �aJrA_�� ������ � �T�2������!�yx S���^5�����P��"�9u���� �-����������T�&�!�axz S���)5��N�������2�b��&�!��VNv��3����b����Y�/�&�[M#��b�� };V_�� (� (�P��-/�(b�L ($ �w (�����d ��� !�&+��-&L� !���l���&+��� ' (���:��$N� �< ��3�;5��&�������d�����T�k���+��� ' o5���u ��4� �< �������0��-1���&+��r ' (5��&��L����� R� �4 ��1�����O�����Q���&+��r ' (5��&�Ov C �� '�S��� Mn o % (�\ (��.��-c ����� ���&-/�� '���r Y��-@ ��� ���"�����/ (5��<-'�� !���&-@ '�����f�;��"&�(���! o5��)};V R-@ !���w���+��� ! ����e��$� � 8 ����� � � ! �wvU HVz��Vu� 8 � � � ! ��}� (�Y� � � 8 ��- ��� ! ��L����� :� � � 8����� ��� ! �@��-@� 8 � ��� ! V ��V

, �� �@ �����-!�ob�Ly���+��� ! ������6"&���85��&-c Z�/��-/�� ��� !�W�!��������Vd�����Y���+��� ! �������$@�� ������� ���6�����[��-!�^M#�>���� (-[��-[������"�9d���� (-!�X (�Y� ������ � �T�0������N���� N���)5��O��-!�^M#����� �-Y����� ���T�&�:���� d���^5������P��"�9e���� (-!��L#��-:�7T�� (5�������� '�(b �� ������ � �T�w��������& o '���-l��-!�^M#�Z����-����P��"�9����� (-!��VQpj$ �g ����:-!�&�����8��O�.�&-&L� !���4���&+��r ' ����>��$� � � ��-�� �IH6� �4 ��@� � � � ����� ��� H0� �wvU HVz��V H6� � � � � }~V

,� �� �� � ��� M`���ub����<���&+��� '�6���d�;��"�����/ (5��6��-�

, pj 3 ��_78�� ( !�N�.���!�/ ����(�2 !���� ��0���&+��r ' ����X��$q�0�/ ��r '�&@�&�� 3M# (������-/������"&�l�0�/ ��r '�;����8 _M#�� �"��:"�����(�Y���� S�*���/�! (���(b@�.�N '-/����VRE���-� ����c �����"&��L� ($ �� ��_���: (�8 !�&+��-&L '���>���+��� ! ����W��$�� � ��X�& ( !���&-:�;5��� ��-:�T������ (�n� � ��:��� ( !���&-Y�;5���`����-��������L�M#�� �"���"&�������� 4�*���/�! (���(bZ�.�Y '-!����V��2���O�.�&-&L� !������+��yL� '���r u�5��&� ($S�<�/ '�� '����� Q (�6$F���(�!��L1 o 6 ��6�/ ' (�������/ '�� '����8 &L%�����g o 0 (�����h��� ( '��(b��.���c��! ������O '����-/-! o5��@�� 6�: '-!���@�c ��� !�&@�&�� 6���! (��+<���Z��-!+������8 �M#�� ("��g�r 6 ! �@�&� ���5����o5���O$F�����/�X�/ '�� '����� '�&Vfv���-!�T��$U�0�8bg"&���� !-'���� (" ! ����yL�$U��-Q ����/ �����"&��L{$F����� ��� '�u '�� ��#")�� !�&+���-/b�V 6 ���� '���-[�~����������� �����-/����$���bd�� (5T (�� ���+u (�� '�4")���/�&�V3pj$�����:�� o5� (���&�Q ��� '�w !��-!��:O�� '�������ob��~��"&�����! (5��:")���/�&�L �3���/� � L��3���!� 8 L�������3���!� � L. !���&�>�r R����b<+� (5��&�� ! �@�l kMS�Y��$� '���0")���/�&�NM# (�����.�0$F���(�!�0�����w�����(b�����#M# ������.�# '-!����L���� M_�5��&-S !�� ������T�&�_���� _���&"�&�!�!��-! (�(b4@�)���@ '���r _ !���N��-/����$���2�uM#�������l (�� ���"��-!-/�&" 2��-3 !���� � !����"&����"�����/ ����d (�#$F�����!��V }

,DC �&+��� ' (�����6��-!�@�!����; ' �@�&������ ��� '�� o ' o5��u '�dMS��-!9>M# ( !�yL\��!�.�&" P���(�(bw o$S !���&-/���-!�uO���( ' (�����6���+��� ' (�����V:v 6 �c ��� !�&@�&�� 6�!��"������<�/pj l (�l���� l !���u")���/�u '���� �& ( !���&- �d ��_���� _�����yL���- �d ������� S�P��-/+��&-� !�����Y��-_�&78�����s '� � L����� 3���� S�.�� '��� ������� �����-c ' �"���P��-!�(bl$U���4 !�l���!�)};V'E���-c '������ '��(b�L�������-'��-!�&�obQ������ '�RM_��-!96M# ( !����-/�[ !�����Y�����R��-_ kM_�4���&+��� ' (�����3�r ��0 ! �@��LT�! ���"&�R��$C !�&�:���+��� ! ������_")����"&�&��)��"����� '���-&V�E���-6 ����c �����"��L1 '���@���&+��� ' (���g��$u��� (�0���� 0 !-!����� (��|/���c >� � ��3 '-/���&��L.��-����-/���!��""& ���" '�ob0|/���c Y� �>��V N$�"&����-!�/�0�����6�/�������(�<�.��")��-/�$U���M#���&�w���&+��� ! ���+@@��-!��"&������( �"&�� '����~����-!��!�! (�����R�.�&"&�����/�Q��$� !���6�/M# ( !"��� ���+��$l�/�������@�������/��-/��L��������/ �@ �����-S (�!�!���&�&V

Page 8: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

, ��� �� � �-�%����( � C �^M M_�<"��@�d !�Z !�������)���/ @ ��� '�� ( ' o5��:��$[ '����"&���@�����ob���!�������+� �")����"&�������&"; ' (5��&�Q�[ �@���( �")�r ' ����yV�pj$�� ��0�<�c ��� !�&@�&�� )L%����� � �����/ ��r '�&@�&�� &L[ '���&� �/ ($ ��L# '���&� �0�n ��� '���> (����( �"&�� ' (����$U-!�� � '� �X] ( u (�4�����/�wM#-! ( / '�� ��M#���&� � ��Q !-!����L��� ��0 '-!���&��L���-Z��� (����( �����0����-� � ��R '-/���uM#���&� � ��!�d��-<��� (�R '-!���@�����(b> o$ � (�R '-/���&�gvU !�� ����P���/ l����� ���9��&�0�d�� ( l��$_@�&�� ������;�a��-/ l '�d�/�&�^}~V m ���� � '�� (�l�/ '�� '����8 ��/ o$ ��Ly '�����0��@�)�����0���&�.�&�����Q����M#���; '���- � ��� '-!���X��-l$F���(�!��V:pj$�� ��� '-/����L1 '�����/ ($ ��L\ !���&� �6�w ��� '-/����M#���&� � ��� '-!����L������g$F�����/�uM#���&� � ���$F�����/��Vdpj$���^MS�;5��&-�� ���$F�����/��Lq '���� �/ o$���L1 '���� �0�< ��X?�ILS�?,. �l !-!����L�-!�+���-/������!�6��$M#��� !���&- � ��3 !-!���l��-3$F�����/�,0��1�4���� # ( ������� !���&-3MS�)b�L�M#���&� � ��3 !-!����L� '����/ ��r '�&@�&�� ��/ o$ ��L� '���&���0�4 �@���� (�&�� '���� � (�3 '-/����V � �� �M#���&��� (�3$F�����/��L '���u�c ��� !�&@�&�� ��/ ($ ��Ly !���&� �0�d���*�&-/�l���d ���$U��-/X�r ' ����w���.���� lM#���; '���- � ��S !-!���l��-S���� )]T '���l�c ��� !�&@�&�� # ��_ '-!����L����� �r?TG;�sJr���RvF HVz��V%����������� #"����5��b����b:���M ���$U��-/X�r ' ����X�.�b������< !���l$F��" � !���� � '���6��bT�.�� '����! (�[ (�3$F�����/�^};V

, ����@�0�~��������(�&�V2pj$ �� ��[���� (�8 !�&+��-&Ls '����� '���Q�/ '�� '����� d�/pj$ � < 8 Ls '������� < > �< (�l '-!����L1-!�&+���-!���(�&�/�0��$_M#��� !���&- �� (�0��" '�������obw�&78�����{ !� 8 ��-����� vU '������+��4 '�� (�_�c ��� !�&@�&�� _ ��{�����obu�� (9��&�obO '�6�.�[���/�$U���sM#���� �>E����78�����s '� 8 };V���� ��{�/ '�� '����� _������_���� S���!�!�-/ � '���r �: ����7T������ '� 8 L8������������{���� _���!�/�&-c '���� � � (�[�78������ '� > Ls���� [ ( 2���T�&�[���!�/�&-/ [ '���r [M#����>�����< ($ �> ��#�&78�����1 !�8 L1 !���&� � � ��6�&78�����{ !� > VXpj$��� ��6���� 6�7T������ !� 8 Lq '�����c ��� !�&@�&�� O (�6�c ' (��� '-!���6���� 2���a�-!�#���4"&����"&�(���! (���d��� ����-����^V

, ����@�R�!�.�&" P���*")���/�&�#��$q '�������*�^5��l (����� �"&�� ' (��� � '���l �@���� (")�� ! ������/pj$ 8 <J8 L '���� 8 � < > �R (�\ '-/����vC '-!���S �@���( ��&�� !-!���)};V������S �@���� (")�� ! ������/pj$ � <A8 L� '����� � < > �� ��2 '-!���:vU$F�����!�6 �@���( ��&��$F���(�!�)};V#�����O (����( �"&�� ' (���i�/pj$ H 8 < 8 Ls '����v H 8 } � < > �O (�S '-/���@vU$F�����!�[ �@���� (�&�{ '-/���^}~V������l�P�� / '�&-� kMS�4 (����( �"&�� ' (��������-!�"&�����/ ����-!��d5���"�������S�% '���;b:���u���� ����*�&-�����bX���M ���$U��-!��� ' (�����/ ���"�N '���& �-�8bT�.�� '���&�! (�� ��S$F�����!��V2v C �5��-/ !���&�(�&�!�Ls ( 3 (�3�/ ! ��(�*�.���!�/ ����(�[ !�u�&@�����^b@5���"&������� �@���� (")�� ! ������� !�6+����T�u��*�&"; _ (�4�l��-!�T��$s�1�R5���"&�����/�(b0 '-!���2�c ��� !�&@�&�� { ����c ' (��� '-!����V m ���/�������a�!�&�6�����l�/��"����~����������l�!����-/ !�(b�};V

,76 ��MS�2�!���L� '���#$F�����! o kbO��$. '���2��bT�.�� '����! (�_���T�&�{���� {���&�c '-!�^bu !���� '-!�� '�@��$y��� �@���� (")�� ! ����yL� ��X$F��" _ ( _ ��q|/���/ S !���R�����*���/ ( !�,0#v m ���&�d�6�8bT�.�� '���&�! (�� ��{$F�����/��L '���: (����( �"&�� ' (���� ��O���� '����� ! �")�����(b� '-!���^};VZ�����:�����(bZM3�)b� !�>�� ��/��-!�^5��d��� �@���� (")�� ! ����@ ��3 !�@�/���^M '���� � '������bT�*�� '����! ��2 ��3 !-!���lM#�� (���N !����"&����"&�����! ���� ���$F�����/��V\���T���u�/pj$ 8 9 8 < > L� '���&� > 9�> <A8 �6 ����l$F�����/�2 (����� �"&�� ' (���yV�vC '-!���������#���� # �@���ob�$F���(�!�)};V

Page 9: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

, � ��"&�������!�ob> '-!���� (����( �"&�� ' (�����R��-!�@��$C '������/�&�� (����-!�� (����-/bw�!�.�&�&"��aL��!��@�;� ' �@�&�RM# o '������ 69T��� M# (��+< !���� � '���� (����( �"&�� ' (���w ��l5���"�������V 6 �/��@�M#���� $U-! (5������������;����@�����l (���/pj$%M# (�!����2M_�&-/�0M# ���+��&L� !���&�<�� �+��3M_�����(����b���VlvF������/ ��r '�&@�&�� g�/������3$U-/�&�1��&��� 5��&-/�g ��@���(�!�Z���*�������P��-u"����� �"�d$U��-��>$F���(�!�:��b���*�� !���&�/ ��'};V 6 ���-!�Q�/�&-/ ������l�����O ��:�/pj$ ������>�����>�(�$C RM_��-/9w�� @ ��<L. '�������OMS�������Z�*�u���&-!�4��b>���^M�Vz� ���� ��l98 �������$_�/ '�� '����� � ��l��$C !�&�����!��g (����! ( !���� ! ����0 ��QM#�� ("��u '���3"����"�����/ ����4�����u�8bT�.�� '���&�! (�{��-!�S�*�� !�Q$F���(�!��]����� � '��� �@���� (")�� ! ����@ ����c ' ��(�* !-!����-!�+���-/������!�&V{���� (�#�/ ��r '�&@�&�� &L��8bX '���lMS�^b�Ls")�����*����!��4 !�� ����(���/ !-'�� !�� !���3 '�"����� (7T���2��$*��-!�T��$.�8bQ"&���� !-'���� (" ! ���� � o$.b����4�*��� (�5�� '���� R�/pj$ ������O�����Q���$C qM_��-!90�� @ ���Lr !���&�Q���_M_�����(�O�*�����-!�3��b6���^M#��L������b����������/�@98���^M !���� X�� ������< (�2���� 2���&-/�0��bd���^M#��L� '���&�<b�����"&����"&����"������� '���� X�� ������d�� ������� 2���&�)5��lMS��-!9d�� @ ��@��L��.�&"&�����/� ������<�(�)�)5T ���+uM_��-!9d�� @ ���MS���������(�)���� '�>��"���� '-!���� �"; ' (���yV C �� !�X���^M �<5���"&�������O (����( �"&�� ' (���")�����*�l���!�&�� '�4���-! (5��Q�u���/�$U���� !-!�� !�yV

, �\�4�!������-! �&��L� �@���( �")�r ' ���������-!�l�/����; ' (���_5���"&�������&L����� # '�� (�3 ��3���� 2��";� '�����(�(b��>��-!������� (������+� ("�L��/ ���"�: '����!�d �@���� (")�� ! ������0��-!�:�/ ! ��(�� !-!����LS�����5���"&�������_ (����( �"&�� ' (�����%"&���Y�c ' ��(���.�[���/�$U���. ��@����+� �"&������-/+���@�&�� '�V�pk�X����-/ ' (";����P��-L�������"&���<�!��$U�&�ob:���/�0�c ��� !�&@�&�� '�#�� (9��<�/pj$ ��L� '���&���Q�uM# ( '������ 2���&"�&����'��-/ ��(bQ���)5T ���+� '��MS��-!-/b����.���� {M#���; '���-_ !���#�8bT�.�� '���&�! (� � �����"; '�����(�(b0 '-!�����-����� 0vU HVz��V�M#���; '���-2 !���� �@���� (")�� ! ����� ��35���"&�������#��-����� �};V

, pk����( �"&�� ' (�����1")���������/�l�*�3 !-!���#�;5��&�@M#���&�4 '���&-!�# (������")�����!������ (��96�*�; kMS��&� '���w��bT�.�� '����! (�d�����W"&����"&�(���! (���yV �����w�c ��� !�&@�&�� e�/pj$ �=9 � < 8 L� '��������"&-!��@�&�� '�n ��Y !����")���� ( ����R��$ �3���� o$U��-!�� ����g (�Y '-/���evU '-/���� �@���� (�&�@ '-!���^};L���( !������+���-'�� !���&-Q�����a]� !���Y�/ '�� '����� ��/pj$ 8 9 8 < � L� !���&� � ��� 6 ��+������ ��0 !���Y"&���� ( '���{��$ �3���( ($U��-/�� P���d (�Q�! (� (�P��-/�(b< '-!����vU$F���(�!�� �@���� (�&�l$F�����/�^}~V N$"&����-/�!��L��!��"��4�2�/ '�� '����8 %X�)b��.�_�����/ '�������RvU !���_"&���� o ����8��$ �3���� ($U��-!�� ��3X�)b���������)b0"�������+���L�M#�� ��(� ��9:� -!�X�� (���q�&78�����8 '� 8 }����� � o 1 ��q '-!����L��r %�(�)���c \$U��- '���3@��@�&�� )V m �� (���S o % (�%�.���!�/ ����(�_ !�R���!�#��")�����!���� (����� �"&�� ' (������ (�u�N����+� �"&�����-!+������8 &La o N (�[���� l-!�"&��@��������>���R o N"&���w")�����!�u�������&����&��"&����$U���! (���yVvF���8���&L�$U��-� (���/ '����"��L�M#�� ��(�R ( # (�3 '-/���l '���� [�O$F���(�!�l�/ '�� '����� N"&���<�.�����!�� '�4 �@���(bX����bd�� !���&-#�/ '�� '����� )L� '-/���6��-3$F�����/��L����� ���+4�!����-/�� ( !-'��-/ ��(b4M_�����(���-!���������(bX���� #�.�����&�(��$U���y '�u !����-!�)�����&-'};V

, �\�w��-!�^5��:���� �@���� (")�� ! ���� �cpj$ ��L\ !���&� �6��L% '���X���/�����_MS�)b� !�w���� !�� ��6 �� '��h�-/�/ 4���!�!����@ '���� � ��6 '-/����L{���������!�Y !�� ��YvU !��+�� !���&-6M# ( !�gM#���� !�5��-�� '���-S$F��"; '�#�����d��bT�*�� '����!�&��b����<���^5��^}_ !�u���&����"&� �XV����� (�3 ��3�c ' (���*�u5����( ��

Page 10: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

��-!�T"&�����-!���;5���@ o$�� �P�r '�&-1 '��-/�������� \ '�l�.�S$F���(�!��]� !���3 (����( �"&�� ' (��������������� +�����-!���� '�&�_����b8 '�� (��+[���*���� q '���� '-/�� '�0��$���L������Q�����(bl+�����-'���� !�&�&�q '���� !-!�� !���$ � "������ o ' (�������(�(bw��� � h�-/�/ u�.�& (��+< !-!����V�E���-6 ����/ �����"&��L% '���@$U�����(�^M# ���+ ��6�d5����( �����-/+���@�&�� )L1�5��&�g !������+��g�.�� '�Z��b��.�� !���&�/ ��0�����g"����"�����/ �������-!�$F�����/� �

,�� "� � � �wpj$ 8 9A8�< @ L\ '���&� > < � � H > V � ��� ��� � 6 �!�/���� 8 9A8F< @ V5 ���( ! ����obT ���+6�*�� '�:�! (���&����b 8 L�M_�l���� '�� �� > 9 > < � � V������� '-!��" ! ���+ > $U-/���*�� !�d�! ����&�&L�M_�6���� ��� �� >�< � � H > ���#���&�/ �-/�&�yV �

, l� '���Z�� !���&-��������aL��e"&���@��� �&-/-!��-� ��d '�i��-!�^5������ �@���� (")�� ! ����f��bh�-!�c N���!�!��� (��+u '���YG�J��aG;I ���;EHJ��X������ !���&�<��-!-/ (5T ���+4�� � '������bT�*�� '����! ��V E���- ����c �����"��L� !���l$U�����(� M# (��+ �S���� � ���"��-!-/�&" &L����� # '���6��-!�T��$% (������ �

,�� "� � � ���������.���/�4 !���� 8 � 9 � < � V4�T���^M '���� � < 8 V � ��� �����O��(�� � �����$��,�� � � <A8 ]��!� 8 � <?> ]��/� 8 � 9 �=< ��

,nm ���&������ ���+0��-/����$U�&L8 ( � ��{ (��.��-/ '���� � '���r �b����:��-/�N�������� '�6�� (�/ ' (��+��� (�!�u '����8bT�.�� '���&�! (�[$U-/�� '���6"&����"&�(���! (���yV�pj$�b����w�������� [���X�/�X"&��-!-!�" !�(b�Lsb����>��-!������� (9���(b� '�R�.�3�������� '�NM#-/ ( '�3����bT !�� ���+R���!�;$U���qvU��-%+�-!�����������^}y$U��-1 '���� ���-!�T��$�V

, � �&-/�� ��2�@�/����-c [��-!�T��$\M#�� �"������!��N �@���( �")�r ' �������M#�� �"��w��-!�l�.���!�/ ����obY5���"&��������&V

, � ��$)� � $ � ���T�����.���!�Y !���� ��� ��O���� ��� '�+��&-Vw�����&����v�� 9 � }� ��u�����5��&� ��� '�+��&-V

, � � ����� � �� (��"&��� (�X���f ��� '�+��&-L��` (���;5���W��-��T���yV pj$�� ��@�5���yL� '������v�� 9 � }S ��2���(�!�4�5��&�yLs�! (��"&�0����b:O���( ' (�����[��$����<�;5��&�<�8��O�.�&-# ��#�5��&�yV_pj$�w ��_�����aL� '������ 9�� ��3�;5��&�aL�M#�� �"��d��+��� ��Y (����� ���� '���� ���v�� 9�� }_ (�S�;5��&�aV���T���[ (��� ( !���&-�"&���!����v�� 9 � }S (���5���yL*�����:MS�0��-/�6��������V �

,DC �� !�< '���� X !�� ��@��-!�T��$�-/�&�� (�&�e���e kM_�� �@���� (")�� ! ������ � �/ ($�� ��@�5��&�yL# '������v�� 9 � }6 (�0�;5������L{����� �/ ($��� ��0�����yL\ !���&����v�� 9 � }6 ��6�5��&����V��� ���"&���")�������� u�.�Y�*�� '���T���n�������;5��&�aLS�� Q���&���/ u�����Y��$# '���&�!�: (����� �"&�� ' (�����l�������$F���(�!�4��b��.�� !���&�/ ��u�����g ��� '���&-!�;$U��-!�45���"&�������&V C �5��-/ !���&�(�&�!�L{�*�� !�Z !���&�/� �@���� (")�� ! ���������-!�2 '-!����L������Y�����[���&���� � JrACB6��$y !���& �����-!���-_ !�Q��-/� 5��N '��� '�����-!�<L��.�&"&�����/�6M_�������yx 29T��� M` �������5�����"&�lM#��� !���&-��� ����;5������-��T���yV6 �����5��&�� o$\M_�6�� ��yL� ( #@ �+��� ����� [�.�lMS��-/ '�d '���6 !-!���������R '�4"����"�9d ( )V E���- ����c �����"��Ls���2�u�!�.�&" P���a")���/�0��$1 '�� ����������-!� MS�6 �@���� P�r '�&�ob498���^M

� �

Page 11: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

,�� � � �� ! "� �%��� � � � < v 8 @�� 9 �1>8 } �0� 8�� H v >8�� 9 � �� } ��� � 9?@�� � H 8�� � V�����&����v�� 9 � }S ��#���<�;5��&�< ��� '�+��&-V

, pk�� '�� (�Q����-c ' ("&������-0"&���!��L������Y"&����M_��-!9Z���� Q�;����" !�(bZM#�� �"�������-! o kb �e ��6��5������-R�������2�����w !���&�����/�@�����(b������u��$� !���O kM_�� (����� �"&�� ' (������ (�����*�^5�� '���������&��-!�&�L��� (�!")��-!�� (��+Z !���<5���"��������������V ���� ��@X�)bn�!��& �� (9��d ( @ �����-/�4�t@"& (�&�� )L\���� 0 ( � ��6�d$F�����/�@�"&������Qb�L1�.�&")�����!�������4 '����g������ '�<���;� '�&-/� (���RM#���� 2����-! ( kb �Z (�&Ls�����< '�� ���-!�78�� �-/�&�[�@�� o #��$��;�a��-/ ������-!����*��-/ '�����< ( 2MS�������� ���9��Q ($%MS�0�����@|/���c R�(�$C 2�*�� '�� (����� �"&�� ' (�����L� ���"������ ���+u '���5���"&�������N������La (�� !���O��-/+���@�&�� )V[����L*�/����;M#���� N����-'�����)�� (")���(�(b�L� '���0 ���"������! ����O��$�5���"�������L�$F�����/��L���-%�� !���&-cM# ��!�u�/���!�����!�!�l�c ��� !�&@�&�� '�% ��u���O��-!+������8 ")���n��"; '�������(b��&? ��D�b�������*��-c u ��g !���Y�(����+�-/����0ivUp�x ���� Q�!��+�+��&�/ ! ���+�L���$"&����-/�!��L% '���r 0b����g����+��� Q '������"�9>b�����-Q��-!�T��$U�6M# o '������ !�6��$3 ' (��~�jMS���/ ! ���+�����w (-!-!����;5����8 N�/ '�� '����8 !�&]q���(�qp�x �'�)bT ���+X���&-/�u ��[ !���� [b����>����&�>���� l�*����������obQ"����"�&-!���&�4 '���� %�!��@�3��bT�*�� '����!�&�{ (�Qb�����-{��-!+������8 %� (+��� ����� ��*�"&��-/-!�&"; )Ls�����(����+u���3b�����-2��-/+���@�&�� � (���/ ' (���.�/ !-!��"; '��-/�&�< !�u+� (5��R '���l"��-!-/�&"; "&����"�����/ ����d-/�&+���-/������!�#��$1M#��� !���&-# '�����!����bT�*�� !���&�/�&�2MS�-!�� '-!���6��-3$F�����/�^};V

, �����w�/ '�� '����� i�/pj$ ��L� '���� �0�� (�Y���� � '�����'��@�>�����/pj$ ��L� '���� �>��]$U��-0 (���/ '����"��L%M#�� (���g�/pj$ � < 8 L% !���&� � � < > �� ��� '-!����L��/pj$ � � < > L1 '����� <A8 �u")���:�.�N$F���(�!�N o$ �� ��3�7T�����* !�Q� 8 V������&�!�l kM_�u�/ '�� '����8 !�#��-!�N")���(���&�G�J�����D;���^D�����$��)��"��>�� '���-&]a !�8���N '���O"&����5��&-!�/�u��$��� !-!���0 �@���� (")�� ! ����: (�N���� ���&"�&�!�!��-! (�(b<������ '���-2 !-!���0 �@���� (")�� ! ����yV m �Q���/�Q '���6�/ '�� '����� d��� (${����������(bX ($�0�4 '�4������� '�� '���6�c ��� !�&@�&�� # '���r Y�cpj$���L� !���&����]s�����< o$��@L� '�����>��V4���8���6$U��-6 (���/ '����"��LqMS�@")���Z�'�)b> !���� � < 8 ($S�����Z�����(b� ($ 8 � < > L�*�")�����/�� o$ � < 8 '���� 8 � < > LqM#�� ����4 o$ 8 � < > '���&� � < 8 V R���4M3�)b��$� '�� (��98 ���+Q���.���� ����Y ($P�k�������j�����(b��j ($.�/ '�� '����8 3 ��_ !�05T ��;M ���� ($������Y�����(b ($ �6�>���Q�!�)b� (��+� !���� � ��#|/���/ u���Q '-/���Y��� �X]{ ($������X (�0 '-/���� !���&���/�w �� '������ '���-&L������� ($3�����X (�0$F���(�!��L\ '���&���/�> ��� '������ '���-&V�Es��-0 (���/ '����"&��L% '����/ ��r '�&@�&�� Z�cpj$ � < 8 L\ '���� ! < > �w ��6 '-!����L��! (��"&�X�*�� !����bT�*�� !���&�/ ��4�����"&����"�����/ ����w��-!�Q$F�����!��V�v��[�����&-R !�� ��25� (�M�L2�/pj$ ��La '���� �0�:")���>�*�O5T ��;MS�������0�/ '�� '����� _ !���� � (���� ����)���/ _���{ '-!���[�����Z}~V����8���S�����["�����(���!�^b�� ������ � ��-!���&78�������(b� '-/���&�@ ����c '�&���d��$l� � o$������d�����(bX ($�0��V

, �� �@ �����-!�ob�L� '�����/ ��r '�&@�&�� ��/pj$ � ��@ '-/����L3 !���&� � ��� !-!����� �� C R� '����'��@�X���w�/pj$�� ��l$F���(�!��L\ '���&� � ���$F�����/�&��V:���)b� (��+< !���� w�/ ($ � < 8 Lq '������� < > �d���T�&�6���� � (����ob< !���� <�/ o$ � �< 8 L� '���� ��� �< > ��L1�����Z ������&�&��M_����)5�� � < H 8 ���N��"������ '�-!�;����@���(�O ��� '�� (�["&���!��VNpj$P�j !���&���/ ��r '�&@�&�� !�l��-!�

���

Page 12: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

���� � '���l�'��@������ ($P�k�������j�����ob8�j ($a�/ ��r '�&@�&�� !�&V[vFpj$1MS��98���;M` '���� ���� ��_ '-!��� ($������������(b< ($�� ��[ '-!���&��La !���&��M_�OMS�������Z�����/�Y98���^M !���� ���� (�N$F���(�!�O o$�����4�����obQ o$ � (��$F�����/�&�8}~V%�����#�c ��� !�&@�&�� 0�/pj$ � (�%$F���(�!��L� !���&� � ��\$F�����/�&�l ���!��@� ! �@�&��")���(���&�� '���0E/����D;���^D���$[�/pj$ �� ��� '-/����L� !���&� � ��� '-!���&��]� !�8���S '��� '���� ���5��&-!�/�0��$��O '-/���� �@���� (")�� ! ����� ������� #���&"�&�!�!��-! (�(bd�O !-!���� �@���( �")�r ' ����yV

, pj$ab����Y98���^MW '���� Q�/pj$ � (�{ !-!����LT !���&� � (�{ !-!�����L8 '����X ( � (�_�����!�� '-/���# '���� �/pj$�� ��2$F�����/��L. '���� � ��2$F�����/�&��vU�*�")�����/�u ($ � ��[$F�����!��L* !���&� � "&���yx l�*� '-!����Ls�! (��"&�� '���r 2M_�����(�< (����(b � (�# !-!����L.�@"���� '-'���� �"; ' ����s};V E���-� ����c �����"&��L ($�MS�@98���M !���� ��/pj$ � < 8 Lq '���� ��� < > ��Lq !���&��M_�X���(�!�d98���^M '���� ��/pj$��� �< > Lq '���&� � �< 8 ��V l-6 ($�M_�X98���M �cpj$ ������������g�(�$C lM_��-!9Z�� @ ��<L���RMS�������d�.�l���&-/�6��b:��� M#��L� '����dM_�6�����/�u98���^M �/pj$ ������d ��/�yx #���&-/�6��� M�L '���������"�����(�@���� {���)5��2���;$C �MS��-!9u�� @ �����V\�����2�/ '�� '����� 0�/pj$ � (��$F�����/��L '���� � ��#$F���(�!�&�� ��[9T��� M#�����[ '����G�J���AF�!?���J^�;ECAFE���D#��$��/pj$ ��Ls '���� �0�:������*�� !�d�/ ��r '�&@�&�� !�N��-/�l�&78�����(�(b� '-!����V

, pk������-c ' �"���P��-&L1 ($3b�����98���^M !���� � �@���( ��&���/����; '�� (��+dM#�� �"��� (�098���^M#� '�Y�.�O$F�����/��L. '���� � ( '�/�&�o${O���/ R�*�Q$F�����!��Vl���� ��N ��N !���O ����)�X�.�&�� (�����.�'J^J M� .�G�J���AF�!?�*�EHG;AFEHJ��X��-6�'DO*���G;A�EHJY?�*:? � �;�T� *���= � '�@�!���^M �!����; '�� (��+�Q���/ [�*�$F�����/��L����!�/����2h�-!�c 3 '���� 3 o S (�� !-!����L������X�!���^M '���� � '�� ��S (����� ���{�!��@� !�� ���+M#�� �"���b�����98���^M !�w�*�@$F�����/�>vU��Vz+�Vw '���r u���c ��� !�&@�&�� u ��0�! (O���( '����������!�ob '-!���0�����d���� # '-/���^}~V E���-S ����c �����"� �

, � ��$ � �%����( �l�������*���/�6 !���� �> ��2�@�*���/ ( ! (5����8��O�.�&-2�!��"��� '���r N�/ ���v �*} < � V�����^M` !���� � � �,8 V

, � � ����� �w�������.���!�4$U��-6"&���� !-'���� (" ! ����> '���� � � � � 8 VY�� ���"&� �� ����.���! o ' (5���LMS�� '�8���[���)5�� � � � � � � 8 V3�� ���"�0�/ ��qv �*}3 ��2 ���"-!�)���! ���+4$U��- � � � � � � 8 L�����Z�! ���v � } < � �������! (��v � � 8 } < � LqM_�@ !�T���Q���)5�� � � �! (�qv �*}�� � V � �� '�� (��"&���� '-!���� (" '�� !�����8bT�.�� '���&�! (�2 !���� #�/ ��qv �*} < � V � ���"&� � � �,8 V �

,DC �� !�# !���� {�����#$U�&�� '��-!�#��$*��-!�T��$*�8b4"���� '-!���� �"; ' (���u ��� !���� _�� {�!����#�.�� ��� { �� '���O��-!�T��$�b��������!�/����O�X��b��.�� !���&�/ ��@vF (�< !�� ��[")���/��La !���� � � � � 8 }�M#�� ("���P�� !�&-[ !��-!���6���� R '�:�.�O$F���(�!��V C �� '�u���^M_�5��-6 !���� R !�� ��N������l���� 6���o '�-[ '���$F��" 2 '���r [ !���O��-/+���@�&�� [-!�&��� (����5����� ��aLs������ !���� 2 '���0"&����"�����/ ����� ��# '-/����] '�� (�� ����.�&"&�����/�# !�������o ' ���� !�_"����"&�(���! (���u���T�&������ �-!��(bO���O '���� {��bT�.�� '����! (��*� ���+u '-/����vF (�����&��yL� ( 3-!�&�( ���� ����c '�)�������< o #�*� ���+O$F���(�!� 0 }~V

�%8

Page 13: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

, �{-/����$Q��b "&���8 !-'���� �" ! ����W (�:����-c ' �"���P��-!�(be���/�$U���l$U��-:�/���^M# ���+ �/���+��� ' o5����/ ��r '�&@�&�� !���1 !���� � ���$F���(�!��L� !���� � (�{���� {�&78�����s !��� L� !���� �98 ����4��$* '�� (��+�V� �� S !���R�( ����2�*�; kMS��&���*���! ( ! (5��R�����X���&+��r ' (5��R�/ '�� '����� '�3 (�S�!��-/ ���$q������-/-/bvF ��_ '���l�c ��� !�&@�&�� � 8 �O�.���! o ' (5��R��-3���&+��� ! (5��l�/ ��r '�&@�&�� � m ���� #���.���� ( )xz�����+��� ' (���yL� !���� � � 8 � }O�!�4 '�� (�� ������� 2�4����-/�������d$F���/ #-/������V

, � ��+� �" P�����l��$C '�&�g���!���!�.�&"& ����{�/bTO�.������ '�<���&���� '������+� (")���%"&�������&" ! (5��&�&]�$U��- ����c �����"�>��� �@���� (�&� �0�:"&���w�.�QM#-! o ! '�� ����� �0��L3��� ��[���� [ '-!���&�Y"&����*�3M#-/ ( ! !�&����� �>��L1� 0 �w��L���-6����>��L1� � ����� �0��")���4�.��M#-! ( / '��g� �� �0���-Y� �� �0��L.�������!�X$U��-c '�yV � �� N$U��-2+�����&-!���o�j����-!�.���/�0��� '���&��� ' ("&�&L� !���&�/��/bTO�.��������-!�3���� ���$C '��u���!��y] �{��+��� (�!�QM_��-!���{��-!����$C !�&�u@��-!�_-!�&���������(��L8����������yx � ���9�������O��"��Z���-!�4�!����"&��Vwv 6 ���!��L1���! ���+� !���&�/�X�/bTO�.���(�� !�&�����6 !�������-� '���Y�� (���4�*�; kMS��&�n�;����-/�&�!�/ ������4�������c ��� !�&@�&�� '�]_ o )xz�0���� u���0�)���cb� !�����-!�/�w�&v!v � <� }���v � < @ }!} � v � 9 � < � }��X�����/pj$ � < � ����� � < @ L� '����� 9 � < � �8}~V{���Q (��+��&���-'���.p%M_������������ _-!�"&��@�����X���! ���+0 '���&�!�[�/bTO�.�����vF�;��"�&�� [�*���!�! (���(b�$U��-��`L�M#�� ("��< (�#�45��&-cbd ��� '�� o ' o5��R�cb�Q�*���P};V

232324232�����6�/ !-!��"; '��-/�0��$%��-/����$U�

, �\�n��-/� 5��g���c ��� !�&@�&�� )LR��������$C '�� �c ���-c '�d��b ���!�/��@ ���+� '���Z��bT�.�� '����! (������YM_��-!98 ���+O������x �SMS�)bX !� MS��-/�d�O"&����"�����/ ����a]� '�� ��S (�_ !���3*�EC�'D�G;Aa������-!����"�� '�w��-/�^5� (��+����c ��� !�&@�&�� )V�����"��i�w��-/����$�� (+��� O�(����9>�/��@� '�� ���+w�( �9��� '���$U�����(� M# (��+ �

,�� "� � � �S�����^M '���� �� �@���� (�&����V

, � � ����� � 6 �!�/������ (�2 !-!����V2�� ���"&��� ��� !-!����L�� ��# '-/����V2�T ���"��� ��� '-/����L� (�3 '-/����V_�� (��"&� � ��3 !-!����L�� (�3 '-!����Ls���#����! �-/�&�yV �

,���� � � "$ �3�����^M !���� # ($ � < � L� '���&���! ���v � � 8 } 9 � <J8 V

, � � ����� � � �; � < � V��T ���"� � < � L�MS�����)5�� � �,8 < � � 8 V��� (��"&� � �,8 < � � 8 LMS�����)5��6�! (�qv � �,8 } < � V��� (��"&���/ ��qv � � 8 } < � L�MS�6���)5��6�! (�qv � � 8 } 9 � <J8 V �

,DC �� !�{M#���� �MS���� (�6���&-!�{MS���q�/ ���-/ '��Q�r 1 !���{��b��.�� !���&�/ ��1�����6��^5��&�6�/ '�&���� (�(b$U-!�� '���&-!�6 '�^MS��-!���X"����"�����/ ����yV2pj R (�R���(�!���*���/�! (������ '�XM_��-/9<����"�98MS��-/���$U-!�� '����"&����"&�(���! (�����������!�&� ���+4M#���� # o �MS�������d ���9��l '�4 �@���(b� ( �

,�� "� � � �S�����^M '���� �� �@���� (�&����V

� �

Page 14: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

, � � ����� �3�1�u�!��� M �XL� o SM_�����(�:�!��t@"&�l !�u�!���^M � V��� ���"&� � (����� ��� � L�M_�|/���/ 2����&�d '�@�!���^M �4V � �� �� $U���(���^M#�S$U-/�� �0V �

,���� � � "$ �3�����^M !���� # ($ � < � L� '���&���! ���v � � 8 } 9 � <J8 V

, � � ����� � �\�W�/���^M �/ ��qv � � 8 } 9 � < 8 L6 ( <MS������� �/��t@"&�� '���!���^M '���� �! ���v � � 8 } < � Vf�� ���"� � �,87< � � 8 M_�������e �@���(bg�! (��v � �,8 } < � LSMS�O|/���c ���&��� !���/���^M` '���� � � 8 < � � 8 V � �� # '�� (�3$U�����(� M#�S�! ���"&� � < � V �

, � ��+� �"&�����ob<�/�*�&��98 ���+�L1 !���X���*�^5��4 kM_�<��-/����$U�0��-!�u '���@�'�����L�|/���/ Q��-!-!����+����� (�*�&-/�&�� '�ob�V C �� '�4���^M !�� ��l��-!�T��$S�c kbT���4 ��R�� (�*�&-!��� 6$U-/�� !���<vF (��"&��-/-!�" ~}������-/����"��d��$\�/ ���-/ ' (��+OM# ( !�Y '���l"����"�����/ ����������d�/�&�& (��+uM#���� # o 3MS�������d �u����(b.]� ����/ '�&���yL1MS���/ ���-/ QM# o '�Z '����"&����"�����/ ����g�������/�&�@M#���� QM_�����(�� �@���ob ( )V

,76 ���� !���&-[�;����@�����0��$�����-!�T��$�M#-! o ! '��w ��� '�� (�N����"�98MS��-/���l�/ kbT���0 ��2 '���Q$U���o����^M# ���+ �

,�� "� � � � � � � � � � � �.�S�#-!�&�����8��O�.�&-V������^M� !���� q '�����/�&-/ ��&�������� � � � � ���"&���85��&-/+��&�� )V

, � � ����� �:�1�<�/���^M '�� ��l�!�-! (�&�� ���"&���85��&-/+��&�� )L\ ( ��/��t@"&�&�0��b> '���4-'�r ' ��Y !�&�c '�4�!���^M !���� � !����-'�� ! ��

� � �� � v�� 9 � }� � �

� < �� 9 ��

"&����5��-!+���l '�Y�/����; '�� (��+Y�(�&�!�[ '����� � ��� �� �`V��� (��"&� � ��N����-/�)����b<�(�&�/� '����� � L� o RM# ��(�%�.�u�&������+��� '�d�!���^M '���� � �

�"����5��-!+���6 !� � V � �� ��/ ���"�

�� ��

< � 9 ��L% ( 0�!��t@"&��O '�<�!���^M '���� �

� � V � �� 0 '�� (�0 (�Q"���)��-0�/ ���"�

�� �`V �

, l���X"&�������������/����������bZ"&��O�� ����� ! �������$3��^5T ���+d$U��-cM3��-/���0$U-/��� '���@��b���*�� !���&�/ ��2�����d����"�98MS��-/���[$U-/�� !����"&����"�����/ ���� �

,�� "� � � �S�����^M '���� �� �@���� (�&����V

, � � ����� �w�1���/���^M �XL% o �MS�������g�/��t@"&�X !���/���^M � V�������� M ��� 0���0�!���^M� V��� ���"&�lMS�6���)5���� ��b:��b��.�� !���&�/ ��&L�M_�0���^5�� �4V_�� ���"&� � �@���( ��&� � L�M_� '�8���#���)5�� � �������&�/ �-!��yV �

�1>

Page 15: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

,76 +��� (�yL\$U-/�� ���(��+� �"&�����.�� ��� 0��$35T ��;M !�� ��6 ��0�;����"; '�(b� !���Y�'����@��-!�T��$2����*�;$U��-!��VS���8���[ !���&-/�Q��-!��X���8b:MS�)bT�[ '�4M#-! o '�l '���0�!�������-/����$%���^M#�y].���^Mb����n�����!�� (�O���� '�wb����yL����� 4"&�-/ '�� ���MS�^bT�4��$#M#-! o ' (��+w��-/����$U�4��-!�Y@��-!�-!�)���������(�u���������� !��-'���\ '�������� '���-!�Lq�����>�� o�a�-!�&�� 6��-/-'����+��&@�&�� '�R !�&���> !��&@�������/ ��&�4�� o�a�-!��8 6����-/ '�6��$_ '���@��-/+���@�&�� )V�v�N$3"����-/�!��L1M#���&�Zb����g��-!�|/���/ S�/ ���-/ ' (��+O���� 3���� (��+Q��� !���&��� ' (")������-!�T��$U�&L8b����ax -/�l+��&���-'���(�(b4��������b� !�+�� O�^Jr=XDN��-!�T��$���$S�:-!�&�/���( &L1�����������yx 6")��-/�4�!�dO��"������.���� �+��; ! ' (��+Y '����/�*��/ !�>��-!-!����+������ Q��$� !���� 0��-!�T��$�]����� Q '���X�.�� ��� 0���&-/�Y ��� '���r u����-/����$")���d ���9���X����b:�� (�*�&-!��� �$U��-!@�&V }

, �����d���.� 5��:��-!�T��$U�QM_�&-/�d��-!�; ! kb��/ �@�������*�")�����/�Y '���-!�YMS���N|/���/ 4�����Y��b���*�� !���&�/ ��2������������"����"&�(���! (���yV m ���&�� '���-!�0��-!��O���( ' (�����[��b��.�� !���&�/�&�l�����"&����"�����/ ������&Lq�����> !���u��-!�T��$��!���� ( !�l ��� '�:"&���!��&L� '���&�Z��-!�T��$U�R"&����+�� �@��-!�"&��@���� (")�� !�&�yV Es��-3 ����c �����"&�6�@��-!�T��$1� (+��� ����T��9Y���# !��-/ !�������#���# !�� �� �

,���� � � "$ ���������*���!�u '���r � ������� ��-!�Q !-!����V4�����^M '���� �� ����� � ��-!� '-!����V

, � � ����� �Q�� ���"&� � ��2 '-!����L � ��2 '-!����VGE�-/�� � ����� � MS�Q9T��� M '���� �� �� '-!����V 6 �(�!��L� (���� �+��8 R��$ �QL� '�d�!��� M � o l�!��t�"�&�6 '�d�!���^M��@Vu�����-!����-!����^M kM_�:")���!�&� ��� �������sVRpj$ � (�[ '-/����L* '����w$U-!���� ����� � M_�u���� '�� ���@LT�����4$U-!�� �`����� � M_�[���� ��� (��4V�pj$a ����c '�)����O (�� '-!����L8 '�����$U-!����QM_����)5���@L������:$U-!������������ M_������ '�� �� �4V����8���# ��:�.�� '�:"&���!���MS������ '�� ���*�� !� � �������@Ls�����<���&��"��� ����� � V �

, vFpk��" �����8 '�����ob�L^ '���� 1��-!�T��$�"�����(�0�.�_-/�)��-/-'����+��&�6 ��� '�[�#O��"��0 ! ��� (�&-���������-&L���� �b����4�� ��(�)���c �+��; � '���S ����&�R��$s���^M�"��@���� (")�� !�&�O�[��-!�T��$s"&�������u�.�&"����)};V

, �\���/���^M ���� (����( �"&�� ' (���� '���-!�>��-!���/�5��&-'���[MS�^bT�Y !�g��-/��"�&�&� � b����f"&���MS��-/9�$U��-cM3��-!��$U-!�� !���:��bT�*�� !���&�/ ��]_b����i"&����M_��-!9�����"�9�M3��-!�n$U-!��� '���"&����"�����/ ����a]���-\b����4")���Q�� (5T ����S ��� !�R")���/�&�� (�Q '���S�����.�S '�R�/���� o \ !���3��-/�����(�& ��� '�0�!�5��&-!���y�)���! ��-3�!�����k��-/�����(�&@�&V 6 ���� '���&-3 (�� !�u��-!+����R��bX"���� '-!���� �"; ' (���yL$U��-� ����c �����"&�lb�����")���<���)5��Q������-/+���@�&�� 2��$1 '���l$U��-/

,���� � � "$ �3�������.���/�6 !���� �� ��3 !-!����VS�T���^M` '���� � (��$F�����/��V

, � � ����� �g�������.���/�Y$U��-Q"���� '-'���� �"; ' ����� '���� � (�6 !-!����V>���� ��6MS�������� �@���ob '���� �� ��# '-!����V � �� N�! ���"&� � ��# '-/����Ls '�� (�N (����( ���3 '���� � (�2 !-!����]*M#�� ("��"&���� '-!���� (" '���4V����8����� O���c 2�*�R$F���(�!��V �

�%@

Page 16: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

,76 �%b����u")���u�/�&��L� '���-!����-/�S�/�5��-'���� '�� (��+��\ !�N '-cb0M#���&�@�� ! !�&@�� ' (��+[�R��-!�T��$�Vm ( '�d�~���.�&-/ ����"&��L* o �M# ����a�*�"&��@��"&���&��-!�-3M#�� �"���������-/����"�����N��-!���� (9��&�obX !�MS��-/9Q�&���! (�(b�LrM#�� �"��4�����&��M# ��(�8��-!���������(b6M_��-!90���� �-/�&78�� �-/��O��"��u�;�a��-c )L8�����M#�� �"��u�����&����-/�3��-/���������ob6+��� ���+[ '�[$F�� ���V1pk�u�����b0")���/�&�� '���&-!�S ��%-/�)���(�(b������(b����������5� (�����1M3�)b� '�[��-!�T"&��&�yV R$�"&����-/�!��L� '���-!�_X�)b����;h��� ( !�&�ob��*��O���o ' ������M3�)bT�� '�4������-!����"��d�O��-!�����(�&�L��/�u ($�b������/�&��@��-!�2 '�����d�����NM3�)bY !�O�.�&+� (�����-!�����(�&�L�b����i")���w|/���c @ !-/b�M#�� �"����;5��&-@�����d�(����98�O !���d�)���/ ��&�c )L_���� @�*���-!�����-!��� !�4�/M# ( !"��< !�������� '���&-2������-/����"��� ($1 ( #�.�&+� ����3 !�@�(����9X�����.�&�(�&�/�&V

,76 ���/��L� o O��������OM#����n���� ���+>�w��-!�T��$� !�w9���&�n '-'��"�9g��$�M#�� ("��n�/ ��r '�&@�&�� !���-!�&���aJ�S'��vU�& o '���-Q������bT�*�� '����!�&�L���-����&����"&���$U-!�� !���@�8bT�.�� '���&�!��&L���-"&��@ ���+>$U-/�� �� !���&-u '���&��-/�&@�X�����e-/�&�!���( '�'};L������iM#�� �"����c ��� !�&@�&�� '�X��-!�*TD��;EC��DO*nvU�& ( !���&-� '���>"����"&�(���! (���yL2��-:�!����; '�� (��+gM#�� ("�� M_�����(�W �@���(bn '���"&����"�����/ ����aL*��-[�!��@�Q (�� '�&-/���� P�r '�6"&�P�� � ��-[���&@��4M#�� ("��wM# ��(�1�.�O���/�$U��� ����5��&�� '�������(bw���� ��� ��� (��+X '���@"����"�����/ ����s}~V 5 o�� (��+: '���u kM_�<���Z �������@���/ ���(MS�)b��X�g������ ����&��L#�����f"&���W���&���e !�������<+�� / ' (��+g�����*����&�/�!�obe�(���/ X ������-!�T��$�V

232324232� ��-/ P�������&�3������7T������ ' (h��&-!�

, l���3")���u+�� �78�� o '�S$F��-\ ��O�(��+� ("�|/���c ���bO�c ���-c ' ���+NM# ( !�O��-! (� o ' o5����/ ��r '�&@�&�� !�vF�!��"��X���l� 8 9 8=<?> �l��-��� ������u���������P��"�9Q���� (-!�8}~L� !���&�u$U��-/� (��+N"����.��������/ ��r '�&@�&�� !�X���/ ���+�����+� (")���S"&�������&" ! (5��&�&L2�����e '���&�f���/ ���+Z5���-! (�����4�P�)M#�@��$����+� ("[ !�@�����!��$U-!�� ������x �#��bT�*�� '����!�&�2 '�4������x �#"����"&�(���! (�����]� '�� (�� ��398���^M#������.��J ��J^�;ECAFEHJ��.?�I�I�J!K�EHGa��- � J^JrI�D!?,�uI�J!K�EHG;V_vFpj 1 ��q�.���!�/ ����(�� '�2�� ��c q�#��� �&��Q��-q�/��!��"����P�)M#����$S��-!���.���! o ' (�������1����+� �"�L*M#�� �"�����-!�4�/��t@"& ���� 0 !�����<�;5��&-cb8 '�� (��+�����wMS���� '�: '������LN���� dp@���)5�������� (�*�-'�� !�&�(bi"������!�&� ���� : !�����n�!�n���-!��L�*�")�����/�:b����n@ �+��� Q !���&�n�.�Y '���� !�&�� '�>@�&@��-/ ��&�@ '���r 4�� ��c )L������� '���� �� C l� ���^M �����u�!�������������&��-!�>���^M '�d���d����+� �"�L*�����(�&�!�������u�������.�&���l !��*���g"&��@���� !�&-Y��-X�!����<�� '���-X�������j !�� ���98 (��+g���;5T �"&��V � �^M_�5��-&L[ ($Rb����-!�)�����(bO��-!�#"��-! (�����_���� !�6M#���� { '���#$U��-!��������)M#�_��$a����+� �"���-/��LT���T��9Q�����/���^M#���$R��-/���.���! o ' ��������3�(��+� �"�>��-@�!��@� !�� ���+��/ �@ ��P��-O ��n '������ (��-'��-/b���-����n '��� ��� '�-!���; ~};V

, � �^MS�;5��-&La !�Y���X��� !���&��� ' ("&�Ls !�� ��2���;5���\��$�����+� ("� ��2 ����/��t@"& ���� )L.�*�")�����/� ( u���T�&�u���� 4 ���"��-!�.��-!�� '�X !���:$U�����������8 '���3"����"&��� @��$ �r?��;EF? � I�D����l !�����/�$F��� (�� ���-{�/bTO�.�������/��"��w��� ����- �>M#�� �"������&���� '�l5���-! (������78������ ! ( ' (�&�3M#�� ("��

� !

Page 17: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

��-!�R����98���^M#�yL���-S�/� � !�u�!��@�[5����(����L���-����/�!��@�&�Y !�u���*�;bX�/��@�R��-!���*�-/ kb�Vpk�����&��wMS�0���)5��u����-!�&����bd�/���)��9��&�> (���!����6��$� !���&�/�Q5���-! ���������# �����-!���-2 !� ����(���/ !-'�� !�S�/�������$. !���#"&����"&�&�� '�� ��u��-/���*���! ( ! ����������(��+� ("lvF��� (���(b6�.�&")�����!�2 ( +�� !�1�.��-/ ���+2��$C !�&-q��M#�� ��(�% '�# ����(9N���������!�/�(b����.���� q5���-/ P�����(�;�H$U-!�&�%�/ ��r '�&@�&�� !��!��"��d��� 8 9 8 < > ��-O�� ������[�����3������"�94���� (-!�8}~V � ?�AUB�D;=@?�AFEHG!?�IaI�J!K�EHG{ (�_ !�T��� '���Y�!��@�Y���O��-!���.���! o ' (���������(��+� �"@���� QM# ( '�� '���:������ ( ! ��������� ���+�-!�&�� ��&�� Q��$5���-! P�����������������yV

,76 �r?��~EF? � I�Dl (�Q���/bTO�.���HL1�!��"������ �i��- �qL\M#�� ("���������� '��O��"&�&-c ��� (�� kbT�.���$���� '���X�r ' �"&�������8|/�&" 0�l���� ��� '�+��&-L��<5��&"; '��-L������ '-/ o�*L� '���� Q98 �������$ '�� (��+�V�pk�:����@���/ _���(��"& �-/"&��@�/ '����"�&�&LT '���2 kbT�*�R��$����T|/�" 3 !���� � '���N5���-/ P������� ����!���������X�.�N���&"&����-!��yL��� '���-/M# ��/�N o _M# (�����.�N�� ot�"���( � '�0X��9��[M_�&�(�o�H$U��-!@�&��/ ��r '�&@�&�� !�N���/ ���+Y o )V6vU�����&-/�u��-!�Q�@5��&-/b�$U�M �8��O�.�&-[��$� !-!���0�/ ��r '�&@�&�� !�������"&���f���9������.���� @5���-! P��������@M#�� ("��f")���f�*�<��$������!���(�� '��(bi����bi kb��.��VEs��-3 ����c �����"&��L�+� (5�����Q5���-! P������� �<��$%����bX kbT�.��M#���� '�/���;5��&-Ls ( � (�3 '-!���R '���� � < �qLS�����e o$#MS�����(�!�>98���^M '���� � < � L{ !���&�nM_��"&���n"&����"&�������: '���� � < �qV � �� N�����O"&�������� R�'�)b�L*$U��-[ ����c �����"��L. '���� � 9 �&< �=9 �qL*���� ' ��qM_�9T��� M M#���r N kbT�*�0��$����8|/�&" !� �Z����� � ��-!�O������M#���; '���-N '���;b��!�����.��-c N '������*�-'�� ! �������$\������ o ' (���y]8$U��-S (���/ '����"&��L� '���l���.� 5��l�/ '�� '����8 3 ��3 (���o�H$U��-!@�&�4 o$�w ��3�4��� !-! o�Y����� � (�#�O5��&"; '��-V{���T���[ o$\�����6��" !�������ob�MS���� '�# '�4���4�/�������!�;$U����X�r '���X�� ! �"�&L� !���&���5��&-/b:5���-/ P�������R�/�������(�����^5��Q���<�~������ �" ( 3 kbT�.�^}~V

, l���Y")����$U��-! �;����-!��!�/ ������@�������/ ��r '�&@�&�� !�u ���5����o5T ���+�5���-/ P�������&�L%$U��-0 �����/ �����"&��L1 o$ �g (���Y-!�&���%5���-! ������(�:vF �V ��VQ�Y5���-/ P�����(�0M#�� ("��� ��l�Y-/�)�����8��Q�*�-�};L� 9 � (�����X�~����-!�&�/�! (���yL������ � 9 ��< @ ������/ '�� '����8 &V � �� ����^MW '���2 !-!�� !���$��X�/ '�� '����� R��^b�����*��������� !���Q5��������Q��$� !���Q5���-/ P�����(�&�2 ���5����(5���y]a$U��- ����c �����"�2 !���N�c ��� !�&@�&�� � 9 � <J@ (�� !-!���2 ($ �: ����&78�����s '� 8 LT���� _ ��{$F�����/�[ o$�� (������ ��7T�����y '� 8 V����8���� '���� !-!�� !�d��$\�4�c ��� !�&@�&�� # ���5����(5T ���+4�Q5���-! P�������X�)b����&�.�&���>���� '����G�J���AkD � A\��$% '���O�c ��� !�&@�&�� [�3 ��� '�� (�N")���!��L* ( [���&�.�&��������gM#���� �e (�Q�/�����.���!��n !�w�.��VnvU���� ��O (�O��@�T�� (h�"&�� ' (������$� '���Y-!���(��$U��-��-!���.���/ ( ' (�������8�(��+� �"�L� (�QM#�� �"��@���(���c ��� !�&@�&�� '�{���)5��#�R���h��� ( '�3 !-!�� !�O5��������)};V

, ����@� ' (���2M_�O���:���� R�/� ���5���-/ P�������l '�Y�.�u����b8 '�� ���+�vU�� '���&-N !�����w�/�*�"& o�$Cb� (��+6 ( '�{ kbT�*�)};V����8���L�M_�N"&��������"&�����/ ����-� !���N�c ��� !�&@�&�� � 9 � <J@ M#���&-/��� ��[���������!�.�&"& oh��&�>-/�)���1�8��O�.�&-V2pk���!��"����@")���/�QMS�0")���(�� '�� (�25���-/ P�����(�6�M~��D�D �r?��~EF? � I�D;]� !�T���2M_�O��-/��"&�����/ ����-! (��+ � 9 ��< @ M# o '� ���4$U-/�&�l5���-! ������(��V�T ��� !�&@�&�� '�6M# ( !��$U-!��@5���-/ P�������&��@ �+��� 6���� 0���)5��X�<���;h��� o '�� !-!�� !��5����(����L

� �

Page 18: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

���6 !���b����&�.�&�����������Z�����/�*�"& (h��&�g5���-/ P�����(��V4E���-� ����c �����"��L1MS�@���)5��X���o�-!�)����b�-/�&���-!9��&�� '���r � 9�T< @ ������u���� u���)5��d�w���h��� ( '�Y !-!�� !��5�������� ($ �� ��6�:$U-!���-/�)����5���-/ P�����(��Ly !������+��Z��$S"&����-/�!�4$U��-��)��"���+� (5��&��5��������4��$ � '���[�/ ��r '�&@�&�� � (�_� ( !���&-� '-!���N��-�$F�����/��V R�X !���N�� !���&-_�������aL� '���N�/ '�� '����� v � 9 � } � < ��� 9 8 � 9 � (�2 !-!���6$U��-2�5��-/b<-!�&���q�T��O�*�- �qL*�����w�/��M_�Q"&���-!�&+���-!�: '�� ��2���#�u '-!���6�c ��� !�&@�&�� 2�5��&�<M#���&� �w ��2�O$U-!��l5���-! P��������V

,76 X�� !���&-u ! �@�&�&L�MS�>�^D;A2��5���-/ P�������X !�g�&78�����[�>h����&�e5���������L_��bi���! (��+���/ ��r '�&@�&�� #�/��"������@� � � � <A8 �u��-@�'���; ���78�����a !� 8 ��V�pk�: '���� 3")���/��L� '���5���-! P�������u (�098���^M#�n���Q� � Jr�)��* �r?��;EF? � I�D;L\�����g�/ ��r '�&@�&�� !�Q ���5����(5T ���+<�����(b�*�������g5���-! ������(�&�0���������<$U-!�&��5���-! P��������6���w���)5��d�����h��� o '�@ '-!�� '�g5����(����VEs��-l ����c �����"��L1 (${M_���/� � < �,>8 Ly !���&�Z '���4�/ '�� '����� w� � 9 � ��@ < > �� ����^M �����2�u���;h��� ( !�R '-/�� '�d5���������L�M#���-!�)���2 o$ �< ��#�O$U-/�&��-!�&���y5���-! ��������2 '����� � 9 � ��@ < > �� �<"&�����(���.�Y�& o '���-0 '-/���Y��-6$F�����/��L����&�.�&���� (��+>����M#���r � ��&V ���8���&LN����M_�>���)5��>�!�� ��e�*�;$U��-!��L# !���� !-!�� !�W��$6�g�/ '�� '����� :�!��"�� ���� � 9 � ��@=<A> �� �4����*������N���� !���0"���� '�~�� #��M#��� !���&- �w (�#$U-/�&�6��-��.�������yL�����d ($\ ( � (�#�*�������yL�M#���r [ o # ����.�������d '��V

, l���X")���������/�� !��-!����$U-!���5���-/ P�����(�4 ��� '���<�.�������g5���-/ P�������4��b����! ���+< '���7T������ ' (h��&-!���c$U��-#�����(�O��-��c$U��-3�/��@�&��VRE���-� (���/ '����"&��L� '�����c ��� !�&@�&��

v � 9 � } � < � � 9;8 � 9 � ��6���c ��� !�&@�&�� QM# o '�Z�����4$U-!��@5���-/ P�����(� �qL������g����&�g���� Q���^5��Y�d���h��� ( !� '-!�� '�d5���������L����� � !�����/ ��r '�&@�&��

v � 9 � } � < � � 9D8 � 9 � $U��-#�����y-/�)���a�T��O�*�-!� � ��_�0�/ '�� '����� SM# ( !�X�����N�.�������X5���-/ P������� �qL������X���^M �����S�Q���;h��� ( !�[ !-!�� !�5��������@vU ��: '�� (��")���/��L� !�����/ ��r '�&@�&�� 2 ��� !-!���)};V��� (� (�P��-/�(b�L� !�����/ ��r '�&@�&��

� 9 ��< @�����3�����N$U-!��N5���-! ���������L������Y���T�&������ 3���)5����O���h��� o '�N !-!�� !�Y5���������L����� 3 '����/ ��r '�&@�&��

� 9 � <A@ $U��-#�!����l-/�)�����8��O�.�&- � ��3 '-/����L��/ ���"�� ( � (�# !-!���l$U��-�� <A8 V R�d '������ !���&-#�������yL� '���6�c ��� !�&@�&��

� 9 � <A@ $U��-#���(�a-!�&�����8��O�.�&-/� � ��S$F���(�!��L��*�")�����!�l '���-!����-/�l�!��@�@vF (������&�yL� !���&-/����-!�l�����b�}S-!�&���y�8��O�.�&-/���$U��-3M#�� ("�� � 9 � ������� #�&78������ !� @ V

� �

Page 19: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

, � (����#$� �1� ������ (#� ��� $� � � � �; ���v �*}3�.���!��@���/ ��r '�&@�&�� [���&�.�&���� ���+����<�$U-!�&�#5���-! ������(���qV������N�c ��� !�&@�&�� O���Xv �*}� ��� '-/���2$U��-_����� �:��$* kbT�*�[�6@�)����� '���� Q+� (5��&�����8b �n��$� kbT�.��6L% '�����/ '�� '����8 ��Xv �*}6 ��� '-/���Y-/�&+���-/������!�0��$M#���� � '���[�;����" _5��������#��$ �d ��&V%pk�X�� !���&-{MS��-!���L� '���N�/ '�� '����� 3 ��� !���N�!�������3�'�)bT ���+g�c ($ �< ��3��$q kbT�.��0LT '���� �Xv �*}_ ��S !-!�����V{���8���� '���R���!�����*M3�)bY !���-!�^5����/��"��@�N�/ '�� '����� { ��\ !�R���; �@�.���N$U-!��S5���-! �����������$� kbT�.�� vU��bO�'�)bT ���+�!��@� !�� ���+[�� (9��Q� � � �4�.�3����b0���T|/�" ���$� kbT�.��2�8};L������Q !���&�u��-!�^5T ���+���v �*}$U��-� '���r _���T|/�&"; )V������2�/ '�� '����8 _�.�&"&�����{$F�����!�# o$a�����2"&���X��-!�T����"&�#�;5��&�Y��! ���+����l"������ '�-!�;����@���(��L� HVz��V������&�(�&@�&�� ��M#�� ("����( ��&�� (�� ���� #$U��-3M#�� ("���Xv �*}# (�#$F�����!��V E���-2 ����c �����"��Ls '���6�/ '�� '����� d� ���[ ��2+�-!�&�� '�-2 !����� ��$U��-N������*���/ ( ! (5�� �s�w")�����*���!���^M#�� '�w�.�X$F���(�!���8b���-/������"& ���+>���! (��+��(���~��������(��L�!��"������ � < � ��-�� < � � 8 L�M#���&-/� ���[ ������� #+�-!�&�� '�-# !����� �qV

, l�@ '���[�� '���&-S�������yLT��-!�T����" ���+Q�0�/ ���+��(�#�;����@�����#M#���&-/����v �*}�E��� '-/���[M# (������� u�/���^M '���� ��Xv �*}0 ��O !-!���Y$U��-d?�ICI �qV E���-O ����/ �����"&��Ly|/���/ 4�.�&")�����!�: '����&78���� ! ���� � 9 � < @ �����4�w�!���(�� ' (���gM#���� � < 8 ������4���� u (����ob� '���� � 9 �=<A@ $U��-_������-/�)�����8��O�.�&-/� �q]T ( {�����(bu�/���^M#�_ '���� � 9 � < @ (�� '-!���2$U��-�!��@�4-!�)�����8��Q�*�- �qV�vU���� ��6 ��l !�����/����-/"&�X��$S '������$C !�&���j78���� '��yL\ !������+���!��@�M#���r u �����"&"&��-'�� !��L��/����+���� � R���X"&�������� u��-!�^5��d���/ '�� '����8 2|/���/ u��b+� (5T ���+>�����;����@���(�&��V������d@��-!�Y��-!�&" ��/�:�/ ��r '�&@�&�� 4 (�Q '���r u�����:"&�������� ��-!�^5��S�Y�c$U��-%���(�����c ��� !�&@�&�� ���b6�;����@������&Lr '������+��Q�����S")���Q"&�-/ '�� ����obl��-/� 5���c$U��-@�!��@�&���/ ��r '�&@�&�� !�� '�� ��4M3�)b�L2�����f������")���f�����/��*�E�� �.�'J ��DZ�c$U��-X���(����/ ��r '�&@�&�� !�2��b��u�! (��+��(�l"&������ !�&-!�~����������^}~V

, pj ���"")���/ ����������ob4�������.�&���_ '���� S '���-!����-/�N ��Y$F��" 3���O5���-! P�������� ����$� kbT�*��6Vpk�Q '���r %"&���!�S !���S�c ��� !�&@�&�� ����Xv �*}q (�1 !-!����$U��-%�������4��$� kbT�.��2�N ����r?TG;��Jr�8�;IL.A��~��DN�[ ( � (�R '-!���@���� 6�����6���<"���� '��8 &L\�/ �@ �����-[ !�<�:5���"&�������6 �@���� (")�� ! ����yVEs��-� ����c �����"��L� !�����/ ��r '�&@�&��

! � 8 � � > $U��-#����� � � � � 8 ��Y '-/����LR����� �)���/ ��(b���-!�^5��&�yLl���� < (�:5���"&�������&V vH����"��`��5���"&�������!�(b� '-!����/ ��r '�&@�&�� X")���f�c ' (�������/�$U���[ ��f���W��-!+������� )LS !�� ���������!�yx Y�������.�&��5��&-/b��$C '��s};V

, l���R")���:���!�R����-'���/�&���!��"��<���4�OE���-��5��-/bT�4��-u� Es��-S�)��"����u ����c '�&���:��$[�OE���-�����(��L8��Vz+�V������R"&���d-!�����-'���!���)v � 9�� } � < ��� 9 8 � 9e� $U��-������.-!�)���a�8��O�.�&-/��s�:���X�OE���-[�&��"��>-!�&���q�8��O�.�&- �qL�v � 9 � } �R (�[�78�����\ !� ��� 9;8 � 9 � ��V E���- '��������-/�*���!�&�2��$\����+� �"[ !���&�/�0-/�&����-'���/ ���+��2��-/���&78�� (5����(�&�� )V

� �

Page 20: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

,���� ��� �%$)(#� �"� ����� (#� ��� $� �Y�����Y�c ��� !�&@�&�� Z����v �*}� ��Q !-!����$U��-Q�/���� �i��$ kb��.��2�l��&������ !���� � !���&-/�2�~�� ��/ !�{�� ��(�)���c �����������$s kbT�*� i$U��-%M#�� ("�� ��v �*} ��[ !-!����L����o '������+��� o R��^b��.�Q '���� N !���&-/�O ��[���-/�0 !�����>�����Q�!��"�� �qV4v l���MS�������Y���/���Q78������ ' oh��&-S�!��"������4��$U��-S�~����" '�obX����� �s�O (���/ !�)���:��$[��$U��-S�/�����s�l ($s�����3MS���� '��4�*�� !�u�;�� ��c '���"&�2�����4���� �78���&���&�!�{��$.�/��"��@��� �*};V��1�l��-/� 5���!��"����:�/ ��r '�&@�&�� 6 ( R�!��t@"&��0 !�:��-!�^5T ����@�:�! (��+��(�O�;����@�����u��$_�/��"������ �qVEs��-� ����c �����"��L� !�@�/���^M '����

� � 9D8 � H � < � $U��-��!��@��-!�)���y�8��O�.�&- �

�����T�����3���&�&���{ !�l���l ��\h����@�N�! (��+��(�3-!�&�����8��O�.�&- �4$U��-\M#�� �"�� � � 9 8 � H � <� L%$U��-0 ����c �����"� � < 8 M# ��(������Vnv�R���X"&�����(�����(�!�����!� � < H > L����� O�����������!�yx �����&�> '�:���/�u�*�� '�s}~V C �� '�0 '���� R�����O�����R '���Q$U-/�&����� !�:�!����&"; � '�w�.�:����b8 '�� (��+wb����nMS���� OM#����n��-!�^5T ���+���$U��-c�j�!��@�X�c ��� !�&@�&�� )]� '�� (�Q �� ��w"���� '-'���/ l '�X��-!�^5T ���+d�X$U��-c�������q�/ '�� '����8 &LyM#���&-/�Ob��������)5��O '�:���; ���*���-!�� o '-!��-/b�V�v R���:")���n"�������-!�X !���Y kM_�Z�c ��� !�&@�&�� '�u��b� !�� ���9T (��+w��$# kM_�+���@�&�#�*�; kMS��&�wb����w���������<�����.������8 &V3pk�d '����h�-!�c N+������L� '���6�����.������� +�� !�Q '�<�� �"�9�M#���� �e (�&L������g '���&��b��������)5��X !�w��-!�^5�� �Xv �*};]{ ($3b�����"&������(MS�)b���M# ��4 '�� (�_+������L� '����Xb����X���)5��N��-!�^5���Y '���� ���v �*}� ��� '-/���[$U��-N?�ICI��qVpk�w '���u�/�&"&������+���@��L .�Jr�Y+��; R '�:"��������/�QM#���� �Z (�&L������w '�����b����>��-/� 5���Xv �*};]s ($\b����<")����M# (�� !�� ��2+���@��L�b����w���)5��Q��-/� 5��&�� !���� �Xv �*}# (�� '-!���6$U��-�^Jr=XD �qV }

, �[�!�������ob�Ly�!�^bT (��+d�!��@� !�� ���+: (�N '-/���O$U��-@?�ICI �� ��lO��"����c '-!����+��&-R !�����X|/���c �'�)bT ���+� o X (�� !-!����$U��-��^Jr=XD �qV �����&-!�> (�X�������;��"�&�� ! ����W '������+��yL� o$R '���"&������ ( ' (���i��� � (�� (��.���!�/ ����(�Y '���'�� ! ��/$Cb�LS '���&�� !���<$U��-������(�3�/ '�� '����� Y ��5���"&�������!�(bX '-!����L����� # !���l$U��-c�j�!��@�R�/ '�� '����� [ (�3$F�����/��VRE���-� (���/ '����"&�

! � 8 � � > $U��-#����� � � � � 8

��3 '-/����L����� ! � 8 � � > $U��-��!��@� � � � � 8

��3$F���(�!��V

, l���3")���4���/������-!���!����/��"��@���6�OE���-%�� ����&���/ ������&�l��-��/�����-!���;�� (�/ '��VV&V/�!��"�� '���� !�N (���/ !�)���O��$��OE���-q�!��@�&��V E���-1 ����c �����"��L������S"&���O-/�&����-!���!�u� ��� 948 � H �$U��-0�/��@��-/�)���{�8��O�.�&- �s�w�����/�����-!�Y�~�� (�/ !�O�<-/�)���{�8��O�.�&- ���!��"��� '���� ��� 9D8 � H � ��V

8��

Page 21: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

232324232C �&�/ !�&�<7T������ ' (h��&-!�

, l���Q")���w���&�c N kM_�:��-2���-/�078�����8 ! (h��-!�N !��+��; '���-&V Es��-[ (���/ '����"&��L*"�����/ ����- '�����/ '�� '�����

Es��-��5��-/bd�.���! o ' o5��l�8��O�.�&- �qL� '���&-!���~�� (�/ !�N�u�.���! o ' (5��l�8��O�.�&- � �/��"��< !���� � � < � B

,nm ���� 3������S '�� (�S�c ��� !�&@�&�� 3@�)��� �<pj 3@�)�����_ '���� S$U��-_�)��"��:�.���/ ( ' o5��2�8��4��*�- �qL� !�����/ '�� '����8

�����&-!�6�;�� (�/ '�[�u�*���! ( ! (5��l�T��O�*�- � �!��"��� '���r � � < �

��Q !-!����V�pk�n�� !���&-QM_��-/���&L������Y"&����h����i�w�.���! o ' (5��Y�!78����-!�:-!�T�� u��$ �n$U��-�)��"��d�.���! o ' (5��N�8��O�.�&- �qV����O '���N�/ ��r '�&@�&�� # (�S�'�)bT ���+O '���� 3�5��-/bX�*���/ ( ! (5���T��O�*�-#�����2�u�*���/ ( ! (5��l�/78����-!�6-!�T�� &V

, �\�R"���� ' (�T���_ '���S+���@ ���+2@� '��������-&L��/�����.���!�_b����u�����)b6�[+���@�{M#���&-/�Sb�����-�����.�����&�� #h�-/�/ #�� ("�9T�2�u�.���! o ' (5��l�8��O�.�&- �qLs�����: '���&�db������� �"�9X�u�*���/ ( ! (5���T��O�*�- � V � ���OM# ��u !����+���@�3 ($ � � < �qV�pj$sb�����"&���@���(MS�)b���M# (�O '���#+�����-!�&+���-!���(�&�/�[��$\M#���� [b�����-2�����.������� N���T�&�L. !���&�<b����<���)5��Q��-!�^5���w '���� #$U��-�5��-/bd�.���! o ' o5�� �qL� '���&-!�6�;�� (�/ '�2�u�.���! o ' (5�� � �!��"��< '���� � � < �qV

,� �� �� � M#���� 4���>�)��"��n��$# '���Y$U�����(� M# (��+��c ��� !�&@�&�� '�u@�)���yL{������M#�� ("��n��$ '��� ��-!�� !-!��� ���3���4b����4h�����+���@ ���+R@� '��������-!��$U��-{�)��"��@��$* '����!�2�/ ��r '�;����8 !� �

, v���}RE���-_�;5��-/b��*���/ ( ! (5��2�8��O�.�&- �qL������Y�5��&-/b��.���! o ' (5��[�8��Q�*�- � L8M_�N���^5��� � < �qV

, vF�s}a�����-!�{�;�� (�/ '�1���.���! o ' (5����8��O�.�&- �0�!��"��6 '���� a$U��-��5��&-/b��.���/ ( ' o5����8��Q�*�-� L�M_�����)5�� � � < �qV

, vF"^}q�����&-/�S�~�� (�/ !���[�.���! o ' o5����T��O�*�- �qL������0 !���&-/�3�;�� ��c '�%�[�.���! o ' (5��_�8��Q�*�-� L��/��"��< !���� � � < �qV

, vF�s} E���-_�5��&-/bY�*���/ ( ! (5��[�8��O�.�&- � LT !���&-/�l�;�� ��c '���O�.���! o ' o5��R�8��O�.�&- �<�/��"�� '���� � � < �qV

8T�

Page 22: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

, vF�^}y�����-!�_�;�� ��c '�\�2�.���! o ' o5��{�8��O�.�&- � �!��"��0 '���� q$U��-��;5��-/b0�*���/ ( ! (5����8��Q�*�-�qL�MS�����)5�� � � < �qV

,DC �&+��� ' (��+��l���� (5��&-/�'�����c ��� !�&@�&�� ���-!�T����"�&�_���4�;�� ��c '�&�� ! P�����c ��� !�&@�&�� )V���������&+��r ' �������$:� 6 ���_�/MS��������-!�YM#�� ( '��� ��u���� �� 6 ���S�/MS�����@��-!�d���� uM#�� ( !�&��L���� @-'�� !���&-��/�����&-!�� ��u�/��@���cM3���eM#�� ("��e (�u���� 4M#�� ( !�&��Ve�� (� (�P��-/�(b�L\ '������&+��r ' ����:��$l� Es��-3�5��&-/b � � � � � � 8 L�MS�����)5��6"��� v �*} � �@ (�@�OE���-3�/����� � � � � �,8 LaM_�@���^5���"���^v �*} � � L C R� �OE���-R�;5��&-cb � � � � � � 8 LyM_����)5��6"&���)v �*} � � ��V

,DC �&+��� ' (��+����4�;�� ��c '��8 ! P�����c ��� !�&@�&�� ���-!�T����"�&���l���� o5��&-/�'���s�c ��� !�&@�&�� )V���������&+��r ' �������$��/�����-!�:�~�� (�/ !�u�w���P��"�9��cM3�����Z (�Q���� Z�/�����-!�Y�~�� (�/ !�4�w�/MS���M#�� �"��Z ������� 6������"�98��L1���� 6-'�� !���&-<� 6 �����cM3�����Q��-/������ 6���P��"�98��VX�� (� (�P��-/�(b�L '���#���+��� ' (���4��$3�/�����&-/�#�;�� ��c '�_��-/�)�����8��Q�*�- �X�!��"��@ '���r � � 9 � 9Z� < � � ��Q�OE���-{�5��-/b�-!�&���s�T��O�*�- �qL � � 9 � 9�� �< � ��L C l� �/�����&-/�R�;�� (�/ '�S�0-/�)����T��O�*�- �:�!��"��� '���� ��� 9 � 9�� �< � ��V#vF�����2�! o '���r ' ����u���&-/�N ���5��&-cb��/ �@ �����- '�4���^M �!�������@�������/��-/�@�.�&���^5��6M# o '�d-!��!�.�&"; [ !�@���&+��� ! ������&V }

, pj$�b����Z9T��� M '���r ��:�/ ��r '�&@�&�� ��v �*}[ (�N '-/���O$U��-����(� �qLy !���&��b����Z"&�����!�; �> '�Y�.�O����b8 '�� ���+Xb����wMS���� )L������ �Xv �*}#M# (���q�*�6 '-/���Q$U��-# '���r N5��������Q��$ �q] '�� (�� ��3M#���� X�c$U��-#�����(�O��&�����V����8���#$U��-� (���/ '����"&�� o$1b�����9T��� M` '����

v � 9 � } � < � � 9;8 � 9 � $U��-2���(�a-/�)�����8��O�.�&-/� ��

'�����b����<"&����"&����"��������$U��-� ����c �����"�l '���� v � 9 � } � < � � 9;8 � 9 �

��-3$U��-� ����/ �����"&�l '���� vF"&��� v � } 9 � } � < "&��� v � } � 9D8 "���^v � } 9 � $U��-#�����*-!�&�����8��O�.�&-!� �

vF�.�&")�����!�Z ($ � ��d-!�&���HL2 '����`"��� v � }X ������(�!�n-!�&���C}~LR�����`�!�n$U��-c '�yV ���8������� (5��&-/�'���\�/ ��r '�&@�&�� !�l��-!�05��&-cb<5��&-/�'�� ! ����0 ��� !���& (-R�������� (")���� (�� o kb��_b����>"&���+�� ��v �*}� '�:��������$U��-[M#���� '�;5��- ��b����wM# ��/�yV ���� (�/ '��� ' P���%�/ '�� '����� '�&L���b"&���� '-!���/ &Ls��-!��@��-!�l�( �@ ( !�&�y]8 ($1b����<98���^M !����

� � 9D8 � H � < � $U��-��!��@��-!�)���y�8��O�.�&- � '����gb����g")�������� Q�/ �@���(bw�!�����c ' o '�� !�X ��g����bZ-!�)�����8��Q�*�-0b����gM# ��/�yL%��V +�V� L������:"&����"�������R '���� � � 9 8 � H � < � V � �^MS�;5��-&L�b����d"&���:��$1"&����-!�!�l�c ' (���

8,8

Page 23: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

"&����"�������4 !���� ��� 9 8 � H ��< � $U��-��!��@�4-!�)�����T��O�*�- �qL1 ( &x �_|/���/ 6 '���� b����������yx S+�� � '�6�� �"�9OM#�� ("�� �: o � ��&V�vF�1�0"���� ' ��8���2 '���2+���@ ���+l��; ���������-&Lb����@")����X��9���Xv �*}%�����(�yL����� �b�����-������*�����&�� _+�� !�{ !���� �"�9 ��$U��-�b����aLTb���������yx 2+�� � !�@"��������/�6$U��-3b�����-/�!��($'};V

, v 6 �� ��c '��-/ �")�������� '� � pk�� '������ (�/ '��-/bn��$l�(��+� ("�L�7T������ ' (h��&-!��MS�-!��$U��-/X�����(b�/ '���� ���f '�������'�������:��$lb��&��-!�:�.�$U��-/� � �T�����&���f�(��+� �":MS���&V pk������&�yL � �~E���KA�JrAFI�D!?,�`I�J!K�EHG;L2���5��&�(���*�� ��$0"����-/�!����b 6 -/ ��/ !�� '�(�>����� �� (�:�!"����T����L[���&�����M# ( '�4���8|/�&" !�&L8 '��� �-���-/���.�&-/ ! ���&LT�����@78������ ' oh��&-/���/��"��:���6��$U��-{�����(�������g�c$U��-�!��@�&��V 6 kbT�� �"&���_�( ����4��$3-!�)���!���� (��+�vU��-u��.�ICI�J!K�E��;=6}l �� 6 -! (�/ !�� '�(�)���Z����+� �"+�������� (9��N !�� �� � 6 �(�a@�&����-!�l@��-c �����V����T"&-!�� '��� ����u����yV � �&��"��L.���T"&-!�� '�� ���@��-/ '���HV 6 -! ��c '�� !���&���u����+� �"� ����l�!�����!�; _��$*��� !���&��� ' (")���T����+� �"�L����� { (������ ���Q�~����-!�&�/�! o5��d�*�")�����!�Y o Q����"�98�0 '���Y"&����"&�&�� u��$��(��+� �"&����"&�������&"; ' o5��&�u�/��"�����O�����yL���-L���-6 ($P�j !���&�Wv����o '������+�� �c���� '�� ��0�����(� M_�&��};L������������/������"�98�0 '���"&����"�&�� 2��$��u�� �����-/bY-/�&���� ' (���:�!��"������ < ��- ��V }

, �TM3������ ���+d !���u��-/���&-���${ kM_�<78������ ! (h��-!��X�)b���-R��^b����� ����9��4�:�� o�a�-c��&��"�6 !�4 !���l '-/�� '����$%�4�c ��� !�&@�&�� )V_�TMS������ ���+4 kMS���c$U��-��������u78�����8 ! (h��-!�# ������-!@����!� � �4�c ��� !�&@�&�� 2�!��"������

Es��-#�����*-!�)�����T��O�*�-!� � Ls�����d$U��-#���(�a-!�&�����8��O�.�&-/� �^L�M_�0���^5��Yv � 9 �;} � < � � 9 8 � � 9 � �

�������+� �"&�����ob4�&78�� (5����(�&�� � '�4 '���6�c ��� !�&@�&��

Es��-#�����*-!�)�����T��O�*�-!���^Ls�����d$U��-#���(�a-!�&�����8��O�.�&-/� � L�M_�0���^5��Yv � 9 �;} � < � � 9 8 � � 9 � �

vUM#��b��d�����{-/�)���/���������q���� !�� ���+3 !������M# ( !�RM#��� !���&-q '���� (���&�� ! ( kb4v � 9 �;} � <� � 9?8 � � 9 � � ��l��"; '�������(b� '-/���O��-l���� ~}~VO�� (� (�P��-/�(b�L��/MS������ (��+: kMS�e�c !���&-/��;�� ��c '�!�@78������ ' oh��&-/�#�����#���@��*�&" ������&-/�0�~�� (�/ !�[�u-/�)�����8��O�.�&- � Ls�����: !���&-/�0�~�� (�/ !�[�u-/�)�����8��O�.�&-��^L�M_�0���)5�� � � 9 � � < �

�������+� �"&�����ob4�&78�� (5����(�&�� � '�

�����&-/�0�~�� (�/ !�[�u-/�)�����8��O�.�&-��^Ls�����d '���&-!���~�� (�/ !�[�4-!�&���y�8��O�.�&- � L�M_�0���)5�� � � 9 � � < �-B

, � �^MS�;5��-&LR�cM3������ ���+n� ��$U��-Y���(���ZM# ( '� � �� '���-!�w�~�� (�/ !�!�nX��9��&�d������ X��$�� (�*�&-/�&��"��V��S�����/ ����-# !���l$U�����(�^M# ���+Q kM_�@�/ ��r '�&@�&�� !� �

8��

Page 24: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

, � V�E���-[�5��&-/b� (�� '�&+��&- �\Ly '���-!�u�;�� (�/ '�����> ��� '�+��&- � M#�� ("��Z (�R�P��-!+��-N '������%V

, 8 V_�����&-!�6�;�� (�/ '�[���� ��� '�+��&- � �/��"��< !���� #$U��-#�5��&-cb< (�� '�&+��&-��%L � (�#�P��-/+��&- '����� �\V

, �T ��� !�&@�&�� � (�%����5T ������!�ob0 !-!��� � o$�b�����-%�����.�����&�� �����������b����4���u ��� !�&+��- �%Lb����u"&���u���oM3�)bT�%h����O���O ��� !�&+��- � M#�� �"��Q ��%����-!+��&-q '����� �%V � �� ��T '�� '����8 8 ��X$F�����!� � ($lb���� "��������/� � h�-!�c )L# '����Wb����W"&�������� Y�&���/��-!�w !���� � ���P��-/+��&-� '�������5��&-/b� ��� !�&+��- �%]�b�����-O�����*�����&�� O"&�����)���! ��ob��� �"�9��<�8��Q�*�-� �� �+�+��&-4 '����� �` '�����$U�)�r Y '���r )V �����>"-!��" P���2�� (�*�&-/�&��"�>�*�; kMS��&�W '��� kMS�:�c ��� !�&@�&�� '�l (�N '���r l ����8 ��� !�&@�&�� � La !���O (�8 !�&+��- �gMS���l"������/�&��Q{�'�;A�L������ (�� '�&+��&- � "&�������< !���&���*�6"������/�&�> ��<����������&-2���&�.�&���� ���+���� �\]*���� ����T '�� '����� 8 Ly�����QM3���R$U��-!"�&�> '�Y"��������/� � h�-!�c )LyM# ( !������ N98���^M# ���+d ������5�����"��M#���� �Z (��+��� (��+O '�4�.��V

, pk���/����-/ &L\ !���4-!�)���!���ZM#�8b� !���4��-!���-0��$378������ ' oh��&-/�0 (�� �@�*��-c ����� l (�l '���� '���� (�����&-�5���-/ P�������&�\X�)bQ�*���/�! (���(b0���&�.�&�������u !�������� !�&-�5���-! ������(�&�&L����� {���� 5� ("&�l5��-!�!��V

������l�~��������(�&�#��$\��-!�T��$U�#�����<78������ ! (h��-!�

, � �&-/�3MS��+� (5��S�!��@�3�! (��������;����@���������$.��-!�T��$U�\ ���5����o5T ���+N !���@�c$U��-%�����(�R������c '���-!�O�~�� ��/ !�!�d78������ ' oh��&-/�&V6�����u-!��!���o '�N !���&@�!��(5��&����-/�O�! (����(��L*���� Rb�����!�������������)b��� / '�&�� ! ����� ����/ '�&���� '�d���^M !���47T������ ' (h��&-!�0��-/�4��-!-!����+���g��������^M` '���6��-!�T��$U�#��-!���c '-!��" '��-!�&�aV

,�� "� � � � �T���^M !���� @$U��-@�5��-/b�� � � '���-!���~�� ��/ !�:��� � � �!��"��f '���� 8 � ���TV

, � � ����� � � � �� � � �*����-/�� ( !-'��-cb�V m �����)5��@ !�<�/���^M '���r 6 !���&-/�4�;�� ��c '�0���� � �/��"��� '���r 8 � ���TV m �X�����ob����&��� '�w�� �"�9��������!��"����8]�"��������! ���+� � < � ��� M# (���.MS��-/9sL.�/ ���"�������R '���&������� 8 � <J8 � ��� ����V �

,DC �� ! �"&�����^M�������O '�w�.�:��-/�� ( !-'��-cb�L��.�&"&�����!�YM_�d��-/�Y��-!�^5T ���+>�!��@� !�� ���+$U��-�D ��D;� .�T]1���� !���4�� '���&-l�������yL��X")�����.�4"������!��g����b�����M# ��!�aL��*�")�����/�b����Y�����(b@����&�X !�O�!���^M '���� _ !���&-/��D � E��;AC����lM#�� �"��Y������_M#���� _b����YMS���� )VC �� !�Y���(�!�� !���� ���")���g���&�.�&���n��� ��L%�*�")�����/�Y '�����^�j7T������ ' (h��&-Q (�Q����/ !�&� ����/ ����S !�����^�k78������ ' oh��&-V�vUpj$* !����78������ ' oh��&-/�{M_�&-/�#-!�5��&-/�!�&�aL� HVz��V\ ($sb����4M_�&-/�

8�>

Page 25: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

���!9��&�4 '����-!�^5��X�c�����&-/�2�~�� ��/ !��� � � � �!��"��@ '���r �$U��-��5��&-cb�� � � L 8 �����r��L '�����b�����M_�����(�<���^5��6 !�4�!�&�(�&"; � Q{�'�;Ay�.�$U��-!���*� ���+4+� o5��� �TV�pk�d '�� (��")���/� ( � (�� �@�*���/�! (�����N !�4��-!�^5��� '���6�c ��� !�&@�&�� )L��.�&"&�����/�0 o � ���$F���(�!�@vUM#��b�� };V }

,DC ��-/X���(�(b�L\M#����i�����:�����Q !�>��-!�^5��<� �c�����&-/�:�;�� ��c '�&VoVoV � �c ��� !�&@�&�� )L{��V +�V�!��-!�^5��u '���� l '���-!�u�~�� (�/ !�0��� � � � �!��"��� '���� � ��R !-!�����L������u��-/��"�&�����8bg�!����&"; ' (��+ ��"&��-!�;$U�����ob�L������� '����i�/���^M# ���+w !���� � (�0 '-/���Y$U��-Q !���� �TV� �^MS�;5��-&L� '�� ��S�/��@� ' (���_-/�&78�� (-!�&�3�Q���� _��$�$U��-/�&�/ �+��� )L������X ( _ ��S�(�&+� o ' (X�� !� '�O���;$U�&-� '���R�/�&�(�&" ! ����X��$ �6���� ' (�*���� '�-_ (�X '���N��-!+������� )L�M#���&�: ( _�.�&"&�����"&���&��-!�-uM#���� ���-!���.�&-c ' (�&���>����&���@ '�Z�'�� ! ��/$Cb�V������<�����ob� '�� (��+> '�ZM3�� !"������ 6$U��-0 (�6 !�����9����!��-/�� !���� �d������Q���� 0����*������������8b���$3 !���X�.�������5���-! P��������3���&�c '��� ����! �������VRE���-� ����c �����"&� �

,�� "� � � �S�����^M` !���� � '���&-!���~�� (�/ !�[��� � � � �!��"��� '���r #�! ���v �*} � � � 8 $U��-#������ � � ���TV

, � � ����� � m �l�� ("�9 � � � !�4�*�l"������!�&���P�r '�&-L��������(� � � � ���TV��� ���"&�R '������&-/ (5��� ' o5��0��$��! (�qv �*}2 ��2"&��� v �*};L.MS�u�/�&�Q$U-/�� '���O@�)�����j5����(���6 !���&��-!�& M_����)5��

�! (��v �*}� < �! ���v �*} H �! (��v � }

� H �< "&��� v � }

$U��-O�!���� � � � � �qVZ���8���4 �����-/���&-Q !���&���/��-!�Y !���� 4�! (��v �*} � � � 8 L{ ( MS�������w�/��t@"&�Q !�X�&���!��-/�O '���� ["&��� v � } � � � 8 V#�1�Y���X !�� ��L* o 2M_�����(�w�!��t�"� '�Y����!��-/�u '���� � � � � � ��� vU�! ���"&�Q !���u"&���/ ����0$U����" ! ����< ���9��&�R '���Q5����������$ � �� � L� ���9��&�� '����5����(���l��$ � � 8 �� � ��� L������� (�����&"-!�&���! (��+� (�d�*�; kMS��&�s}~V�� ���"� ��� � � �<����� � � � ���TLTM_�l�!��N '���� ��� � ���TV����8���� o$yMS�N�� �"�9� � < � ��� Ls '����wMS�O���^5�� � � � � � ��� ���[���&�/ �-!��yLy�����w�!��MS�O"&���w����!��-/� '���� #�/ ��qv �*} � � � 8 $U��-#���(� � � � ����V �

,DC �� !�� !���� q '���{5��������_��$ �3 '���� \M_�S�� �"�9���u�� q '���_����O�� (�0���� %����*����O���� '������&�c '�&�>5���-/ P�����(�&� �g����� � Vl���� ��R���9���N '���4���*�^5��u��-!+������� l���+� ( ! ���� '��Vpk�����&��yL�M_�3")���O-!�&��-!-!����+��� ( 1�!�[ '���� 1M_�3�����yx \���)5��S !�N�.���/ !�*�����3����b8 '�� (��+ �

,�� "� � � �S�����^M` !���� � '���&-!���~�� (�/ !�[��� � � � �!��"��� '���r #�! ���v �*} � � � 8 $U��-#������ � � ���TV

, � � ����� � m �6"��������/� � � < � ��� ]�"&�(�)��-/�(b � � � V C �^M`M_�0���)5��0 '�@�!��� M` '���� $U��-O���(� � � � � � ��� L1MS�:���)5��:�! ��yv �*} � � � 8 V>���w���; � � � � � ��� �*�

8,@

Page 26: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

��-!�� o '-!��-/b�V � bY !������&�����j5����(���N !���&��-/�& M_�����)5���! (��v �*}� < �! ���v �*} H �! (��v � }

� H �< "&��� v � }

$U��-N�/���� � � � � �qV6�� (��"&� � � � � ������� � �� � � ��� L.MS�O���^5�� � �

� � � ��� V����8���2"&��� v � } �f"&��� v � ��� } < � � 8 L��! (��"&�6"&���# (�����&"-!�)���! ���+X���: '��� ��� '�-/5���� � �

�� ����� V����8����MS�l���)5��6�/ ��qv �*} � � � � � 8 �����d���&��"&���! (��v �*} � � �,8

���#���&�/ �-!��yV �

, pj$�MS�R�����:"������/�&� �� '�O����*����:��� �<����� � !���&�Y !���l��-/+���@�&�� SM_�����(�Y���� �*�l5����� (�yLT�*�")�����/� �O ��3 '���6���� '�-35���-! P�������l����� �

� ��-!�l���&�/ !�&�< ����/ ����l o )V

232324232��78�����( ( kb

,76 �Q@�&�� ! �������g�.�$U��-/��L\�����X"&����"-!�)�r '�X�c ��� !�&@�&�� '�0��bg�c ���-c ' ���+�M# o '�g�~�8���-!��!�! (�����YvF�!��"��e��� 8�� �=9A@ }������� '��������!98 (��+�M#���; '���-u���g�~����-!��!�! (������*�;bT�Y��"�&-c ��� (�f��-!���*�-/ kb�L���-@M#���; '���-X kM_���;����-/�&�!�/ ������:��-!�<-!��P�� !�&����b�!��@���!��-c ���$a-/�&���� ' (���dv < L � L���L8�; '"�V };V������&-!�[��-/��X����bQ-!�&���� ' (�����L����� � '�������c � �@�*��-/ ����8 N�����4 ��@D��&��?�I ECA�.�L1������ o l ��RM_��-/ !���/�*����� (��+��d�( ( / '���6 ' (��-!�5T (�M# ���+4 !�� ���"����"�&�� &V

, �{78������ ( kbY ��2�u-!�&���� ' (���d�� (��98 ���+O kM_�X���8|/�&" !� ��

� ��$% !�����'��@�l kb��.� vF��Vz+�V kMS�� ��� !�&+��-!�&L{��-O kM_��X�r '-! ("&��&L���-Q kM_��5��&"; '��-/�&L�� !"�V };V �l (5��&�� kM_�Z�/��"�����T|/�&"; '� �Q����� � L^ !�����/ '�� '����8 � < � ��)bR��-���)bN���� q�*�� !-!����]� o ����&�.�&��������@ !����5�����������$ �Y����� � �����������/��������� M��&78�����( ( kbu (�����h����&�@$U��-� '���2"&�����!���$����T|/�" !�N�������&-N"�����/ ����-'�� ! ����yV:E���-# (���/ '����"&��L.$U��-2 !���Q-/�)���q�8��O�.�&-/�[ '��� kMS�w�8��Q�*�-!� �+B � �� � B B B ����� � ��-/�X�7T�����HVdpk�g@�T�����P��-0��-! ( !��@� ' ("OM# ( !���T�����(��� � � vF (�QM#�� �"��u�8��Q�*�-!�{��-/�S"&�����! (���&-/�&�4�&78�����T '�N !���& (-%-/�&��� ������&-!���T�����(� � � };Ls '���0�T��O�*�-!� �%8 ����� 8 ��-!�0"&�����! ����&-!��>�&78������L �%8 < 8 L.�5��&� '������+��: '�� (�2 (������ � !����")���/�0 (�:��-!�� (����-cb:��-/ ( '����; ' �"�V

, � �^M �78������ o kbw (�l���h����&�Z���&�.�&�����0���> !���u"&�����!�� ��$S���T|/�&"; '���������-�"&������! ����&-'�r ' ����yL������: !���/������~�� !�&�� [ ��\|/���c N�4��� ! !�&-���$\���h��� ( ! ����yV � �^MS�;5��&-L$U��-R '���@����-/�*���!�&�6��$S����+� ("QM_��-/�&78�� �-/�u '���� 6�7T������ o kb>���.�bT�6 !���u$U�����(�^M# ���+$U����-6? � EHJr=Q�OJ MQD��&��?�I ECA�. �

,76 �� ��� p�V �� o5���<���8bd���T|/�&"; �qL�M_�6���)5�� � < �qV[v �{78������ ( kbX ���-/� ���~�� o5��)};V

8 !

Page 27: 98 (3 ' @ & ! g . () -/ ( 9 < 8bn ' -&L3 @ ! @ !98 (tao/resource/general/131ah.1.03w/logic.pdf · ... @l $% u$F /l / r '& @& 2 8:9;8=

,76 �� ��� p!p�V �� o5��&�Z����bw kM_�d���T|/�" '� �g����� � ��${ !���4�'��@�Q kbT�*��Lq ($ � < � L '���� �3< �qV[v ��78������ o kbY (�2�cbT�@� !-! �")};V

,76 �� ��� p/p!p�V �l (5��&�>���8b� '��-!�&�u���T|/�&"; '� �qL � L � ��$� '���O�!��@�0 kbT�*��L� ($ � < ������ �3<� L� !���&� � < � V[v ��78������ o kbY (�# !-'�����! ( ! (5��^};V

,76 �� ��� p � vF�!�����/ ! ( '�� ' ����<� �� (��X};V �l (5��&������bY kM_�����8|/�&" !� �w����� � ��$1 '����'��@�2 kbT�.��L� o$ � < � L� !���&����v �*} < ��v � }%$U��-_������$U����" ' (�����_��-_���*�-'�� ! ��������\V�� �@ �����-!�ob�L�$U��-N����bw��-/���*�-/ kb �Xv �*}2����*����� ���+���� �qLy ($ � < � L. '���� ��v �*}����� �Xv � }_��-!���&78�� o5�������8 #�c ��� !�&@�&�� '�V

,76 �� ���@�SpH�jp!p/p_��-!�R"���)��-&L� !��+��; '���-&L� !���bY���!�/�&-/ # !���� ��7T������ o kb� (�����gD��&�TE��r?,KI�D��aG�D��'D;Io?�A�EHJ���V��1�� (���(���/ !-'�� !� 6 �� (�� p � M_�0+� o5��l�/������~��������(�&�V

, ������@���(� � V � �; �w����� � �*��-/�)�����8��O�.�&-/�&V_pj$ � <� L� !���&� 8 � < 8�� L�������! ���v �*} < �/ ��qv � }~V'E���-/ !���&-/���-/��L � 9 � < � 9 � $U��-#���8bY-!�)���y�8��O�.�&- � V

, ������@���(� 8 V � � �g����� � �.�O (�8 !�&+��-!�VNpj$ �g (�[�T���>����� � < � L. '���� �O���/ ������!�l�.�#�����yV%pj$.MS�#���)5��N�R '�� �-!�u (�� '�&+��&-��*LT�����uM_�#9T��� Me '���r ���������� � < � L� '�����M_�0�����/�u9T��� M` '���� � ���*V

, ������@���(� � V � �; ��

��

� �.�@-!�)���_�8��O�.�&-/�&Vdpj$3M_�Y98���^M '���r � < �/ ��qv � }����� �3<� �^L� !���&�<�8b 6 �� ��� p � M_�6���)5��Q�/ ��yv � } < �! ��yv � �}~Ls���������&��"�0��b6 �� ��� p!p/p_M_�6���^5�� � < �! (�qv � � };V

,� �� �� � �������.���!�lb����d���)5��l$U����-3-/�)���*�8��O�.�&-!� ��

���� �� �����Yb�����98���^M '����

� < �{����� � < V �2�!�S !���3���*�^5���$U����-\�r�� ���@�� '�R���&����"�S '���� � 9 � < � 9 Vv 6 "; '�������(b@b����������obY����&� 6 �� ������p/p!p3�����dp � (�: '�� (��")���/�^};V

, ���T���&LR$U-!�� '�����.�� ��� d��$65T ��;M ��$0����+� �"�L#M_��"&��� ���h����Z�&78������ ( kb���� ����^MS�;5��&-�MS�[�����&���!��L8�!�6������+6���� ( {���*�;b�� 6 �� (����{pH�jp!p!p�L������X o { ��{"&�����! (�/ '��� M# ( '�<���(���� '���-[���*�-'�� ! ������#���� '���6"&�����!�2��$%���T|/�&"; '�[�������-N�� (�!"&���!�! (���yV:E���- ����c �����"��Ly o$�MS�u���&"& (���&�������O���)b� !�:��T�� ($Cb: !���u ��� !�&+��-!�R�/�Y '���� � 8 M3������^M �&78�����q '� 8 Ls�����6"&�������������obd�����/�X o$������0���(�!�@X�����6�/��-!�6 '���r 8 M3������^M �7T������ '� � 8 L������> '���� ��v 8 } < �%v � 8 }#$U��-l����bw���*�-'�� ! ������g���w !���&�/���T�� (h��&�� (�� '�&+��&-!�VIEs��-X ����/ �����"&��L2M_�>���^M ���&�� 8 9I@ '�g�*�w�78�����N !�� 8R9 @ V2vUpk�Y '�� (�S")���!��L�����-/�!�� (��+O '�� (�S�( ����2��$q-!�&���!���� ���+0M# ����s�;5��&�� !�����y�(�)����� '�4��T��������-���-/ ( !����; ' ("[M# ( !�d��T�����(��� � � }~V

8 �