什么是蕴含式

蕴含式：设p、q为两个命题。复合命题"如果p，则q"称为p与q的蕴含式，记作p→q。并称p为蕴含式的前件，q为后件。并规定p→q为假当且仅当p为真q为假。

逻辑关系：

q是p 的的必要条件，或p是q的充分条件。因此，复合命题“只要p就q“，“p 仅当q","只有q才p“等，都可以 符号化为的形式。

常用的几种转换方法：

如果p，就q。

若p，就q。

只要p，就q。

p仅当q。

只有q，才p。

除非q才p。

除非q否则非p。