１。肯定否定式
逻辑形式是：
要么ｐ，要么ｑ；
ｐ（或ｑ），
所以，非ｑ（或非ｐ）。
例如：
该罪犯要么是过失犯罪，要么是故意犯罪；
该罪犯是过失犯罪，
所以，该罪犯不是故意犯罪。
２。否定肯定式
其逻辑形式是：要么ｐ，要么ｑ；
非ｐ（或非ｑ），
所以，ｑ（或ｐ）。
例如：
要么甲队得冠军，要么乙队得冠军；
甲队没得冠军，
所以，乙队得冠军。
返回
一、什么是假言判断
假言判断是断定某一思维对象情况的存在是另一思维对象情况存在的条件的复合判断。
假言判断由两个肢判断和假言联结项构成。其中，表示条件的肢判断叫做假言判断的前件；表示凭借条件而成立的判断叫做假言判断的后件；把前件和后件联结起来的逻辑联结词叫做假言联结项。
二、假言判断的种类及其真值
假言判断依据其思维对象情况之间的条件联系的不同，分为充分条件假言判断、必要条件假言判断和充分必要条件假言判断。
（一）充分条件假言判断及其真值
充分条件假言判断是断定一个思维对象情况是另一个思维对象情况的充分条件的假言判断。
什么是充分条件呢？如果有思维对象情况ｐ，就必然有思维对象情况ｑ；而没有思维对象情况ｐ，则是否有思维对象ｑ并不确定，这样，ｐ就是ｑ的充分条件。
例如：如果贪污，那么犯法。
贪污是犯法的充分条件。贪污必犯法，犯法不必然贪污。
反映对象情况之间这种充分条件联系的判断就是充分条件假言判断。
充分条件假言判断前件和后件的关系可简单记为：有前件必有后件；无后件必无前件。反之则不定。
充分条件假言判断的逻辑形式是：
如果ｐ，那么ｑ。
其中，”ｐ“和”ｑ“分别表示充分条件假言判断的前件和后件，是变项；”如果……那么……“表示充分条件假言判断的逻辑联结项，是逻辑常项。
充分条件假言判断的逻辑联结项也可以用数理逻辑的”蕴涵“符号”→“表示。这样，充分条件假言判断也可借用数理逻辑的符号形式表示为：ｐ－→ｑ。