P：烏鴉
Q：北京鴨
R：白色
沒有白色的烏鴉：P→（非R）
北京鴨是白色的：Q→R
{P→（非R）∧ Q→R } 推出 Q→非P能寫完整些嗎？不懂哪地方不懂？= =全部。。。。。，自然推理系統(tǒng)不是先要寫前提和結(jié)論再用一坨證明法去證明的嗎？寫的不詳細(xì)啊前提就是P→（非R）Q→R結(jié)論是Q→非P 證明過程：P→（非R）等價(jià)于 R→（非P）（假言易位）{Q→R∧R→（非P）} 推出Q→非P （假言三段論）這樣夠詳細(xì)了吧，以為你學(xué)這個(gè)的，肯定知道這些基礎(chǔ)的，我當(dāng)然就不寫了唄。其實(shí)應(yīng)該是這樣寫的想了我半天： fx:x是烏鴉 gx:x是北京鴨 hx:x是白色的前提：非存在x(fx合取gx)，任意x(gx蘊(yùn)含hx)結(jié)論：任意x(hx蘊(yùn)含非fx)①非存在x(fx合取gx) 前提引入②任意x(非fx析取非hx) ①置換③任意x(fx蘊(yùn)含非hx) ②置換④fx蘊(yùn)含非hx③任意-⑤任意x(gx蘊(yùn)含hx) 前提引入⑥gx蘊(yùn)含hx ⑤任意-⑦h(yuǎn)x蘊(yùn)含非fx ④置換⑧gx蘊(yùn)含非fx ⑥⑦假言三段論⑨任意x(gx蘊(yùn)含非fx) ⑧任意-