作业帮 > 数学 > 作业

试构造一个有效的三段论形式,其大前提为特称否定命题.并说明构造的步骤和理由

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/07/13 20:31:39
试构造一个有效的三段论形式,其大前提为特称否定命题.并说明构造的步骤和理由
大前提为特称否定命题,根据三段论“两个否定前提不能得出结论”的规则,小前提一定是肯定命题;根据“两个特称前提不能得出结论”的规则,小前提应该是全称命题.根据“前提中一个是否定的,结论必然是否定的”规则,结论应该是否定命题;根据“前提中一个是特称的,结论必然是特称的”规则,结论应该是特称命题.
可见,这个三段论小前提为全称肯定命题,结论为特称否定命题.
其具体形式为:
大前提MOP
小前提MAS
结 论SOP
这是三段论第三格的OAO式.以特称否定命题做大前提,只有这样一种形式为有效式.