更新时间:2021-11-14 08:31
充分必要条件假言判断简称“充要条件假言判断”,是对充要条件关系假言判断的刻划。如“三角形的三内角相等,当且仅当它的三边相等”。
一般形式为“p当且仅当q”,p、q分别称为前、后件。一个充要条件假言判断是真的,当且仅当前后件具有相同的真假值。