对思维对象有所断定的思维形式叫( )。

一个相容的选言判断的真假是由其( )的真假来确定的。

在同一思维过程中，两个互相矛盾的思想不能同假，必有一真，这是( )律的内容。

必要条件假言推理的有效式之一是肯定 ( )式。

二难推理破坏式的主要逻辑机理，是运用充分条件假言推理的( )式。

反证法通过驳倒反论题而确定论题为真，其所运用的是逻辑基本规律中的 ( )律。

用真值表验证┐p^q→┐q是否是有效式。

如果一个正确三段论的结沦为SAP，它的大前提、小前提各是什么?以“M”作中项写出它的逻辑形式。

(1)请将“体检不合格者是不能报考飞行员的”换质位，写出换质位的公式和换质位后的结论。(2)找出能反驳“作家都是大学中文系培养”的特称判断，并指出为什么能反驳。

写出下列三段论的推理形式，指出其格与式，并根据三段论规则说明其是否有效。高三甲班没有一个同学不是南京人;高三甲班没有一个不参加校运动会;所以，凡参加校运动会的同学都是南京人。