1、充分条件假言判断的表述通常为如果p,那么q,其逻辑形式为p→q。逻辑含义:p发生,q一定发生;但p不发生时,q不确定。“→”的真值表(1表示判断为真,0表示判断为假)。即,当“p→q”为真,同时p也为真时,由此可以得到“q为真”的结论。
2、这一条推理规则被称为“肯前必肯后”的推理规则,其逻辑形式为: p→q.