设p,q为两个命题.复合命题"如果p,则q"称为p与q的蕴含式,记作p→q.并称p为蕴含式的前件,q为后件.并规定p→q为假当且仅当p为真q为假.真傎表pqp-q100011111001逻辑关系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,就qp仅当q只有q,才p除非q才p除非q否则非p以上文字均可以转换为:可以转换的公式: