Question

求问金岳霖《形式逻辑》中的一道题目答案

已知:如果演绎推理的前提是真的,推理形式是正确的;那么,结论是真的
求证：如果演绎推理的前提是真的；那么，推理形式是不正确的，或者，结论是真的。
并分析你的证明的论题、论据和论证方式。

Answer 1

金先生的这本教材大家不难找到。你的题是否为原题？原题在哪里不妨告诉大家。好像意思不全。本来，前提正确p，形式有效q，则结论正确r，即p且q则r。你要求证，p且非q，或p且r是否有效吗？你的句子似乎没有写完全。
（（p且q）则r）且（（p且非q）或（p且r））？
（（p∧q）→r）∧（（p∧~q）∨（p∧r））好像这只是论据或前提部分，你要论证的论题是什么，或者你想推论的结果是什么呢？如果仅仅就这个部分而言，他们是得不出有效结论，论证不来论题的。我们可以来看看它的范式：
（~（p∧q）∨r）∧（（p∧~q）∨（p∧r））消去“→”
（（~p∨~q∨r）∧（（p∧~q）∨（p∧r））内移“~”
（~p∨~q∨r）∧（p∨p）∧（p∨r）∧（~q∨p）∧（~p∨r）展开
（~p∨~q∨r）∧p∧（p∨r）∧（~q∨p）∧（~p∨r）化简
每个合取支都是该命题形式能得到的结论，譬如p：前提正确；~q∨p：如果形式有效则前提正确。