假言命题(假言命题的等价命题)

1-假言命题的介绍

一)充分条件假言命题：断定事物情况之间存在充分条件关系的命题。逻辑形式：如果p，那么q；翻译：p→q。(二)必要条件假言命题：断定事物情况之间存在必要条件关系的命题。逻辑形式：只有p，才q；翻译：q→p。

假言命题定义为：判定命题间条件关系的命题。

假言命题是断定事物情况之间条件关系的命题。假言命题中，表示条件的肢命题称为假言命题的前件，表示依赖该条件而成立的命题称为假言命题的后件。假言命题因其所包含的联结词的不同而具有不同的逻辑性质。

假言命题是一种陈述性命题，它表达的是一个条件性的关系，即如果A成立，那么B也成立，而论证是一种推理性行为，它通过陈述和证明一系列前提，得出一个结论。

2-假言命题推理口诀

充分条件假言推理有两条规则：肯定前件，就要肯定后件；否定前件，不能否定后件。否定后件，就要否定前件；肯定后件，不能肯定前件。例如：一个数是偶数当且仅当它能被2整除；这个数是偶数，所以，这个数能被2整除。

口诀2：必要条件后推前。口诀3：充要条件两头推。口诀4：除非否则去”除“”否“，箭头直接向右划。口诀5：加”非“去“”否“，箭头右划。口诀6：”除“字去掉，箭头反划。

联言命题（合取式）：p∧qq∧p；p∧q→p。选言命题（析取式）：p∨qq∨p；（p∨q）∧p→q。负命题（否定式）：（p）p。

规则1：肯定前件，就要肯定后件；否定前件，不能否定后件。规则2：否定后件，就要否定前件；肯定后件，不能肯定前件。

充分假言命题，即肯定前件就要肯定后件，否定后件就要否定前件。否定前件不能否定后件，肯定后件不能肯定前件。

充分条件假言推理有两条规则：肯定前件，就要肯定后件；否定前件，不能否定后件。否定后件，就要否定前件；肯定后件，不能肯定前件。

3-论述假言命题的分类及其真假性

1、与此相应，假言命题也有三种，即：充分条件假言命题、必要条件假言命题和充分必要条件假言命题。根据三种不同的假言命题的逻辑性质，相应地，也就有三种不同的假言推理。

2、充分条件的假言命题是同真的，也就是说充分条件真，必要条件就真。而必要条件的假言命题同假的，就是说，必要条件假，充分条件就假。对充分条件命题进行判断的口诀如下：前真后必真，后假前必假。

3、充分条件假言命题充分条件的假言命题是指前件是后件的充分条件的假言命题。例如：如果你骄傲自满，那么你就要落后。这就是一个充分条件的假言命题。因为，在这种假言命题中，前件你骄傲自满，就是后件你要落后的充分条件。