1.充分条件假设判断的表达式通常是if p，then q，其逻辑形式是p→q..逻辑意义:P发生，Q必然发生；但是当P不发生时，Q是不确定的。“→”的真值表(1表示判断为真，0表示判断为假)。即当“p→q”为真，p也为真时，可以得出“q为真”的结论。
2.这个推理规则被称为“先有意愿再同意”的推理规则，其逻辑形式为:P → Q .
