求真百科欢迎当事人提供第一手真实资料,洗刷冤屈,终结网路霸凌。

推理形式查看源代码讨论查看历史

事实揭露 揭密真相
跳转至: 导航搜索
推理形式

来自 360娱乐网 的图片

推理形式推理前提结论之间的联系方式。[1]

基本信息

是用词项变项或命题变项去代替具体推理中有着各种具体内容的词项或命题的结果。例如:"如果某数能被9除尽,它就能被3除尽;某数能被9除尽;所以,它能被3除尽。

"这是一个充分条件的假言推理,其前提和结论都分别是有着不同具体内容的命题,如果我们用命题 变项"p"和"q"去分别代替其中具有具体内容的两个命题--"某数能被9除尽"和"它能被3除尽",那么,我们就可得到充分条件假言推理的~种推理形式:"如果p,那么q;p,所以q。"

定义介绍

是用词项变项或命题变项去代替具体推理中的具体概念或具体命题的结果.例如:若四边形是平行四边形,则其对边相等.四边形有一对对边不相等.所以该四边形不是平行四边形.上述推理既有内容又有形式.如果把该推理的内容抽去,以命题变项p}q分别代替具体命题,就可得如下的推理形式:若p,则q.非q,所以非p.

参考来源