大前提为特称否定命题,根据三段论“两个否定前提不能得出结论”的规则,小前提一定是肯定命题；根据“两个特称前提不能得出结论”的规则,小前提应该是全称命题.根据“前提中一个是否定的,结论必然是否定的”规则,结论应该是否定命题；根据“前提中一个是特称的,结论必然是特称的”规则,结论应该是特称命题.
可见,这个三段论小前提为全称肯定命题,结论为特称否定命题.
其具体形式为：
大前提MOP
小前提MAS
结 论SOP
这是三段论第三格的OAO式.以特称否定命题做大前提,只有这样一种形式为有效式.
试构造一个有效的三段论形式,其大前提为特称否定命题.并说明构造的步骤和理由