简述充分条件假言命题

简述充分条件假言命题
假言命题分类：充分条件假言命题
1。

充分必要条件假言命题（命题形式： P" S"是P的必要条件）如：必须；不得不，有时候，只能……；虽然…但是，总而言之，因为……；尽管……但是，我们可以……；要想成功，需要付出代价等。

2。

充分条件假言命题（命题形式： P是Q的充分条件）如：任何；有些；有所有的；一切；一个人；全体；每一个；全部都…这个;那个;。

3。

全称肯定假言命题（命题形式： Q是P的全称肯定命题）如： P；所有； P一定……肯定命题类型。

4。

特称肯定假言命题（命题形式： P是Q的特称肯定命题）如： P；一定；全部；没有人；每一个；每一个人都知道等。

5。

特称否定假言命题（命题形式：Q是P的特称否定命题）如：不；一定； P；不是P等。

6。

对当关系假言命题（命题形式： P→Q，且P是Q的对当关系）如：没有（ A）也就（ B）；有些A，必有些B；所有的A都有共同点；每个A都是一些B；所有的B都不是A等。

7。

无条件的充分必要条件假言命题（命题形式： P→Q，且P是Q的无条件的充分必要条件）如：凡是Q必是P； P必然是Q；没有一个非P的A等。

8。

对当关系假言命题（命题形式： Q→M，且Q是M的对当关系）如：所有的Q都是A； Q必然是M等。

9。

集合关系假言命题（命题形式： Q是Z的子集，且Z 是Q的子集）如：所有的Z都是Q；所有的Q都是Z等。

10。

推论关系假言命题（命题形式： Q是X的推论，且X是Q的子集）如：所有的Q都是P；所有的X都不是Q等。

11。

条件关系假言命题（命
题形式：若P，则Q）如：凡是Q必是P；凡是P必然是Q；所有的Q 都是P等。

12。

自相矛盾假言命题（命题形式：若P，则非P）如：若非P，则一定是P；既非P，又是P等。

13。

排中律假言命题（命题形式：若非P，则不可能是P）如：若非P，则一定不是P；一定不是P等。

14。

互逆假言命题（命题形式：若P→Q，则Q→P）如： P →Q；若非P，则非Q；若非Q，则非P等。

15。

强调假言命题（命题形式：若P→Q，则P→Q）如：若非P，则非Q；若非Q，则非P等。

2。

一致，即两个对当关系真值函数完全相同的情况。

如果对当关系两个真值函数之一完全相同，那么它们的另一个也必完全相同。