自然推理系统问题
问题描述：
自然推理系统问题
在自然推理系统Nb中,构造下面推理的证明
没有白色的乌鸦.北京鸭是白色的.因此,北京鸭不是乌鸦
答
P：乌鸦
Q：北京鸭
R：白色
没有白色的乌鸦：P→（非R）
北京鸭是白色的：Q→R
{P→（非R）∧ Q→R } 推出 Q→非P能写完整些吗？不懂哪地方不懂？= =全部。。。。。，自然推理系统不是先要写前提和结论再用一坨证明法去证明的吗？写的不详细啊前提就是P→（非R）Q→R结论是Q→非P 证明过程：P→（非R）等价于 R→（非P）（假言易位）{Q→R∧R→（非P）} 推出Q→非P （假言三段论）这样够详细了吧，以为你学这个的，肯定知道这些基础的，我当然就不写了呗。其实应该是这样写的想了我半天： fx:x是乌鸦 gx:x是北京鸭 hx:x是白色的前提：非存在x(fx合取gx)，任意x(gx蕴含hx)结论：任意x(hx蕴含非fx)①非存在x(fx合取gx) 前提引入②任意x(非fx析取非hx) ①置换③任意x(fx蕴含非hx) ②置换④fx蕴含非hx③任意-⑤任意x(gx蕴含hx) 前提引入⑥gx蕴含hx ⑤任意-⑦hx蕴含非fx ④置换⑧gx蕴含非fx ⑥⑦假言三段论⑨任意x(gx蕴含非fx) ⑧任意-