P | P | 只有P才Q |
真 真 假 假 |
真 假 真 假 |
真 真 假 真 |
联言命题推理 (标准)P并且Q,“
选言(相容)命题推理 (标准)P或者Q
非P,所以Q 非 Q,所以P
选言(不相容)命题 (标准)要么P要么Q
非P,所以Q 非 Q,所以P
P,所以非Q Q,所以非P
假言(充分条件)命题(标准)如果P那么Q
否定后件 非 Q,所以非P
假言(必要条件)命题(标准)只有P才Q
否定前件 非P,所以非Q