逻辑关系
q是p的的必要条件,或p是q的充分条件。因此,复合命题“只要p就q“,“p仅当q","只有q才p“等,都可以符号化为的形式。
理解误区
其一,在自然语言中,“如果p,则q“中的p与q 往往有某种内在的联系,但在数理逻辑中“"中的p与q不一定有什么内在联系。
其二,在数学中,“如果p,则q“往往表示前件p为真,q为真的推理关系,但在数理逻辑中,当前件p为假时,为真。
这个在现实中也有例子,比如:若是太阳从西边出来,则......。
常用的几种转换方法
如果p,就q
若p,就q
只要p,就q
p仅当q
只有q,才p
除非q才p
除非q否则非p