負條件

負命題定義：負命題是否定一個命題所得到的命題。如：“並非閃光的都是金子”就是負命題。
一般形式：並非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