【原文】 (p∧q→r)→(p∧¬r→¬q) (p∧q→r)→(q∧¬r→¬p) [@ChenBo2023LuoJiXue, p. 128]
【原文】从两个前提能够推出一个结论，如果结论不成立并且其中的一个前提成立，则另一个前提不成立。 [@ChenBo2023LuoJiXue, p. 128]
Search
【原文】 (p∧q→r)→(p∧¬r→¬q) (p∧q→r)→(q∧¬r→¬p) [@ChenBo2023LuoJiXue, p. 128]
【原文】从两个前提能够推出一个结论，如果结论不成立并且其中的一个前提成立，则另一个前提不成立。 [@ChenBo2023LuoJiXue, p. 128]