| 充分条件假言命题 sufficient condition hypothetical proposition 断定一个事物情况是另一个事物情况的充分条件的假言命题。它的形式是：“如果p，那么q。”它断定p是q的充分条件，即有p就一定有q。例如：“如果物体受到摩擦，那么物体就会生热。”断定有物体摩擦这一事物情况就一定会有物体生热这一事物情况。在现代汉语中，表示充分条件假言判断逻辑连结词的语词是多种多样的，主要有：“如果……那么……”，“假使……那么……”，“倘若……则”，“只要……就”，“要是……就”，“当……便……”等等。充分条件假言命题的真假，取决于其前件与后件之间是否确实具有充分条件的联系。如果有，它就是真的;如果没有，它就是假的。从前件与后件的真假情形来看，充分条件假言命题的真假可以归结为如下真值表： 这一真值表表明：只有当前件真而后件假时，充分条件假言命题是假的，在其余三种情况下，充分条件假言命题都是真的。如：“假如语言能够生产物质资料，那么夸夸其谈的人就会成为世界上最富的人了。”在这一命题中，前件是假的，后件也是假的，但前后件之间确实具有充分条件的联系，故这一充分条件假言命题是真的。充分条件假言命题，既没有断定前件，也没有断定后件，只是断定前件是后件的充分条件，这是充分条件假言命题断定事物情况的基本特点。在“如果p，那么q”中，p是q的充分条件，有p就必有q。反过来说，如果没有q也就没有p，q就是p的必要条件。因此，“如果p那么q”等值于“如果非q那么非p”，或“只有q才p”。但是并不蕴涵“如果非p则非q”。因此，充分条件假言命题与必要条件假言命题互换的规律是：将原命题的前件后件易位，则充分条件假言命题就可变成与之等值的必要条件假言命题，即“如果p那么q”可以通过前后件易位而换成与之等值的“只有q才p”。反之亦然。传统逻辑的充分条件假言命题与数理逻辑的真值蕴涵之间既有一致性又有区别。就前后件之间的真值关系而言，它们是相同的，这是两者一致的地方。但假言命题的前后件之间除了具有一定的真值关系而外，还具有某种意义上的联系，而真值蕴涵则完全撇开了一切意义上的联系，而仅仅涉及前后件之间的真假关系，这是两者的区别之处。因此，从真值蕴涵的观点来看是假的命题，从充分条件假言命题的角度来看也一定是假的;但从真值蕴涵的观点来看是真的命题，从充分条件假言命题的角度来看，却不一定是有意义的。比如，“如果2+2等于4，那么，纽约是一个大城市”这一命题，从真值蕴涵的观点来看，是一个真的命题(前件真，后件真)，但从充分条件假言命题的角度来看，由于其前件与后件之间没有任何意义上的联系，因而是一个没有意义的命题。 |