在一定条件下，肯定就是否定，否定就是肯定。

必要条件假言推理肯定前件就要肯定后件。

全称肯定判断，简称（），其逻辑形式为：所有S是P。

特称肯定判断，简称（），其逻辑形式为：有的S是P。

“既不肯定SEP式的判断，又不肯定SIP式的判断。”这一议论（）的逻辑要求。

下列假言推理为有效式的有（）。

在以下假言推理中，有效式是（）

如果一个充分条件假言判断其后件真,无论前件真假,该充分条件假言判断都真。( ) 

如何理解充分条件假言判断与必要条件假言判断之间的关系？举例说明。

性质判断包括如下种类：全称肯定判断、全称否定判断、特称肯定判断、特称否定判断、单称肯定判断和单称否定判断。

逻辑运算符（AND、NOT、OR）的运算顺序是AND→OR→NOT。

逻辑运算符（AND、NOT、OR）的运算顺序是AND→OR→NOT。