一道 推理理论的题目,前提：(p∧q)－>r,「s∨p,q,s结论：r用推理理论证明.我是这么做的：1.(p∧q)－>r //前提引入2.q－>r //化简3.q //前提引入4.r我想问的是：我这么做对么?一共四个前提,我只用

x��T�R�@~.a&F@{��u�Z����@�_����Ū��Nm�$��� W�B���@u:�l�a�g�~�;����h �I��!Z����st��&�UZ�%�)�bij׼�'��M�B$.�T��Oj7*Ť}j��d�i��� R�d����<����5��� y����:�>ƩV@�����+A9����7�mr�"P���`c/��N��z {�Y����q������i�e˵Z𭵂�U�+���><"�>Wj����F�k�qs�N� �5!�,�ѱN �N��ghX�8��1:W"1
�54�Z��B
QdYh|L�I�Z�Gc N��]D�
l�AI,'�1.�j
E:�`�f�|K��Y�F��Y��QT�_��Zj�<��K'9�������"#R�]t>��b��1��0��B��uAZ��a�����s