充分必要條件假言判斷

充分必要條件假言判斷　簡稱“充要條件假言判斷”。是對充要條件關係假言判斷的刻劃。如“三角形的三內角相等，若且唯若它的三邊相等”。一般形式為“p若且唯若q”，p、q分別稱為前、後件。一個充要條件假言判斷是真的，若且唯若前後件具有相同的真假值。