负命题定义:负命题是否定一个命题所得到的命题.如:"并非闪光的都是金子"就是负命题.一般形式:并非p.有时简称非p.符号形式:?p. "?"读作"并非".逻辑值:一个负命题是真的,当且仅当它所否定的支命题是假的.其真值表如下:p?p真假假真?真 = 假?假 = 真名称种类形式定义联言p,并且,qp∧qp和q都真选言相容p,或者,qpú,qp和q至少有,一真不相容要么p,要么qp和q有且只有一真假言充分如果p,则,qp?q有p一定有q必要只有p,才,qq?p,?p,?,?,q无p一定无q充要p,当且仅当,qp,?,q有p一定有q,无p一定无q负并非p?pP假1= 真;0 = 假pqp∧qpúq要么p,要么qp?q只有p, 才 qp ? q11110111100110100101110000000111只有p, 才 q = q?p = 如果q,那么p1∧1 = 1; 1∧0 = 0∧1 = 0∧0 = 00ú 0 = 0; 1ú1 = 0ú 1 = 1ú 0 = 11?0 = 0; 1?1 = 0?1 = 0?0 = 11?1 = 0?0 = 1; 1?0 = 0?1 = 0.负命题定义:负命题是否定一个命题所得到的命题.如:"并非闪光的都是金子"就是负命题. 一般形式:并非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