負條件，由否定一個命題所得到的命題。
基本介紹
- 中文名：負條件
- 定義：否定一個命題所得到的命題
如：“並非閃光的都是金子”就是負命題。
一般形式：並非p。有時簡稱非p。
符號形式：?p。
“?”讀作“並非”。
邏輯值：一個負命題是真的，若且唯若它所否定的支命題是假的。其真值表如下：
p | ?p |
真 | 假 |
假 | 真 |
?真 = 假
?假 = 真
名稱 | 種類 | 形式 | 定義 | - |
聯言 | p 並且 q | p∧q | p和q都真 | |
選言 | 相容 | p 或者 q | púq | p和q至少有一真 |
不相容 | 要么p，要么q | p和q有且只有一真 | - | |
假言 | 充分 | 如果p，則 q | p?q | 有p一定有q |
必要 | 只有p， 才 q | q?p ?p ? ? q | 無p一定無q。 | - |
充要 | p 若且唯若 q | p ? q | 有p一定有q，無p一定無q。 | - |
負 | 並非p | ?p | P假 |
1= 真；0 = 假
p | q | p∧q | púq | 要么p，要么q | p?q | 只有p， 才 q | p ? q |
1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |
1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 |
0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 |
只有p， 才 q = q?p = 如果q，那么p
1∧1 = 1； 1∧0 = 0∧1 = 0∧0 = 0
0ú 0 = 0； 1ú1 = 0ú 1 = 1ú 0 = 1
1?0 = 0； 1?1 = 0?1 = 0?0 = 1
1?1 = 0?0 = 1； 1?0 = 0?1 = 0
