证明 （P∨Q）∧(P→R) ∧(Q→S) 1-S∨R证明A→(B→C),┐D∨A,B 1-D→C其中1-是个特殊符号 ,1和-连接住的那个符号,打不出来,就是H去掉右边那一竖那个符号

x��Q�N�@��YBR$���K��~�!�EZ"-�(�)�⡨�����;V�����.��n&w�9��{f�d��R����T��ml5U���R�K�2�e�K��q�ž'�ǦW0N�DBB9�Got� �X�GG��2fݼ��mH���}|q�T��4��Y�X$�R����YC��� [�N���6��M�̇3������m���Yl�_�'���w��'t�D!��/Se
C��(�>:n8�=�!��Ŗ!5���ɝ���;��A+�D�c�1�J�؂��d6$���e��7Y�g����S|���zI�j�k��`�ЉJ
:�/r=C���^���;Tt&��'\;~,e �