導讀六、假言判斷1、假言判斷，又稱條件判斷,是指某一事物情況的存在是另一事物情況存在的條件的判斷，接下來我們就來聊聊關于邏輯必要條件假言命題解題技巧?以下內容大....

六、假言判斷1、假言判斷， 又稱條件判斷, 是指某一事物情況的存在是另一事物情況存在的條件的判斷，接下來我們就來聊聊關于邏輯必要條件假言命題解題技巧?以下內容大家不妨參考一二希望能幫到您!

邏輯必要條件假言命題解題技巧

六、假言判斷

---

1、假言判斷， 又稱條件判斷, 是指某一事物情況的存在是另一事物情況存在的條件的判斷。

它是反映事物之間條件關系的復合判斷。

只有年滿18周歲P，才有選舉權Q。

---

在假言判斷中表示條件的判斷叫作前件P，表示結果的判斷叫后件Q。

簡言之，有兩個: 一個作為條件的稱為”前件P”，一個作為結果的稱為”后件Q”。

聯結項，常見的三種形式 “如果…，那么…”“只有…才…”“…當且僅當…”

---

2、條件關系的分類：充分條件，必要條件，充分必要條件。

1、充分條件：是指P、Q這兩種情況，有P就會有Q。

2、必要條件: P、Q這兩種情況, 沒有P就不會有Q。

3、充分必要條件: 充分必要條件是指P、Q這兩種情況，有P就會有Q,并且沒有P就不會有Q。

---

（1）充分條件假言判斷就是斷定事物情況之間存在充分條件關系的判斷。

如果有事物情況P，則必然有事物情況Q；如果沒有事物情況P而未必沒有事物情況Q，P就是Q的充分而不必要條件，簡稱充分條件。

充分條件假言判斷邏輯形式：P→Q(→ 讀 “如果…那么”)(讀作“p蘊涵于q”）

P=“下雨”；Q=“地面濕潤”。

P=“燒柴”；Q=“會產生二氧化碳”。

充分條件假言判斷的邏輯特征：前件真而后件假時該判斷假，其它情況下都真。

語言表達方式：

如果P，那么Q;假如P，就Q;只要P，就Q;倘若P，則Q;

一旦P，則Q;所有P都是Q;有P就有Q;

當企業處于蓬勃上升時期，往往緊張而忙碌，沒有時間和精力去設計和修建“瓊樓玉宇”;

當企業所有的重要工作都已經完成，其時間和精力就開始集中在修建辦公大樓上。所以，如果一個企業的辦公大樓設計得越完美，裝飾得越豪華，則該企業離解體的時間就越近;當某個企業的大樓設計和建造趨向完美之際，它的存在就逐漸失去意義。這就是所謂的“辦公大樓法則”。

以下哪項如果為真，能質疑上述觀點?

(A) 某企業的辦公大樓修建得美輪美奐，入住后該企業的事業蒸蒸日上。

(B)一個企業如果將時間和精力都耗費在修建辦公大樓上，則對其他重要工作就提入不足了。

(C)建造豪華的辦公大樓，往往會加大企業的運營成本，損害其實際收益。

(D)企業辦公大樓越破舊企業就越有活力和生機。

(E)建造豪華的辦公大樓并不需要企業提供太多的時間和精力。

題干斷定如果一個企業的辦公大樓設計得越完美，裝飾得越豪華，則該企業離解體的時間就越近。

A選項則說辦公大樓設計的美輪美奐卻蒸蒸日上，即有條件沒結果，與題干的斷定是矛盾關系。

邏輯值（真值表）：

P	Q	P→Q
真	真	真
真	假	假
假	真	假
假	假	真

---

（2）必要條件假言判斷就是斷定事物情況之間存在必要條件關系的判斷。

如果沒有事物情況P，則必然沒有事物情況Q，也就是說如果有事物情況Q則一定有事物情況P，那么P就是Q的必要條件。

從邏輯學上看，Q能推導出P，P就是Q的必要條件，等價于Q是P的充分條件。

狄仁杰碰到一個案子，門窗完好無損并且死者毫無反抗的痕跡。

他問：“元芳，怎么看?”

元芳回答：“根據這種情況，應該是熟人干的，因為只有聽到熟人的叫門聲，兩位高手才會毫無防備地去開門，才會被謀殺。”

那么，你怎么看呢?

只有聽到熟人的叫門聲，兩位高手才會毫無防備地去開門，才會被謀殺。

學生說：“有了自信不一定能成功考上研究生。”老師回應說：“但是沒有自信一定會失敗?！?/p>

　　以下哪項與老師的意思最為接近?

　　(A)不失敗即成功，不成功即失敗。

　　(B)如果自信，則一定會成功。

　　(C)只有自信，才可能不失敗。

　　(D)除非自信，否則不可能失敗。

　　(E)只有成功了，才可能更自信。

自信當做考上研究生的不可缺的條件，所以，正確選項是C。

必要條件假言判斷邏輯形式：? P →? Q（?： 非）

必要條件假言判斷，只有在前件假后件真時才假，即沒有此條件卻出現此結果的時候為假。

必要條件假言判斷的推理規則是：否定前件就否定后件，肯定后件就肯定前件。

否定前件式：直言前提否定假言前提的前件，結論則否定假言前提的后件。

“只有溫度適當，雞蛋才能孵出小雞；溫度不適當，所以雞蛋不能孵出小雞?！?/p>

其推理形式是：“只有p，才q；非p，所以非q?！?/p>

肯定后件式：直言前提肯定假言前提的后件，結論則肯定假言前提的前件。

“只有溫度適當，雞蛋才能孵出小雞;雞蛋孵出了小雞，所以，溫度是適當的?！?/p>

其推理形式是：“只有p，才q；q，所以p?！?/p>

充分條件假言判斷和必要條件假言判斷等值。

P	Q	P→Q	? P	? Q	? P←? Q
真	真	真	假	假	真
真	假	假	假	真	假
假	真	真	真	假	真
假	假	真	真	真	真

---

充分必要條件假言判斷就是斷定事物情況之間存在充分必要條件關系的判斷。

如果有事物情況P，則必然有事物情況Q；如果有事物情況Q，則必然有事物情況P，那么P就是Q的充分必要條件 ( 簡稱：充要條件 )，反之亦然 。

充分必要條件假言判斷邏輯形式：P當且僅當Q|P?Q(讀作“P等值Q”)。

當且僅當一個三角形等角，它才等邊。

充分必要條件假言推理有兩條規則：

規則1：肯定前件，就要肯定后件；肯定后件，就要肯定前件。

規則2：否定前件，就要否定后件；否定后件，就要否定前件。

根據規則，充分必要條件假言推理有四個正確的形式：

（1）肯定前件式：p當且僅當q→p所以，q

（2）肯定后件式：p當且僅當q→q所以，p

（3）否定前件式：p當且僅當q→非p所以，非q

（4）否定后件式：p當且僅當q→非q所以，非p

---

常用聯接詞

　　P當且僅當Q;

　　P是Q的唯一充分條件;

　　P是Q的唯一必要條件;

　　如果P，那么Q并且只有P，才Q;

　　所有P都是Q，并且只有P，才Q;

---

充要條件檢驗判斷的真假情況可用下面的真值表：

前后件邏輯值一致時該判斷為真，不一致則為假。

P	Q	P?Q
真	真	真
真	假	假
假	真	假
假	假	真

---

七、負判斷

---

1、負判斷是通過否定某個判斷所得的判斷，又稱為判斷的否定。

“并非一切產品都是商品”，就是負判斷。

負判斷的邏輯形式：并非P 或者 ?P肢判斷P：這個P可以是任何類型的判斷。

聯結項： “并非”或“?”。

聯結詞有“非…”“…是假的”“不是…”等，都是并非的意思。

例如：”并非P”、”并不P”、”不是P”、”非P”、”P是假的等”。

---

2、負判斷“并非P” 和原判斷“P”之間具有矛盾關系。

負判斷是由原判斷加上否定聯結詞“并非”而形成的復合判斷。

原判斷用“P”表示，負判斷則是“并非P（?P）”。

由此決定了負判斷與原判斷成對立關系。

負判斷的真假，與原判斷的真假有密切關系。

原判斷“P”真，則負判斷“并非P”就假；原判斷“P”假，則負判斷“并非P”就真，即不可同真也不可同假。

原判斷P	負判斷? P
真	假
假	真

莎士比亞在《威尼斯商人》中，寫富家少女鮑細婭品貌雙全，貴族子弟、公 子王孫紛紛向她求婚。鮑細婭按照其父遺囑，由求婚者猜盒定婚。鮑細婭有金、銀、鉛三 個盒子，分別刻有三句話，其中只有一個盒子，放有鮑細婭肖像。求婚者通過這三句話， 猜中鮑細婭的肖像放在哪只盒子里，就嫁給誰。三個盒子上刻的三句話分別是:

金盒子:“肖像不在此盒中?！?邏輯轉換（肖像 非金）

銀盒子:“肖像在鉛盒中?！?邏輯轉換（肖像 鉛）

鉛盒子:“肖像不在此盒中?！?邏輯轉換（肖像 非鉛）

已知這三句話中只有一句真話，請問肖像在哪個盒子中?（分析：通過邏輯轉換可以看到 2和3矛盾，必有一真因此1為假，即 肖像子啊金盒子中，因此答案為A）

一家珠寶店的珠寶被盜，經查可以肯定是甲、乙、丙、丁四人中的某一個人所 為。審訊中，他們四人各自說了一句話。

甲說:“我不是罪犯。” 邏輯轉換（甲 非罪）

乙說:“丁是罪犯。”。 邏輯轉換（丁 罪）

丙說:“乙是罪犯?！?邏輯轉換（乙 罪）

丁說:“我不是罪犯?！?邏輯轉換（丁 非罪）

經調查證實，四人中只有一個人說的是真話。根據以上條件，下列哪個判斷為真?( ) （分析：通過邏輯轉換可以看到 2和4 矛盾，必有一真因此1 3 為假，即 甲說的是假話，甲是罪犯，乙不是罪犯，因此答案為A）

A. 甲說的是假話，甲是罪犯。

B. 乙說的是真話，丁是罪犯。

C. 丙說的是真話，乙是罪犯。

D. 丁說的是假話，丁是罪犯。

E. 條件不足，無法確定罪犯。

---

3、負判斷是否定某個判斷后所得到的判斷 , 被否定的判斷可以是簡單的判斷, 也可以是復合判斷。 負判斷是人們在思維中經常使用的一種判斷形式。 在日 常思維過程中 , 當 人們對那 些虛假的判斷表示不同意時, 往往要采用負判斷這種邏輯形式進行否定。例如 :

(1) 有的人是生而知之的 , 即SIP。

(2) 只要學習就會進步 , 即p→q 。

上述兩個判斷就是虛假判斷 , 對這種虛假判斷進行否定, 就可以采用下面的負判斷形式:

(1) 并非有的人是生而知之的 , 即?SIP。

(2) 并不是只要學習就會進步 , 即?(p→q)。

這種負判斷的特點是: 它以“ 并非” 、 “并不是” 等作為聯結項(用數理邏輯符號“ —” 表示) 。 以被它否定的原判斷(用數理邏輯符號“P”表示) 為支判斷的一個復合判斷, 其邏輯表達式為 :

并非p或者: ?p

4、負判斷不同于性質判斷中的否定判斷。 否定判斷只是否定一個(或一些或一類) 對象具有某種性質 。 例如 :

(1) 白求恩不是中國人, 即某S不是P。

(2) 有些國家不是資本主義國家 , 即SOP。

(3) 馬克思主義者不是唯心主義者, 即SEP 。

這些都是性質判斷的否定判斷 。 而負判斷是對一個判斷整體的否定, 即判定該判斷是假的 。 它既可以是對一個肯定判斷的否定, 也可以是對一個否定判斷的否定。

負判斷從邏輯值上來說, 與其否定的原判斷之間是矛盾關系 , 即如果原判斷真 , 那么它的負判 斷就是假的 ; 如果原判斷假, 那么它的負判斷就是真的 。

對于每一種判斷形式都可以進行否定, 構 成一種負判斷形式, 而每一 種判斷的負 判斷都有 其相應的等值判斷。 但這一問題無論在理論上還是在現實中都有相當的復雜性。 在實際思維過程中 , 人們在否定某一判斷時 , 往往是采用這一判斷負判斷的等值判斷 , 而并不是直接使用其負判斷。

---

5、負聯言判斷及其等值判斷

聯言判斷就是斷定若干事物情況同時存在的判斷, 其邏輯形式是“ p 并 且 q” , 或“ p∧q” 。 其負判斷為“?(p∧q)” 。

如“ 并非他既有德又有才” 。

要否定一個聯言判斷 , 必須指出這個聯言判斷所列的各種事物情況不能同時存在 。 從以上真值表可以看出 , 負聯言判斷“ 并非他既有德又有才”的等值判斷有 :

(1)“ 他或者沒德或者沒才” , 即 ?p∨?q

(2)“ 如果他有德, 那么他沒才” , 即 p →?q

(3)“ 如果他有才, 那么他沒德” , 即 q →?p

(4)“ 只有他無德, 他才有才” , 即 ?p ←q

(5)“ 只有他沒才, 他才有德” , 即 ?q ←p

這些判斷互為等值關系 , 都可以用來否定聯言判斷 , 但否定聯言判斷最常用、 最簡便的形式是一個選言判斷。

用真值表來判定其等值判斷的情況：(用“ ” 表示真 , 用“ -”表示假, 下同)

P	Q	?P	?Q	P∧Q	P∨Q	p→?q	p←?q
		-	-			-	-
	-	-		-	-
-			-		-
-	-			-	-
P	Q	?P	?Q	?(P∧Q)	?(P∨Q)	q→?p	q←?p
		-	-	-	-	-	-
	-	-
-			-
-	-

---

6、負相容選言判斷及其等值判斷

相容選言判斷是斷定若干事物情況至少有一個為真的判斷, 其邏輯形式為“p或者 q” , 或“ p∨ q” 。 其負判斷形式為“ ?(p∨q)” , 如“ 并非他或者是演員或者是導演” 。

要否定一個相容選言判斷 , 必須指出這個判斷所列的各種 可能情況都不存在。 從以上真值表可以看出 ,

與“ 并非他或者是演員 , 或者是導演”相等值的判斷有 :

(1) 他既不是演員 , 又不是導演 , 即 ?p∧?q

(2) 并非如果他不是導演 , 那么他是演員 , 即?(?q→p)

(3) 并非如果他不是演員 , 那么他是導演 , 即?(?p→q)

(4) 并非只有他是演員 , 他才不是導演 , 即?(P←?q)

(5) 并非只有他是導演 , 他才不是演員 , 即?(q←?p)

(6) 他要么既是演員 , 又是導演 , 要么當且僅當他是演員 , 才是導演 , 即(p∧q) ∨(p?q)

P	Q	?P	?Q	P∨Q	P∧Q	?(?q→p)	?(q←?p)	?p∧?q
		-	-		-	-	-	-
	-	-				-	-	-
-			-			-	-	-
-	-				-
P	Q	?P	?Q	?(P∨Q)	?(P∧Q)	?(?p→q)	?(p←?q)	(p∧q)∨(p?q)
		-	-	-	-	-	-	( )-( )
	-	-		-	-	-	-	(-)-(-)
-			-	-		-	-	(-)-(-)
-	-							(-) ( )

---

7、負不相容選言判斷及其等值判斷

不相容選言判斷是斷定有而且只有一個選言支為真的選言判斷 , 其邏輯形式是“ 要么 p , 要么 q” 或“ p∨q” 。 其負判斷為“? (p∨q)” , 如“ 并非他要么有高血壓 , 要么有心臟病” 。

要否定一個不相容選言判斷, 必須指出其肢判斷或者同時存在, 或者同時不存在 。 從以上真值表可以看出 , 與“ 并非他要么有高血壓 , 要么有心臟病” 這種判斷形式相等值的判斷有 :

(1) 他或者既有高血壓又有心臟病 , 或者既沒有高血壓又沒有心臟病 , 即(?p∧?q)∨(?p∧?q) 。

(2) 如果他或者沒有高血壓 , 或者沒有心臟病, 那么他既沒有 高血壓 , 又沒有心臟病 , 即(?p∨ ?q) →(?p∧?q) 。

(3) 只有他既沒有高血壓 , 又沒有心臟病 , 他才或者沒有高血壓 , 或者沒有心臟病, 即(?p∧?q) ←(?p∨?q) 。

(4) 如果他或者有高血壓或者有心臟病, 那么他既有高血壓 , 又有心臟病 , 即(p∨q) →(p∧q) 。

(5) 只有他既有高血壓 , 又有心臟病 , 他才或者有高血壓 , 或者有心臟病 , 即(p∧q) ←(p∨q) 。

(6) 當且僅當他有高血壓 , 才有心臟病 , 即 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←?q)	(p∧q) ←(p∨q)	?p∧?q
		-	-	-	-	( ) ( )	-
	-	-				(-)-(-)	-
-			-			(-)-(-)	-
-	-			-		(-) (-)
P	Q	?P	?Q	?(P∧Q)	?(q←?p)	?(p∧q) ←?(p∨q)	p?q
		-	-	-	-	(-) (-)
	-	-		-		(-)-( )	-
-			-			(-)-( )	-
-	-					( ) ( )

---

8、負充分條件假言判斷及其等值判斷

充分條件假言判斷是斷定有前件就一 定有后 件的假言判斷, 其邏輯形式 是“ 如果 p, 那 么 q” , 或“p→q” 。

其負判斷為“?(p→q)” , 如“ 并非如果一個人有病 , 他就發燒” 。

要否定一個充分條件假言判斷, 必須指出 其前件存在但后件不存在 。

從以上真值表可以看出 , 與“ 并非如果一個人有病 , 他就發燒” 等值的判斷有 :

(1) 他有病但沒有發燒, 即 p∧?q

(2) 并非如果不發燒, 那么他沒病 , 即?(?q→?p)

(3) 并非只有發燒, 他才有病, 即?(q←p)

(4) 并非只有沒病, 他才不發燒, 即?(?p←?q)

(5) 并非他或者沒病, 或者發燒, 即?(?p∨q)

用真值表判定其等值判斷形式:

P	Q	?P	?Q	p→q	?(p→q)	?(?q→?p)	p∧?q
		-	-		-	-	-
	-	-		-
-			-		-	-	-
-	-				-	-	-
P	Q	?P	?Q	q←p	?(q←p)	?(?p←?q)	?(p∨?q)
		-	-		-	-	-
	-	-		-
-			-		-	-	-
-	-				-	-	-

---

9、負必要條件假言判斷及其等值判斷

必要條件假言判斷就是斷定沒有前件就沒有后件的假言判斷, 其邏輯形式是“ 只 有 p , 才 q” , 或“ p←q” 。

其負判斷形式為“?(p←q)” , 如“ 并非只有上過大學的人, 才能成為科學家” 。

要否定一個必要條件假言判斷 , 必須指出 其前件不存在但后件存在。

從以上真值表可以看出 , 與“ 并非只有上過大學的人, 才能成為科學家” 相等值的判斷有 :

(1) 沒上過大學的人也能成為科學家 , 即 ?p∧q

(2) 并非如果沒有上過大學, 就不能成為科學家 , 即?p→?q

(3) 并非如果是科學家 , 就上過大學, 即?(q→p)

(4) 并非只有不是科學家 , 才沒上過大學, 即?(?q→?p)

(5) 并非或者上過大學 , 或者沒有成為科學家 , 即?(?p∨?q)

這些判斷互為等值關系 , 都可以用來否定必要 條件假言判斷, 但否定必要 條件假言判斷最常用 也是最簡便的形式也是一個聯言判斷。

用真值表判定其等值判斷形式 :

P	Q	?P	?Q	p←q	?(p←q)	?(?q←?p)	?(p∨?q)
		-	-		-	-	-
	-	-			-	-	-
-			-	-
-	-				-	-	-
P	Q	?P	?Q	q→p	?(q→p)	?(?p→?q)	?p∧q
		-	-		-	-	-
	-	-			-	-	-
-			-	-
-	-				-	-	-

---

10、負充分必要條件假言判斷及其等值判斷

充分必要條件假言判斷是斷定前件和后件等值的判斷, 即有前件就一定有后件, 沒有前件就一定沒有后件。 其邏輯形式為“ 當且僅當p , 才q” , 或“p?q” 。 其負判斷形式為“?(p?q)” , 如“ 并非當且僅當天氣好, 才上山” 。

要否定一個充分必要條件假言判斷 , 必須指出其前件和后件不能同時存在 。

從以上真值表可以看出 , 與“并非當且僅當天氣好才上山” 這個判斷相等值的判斷有 :

(1) 或者天氣好不上山 , 或者天氣不好卻上山 , 即(p∧?q)∨(?p∧q)

(2) 要么天氣好, 要么上山 , 即 p∨q

(3) 如果或者天氣不好或者上山 , 那么天氣不好并且上山 , 即(?p∨q) →(?p∧q)

(4) 只有天氣不好并且上山 , 才或者天氣不好或者上山 , 即(?p∧q) ←(?p∨q)

(5) 如果或者天氣好或者不上山 , 那么天氣好并且不上山 , 即(p∨?q) →(p∧?q)

這些判斷互為等值關系 , 都可以用來否定充分必要條件假言判斷 , 但否定充分必要 條件假言判 斷最常用的形式是一個以聯言判斷為支判斷的多重復合判斷 。

用真值表判定其等值判斷形式 :

P	Q	?P	?Q	p?q	(?p∨q) →(?p∧q)	(p∨?q) →(p∧?q)
		-	-		( )-(-)	( )-(-)
	-	-		-	(-) (-)	( ) ( )
-			-	-	( ) ( )	(-) (-)
-	-				( )-(-)	( )-(-)
P	Q	?P	?Q	?(p?q)	(?p∧q) ←(?p∨q)	(p∧?q) ←(p∨?q)
		-	-	-	(-)-( )	(-)-( )
	-	-			(-) (-)	( ) ( )
-			-		( ) ( )	(-) (-)
-	-			-	(-)-( )	(-)-( )
P	Q	?P	?Q	p∨q	(p∧?q)∨(?p∧q)
		-	-	-	(-)-(-)
	-	-			( ) (-)
-			-		(-) ( )
-	-			-	(-)-(-)

---

負判斷綜述：

在思維和表達中 , 要準確把握負判斷的等值判斷 , 正確進行判斷之間的否定應注意以下問題:

1. 否定全稱用特稱 , 否定特稱用全稱 。

就是說, 否定A判斷要用O判斷; 否定E判斷要用I判斷; 否定O判斷要用A判斷, 否定I判斷要用E判斷。 上述兩兩判斷之間屬于一真一假的矛盾關系 , 一方對另一方是最為有力的否定。 用數理邏輯形式表達它們彼此之間的推演關系如下 :

?A?O;

?O?A;

?E?I;

?I?E;

一般不要用全稱判斷否定全稱判斷, 或用特稱判斷否定特稱判斷 。

2. 否定一個聯言判斷要用一個相應的相容選言判斷, 否定一個相容選言判斷要用一個相應的 聯言判斷。

而不應用聯言判斷否定聯言判斷 , 也不能用相 容選言判斷否定相容選言判斷。這一點, 在前面的真值表中有充分的體現。例如 :

(1) 小伙子既聰明又能干 , 即 p∧q

(2) 小伙子既不聰明又不能干 , 即?p∧?q

(3) 午餐或者吃魚 , 或者吃肉 , 即 r∨s

(4) 午餐或者不吃魚 , 或者不吃肉 , 即 ?r∨?s

在例(1) 和例(2)中 , 當 p∧q 為真 , 則?p∧?q 必假; 當 p∧q 為假, 則?p∧?q 可真可假, 即二者是不能同真可以同假的反對關系 , 當 p∧q 與?p∧?q 同為假時, 便不能互相否定。在 例(3) 和例(4) 中 , 當 r∨s 真 , 則 ?r∨?s 可真可假;

當 r∨s 假, 則 r∨s 必真。 即二者是可以同真不能同假的下反對關系 , 當 r∨s 與 r∨s 同真時, 它 們之間也 不能互相否定。

3. 否定一個假言判斷要用相應的聯言判斷, 而一般不能用選言判斷或假言判斷 , 這一點 , 在前 面真值表中體現得淋漓盡致。 例如 :

(1) 只要植物開花就結果 , 即 p→q

(2) 或者植物開花 , 或者不結果, 即p∨?q

(3) 只要植物開花就不結果, 即p→?q

在例(1) 和例(2)中 , 當 p→q 真時 , p∨?q 也可以為真 , 即二者可以同真 , 不能互相否定; 而當例(1)p→q 為真時 ,

例(3) p→?q 也可能為真 , 二者也不能互相否定。

4. 不能把負判斷與它的等值判斷混為一談, 盡管負判斷與它的等值判斷的真假值是相等的 , 但是, 從判斷的邏輯形式來看 , 它們屬于不同類型的判斷。

例如“ 并非(p 并且 q)” 等值于“ 非 p 或者非 q” , 即?(p∧q) (?p∨?q) , 前者是個負判斷, 它只有一個肢判斷 , 后者是個相容選言判斷, 它有兩個肢判斷 , 如果把?p∨?q 當作p∧q的負判斷, 就與負判斷只有一個肢判斷的論斷相矛盾 。

由此可以看出 , 把判 斷與它的等 值判斷混同起來是錯誤的 , 是違背邏輯的 。