负命题定义:负命题是否定一个命题所得到的命题.如:"并非闪光的都是金子"就是负命题. 一般形式:并非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