形式邏輯負(fù)判斷

1、多練岀技巧巧思岀碩果第四節(jié)負(fù)判斷一、什么是負(fù)判斷1. 含義：負(fù)判斷是否定某個(gè)判斷的判斷。例如： 并不是所有的鳥都會(huì)飛。 并非一個(gè)人有病就發(fā)燒。負(fù)判斷由支判斷和聯(lián)結(jié)項(xiàng)(否定聯(lián)結(jié)詞)兩部分構(gòu)成。負(fù)判斷的支判斷稱為原判斷，支 判斷可以是個(gè)簡(jiǎn)單判斷，如例；也可以是個(gè)復(fù)合判斷。2. 負(fù)判斷的邏輯形式可表示為：并非P其中“P”是支判斷，“并非”是聯(lián)結(jié)項(xiàng)?！安⒎恰币部梢杂梅?hào)“”或“”來表示。 這樣，負(fù)判斷的符號(hào)式就是：-P 或 P3. 真假情況：負(fù)判斷是特殊的復(fù)合判斷。首先，它不象其他復(fù)合判斷具有兩個(gè)以上的支判斷，而只有 一個(gè)支判斷。其次，它的聯(lián)結(jié)項(xiàng)是一個(gè)表示否定的邏輯概念，整個(gè)判斷是對(duì)原判斷的否定。 所

2、以，它與原判斷之間是矛盾關(guān)系。 原判斷真，負(fù)判斷就假；原判斷假，負(fù)判斷就真。負(fù)判斷的真假可用下面的真值表來表示：PP直/、假假直/、負(fù)判斷的種類及其等值判斷負(fù)判斷分為簡(jiǎn)單判斷的負(fù)判斷和復(fù)合判斷的負(fù)判斷。1. 簡(jiǎn)單判斷的負(fù)判斷及其等值判斷簡(jiǎn)單判斷的負(fù)判斷(負(fù)簡(jiǎn)單判斷)是指支判斷為簡(jiǎn)單判斷的負(fù)判斷(1) 單稱判斷的負(fù)判斷及其等值判斷并非某個(gè)S是P ?某個(gè)S不是P并非某個(gè)S不是P ?某個(gè)S是P(2) 全稱判斷的負(fù)判斷及其等值判斷并非所有S是P ?有S不是P并非所有S不是P ?有S是P?SAF? SOP?SEF? SIP(3) 特稱判斷的負(fù)判斷及其等值判斷并非有S是P ?所有S都不是P并非有S不是P

3、?所有S都是P?SIP ? SEP?SOP? SAP2. 復(fù)合判斷的負(fù)判斷及其等值判斷（1）聯(lián)言判斷的負(fù)判斷（負(fù)聯(lián)言判斷）及其等值判斷負(fù)聯(lián)言判斷就是斷定一個(gè)聯(lián)言判斷是假的。而斷定聯(lián)言判斷假就是斷定它的聯(lián)言支至少 有一個(gè)是假的。所以，負(fù)聯(lián)言判斷等值于一個(gè)相容選言判斷。用公式表示即：“并非（P并且q）”等值于“非P或者非q”或表示為：P q.r P q（2）選言判斷的負(fù)判斷A. 相容選言判斷的負(fù)判斷（負(fù)相容選言判斷）及其等值判斷負(fù)相容選言判斷就是斷定一個(gè)相容選言判斷是假的。而斷定一個(gè)相容選言判斷假就是斷 定它的選言支都是假的。所以，負(fù)相容選言判斷等值于一個(gè)聯(lián)言判斷。用公式表示即：“并非（P或者q）

4、”等值于“非P并且非q”或者表示為：P q.r P qB. 不相容選言判斷的負(fù)判斷（負(fù)不相容選言判斷）及其等值判斷負(fù)不相容選言判斷就是斷定一個(gè)不相容選言判斷是假的。而斷定一個(gè)不相容選言判斷假, 就是斷定其選言支同真或同假。所以，負(fù)不相容選言判斷等值于一個(gè)多重選言判斷（其選言 支是聯(lián)言判斷）。用公式表示即：“并非（要么P要么q）”等值于“（P并且q）或者（非P并且非q）”P-qi （P q） （P q）（3）假言判斷的負(fù)判斷A. 充分條件假言判斷的負(fù)判斷（負(fù)充分條件假言判斷）及其等值判斷負(fù)充分條件假言判斷就是斷定一個(gè)充分條件假言判斷是假的。而斷定一個(gè)充分條件假言 判斷假就是斷定它的前件真而后件假

5、。所以，負(fù)充分條件假言判斷等值于一個(gè)聯(lián)言判斷。用 公式表示即：“并非（如果P,那么q）”等值于“ P并且非q”或表示為： P q.r P qB. 必要條件假言判斷（負(fù)必要條件假言判斷）及其等值判斷負(fù)必要條件假言判斷就是斷定一個(gè)必要條件假言判斷為假。而斷定必要條件假言判斷假 就是斷定它的前件假而后件真。所以，負(fù)必要條件假言判斷也等值于一個(gè)聯(lián)言判斷。用公式 表示即：“并非（只有P,才q）”等值于“非P并且q”或表示為：P - q P qC. 充分必要條件假言判斷（負(fù)充分必要條件假言判斷）及其等值判斷負(fù)充分必要條件假言判斷就是斷定一個(gè)充分必要條件假言判斷假。而斷定一個(gè)充分必要 條件假言判斷假就是斷定

6、它的前后件不同真或者不同假，即斷定它的前件真而后件假，或者它的前件假而后件真。因此負(fù)充分必要條件假言判斷等值于一個(gè)多重選言判斷(其選言支為 聯(lián)言判斷)。用公式表示即：“并非(當(dāng)且僅當(dāng)P,才q)”等值于“(P并且非q)或者(非P并且q)”或表示為：Piq(P q) (P q)第六節(jié) 真值表的判定作用真值表最早是德國(guó)邏輯學(xué)家弗雷格 1879年提出來的。而真值表作為一種命題演算的判定 方法，則是由美國(guó)的邏輯學(xué)家皮爾斯創(chuàng)始的。后來，波蘭邏輯學(xué)家盧卡西維茨和美國(guó)邏輯學(xué) 家波斯特在二值真值表基礎(chǔ)上，分別提出了三值和多值的邏輯真值表。 但是其基本意義沒變: 一個(gè)是定義作用；一個(gè)是判定作用。判定步驟：第一步：

7、找出給定的復(fù)合判斷中的支判斷，列出它們的真值取值組合。第二步：根據(jù)復(fù)合判斷的構(gòu)成過程，由簡(jiǎn)到繁地列出各個(gè)組成部分，最后得出這個(gè)給定 形式本身。第三步：根據(jù)初始真值表，寫出每個(gè)組成部分的真假值，最后得出給定形式的真值。真值表的作用除了可以判定復(fù)合判斷的邏輯真假值以外，還可以判定兩個(gè)復(fù)合判斷是否 等值，也可以判定兩個(gè)復(fù)合判斷是否為矛盾關(guān)系或反對(duì)關(guān)系。第七節(jié) 模態(tài)判斷一、什么是模態(tài)判斷？非模態(tài)判斷是斷定事物情況存在的判斷，但當(dāng)人們進(jìn)一步研究事物情況時(shí)就會(huì)發(fā)現(xiàn)：有 些事物情況的存在具有必然性，有些事物情況的存在只具有可能性。模態(tài)判斷就是斷定事物 情況的必然性或可能性的判斷。 女口： 罪犯可能畏罪潛逃。 事物之間必然有聯(lián)系。二、種類根據(jù)判斷斷定的是事物的可能性還是必然性，可以把模態(tài)判斷分為可能判斷和必然判斷； 而可能判斷和必然判斷又可以分為肯定判斷和否定判斷。所以，這樣的模態(tài)判斷就有了四種。1 必然肯定判斷(1 ”必然肯定判斷就是斷定事物情況必然存在的判斷。(2) 語言形式結(jié)構(gòu)：必然p(3) 符號(hào)形式結(jié)構(gòu)：口卩2必然否定判斷(1 ”必然否定判斷就是斷定事物情況必然不存在的判斷。(2)語言形式結(jié)構(gòu)：必然非p(3)符號(hào)形式結(jié)構(gòu)：p3可能肯定判斷(1) 可能肯定判斷就是斷定事物情況可能存在的判斷。(2) 語言形式結(jié)