充分必要条件假言判断

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