| 必要条件假言命题 necessary condition hypothetical proposition 断定一个事物情况是另一个事物情况的必要条件的假言命题。它的命题形式是：“只有p，才q。”它断定p是q的必要条件，无p就必定无q。例如：“只有年满十八岁的公民，才有选举权。”断定“年满十八岁的公民”这一事物情况不存在，则“有选举权”这一事物情况就必定不存在。在现代汉语中，表达必要条件假言命题逻辑联结词的语言形式主要的有：“只有……才……”，“必须……才……”，“除非……不……”，“除非……才……”，“不……不……”，“没有……没有……”等。必要条件假言命题的真假，取决于其前件是否是其后件的必要条件。如果是，它就是真的;如果不是，它就是假的。从前件与后件的真值联系来看，必要条件假言命题的真假可以归结为如下真值表： 这一真值表表明，一个必要条件假言命题，只有当其前件假而后件真时，它才是假的，在其余情况下，它都可以是真的。因此，在数理逻辑中，一个真的必要条件假言命题，即可用公式表示为：“p∨q。”在“只有p才q”中，由于p是q的必要条件，所以无p必无q。反过来说，如果有q，则一定有p，故q就是p的充分条件。这样，“只有p才q”就等值于“如果非p，那么非q”，并等值于“如果q那么p”。这就表明，可以把一个必要条件假言命题“只有p才q”转换成一个与之等值的充分条件假言命题“如果q那么p”。 |