(1) 如果一个整数不是奇数,那么它是偶数。
(2) 一个人只有是诚实守信的,才能是值得信赖的。
(3) 一个四边形是长方形当且仅当四个角是直角。
常见的联结词有:“如果……就……”“没有……就没有……”和“……当且仅当……”等。通常,位置在前面的命题p叫作前件,位置在后面的命题q称为后件。
(1) 表示的是“如果p,那么q”的形式,其中,p是q的充分条件。也就是说,只可以由p推导得到q,不能由q推导得到p。这种形式的就叫作充分条件假言命题,记为p→q。常见的联结词还有“只要……就……”“一旦……就……”和“若……要……”等。此外,还可以采用如图1-1所示的形式来表示p和q之间的关系,在充分条件假言命题p→q中,满足条件p,q就一定是成立的,例如,“如果一个数大于4,那么这个数必定大于2”,因此,q表示的范围一定比p大,并且包含了p。
对于充分条件假言命题p→q的真假,只能由p推导出q,也就是说p为真时q一定为真;如果q为假的话,那么这个假言命题就是假的。总之,判断一个充分条件假言命题p→q的真假见表1-1。
(2) 表示的是“只有p,才能q”的形式,其中,p是q的必要条件。也就是说,只可以由q推导得到p,不能由p推导得到q。这种形式的就叫做必要条件假言命题,记为p←q。常见的联结词还有“没有……没有……”“除非……不……”和“不……不……”等。此外,还可以采用如图5-6所示的形式来表示p和q之间的关系,在必要条件假言命题p←q中,只有满足条件p,q才可能是成立的,当然也可能不成立,例如,“只有一个数是整数,才能是奇数”。也就意味着不满足条件p,q就一定不成立,因此,p表示的范围一定比q大,并且包含了q。
对于必要条件假言命题p←q的真假,只能由q推导出p,也就是说,q为真时,p一定为真;如果此时p为假,那么这个假言命题就是假的。总之,判断一个必要条件假言命题p←q的真假见表1-2。
(3) 表示的是“p当且仅当q”的形式,其中,p是q的充分必要命题。也就是说,既可以由p推导得到q,也能由q推导得到p。这种形式的就叫做充分必要条件假言命题,记为p↔q。常见的联结词还有“只要……就……并且只有……才……”等。此外,还可以采用如图1-3所示的形式来表示p和q之间的关系,在充分必要条件假言命题p↔q中,只要满足条件p,q就一定是成立的,反过来,满足条件q,p也一定成立,例如,“一个数是正数当且仅当它大于0”,因此,p和q的范围应该是一致的,也就是p和q之间是等价的。
对于必要条件假言命题p↔q的真假判断,p和q可以互为条件,不能矛盾,也就是p、q要么同为真,要么同为假。总之,判断一个必要条件假言命题p↔q的真假见表1-3。
总之,辨别充分条件和必要条件的关键是认清楚哪个是前提,哪个是结论。例如,如果由p能推出q,则p是q的充分条件,q是p的必要条件。