已知一个形式有效的三段论小前题是特称否定命题求该三段论推理形式并写出推导过程
问题描述：
已知一个形式有效的三段论小前题是特称否定命题求该三段论推理形式并写出推导过程
答
AOO
由于小前题是特称否定命题O,而两个特称前提不能得出结论,所以大前提是全称命题
又由于两个否定命题不能得出结论,所以大前提是肯定命题,所以大前提是A命题
由于两个前提中有一个是特称的,则结论也特称的
并且两个天体中有一个是否定的,则结论也否定的
所以结论也是特称否定命题O
所以推理形式是AOO