三、条件关系推理
条件关系主要有三种，即充分条件关系、必要条件关系和充要条件关系。三种条件关系可以分别表达为：
充分条件：有之必然，无之未必不然
必要条件：无之必不然，有之未必然
与上述条件关系相对应，就有相应的条件关系命题，即充分条件命题、必要条件命题和充要条件命题。例如：
（1）如果天下雨，那么地湿。
（2）只有年满18岁，才有选举权。
在条件命题中，表示事物情况存在的条件的部分称为前件，表示依赖条件而存在的部分称为后件。
充分条件命题只要在前件为真，并且后件为假时才是假的，其他情况下都是真的。在日常语言中，“如果…就…”、“有…就有…”、“倘若…就…”、“哪里有…哪里就有…”、“一旦…就”、“假若…则…”、“只要…就…”等联结词都能表达充分条件命题。
必要条件命题只有在前件为假并且后件为真时才是假的，其他情况下都是真的。在日常语言中，“没有…就没有…”、“不…不…”、“除非…不…”、“除非…才…”、“除非…否则不…”、“如果不…那么不…”等联结词都能表达必要条件命题。
充分条件和必要条件之间存在着密切的联系，这就是：
如果p是q的充分条件，那么q就是 p的必要条件；
如果p是q的必要条件，那么q就是 p的充分条件。
充分条件推理有两个有效的推理形式：
（1）肯定前件式：
如果p，那么q
p
—————
q
（2）否定后件式：
如果p，那么q
非q
—————
非p
必要条件推理有两个有效的推理形式：
（1）否定前件式：
只有p，才q
非p
—————
非q
（2）肯定后件式：
只有p，才q
q
—————
p
