请教一逻辑学的问题。

用命题的自然推理证明该公式为有效式（为系统中之定理）

（q→r）→(p∨q→p∨r)

谢谢了跪谢！！

qie166@163.com

AD:瓦斯气体检测仪、探测器、报警器

怎么没人回答啊？

kingkahn同学考逻辑学 您可以问问他，只不过他好久没来了。

呵呵，我办你想想

q→r 前提

q∨p 前提

q q引入

r

r∨p ∨_＋

q→﹙r∨p﹚

p p引入

p∨r

p→﹙r∨p﹚

﹙q∨p﹚→﹙r∨p﹚

﹙q→r﹚→﹙q∨p→r∨p﹚

嘿嘿

[此贴子已经被作者于2005-11-21 20:47:13编辑过]

呵呵，确实是很久没来了！这个不是太复杂的东西，教科书上都有吧！

强调，本人不考逻辑学啊？！

您不考逻辑学？真不好意思．

前一段时间我一直在找您，想问问逻辑学专业的情况．

后来才觉的不太合适，数学学的不好．

现代逻辑几乎都数学化了，数学真的要一定基础