”当世上没有方舟子，天下就和谐了“是充分条件假言命题

”当世上没有方舟子，天下就和谐了“等价于”如果世上没有方舟子，那么，天下就和谐了“，”如果p，那么q“是充分条件假言命题，是复合命题，前件蕴涵后件，符号表示：p → q ， 真值表：

充分条件假言命题推理的有效式：

1. 肯定前件式： （p → q）∧ p → q

2. 否定后件式： （p → q）∧ ￢q  → ￢p

充分条件假言命题推理例子：

如果世上没有方舟子，那么，天下就和谐了；p → q

现在世上没有方舟子了，                  p

所以，天下就和谐了。                    q

这是肯定前件式推理。这个推理形式有效。内容是否有效？天下和谐了吗？

如果内容无效，那么，前提不真。

无需多言。

借此话题宣扬形式逻辑学而已。