金先生的这本教材大家不难找到.你的题是否为原题?原题在哪里不妨告诉大家.好像意思不全.本来,前提正确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：如果形式有效则前提正确.