好像逻辑不太严谨,要推p~q, 反证法是not q~ not p, 你这是p&q ~ r, r~q, 不能得到p~q
好像逻辑不太严谨,要推p~q, 反证法是not q~ not p, 你这是p&q ~ r, r~q, 不能得到p~q
WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.
Copyright ©1998-2025 wenxuecity.com All rights reserved. Privacy Statement & Terms of Use & User Privacy Protection Policy