充分必要条件假言判断的逻辑形式：只要而且只有P,才有Q.　　其中P表示前件,Q表示后件,“只要而且只有…才…”是联结项.联结项还可以用符号“←→”读等值表示.上述逻辑形式也可表示为：P←→Q.　如果一个充要条件假...