充分必要条件假言判断

断定某种对象情况存在是另一对象情况存在的充分必要条件的假言判断，即断定前件对象情况p与后件对象情况q之间具有充分必要条件关系。前、后件p与q的充分且必要条件关系是： 有p必有q，无p必无q。如“人不犯我，我不犯人； 人若犯我，我必犯人”。自然语言中，语词“当且仅当，才”、“如果并且只有，才”、“如果，那么；只有，才”等通常表示充分必要条件关系。形式逻辑规定用“当且仅当，才”代表充分必要条件联结词。充分必要条件假言判断的一般形式结构为：“当且仅当p，才q”。充分必要条件假言判断的真值直接依赖前、后件的真值，其逻辑性质为： 当前、后件同真或同假时，该判断是真的； 当前件真后件假或前件假后件真时，该判断是假的。

充分必要条件假言判断

简称“充要条件假言判断”。是对充要条件关系假言判断的刻划。如“三角形的三内角相等，当且仅当它的三边相等”。一般形式为“p当且仅当q”，p、q分别称为前、后件。一个充要条件假言判断是真的，当且仅当前后件具有相同的真假值。