复言命题及其推理
- 格式:doc
- 大小:52.00 KB
- 文档页数:2
联言命题:……和……、不但……而且……、虽然……但是……、不是……而是……等表示并列关系、递进关系、转折关系的词语,也可以用逗号、句号、分号表示。
联言推理:联言命题为真,推出其中一命题为真。
全部肢命题为真,推出联言命题为真。
选言命题:
(一真即真,全假才假)
不相容选言命题:或者……或者……,二者不得兼容、不是……就是……。
选言推理:
相容的选言推理:p或者q,非p,所以q
p或者q,非q,所以p
不相容的选言推理:要么p,要么q,p,所以非q
要么p,要么q,q,所以非p
要么p,要么q,非p,所以q
要么p,要么q,非p,所以q
假言命题:
充分条件假言命题:如果……那么……、只要……就……、一……就……、若……则……、若……就……、因为……所以……、……必须……等
如果A,那么B:有A必有B,无A必无B;因而有B未必有A,无B必无A。
必要条件假言命题:只有……才……、不……不……、除非……否则不……、没有……就没
只有C,才D:有C未必有D,无C必无D;因而有D必有C,无D未必无C。
充分必要条件假言命题:当且仅当……、只要且只有……才……、若……则……,且若不……
E当且仅当F:有E必有F,无E必无F;因而有F必有E,无F必无E。
假言推理:
充分条件假言推理:如果p,那么q,p,所以q
如果p,那么q,非q,所以非p
肯定前件就要肯定后件;否定前件不能否定后件;
否定后件就要否定前件;肯定后件不能肯定前件。
必要条件假言推理:只有p,才q,非p,所以非q
只有p,才q,q,所以p
肯定前件不能肯定后件,否定后件不能否定前件;
否定前件就要否定后件,肯定后件就要肯定前件。
充分必要条件假言推理:p当且仅当q,非p,所以非q
p当且仅当q,p,所以q
p当且仅当q,q,所以p
p当且仅当q,非q,所以p
肯定前件就要肯定后件;肯定后件就要肯定前件。
否定前件就要否定后件;否定后件就要否定前件。
负命题:并非、不是……、不能认为……、不能说……、没有……、……是假的、……这话不对等。
并非所有S都是P=有些S不是P
并非所有S都不是P=有些S是P
并非有些S是P=所有S都不是P
并非有些S不是P=所有S都是P
并非某个S是P=某个S不是P
并非某个S不是P=某个S是P。