左孝凌版離散數(shù)學(xué)課后題答案

1-1，1-2解：是命題，真值為T。不是命題。是命題，真值要根據(jù)具體情況確定。不是命題。是命題，真值為T。是命題，真值為T。是命題，真值為F。不是命題。不是命題。解：原子命題：我愛北京天安門。復(fù)合命題：如果不是練健美操，我就出外旅游拉。解：(┓P∧R)→QQ→R┓PP→┓Q解：a)設(shè)Q:我將去參加舞會(huì)。R:我有時(shí)間。P:天下雨。Q(R∧┓P):我將去參加舞會(huì)當(dāng)且僅當(dāng)我有時(shí)間和天不下雨。b)設(shè)R:我在看電視。Q:我在吃蘋果。R∧Q:我在看電視邊吃蘋果。c)設(shè)Q:一個(gè)數(shù)是奇數(shù)。R:一個(gè)數(shù)不能被2除。〔Q→R〕∧(R→Q):一個(gè)數(shù)是奇數(shù)，那么它不能被2整除并且一個(gè)數(shù)不能被2整除，那么它是奇數(shù)。(5)解：設(shè)P：王強(qiáng)身體很好。Q：王強(qiáng)成績(jī)很好。P∧Q設(shè)P：小李看書。Q：小李聽音樂。P∧Q設(shè)P：氣候很好。Q：氣候很熱。P∨Q設(shè)P：a和b是偶數(shù)。Q：a+b是偶數(shù)。P→Q設(shè)P：四邊形ABCD是平行四邊形。Q：四邊形ABCD的對(duì)邊平行。PQ設(shè)P：語法錯(cuò)誤。Q：程序錯(cuò)誤。R：停機(jī)?！睵∨Q〕→R(6)解：P:天氣炎熱。Q:正在下雨。P∧QP:天氣炎熱。R:濕度較低。P∧RR:天正在下雨。S:濕度很高。R∨SA:劉英上山。B:李進(jìn)上山。A∧BM:老王是革新者。N:小李是革新者。M∨NL:你看電影。M:我看電影。┓L→┓MP:我不看電視。Q:我不外出。R:我在睡覺。P∧Q∧RP:控制臺(tái)打字機(jī)作輸入設(shè)備。Q:控制臺(tái)打字機(jī)作輸出設(shè)備。P∧Q1-3〔1〕解：不是合式公式，沒有規(guī)定運(yùn)算符次序〔假設(shè)規(guī)定運(yùn)算符次序后亦可作為合式公式〕是合式公式不是合式公式〔括弧不配對(duì)〕不是合式公式〔R和S之間缺少聯(lián)結(jié)詞〕是合式公式。〔2〕解：A是合式公式，(A∨B)是合式公式，(A→(A∨B))是合式公式。這個(gè)過程可以簡(jiǎn)記為：A；(A∨B)；(A→(A∨B))同理可記A；┓A；(┓A∧B)；((┓A∧B)∧A)A；┓A；B；(┓A→B)；(B→A)；((┓A→B)→(B→A))A；B；(A→B)；(B→A)；((A→B)∨(B→A))〔3〕解：((((A→C)→((B∧C)→A))→((B∧C)→A))→(A→C))((B→A)∨(A→B))。〔4〕解：a)是由c)式進(jìn)行代換得到，在c)中用Q代換P,(P→P)代換Q.d)是由a)式進(jìn)行代換得到，在a)中用P→(Q→P)代換Q.e)是由b)式進(jìn)行代換得到，用R代換P,S代換Q,Q代換R,P代換S.∨〔5〕解：∨a)P:你沒有給我寫信。R:信在途中喪失了。PQb)P:張三不去。Q:李四不去。R:他就去。(P∧Q)→Rc)P:我們能劃船。Q:我們能跑步。┓(P∧Q)d)P:你來了。Q:他唱歌。R:你伴奏。P→(QR)〔6〕解：P:它占據(jù)空間。Q:它有質(zhì)量。R:它不斷變化。S:它是物質(zhì)。這個(gè)人起初主張：(P∧Q∧R)S后來主張：(P∧QS)∧(S→R)這個(gè)人開頭主張與后來主張的不同點(diǎn)在于：后來認(rèn)為有P∧Q必同時(shí)有R，開頭時(shí)沒有這樣的主張?！?〕解：a)P:上午下雨。Q:我去看電影。R:我在家里讀書。S:我在家里看報(bào)。(┓P→Q)∧(P→(R∨S))b)P:我今天進(jìn)城。Q:天下雨。┓Q→Pc)P:你走了。Q:我留下。Q→P1-4

〔4〕解：a)P

Q

RQ∧RP∧(Q∧R)P∧Q(P∧Q)∧RT

T

TT

T

FT

F

TT

F

FF

T

TF

T

FF

F

TF

F

FTFFFTFFFTFFFFFFFTTFFFFFFTFFFFFFF所以，P∧(Q∧R)(P∧Q)∧Rb)

P

Q

R

Q∨R

P∨(Q∨R)

P∨Q

(P∨Q)∨R

T

T

T

T

T

F

T

F

T

T

F

F

F

T

T

F

T

F

F

F

T

F

FFＴＴＴＦＴＴＴＦＴＴＴＴＴＴＴＦＴＴＴＴＴＴＦＦＴＴＴＴＴＴＴＦ所以，P∨(Q∨R)(P∨Q)∨Rｃ〕ＰＱＲＱ∨ＲＰ∧〔Ｑ∨Ｒ〕Ｐ∧ＱＰ∧Ｒ〔Ｐ∧Ｑ〕∨〔Ｐ∧Ｒ〕ＴＴＴＴＴＦＴＦＴＴＦＦＦＴＴＦＴＦＦＦＴＦＦＦＴＴＴＦＴＴＴＦＴＴＴＦＦＦＦＦＴＴＦＦＦＦＦＦＴＦＴＦＦＦＦＦＴＴＴＦＦＦＦＦ所以，P∧(Q∨R)(P∧Q)∨(P∧R)ｄ〕P

Q┓P┓Q┓P∨┓Q┓(P∧Q)┓P∧┓Q┓(P∨Q)T

TT

FF

TF

FFFTTFTFTFTTTFTTTFFFTFFFT所以，┓(P∧Q)┓P∨┓Q,

┓(P∨Q)┓P∧┓Q〔5〕解：如表，對(duì)問好所填的地方，可得公式F1～F6，可表達(dá)為

P

Q

R

F1

F2

F3

F4

F5

F6

T

T

T

T

F

T

T

F

F

T

T

F

F

F

T

F

F

F

T

F

T

T

F

F

T

T

F

T

F

F

F

T

F

T

T

F

F

T

T

T

F

F

T

T

F

F

T

F

T

F

F

F

T

F

F

F

T

T

F

T

T

T

F

F

F

F

F

T

F

T

T

TF1:(Q→P)→R

F2:(P∧┓Q∧┓R)∨(┓P∧┓Q∧┓R)F3:(P←→Q)∧(Q∨R)F4:(┓P∨┓Q∨R)∧(P∨┓Q∨R)F5:(┓P∨┓Q∨R)∧(┓P∨┓Q∨┓R)F6:┓(P∨Q∨R)(6)

P

Q

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

F

F

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

T

F

F

F

F

F

T

T

T

T

F

F

F

F

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

T

T

T

T解：由上表可得有關(guān)公式為1.F

2.┓(P∨Q)

3.┓(Q→P)

4.┓P

5.┓(P→Q)

6.┓Q

7.┓(PQ)

8.┓(P∧Q)

9.P∧Q

10.PQ

11.Q

12.P→Q

13.P

14.Q→P

15.P∨Q

16.T(7)證明：A→(B→A)┐A∨(┐B∨A)A∨(┐A∨┐B)A∨(A→┐B)1┐A→(A→┐B)┐(AB)┐((A∧B)∨(┐A∧┐B))┐((A∧B)∨┐(A∨B))(A∨B)∧┐(A∧B)或┐(AB)┐((A→B)∧(B→A))┐((┐A∨B)∧(┐B∨A))┐((┐A∧┐B)∨(┐A∧A)∨(B∧┐B)∨(B∧A))┐((┐A∧┐B)∨(B∧A))┐(┐(A∨B))∨(A∧B)(A∨B)∧┐(A∧B)┐(A→B)┐(┐A∨B)

A∧┐B

┐(AB)┐((A→B)∧(B→A))┐((┐A∨B)∧(┐B∨A))(A∧┐B)∨(┐A∧B)(((A∧B∧C)→D)∧(C→(A∨B∨D)))(┐(A∧B∧C)∨D)∧(┐C∨(A∨B∨D))(┐(A∧B∧C)∨D)∧(┐(┐A∧┐B∧C)∨D)(┐(A∧B∧C)∧┐(┐A∧┐B∧C))∨D((A∧B∧C)∨(┐A∧┐B∧C))→D(((A∧B)∨(┐A∧┐B))∧C)→D((C∧(AB))→D)A→(B∨C)┐A∨(B∨C)

(┐A∨B)∨C

┐(A∧┐B)∨C

(A∧┐B)→C

(A→D)∧(B→D)(┐A∨D)∧(┐B∨D)(┐A∧┐B)∨D┐(A∨B)∨D(A∨B)→D((A∧B)→C)∧(B→(D∨C))(┐(A∧B)∨C)∧(┐B∨(D∨C))(┐(A∧B)∧(┐B∨D))∨C(┐(A∧B)∧┐(┐D∧B))∨C┐((A∧B)∨(┐D∧B))∨C((A∨┐D)∧B)→C(B∧(D→A))→C〔8〕解：((A→B)(┐B→┐A))∧C((┐A∨B)(B∨┐A))∧C((┐A∨B)(┐A∨B))∧CT∧C

CA∨(┐A∨(B∧┐B))(A∨┐A)∨(B∧┐B)T∨FT(A∧B∧C)∨(┐A∧B∧C)(A∨┐A)∧(B∧C)T∧(B∧C)B∧C〔9〕解：1〕設(shè)C為T，A為T，B為F，那么滿足A∨CB∨C，但AB不成立。

2〕設(shè)C為F，A為T，B為F，那么滿足A∧CB∧C，但AB不成立。

3〕由題意知┐A和┐B的真值相同，所以A和B的真值也相同。習(xí)題1-5證明：(P∧(P→Q))→Q

(P∧(┐P∨Q))→Q

(P∧┐P)∨(P∧Q)→Q

(P∧Q)→Q┐(P∧Q)∨Q

┐P∨┐Q∨Q

┐P∨TT┐P→(P→Q)

P∨(┐P∨Q)(P∨┐P)∨Q

T∨QT((P→Q)∧(Q→R))→(P→R)因?yàn)?P→Q)∧(Q→R)(P→R)所以

(P→Q)∧(Q→R)為重言式。((a∧b)∨(b∧c)∨(c∧a))(a∨b)∧(b∨c)∧(c∨a)因?yàn)?(a∧b)∨(b∧c)∨(c∧a))((a∨c)∧b)∨(c∧a)((a∨c)∨(c∧a))∧(b∨(c∧a))(a∨c)∧(b∨c)∧(b∨a)所以((a∧b)∨(b∧c)∨(c∧a))(a∨b)∧(b∨c)∧(c∨a)為重言式。證明：a)(P→Q)P→(P∧Q)

解法1：設(shè)P→Q為T

〔1〕假設(shè)P為T，那么Q為T，所以P∧Q為T，故P→(P∧Q)為T〔2〕假設(shè)P為F，那么Q為F，所以P∧Q為F，P→(P∧Q)為T命題得證解法2：設(shè)P→(P∧Q)為F，那么P為T，(P∧Q)為F，故必有P為T，Q為F，所以P→Q為F。解法3：(P→Q)→(P→(P∧Q))┐(┐P∨Q)∨(┐P∨(P∧Q))┐(┐P∨Q)∨((┐P∨P)∧(┐P∨Q))T所以(P→Q)P→(P∧Q)b)(P→Q)→QP∨Q設(shè)P∨Q為F，那么P為F，且Q為F，故P→Q為T，(P→Q)→Q為F，所以(P→Q)→QP∨Q。c)(Q→(P∧┐P))→(R→(R→(P∧┐P)))R→Q設(shè)R→Q為F，那么R為T，且Q為F，又P∧┐P為F所以Q→(P∧┐P)為T，R→(P∧┐P)為F所以R→(R→(P∧┐P))為F，所以(Q→(P∧┐P))→(R→(R→(P∧┐P)))為F即(Q→(P∧┐P))→(R→(R→(P∧┐P)))R→Q成立。解：P→Q表示命題“如果8是偶數(shù)，那么糖果是甜的〞。a)的逆換式Q→P表示命題“如果糖果是甜的，那么8是偶數(shù)〞。a)的反換式┐P→┐Q表示命題“如果8不是偶數(shù)，那么糖果不是甜的〞。a)的逆反式┐Q→┐P表示命題“如果糖果不是甜的，那么8不是偶數(shù)〞。解：如果天下雨，我不去。設(shè)P：天下雨。Q：我不去。P→Q逆換式Q→P表示命題:如果我不去，那么天下雨。逆反式┐Q→┐P表示命題:如果我去，那么天不下雨僅當(dāng)你走我將留下。設(shè)S：你走了。R：我將留下。R→S逆換式S→R表示命題：如果你走了那么我將留下。逆反式┐S→┐R表示命題：如果你不走，那么我不留下。如果我不能獲得更多幫助，我不能完成個(gè)任務(wù)。設(shè)E：我不能獲得更多幫助。H：我不能完成這個(gè)任務(wù)。E→H逆換式H→E表示命題：我不能完成這個(gè)任務(wù)，那么我不能獲得更多幫助。逆反式┐H→┐E表示命題：我完成這個(gè)任務(wù)，那么我能獲得更多幫助試證明PQ，Q邏輯蘊(yùn)含P。證明：解法1：此題要求證明(PQ)∧QP,設(shè)(PQ)∧Q為T，那么(PQ)為T，Q為T，故由的定義，必有P為T。所以(PQ)∧QP解法2：由體題可知，即證((PQ)∧Q)→P是永真式。

((PQ)∧Q)→P(((P∧Q)∨(┐P∧┐Q))∧Q)→P(┐((P∧Q)∨(┐P∧┐Q))∨┐Q)∨P(((┐P∨┐Q)∧(P∨Q))∨┐Q)∨P((┐Q∨┐P∨┐Q)∧(┐Q∨P∨Q))∨P((┐Q∨┐P)∧T)∨P┐Q∨┐P∨P┐Q∨TT解：P：我學(xué)習(xí)

Q：我數(shù)學(xué)不及格

R：我熱衷于玩撲克。如果我學(xué)習(xí)，那么我數(shù)學(xué)不會(huì)不及格：

P→┐Q如果我不熱衷于玩撲克，那么我將學(xué)習(xí):

┐R→P但我數(shù)學(xué)不及格:

Q因此我熱衷于玩撲克。

R即此題符號(hào)化為：(P→┐Q)∧(┐R→P)∧QR證：證法1：((P→┐Q)∧(┐R→P)∧Q)→R┐((┐P∨┐Q)∧(R∨P)∧Q)∨R(P∧Q)∨(┐R∧┐P)∨┐Q∨R((┐Q∨P)∧(┐Q∨Q))∨((R∨┐R)∧(R∨┐P))┐Q∨P∨R∨┐PT所以，論證有效。證法2：設(shè)(P→┐Q)∧(┐R→P)∧Q為T，那么因Q為T，(P→┐Q)為T，可得P為F，由(┐R→P)為T，得到R為T。故此題論證有效。解：P：6是偶數(shù)

Q：7被2除盡

R：5是素?cái)?shù)如果6是偶數(shù)，那么7被2除不盡

P→┐Q或5不是素?cái)?shù)，或7被2除盡

┐R∨Q5是素?cái)?shù)

R所以6是奇數(shù)

┐P即此題符號(hào)化為：〔P→┐Q〕∧〔┐R∨Q〕∧R┐P證：證法1：((P→┐Q)∧(┐R∨Q)∧R)→┐P┐((┐P∨┐Q)∧(┐R∨Q)∧R)∨┐P((P∧Q)∨(R∧┐Q)∨┐R)∨┐P((┐P∨P)∧(┐P∨Q))∨((┐R∨R)∧(┐R∨┐Q))(┐P∨Q)∨(┐R∨┐Q)T所以，論證有效，但實(shí)際上他不符合實(shí)際意義。證法2：(P→┐Q)∧(┐R∨Q)∧R為T，那么有R為T，且┐R∨Q為T，故Q為T，再由P→┐Q為T，得到┐P為T。證明：P(┐P→Q)

設(shè)P為T，那么┐P為F，故┐P→Q為T┐A∧B∧CC假定┐A∧B∧C為T，那么C為T。CA∨B∨┐B因?yàn)锳∨B∨┐B為永真，所以CA∨B∨┐B成立。┐(A∧B)┐A∨┐B

設(shè)┐(A∧B)為T，那么A∧B為F。假設(shè)A為T，B為F，那么┐A為F，┐B為T，故┐A∨┐B為T。假設(shè)A為F，B為T，那么┐A為T，┐B為F，故┐A∨┐B為T。假設(shè)A為F，B為F，那么┐A為T，┐B為T，故┐A∨┐B為T。命題得證。┐A→(B∨C)，D∨E，(D∨E)→┐AB∨C設(shè)┐A→(B∨C)，D∨E，(D∨E)→┐A為T，那么D∨E為T，(D∨E)→┐A為T，所以┐A為T又┐A→(B∨C)為T，所以B∨C為T。命題得證。(A∧B)→C，┐D，┐C∨D┐A∨┐B設(shè)(A∧B)→C，┐D，┐C∨D為T，那么┐D為T，┐C∨D為T，所以C為F又(A∧B)→C為T，所以A∧B為F，所以┐A∨┐B為T。命題得證?！?〕解：如果他有勇氣，他將得勝。P：他有勇氣

Q：他將得勝原命題：P→Q

逆反式：┐Q→┐P表示：如果他失敗了，說明他沒勇氣。僅當(dāng)他不累他將得勝。P：他不累

Q：他得勝原命題：Q→P

逆反式：┐P→┐Q表示：如果他累，他將失敗。習(xí)題

1-6(1)解：(P∧Q)∧┐P(P∧┐P)∧Q┐(T∨Q)(P→(Q∨┐R))∧┐P∧Q(┐P∨(Q∨┐R))∧┐P∧Q(┐P∧┓P∧Q)∨(Q∧┓P∧Q)∨(┓R∧┓P∧Q)

(┓P∧Q)∨(┓P∧Q)∨(┓P∧┓R∧Q)┓P∧Q┐(P∨┐Q)

┐P∧┐Q∧(┐R→P)┐P∧┐Q∧(R∨P)(┐P∧┐Q∧R)∨(┐P∧┐Q∧P)(┐P∧┐Q∧R)∨F┐P∧┐Q∧R┐(P∨Q∨┐R)(2)解：a)┐PP↓Pb)P∨Q┐(P↓Q)(P↓Q)↓(P↓Q)c)P∧Q┐P↓┐Q(P↓P)↓(Q↓Q)(3)解：P→(┐P→Q)

┐P∨(P∨Q)T┐P∨P

(┐P↑┐P)↑(P↑P)P↑(P↑P)P→(┐P→Q)

┐P∨(P∨Q)T┐P∨P

┐(┐P↓P)┐((P↓P)↓P)((P↓P)↓P)↓((P↓P)↓P)(4)解：

P↑Q┐(┐P↓┐Q)┐((P↓P)↓(Q↓Q))((P↓P)↓(Q↓Q))↓((P↓P)↓(Q↓Q))(5)證明：┐(B↑C)┐(┐B∨┐C)

┐B↓┐C┐(B↓C)┐(┐B∧┐C)┐B↑┐C(6)解：聯(lián)結(jié)詞“↑〞和“↓〞不滿足結(jié)合律。舉例如下：a)給出一組指派：P為T，Q為F，R為F，那么(P↑Q)↑R為T，P↑(Q↑R)為F故(P↑Q)↑RP↑(Q↑R).b)給出一組指派：P為T，Q為F，R為F，那么(P↓Q)↓R為T，P↓(Q↓R)為F故(P↓Q)↓RP↓(Q↓R).(7)證明：設(shè)變?cè)狿，Q，用連結(jié)詞,┐作用于P，Q得到：P，Q，┐P，┐Q，PQ，PP，QQ，QP。但PQQP，PPQQ，故實(shí)際有：P，Q，┐P，┐Q，PQ，PP〔T〕〔A〕用┐作用于〔A〕類，得到擴(kuò)大的公式類〔包括原公式類〕：P，Q，┐P，┐Q，┐〔PQ〕，T，F(xiàn)，PQ〔B〕用作用于〔A〕類，得到：PQ，P┐PF，P┐Q┐〔PQ〕，P〔PQ〕Q，P〔PP〕P，Q┐P┐〔PQ〕，Q┐QF，Q〔PQ〕P，QTQ,┐P┐QPQ，┐P〔PQ〕┐Q，┐PT┐P,┐Q〔PQ〕┐P，┐QT┐Q,〔PQ〕〔PQ〕PQ.因此，〔A〕類使用運(yùn)算后，仍在〔B〕類中。對(duì)〔B〕類使用┐運(yùn)算得：┐P，┐Q，P，Q，PQ，F(xiàn)，T，┐〔PQ〕，仍在〔B〕類中。對(duì)〔B〕類使用運(yùn)算得：PQ，P┐PF，P┐Q┐〔PQ〕，P┐〔PQ〕┐Q，PTP，PF┐P，P〔PQ〕Q，Q┐P┐〔PQ〕，Q┐QF，Q┐〔PQ〕┐P，QTQ,QF┐Q，Q〔PQ〕P，┐P┐QPQ，┐P┐〔PQ〕Q，┐PT┐P,┐PFP,┐P〔PQ〕┐Q，┐Q┐〔PQ〕P，┐QT┐Q,┐QT┐Q,┐Q〔PQ〕┐P，┐〔PQ〕T┐〔PQ〕，┐〔PQ〕FPQ，┐〔PQ〕〔PQ〕FTFF，T〔PQ〕PQF〔PQ〕┐〔PQ〕〔PQ〕〔PQ〕PQ.故由〔B〕類使用運(yùn)算后，結(jié)果仍在〔B〕中。∨由上證明：用,┐兩個(gè)連結(jié)詞，反復(fù)作用在兩個(gè)變?cè)墓街?，結(jié)果只能產(chǎn)生〔B〕類中的公式，總共僅八個(gè)不同的公式，故{,┐}不是功能完備的，更不能是最小聯(lián)結(jié)詞組?！拧拧乓炎C{,┐}不是最小聯(lián)結(jié)詞組，又因?yàn)镻Q┐〔PQ〕，故任何命題公式中的聯(lián)結(jié)詞，如僅用{,┐}表達(dá)，那么必可用{,┐}表達(dá)，其逆亦真。故{,┐}也必不是最小聯(lián)結(jié)詞組?！拧?8)證明{∨}，{∧}和{→}不是最小聯(lián)結(jié)詞組。證明：假設(shè){∨}，{∧}和{→}是最小聯(lián)結(jié)詞，那么┐P〔P∨P∨……〕┐P〔P∧P∧……〕┐PP→(P→(P→……)對(duì)所有命題變?cè)概蒚，那么等價(jià)式左邊為F，右邊為T，與等價(jià)表達(dá)式矛盾?！鷆所以{∨}，{∧}和{→}→c(9)證明{┐,→}和{┐,}是最小聯(lián)結(jié)詞組。證明：因?yàn)閧┐,∨}為最小聯(lián)結(jié)詞組，且P∨Q┐P→Q所以{┐,→}是功能完備的聯(lián)結(jié)詞組，又{┐},{→}都不是功能完備的聯(lián)結(jié)詞組?！鷆→c→c所以{┐,→c→c→c→c又因?yàn)镻→Q┐(PQ)，所以{┐,}是功能完備的聯(lián)結(jié)詞組，又{┐},{}→c所以{┐,}是最小聯(lián)結(jié)詞組。習(xí)題

1-7(1)

解：P∧(P→Q)

P∧(┐P∨Q)

(P∧┐P)∨(P∧Q)

P∧(P→Q)(P∨(┐Q∧Q))∧(┐P∨Q)(P∨┐Q)∧(P∨Q)∧(┐P∨Q)(2)

解：(┐P∧Q)→R

┐(┐P∧Q)∨R

P∨┐Q∨R

(P∧Q)∨(P∧┐Q)

∨(┐Q∧R)∨(┐Q∧┐R)∨(R∧P)∨(R∧┐P)

P→((Q∧R)→S)┐P∨(┐(Q∧R)∨S)

┐P∨┐Q∨┐R∨S

(┐P∧Q)∨(┐P∧┐Q)

∨(┐Q∧R)∨(┐Q∧┐R)∨(┐R∧S)∨(┐R∧┐S)∨(S∧P)∨(S∧┐P)

┐(P∨┐Q)∧(S→T)(┐P∧Q)∧(┐S∨T)(┐P∧Q∧┐S)∨(┐P∧Q∧T)(P→Q)→R┐(┐P∨Q)∨R(P∧┐Q)∨R

(P∨R)∧(┐Q∨R)

┐(P∧Q)∧(P∨Q)(┐P∨┐Q)∧(P∨Q)(┐P∧P)∨(┐P∧Q)∨(┐Q∧P)∨(┐Q∧Q)(┐P∧Q)∨(┐Q∧P)(3)解：P∨(┐P∧Q∧R)

(P∨┐P)∧(P∨Q)∧(P∨R)

(P∨Q)∧(P∨R)

┐(P→Q)∨(P∨Q)┐(┐P∨Q)∨(P∨Q)(P∧┐Q)∨(P∨Q)

(P∨P∨Q)∧(┐Q∨P∨Q)

┐(P→Q)┐(┐P∨Q)P∧┐Q(P∨Q)∧(P∨┐Q)∧(┐Q∨┐P)(P→Q)→R┐(┐P∨Q)∨R(P∧┐Q)∨R(P∨R)∧(┐Q∨R)(┐P∧Q)∨(P∧┐Q)(┐P∨P)∧(┐P∨┐Q)∧(Q∨P)∧(Q∨┐Q)(┐P∨┐Q)∧(Q∨P)(4)解：(┐P∨┐Q)→(P┐Q)┐(┐P∨┐Q)∨(P┐Q)(P∧Q)∨(P∧┐Q)∨(┐P∧Q)1，2，3P∨Q=0Q∧(P∨┐Q)(P∧Q)∨(Q∧┐Q)P∧Q=30，1，2(P∨Q)∧(P∨┐Q)∧(┐P∨Q)P∨(┐P→(Q∨(┐Q→R))P∨(P∨(Q∨(Q∨R))P∨Q∨R=01，2，3,4,5,6,7=(┐P∧┐Q∧R)∨(┐P∧Q∧┐R)∨(┐P∧Q∧R)∨(P∧┐Q∧┐R)∨(P∧┐Q∧R)∨(P∧Q∧┐R)

∨(P∧Q∧R)(P→(Q∧R))∧(┐P→(┐Q∧┐R))(┐P∨(Q∧R))∧(P∨(┐Q∧┐R))(P∧┐P)∨(P∧(Q∧R))∨((┐Q∧┐R)∧┐P)∨((┐Q∧┐R)∧(Q∧R))(P∧Q∧R)∨(┐P∧┐Q∧┐R)=0,71，2，3,4,5,6(P∨Q∨┐R)∧(P∨┐Q∨R)∧(P∨┐Q∨┐R)∧(┐P∨Q∨R)∧(┐P∨Q∨┐R)∧(┐P∨┐Q∨R)P→(P∧(Q→P)┐P∨(P∧(┐Q∨P)(┐P∨P)∧(┐P∨┐Q∨P)T∨(T∧┐Q)T0,1,2,3=(┐P∧┐Q)∨(┐P∧Q)∨(P∧┐Q)∨(P∧Q)(Q→P)∧(┐P∧Q)(┐Q∨P)∧┐P∧Q(┐Q∨P)∧┐(P∨┐Q)F0,1，2，3=(P∨Q)∧(P∨┐Q)∧(┐P∨Q)∧(┐P∨┐Q)(5)證明：(A→B)∧(A→C)(┐A∨B)∧(┐A∨C)A→(B∧C)┐A∨(B∧C)(┐A∨B)∧(┐A∨C)(A→B)→(A∧B)┐(┐A∨B)∨(A∧B)(A∧┐B)∨(A∧B)A∧(B∨┐B)A∧TA(┐A→B)∧(B→A)(A∨B)∧(┐B∨A)A∨(B∧┐B)A∨FAc)

A∧B∧(┐A∨┐B)((A∧┐A)∨(A∧┐B))∧BA∧B∧┐BF┐A∧┐B∧(A∨B)((┐A∧A)∨(┐A∧B))∧┐B┐A∧┐B∧BFd)

A∨(A→(A∧B)A∨┐A∨(A∧B)T┐A∨┐B∨(A∧B)┐(A∧B)∨(A∧B)T(6)解：AR↑(Q∧┐(R↓P)),那么A*R↓(Q∨┐(R↑P))AR↑(Q∧┐(R↓P))┐(R∧(Q∧(R∨P)))┐R∨┐Q∨┐(R∨P)┐(R∧Q)∨┐(R∨P)A*R↓(Q∨┐(R↑P))┐(R∨(Q∨(R∧P))┐R∧┐Q∧┐(R∧P)┐(R∨Q)∧┐(R∧P)(7)解：設(shè)A：A去出差。B：B去出差。C：C去出差。D：D去出差。假設(shè)A去那么C和D中要去一個(gè)。

A→(CD)B和C不能都去。

┐(B∧C)C去那么D要留下。

C→┐D按題意應(yīng)有：A→(CD)，┐(B∧C)，C→┐D必須同時(shí)成立。因?yàn)镃D(C∧┐D)∨(D∧┐C)故(A→(CD))∧┐(B∧C)∧(C→┐D)(┐A∨(C∧┐D)∨(D∧┐C))∧┐(B∧C)∧(┐C∨┐D)(┐A∨(C∧┐D)∨(D∧┐C))∧(┐B∨┐C)∧(┐C∨┐D)(┐A∨(C∧┐D)∨(D∧┐C))∧((┐B∧┐C)∨(┐B∧┐D)∨(┐C∧┐D)∨┐C)(┐A∧┐B∧┐C)∨(┐A∧┐B∧┐D)∨(┐A∧┐C∧┐D)∨(┐A∧┐C)∨(┐B∧┐C∧D)∨(┐C∧D∧┐B∧┐D)∨(┐C∧D∧┐C∧┐D)∨(┐C∧D∧┐C)∨(┐D∧C∧┐B∧┐C)∨(┐D∧C∧┐B∧┐D)∨(┐D∧C∧┐C∧┐D)∨(┐D∧C∧┐C)在上述的析取范式中，有些〔畫線的〕不符合題意，舍棄，得(┐A∧┐C)∨(┐B∧┐C∧D)∨〔┐C∧D〕∨(┐D∧C∧┐B)故分派的方法為：B∧D

,或D∧A,或C∧A。(8)

解：設(shè)P：A是第一。Q：B是第二。R：C是第二。S：D是第四。E：A是第二。

由題意得(PQ)∧(RS)∧(ES)((P∧┐Q)∨(┐P∧Q))∧((R∧┐S)∨(┐R∧S))∧((E∧┐S)∨(┐E∧S))((P∧┐Q∧R∧┐S)∨(P∧┐Q∧┐R∧S)∨(┐P∧Q∧R∧┐S)∨(┐P∧Q∧┐R∧S))∧((E∧┐S)∨(┐E∧S))

因?yàn)?/p>

(P∧┐Q∧┐R∧S)與(┐P∧Q∧R∧┐S)不合題意，所以原式可化為

((P∧┐Q∧R∧┐S)∨(┐P∧Q∧┐R∧S))∧((E∧┐S)∨(┐E∧S))(P∧┐Q∧R∧┐S∧E∧┐S)∨(P∧┐Q∧R∧┐S∧┐E∧S)∨(┐P∧Q∧┐R∧S∧E∧┐S)∨(┐P∧Q∧┐R∧S∧┐E∧S)(P∧┐Q∧R∧┐S∧E)∨(┐P∧Q∧┐R∧S∧┐E)因R與E矛盾，故┐P∧Q∧┐R∧S∧┐E為真，即A不是第一，B是第二，C不是第二，D為第四，A不是第二。于是得：A是第三

B是第二

C是第一

D是第四。習(xí)題1-8(1)證明：a)┐(P∧┐Q)，┐Q∨R，┐R┐P(1)┐R

P(2)┐Q∨R

P

(3)┐Q

(1)(2)T,I

(4)┐(P∧┐Q)

P(5)┐P∨Q

(4)T,E(6)┐P

(3)(5)T,Ib)J→(M∨N)，(H∨G)→J，H∨GM∨N(1)(H∨G)→J

P(2)(H∨G)

P(3)J

(1)(2)T,I(4)J→(M∨N)

P(5)M∨N

(3)(4)T,Ic)B∧C，(BC)→(H∨G)G∨H(1)B∧C

P

(2)B

(1)T,I

(3)C

(1)T,I

(4)B∨┐C

(2)T,I(5)C∨┐B

(3)T,I(6)C→B

(4)T,E(7)B→C

(5)T,E(8)BC

(6)(7)T,E(9)(BC)→(H∨G)

P

(10)H∨G

(8)(9)T,Id)P→Q，(┐Q∨R)∧┐R，┐(┐P∧S)┐S(1)(┐Q∨R)∧┐R

P(2)┐Q∨R

(1)T,I(3)┐R

(1)T,I(4)┐Q

(2)(3)T,I(5)P→Q

P(6)┐P

(4)(5)T,I(7)┐(┐P∧┐S)

P(8)P∨┐S

(7)T,E(9)┐S

(6)(8)T,I(2)證明：a)┐A∨B，C→┐BA→┐C(1)┐(A→┐C)

P

(2)A

(1)T,I(3)C

(1)T,I(4)┐A∨B

P(5)B

(2)(4)T,I(6)C→┐B

P(7)┐B

(3)(6)T,I(8)B∧┐B

矛盾。(5),(7)b)A→(B→C)，(C∧D)→E，┐F→(D∧┐E)A→(B→F)(1)┐(A→(B→F))

P(2)A

(1)T,I(3)┐(B→F)

(1)T,I(4)B

(3)T,I(5)┐F

(3)T,(6)A→(B→C)

P(7)B→C

(2)(6)T,I(8)C

(4)(7)T,I(9)┐F→(D∧┐E)

P(10)D∧┐E

(5)(9)T,I(11)D

(10)T,I(12)C∧D

(8)(11)T,I(13)(C∧D)→E

P(14)E

(12)(13)T,I(15)┐E

(10)T,I(16)E∧┐E

矛盾。(14),(15)c)A∨B→C∧D，D∨E→FA→F(1)┐(A→F)

P(2)A

(1)T,I(3)┐F

(1)T,I(4)A∨B

(2)T,I(5)(A∨B)→C∧D

P(6)C∧D

(4)(5)T,I(7)C

(6)T,I(8)D

(6)T,I(9)D∨E

(8)T,I(10)D∨E→F

P(11)F

(9)(10)T,I(12)F∧┐F

矛盾。(3),(11)d)A→(B∧C)，┐B∨D，(E→┐F)→┐D，B→(A∧┐E)B→E(1)┐(B→E)

P(2)B

(1)T,I(3)┐E

(1)T,I(4)┐B∨D

P(5)D

(2)(4)T,I(6)(E→┐F)→┐D

P(7)┐(E→┐F)

(5)(6)T,I(8)E

(7)T,I(9)E∧┐E

矛盾e)(A→B)∧(C→D)，(B→E)∧(D→F)，┐(E∧F)，A→C┐A(1)(A→B)∧(C→D)

P(2)A→B

(1)T,I(3)(B→E)∧(D→F)

P(4)B→E

(3)T,I(5)A→E

(2)(4)T,I(6)┐(E∧F)

P(7)┐E∨┐F

(6)T,E(8)E→┐F

(7)T,E(9)A→┐F

(5)(8)T,I(10)C→D

(1)T,I(11)D→F

(3)T,I(12)C→F

(10)(10)T,I(13)A→C

P(14)A→F

(13)(12)T,I(15)┐F→┐A

(14)T,E(16)A→┐A

(9)(15)T,I(17)┐A∨┐A

(16)T,E(18)┐A

(17)T,E證明：a)┐A∨B，C→┐BA→┐C(1)A

P(2)┐A∨B

P(3)B

(1)(2)T,I(4)C→┐B

P(5)┐C

(3)(4)T,I(6)A→┐C

CPb)A→(B→C)，(C∧D)→E，┐F→(D∧┐E)A→(B→F)(1)A

P

(2)A→(B→C)

P

(3)B→C

(1)(2)T,I(4)B

P

(5)C

(3)(4)T,I(6)(C∧D)→E

P

(7)C→(D→E)

(6)T,E(8)D→E

(5)(7)T,I(9)┐D∨E

(8)T,E(10)┐(D∧┐E)

(9)T,E(11)┐F→(D∧┐E)

P(12)F

(10)(11)T,I(13)B→F

CP(14)A→(B→F)

CPc)A∨B→C∧D，D∨E→FA→F(1)A

P(2)A∨B

(1)T,I(3)A∨B→C∨D

P(4)C∧D

(2)(3)T,I(5)D

(4)T,I(6)D∨E

(5)T,I(7)D∨E→F

P(8)F

(6)(7)T,I(9)A→F

CPd)A→(B∧C)，┐B∨D，(E→┐F)→┐D，B→(A∧┐E)B→E(1)B

P(附加前提)(2)┐B∨D

P(3)D(1)(2)T,I(4)(E→┐F)→┐D

P(5)┐(E→┐F)

(3)(4)T,I(6)E(5)T,I(7)B→E

CP(4)證明：R→┐Q，R∨S，S→┐Q，P→Q┐P(1)R→┐Q

P(2)R∨S

P(3)S→┐Q

P(4)┐Q

(1)(2)(3)T,I(5)P→Q

P(6)┐P

(4)(5)T,IS→┐Q，S∨R，┐R，┐PQP證法一：(1)S∨R

P

(2)┐R

P(3)S

(1)(2)T,I

(4)S→┐Q

P

(5)┐Q

(3)(4)T,I

(6)┐PQ

P(7)(┐P→Q)∧(Q→┐P)

(6)T,E(8)┐P→Q

(7)T,I

(9)P

(5)(8)T,I

證法二：〔反證法〕(1)┐P

P〔附加前提〕(2)┐PQ

P(3)〔┐P→Q〕∧〔Q→┐P〕(2)T，E(4)┐P→Q

(3)T,I(5)Q

(1)(4)T,I(6)S→┐Q

P(7)┐S

(5)(6)T,I(8)S∨R

P(9)R

(7)(8)T,I(10)┐R

P(11)┐R∧R

矛盾〔9〕〔10〕T，Ic)┐(P→Q)→┐(R∨S)，((Q→P)∨┐R)，RPQ(1)R

P(2)(Q→P)∨┐R

P(3)Q→P

(1)(2)T,I(4)┐(P→Q)→┐(R∨S)

P(5)(R∨S)→(P→Q)

(4)T,E(6)R∨S

(1)T,I(7)P→Q

(5)(6)(8)(P→Q)∧(Q→P)

(3)(7)T,I(9)PQ

(8)T,E(5)解：設(shè)P：我跑步。Q：我很疲勞。前提為：P→Q，┐Q(1)P→Q

P

(2)┐Q

P

(3)┐P

(1)(2)T,I結(jié)論為：┐P，我沒有跑步。設(shè)S：他犯了錯(cuò)誤。R：他神色慌張。前提為：S→R，R

因?yàn)椤睸→R〕∧R〔┐S∨R〕∧RR。故此題沒有確定的結(jié)論。

實(shí)際上，假設(shè)S→R為真，R為真,那么S可為真，S也可為假，故無有效結(jié)論。設(shè)P：我的程序通過。Q：我很快樂。R：陽光很好。

S：天很暖和?！舶淹砩鲜稽c(diǎn)理解為陽光不好〕前提為：P→Q，Q→R，┐R∧S

(1)P→Q

P

(2)Q→R

P

(3)P→R

(1)(2)T,I

(4)┐R∨S

P

(5)┐R

(4)T,I

(6)┐P

(3)(5)T,I結(jié)論為：┐P，我的程序沒有通過習(xí)題2-1,2-2解：設(shè)W〔x〕：x是工人。c：小張。那么有?W〔c〕設(shè)S〔x〕：x是田徑運(yùn)發(fā)動(dòng)。B〔x〕：x是球類運(yùn)發(fā)動(dòng)。h：他那么有S〔h〕B〔h〕c)設(shè)C〔x〕：x是聰明的。B〔x〕：x是美麗的。l：小莉。那么有C〔l〕B〔l〕d〕設(shè)O〔x〕：x是奇數(shù)。那么有O〔m〕?O〔2m〕。e)設(shè)R〔x〕：x是實(shí)數(shù)。Q〔x〕：x是有理數(shù)。那么有〔x〕〔Q〔x〕R〔x〕〕f)設(shè)R〔x〕：x是實(shí)數(shù)。Q〔x〕：x是有理數(shù)。那么有〔x〕〔R〔x〕Q〔x〕〕g)設(shè)R〔x〕：x是實(shí)數(shù)。Q〔x〕：x是有理數(shù)。那么有?〔x〕〔R〔x〕Q〔x〕〕h)設(shè)P〔x，y〕：直線x平行于直線yG〔x，y〕：直線x相交于直線y。那么有P〔A，B〕?G〔A，B〕解：設(shè)J(x)：x是教練員。L(x)：x是運(yùn)發(fā)動(dòng)。那么有〔x〕〔J〔x〕L〔x〕〕設(shè)S(x)：x是大學(xué)生。L(x)：x是運(yùn)發(fā)動(dòng)。那么有〔x〕〔L〔x〕S〔x〕〕設(shè)J(x)：x是教練員。O(x)：x是年老的。V〔x〕：x是健壯的。那么有〔x〕〔J〔x〕O〔x〕V〔x〕〕設(shè)O(x)：x是年老的。V〔x〕：x是健壯的。j：金教練那么有?O〔j〕?V〔j〕設(shè)L(x)：x是運(yùn)發(fā)動(dòng)。J(x)：x是教練員。那么?〔x〕〔L〔x〕J〔x〕〕此題亦可理解為：某些運(yùn)發(fā)動(dòng)不是教練。故〔x〕〔L〔x〕?J〔x〕〕設(shè)S〔x〕：x是大學(xué)生。L〔x〕：x是運(yùn)發(fā)動(dòng)。C〔x〕：x是國家選手。那么有〔x〕〔S〔x〕L〔x〕C〔x〕〕設(shè)C〔x〕：x是國家選手。V〔x〕：x是健壯的。那么有〔x〕〔C〔x〕V〔x〕〕或?〔x〕〔C〔x〕?V〔x〕〕設(shè)C〔x〕：x是國家選手。O〔x〕：x是老的。L〔x〕：x是運(yùn)發(fā)動(dòng)。那么有〔x〕〔O〔x〕C〔x〕L〔x〕〕i)設(shè)W〔x〕：x是女同志。H〔x〕：x是家庭婦女。C〔x〕：x是國家選手。那么有?〔x〕〔W〔x〕C〔x〕H〔x〕〕W〔x〕：x是女同志。J〔x〕：x是教練。C〔x〕：x是國家選手。那么有〔x〕〔W〔x〕J〔x〕C〔x〕〕L〔x〕：x是運(yùn)發(fā)動(dòng)。J〔y〕：y是教練。A(x,y)：x欽佩y。那么有〔x〕〔L〔x〕〔y〕〔J〔y〕A〔x，y〕〕〕設(shè)S〔x〕：x是大學(xué)生。L〔x〕：x是運(yùn)發(fā)動(dòng)。A(x,y)：x欽佩y。那么〔x〕〔S〔x〕〔y〕〔L〔y〕?A(x,y)〕〕習(xí)題2-3〔1〕解：a〕5是質(zhì)數(shù)。b〕2是偶數(shù)且2是質(zhì)數(shù)。c〕對(duì)所有的x，假設(shè)x能被2除盡，那么x是偶數(shù)。d〕存在x，x是偶數(shù)，且x能除盡6。〔即某些偶數(shù)能除盡6〕e〕對(duì)所有的x，假設(shè)x不是偶數(shù)，那么x不能被2除盡。f〕對(duì)所有的x，假設(shè)x是偶數(shù)，那么對(duì)所有的y，假設(shè)x能除盡y，那么y也是偶數(shù)。g〕對(duì)所有的x，假設(shè)x是質(zhì)數(shù)，那么存在y，y是偶數(shù)且x能除盡y〔即所有質(zhì)數(shù)能除盡某些偶數(shù)〕。h〕對(duì)所有的x，假設(shè)x是奇數(shù)，那么對(duì)所有y，y是質(zhì)數(shù)，那么x不能除盡y〔即任何奇數(shù)不能除盡任何質(zhì)數(shù)〕?！?〕解：〔x〕(y)((P(x)∧P(y)∧┐E(x,y)→(!z)(L(z)∧R(x,y,z)))或〔x〕(y)((P(x)∧P(y)∧┐E(x,y)→(z)(L(z)∧R(x,y,z)∧┐(u)(┐E(z,u)∧L(u)∧R(x,y,u))))〔3〕解：a)設(shè)N(x):x是有限個(gè)數(shù)的乘積。

z(y):y為0。P(x):x的乘積為零。F(y):y是乘積中的一個(gè)因子。那么有(x)((N(x)∧P(x)→(y)(F(y)∧z(y)))b)設(shè)R(x):x是實(shí)數(shù)。Q(x,y):y大于x。故

(x)(R(x)→(y)(Q(x,y)∧R(y)))c)R(x):x是實(shí)數(shù)。G(x,y):x大于y。那么(x)(y)(z)(R(x)∧R(y)∧R(z)∧G(x+y,x·z)〔4〕解：設(shè)G(x,y):x大于y。那么有(x)(y)(z)(G(y,x)∧G(0,z)→G(x·z,y·z))〔5〕解：設(shè)N(x):x是一個(gè)數(shù)。S(x,y):y是x的后繼數(shù)。E(x,y)：x=y.那么(x)(N(x)→(!y)(N(y)∧S(x,y)))或(x)(N(x)→(y)(N(y)∧S(x,y)∧┐(z)(┐E(y,z)∧N(z)∧S(x,z))))b)

┐(x)(N(x)∧S(x,1))c)

(x)(N(x)∧┐S(x,2)→(!y)(N(y)∧S(y,x)))或(x)(N(x)∧┐S(x,2)→(y)(N(y)∧S(y,x)∧┐(z)(┐E(y,z)∧N(z)∧S(z,x))))〔6〕解：設(shè)S(x):x是大學(xué)生。E(x):x是戴眼睛的。F(x):x是用功的。

R(x,y):x在看y。G(y):y是大的。

K(y):y是厚的。

J(y):y是巨著。

a:這本。

b:那位。那么有E(b)∧F(b)∧S(b)∧R(b,a)∧G(a)∧K(a)∧J(a)〔7〕解：設(shè)P(x,y):x在y連續(xù)。

Q(x,y):x>y。那么

P(f,a)((ε)(δ)(x)(Q(ε,0)→(Q(δ,0)∧Q(δ,|x-a|)→Q(ε,|f(x)-f(a)|))))習(xí)題2-4(1)解：a)x是約束變?cè)瑈是自由變?cè)?/p>

b)x是約束變?cè)?，P(x)∧Q(x)中的x受全稱量詞的約束，S(x)中的x受存在量詞的約束。

c)x，y都是約束變?cè)?P(x)中的x受的約束，R(x)中的x受的約束。

d)x，y是約束變?cè)瑉是自由變?cè)?2)

解：a)P(a)∧P(b)∧P(c)

b)R(a)∧R(b)∧R(c)∧S(a)∧S(b)∧S(c)

c)(P(a)→Q(a))∧(P(b)→Q(b))∧(P(c)→Q(c)

d)(┐P(a)∧┐P(b)∧┐P(c))∨(P(z)∧P(b)∧P(c))

e)(R(a)∧R(b)∧R(c))∧(S(a)∨S(b)∨S(c))解：a)(x)(P(x)∨Q(x))(P(1)∨Q(1))∧(P(2)∨Q(2))，但P(1)為T，Q(1)為F，P(2)為F，Q(2)為T,所以(x)(P(x)∨Q(x))(T∨F)∧(F∨T)T。b)(x)(P→Q(x))∨R(a)((P→Q(2))∧(P→Q(3))∧(P→Q(6)))∨R(a)因?yàn)镻為T，Q(2)為T，Q(3)為T，Q(6)為F，R(5)為F，所以(x)(P→Q(x))∨R(a)((T→T)∧(T→T)∧(T→F))∨FF(4)

解：a)(u)(v)(P(u，z)→Q(v))S(x，y)

b)(u)(P(u)→(R(u)∨Q(u))∧(v)R(v))→(z)S(x,z)(5)

解：a)((y)A(u，y)→(x)B(x，v))∧(x)(z)C(x，t，z)

b)((y)P(u，y)∧(z)Q(u，z))∨(x)R(x，t)習(xí)題2-5〔1〕解：a)

P(a,f(a))∧P(b,f(b))P(1,f(1))∧P(2,f(2))P(1,2)∧P(2,1)T∧FFb)

(x)(y)P(y,x)

(x)(P(1,x)∨P(2,x))(P(1,1)∨P(2,1))∧(P(1,2)∨P(2,2))(T∨F)∧(T∨F)Tc)

(x)(y)(P(x,y)→P(f(x),f(y)))(x)((P(x,1)→P(f(x),f(1)))∧(P(x,2)→P(f(x)f(2))))(P(1,1)→P(f(1),f(1)))∧(P(1,2)→P(f(1),f(2)))∧(P(2,1)→P(f(2),f(1)))∧(P(2,2)→P(f(2),f(2)))(P(1,1)→P(2,2))∧(P(1,2)→P(2,1))∧(P(2,1)→P(1,2))∧(P(2,2)→P(1,1))(T→F∧(T→F)∧(F→T)∧(F→T)F∧F∧T∧TF〔2〕解：a)(x)(P(x)→Q(f(x),a))(P(1)→Q(f(1),1))∧(P(2)→Q(f(2),1))(F→Q(2,1))∧(T→Q(1,1))(F→F)∧(T→T)Tb)(x)(P(f(x))∧Q(x,f(a))(P(f(1))∧Q(1,f(1)))∨(P(f(2))∧Q(2,f(1))

(T∧T)∨(F∧F)Tc)

(x)(P(x)∧Q(x,a))(P(1)∧Q(1,a))∨(P(2)∧Q(2,a))(P(1)∧Q(1,1))∨(P(2)∧Q(2,1))(F∧T)∨(T∧F)Fd)(x)(y)(P(x)∧Q(x,y))(x)(P(x)∧(y)Q(x,y))(x)(P(x)∧(Q(x,1)∨Q(x,2)))(P(1)∧(Q(1,1)∨Q(1,2)))∧(P(2)∧(Q(2,1)∨Q(2,2)))(F∧(T∨T))∧(T∧(F∨F))F

(3)舉例說明以下各蘊(yùn)含式。((x)(P(x)∧Q(a))(x)P(x)Q(a)(x)(P(x)Q(x)),(x)Q(x)P(a)(x)(P(x)Q(x)),(x)(Q(x)R(x))(x)(P(x)R(x))(x)(P(x)Q(x)),(x)P(x)(x)Q(x)(x)(P(x)Q(x)),(x)P(x)(x)Q(x)解：a〕因?yàn)?(x)(P(x)∧Q(a))(x)P(x)∨Q(a)故原式為(x)P(x)∨Q(a)(x)P(x)Q(a)設(shè)P〔x〕：x是大學(xué)生。Q〔x〕：x是運(yùn)發(fā)動(dòng)前提或者不存在x，x是大學(xué)生，或者a是運(yùn)發(fā)動(dòng)結(jié)論如果存在x是大學(xué)生，那么必有a是運(yùn)發(fā)動(dòng)。b)設(shè)P〔x〕：x是研究生。Q〔x〕：x是大學(xué)生。a：論域中的某人。前提：對(duì)論域中所有x，如果x不是研究生那么x是大學(xué)生。對(duì)論域中所有x，x不是大學(xué)生。結(jié)論：對(duì)論域中所有x都是研究生。故，對(duì)論域中某個(gè)a，必有結(jié)論a是研究生，即P〔a〕成立。c〕設(shè)P〔x〕：x是研究生。Q〔x〕：x曾讀過大學(xué)。R〔x〕：x曾讀過中學(xué)。前提對(duì)所有x，如果x是研究生，那么x曾讀過大學(xué)。對(duì)所有x，如果x曾讀過大學(xué)，那么x曾讀過中學(xué)。結(jié)論：對(duì)所有x，如果x是研究生，那么x曾讀過中學(xué)。d〕設(shè)P〔x〕：x是研究生。Q〔x〕：x是運(yùn)發(fā)動(dòng)。前提對(duì)所有x，或者x是研究生，或者x是運(yùn)發(fā)動(dòng)。對(duì)所有x，x不是研究生結(jié)論必存在x，x是運(yùn)發(fā)動(dòng)。e〕設(shè)P〔x〕：x是研究生。Q〔x〕：x是運(yùn)發(fā)動(dòng)。前提對(duì)所有x，或者x是研究生，或者x是運(yùn)發(fā)動(dòng)。對(duì)所有x，x不是研究生結(jié)論對(duì)所有x，x是運(yùn)發(fā)動(dòng)。〔4〕證明：(x)(A(x)→B(x))(x)(┐A(x)∨B(x))(x)┐A(x)∨(x)B(x)┐(x)A(x)∨(x)B(x)(x)A(x)→(x)B(x)〔5〕設(shè)論域D={a，b，c}，求證(x)A(x)∨(x)B(x)(x)(A(x)∨B(x))證明：因?yàn)檎撚駾={a，b，c}，所以(x)A(x)∨(x)B(x)(A(a)∧A(b)∧A(c))∨(B(a)∧B(b)∧B(c))(A(a)∨B(a))∧(A(a)∨B(b))∧(A(a)∨B(c))∧(A(b)∨B(a))∧(A(b)∨B(b))∧(A(b)∨B(c))∧(A(c)∨B(a))∧(A(c)∨B(b))∧(A(c)∨B(c))(A(a)∨B(a))∧(A(b)∨B(b))∧(A(c)∨B(c))(x)(A(x)∨B(x))所以(x)A(x)∨(x)B(x)(x)(A(x)∨B(x))〔6〕解：推證不正確，因?yàn)椹?x)(A(x)∧┐B(x))┐((x)A(x)∧(x)┐B(x))〔7〕求證(x)(y)(P(x)→Q(y))(x)P(x)→(y)Q(y)證明：(x)(y)(P(x)→Q(y))(x)(y)(┐P(x)∨Q(y))(x)┐P(x)∨(y)Q(y)┐(x)P(x)∨(y)Q(y)(x)P(x)→(y)Q(y)習(xí)題2-6〔1〕解：a)

(x)(P(x)→(y)Q(x,y))(x)(┐P(x)∨(y)Q(x,y))(x)(y)(┐P(x)∨Q(x,y))(x)(┐((y)P(x,y))→((z)Q(z)→R(x)))(x)((y)P(x,y)∨((z)Q(z)→R(x)))(x)((y)P(x,y)∨(┐(z)Q(z)∨R(x)))(x)((y)P(x,y)∨((z)┐Q(z)∨R(x)))(x)(y)(z)(P(x,y)∨┐Q(z)∨R(x))c)(x)(y)(((zP(x,y,z)∧(u)Q(x,u))→(v)Q(y,v))(x)(y)(┐((z)P(x,y,z)∧(u)Q(x,u))∨(v)Q(y,v))(x)(y)((z)┐P(x,y,z)∨(u)┐Q(x,u)∨(v)Q(y,v))(x)(y)((z)┐P(x,y,z)∨(u)┐Q(x,u)∨(v)Q(y,v))(x)(y)(z)(u)(v)(┐P(x,y,z)∨┐Q(x,u)∨Q(y,v))〔2〕解：a)

((x)P(x)∨(x)Q(x))→(x)(P(x)∨Q(x))┐((x)P(x)∨(x)Q(x))∨(x)(P(x)∨Q(x))┐(x)(P(x)∨Q(x))∨(x)(P(x)∨Q(x))T(x)(P(x)→(y)((z)Q(x,y)→┐(z)R(y,x)))(x)(┐P(x)∨(y)(Q(x,y)→┐R(y,x)))(x)(y)(┐P(x)∨┐Q(x,y)∨┐R(y,x))前束合取范式(x)(y)((P(x)∧Q(x,y)∧R(y,x))∨(P(x)∧Q(x,y)∧┐R(y,x))∨(P(x)∧┐Q(x,y)∧R(y,x))∨(┐P(x)∧Q(x,y)∧R(y,x))∨(┐P(x)∧┐Q(x,y)∧R(y,x))∨((P(x)∧┐Q(x,y)∧┐R(y,x))∨(┐P(x)∧Q(x,y)∧┐R(y,x)))前束析取范式(x)P(x)→(x)((z)Q(x,z)∨(z)R(x,y,z))┐(x)P(x)∨(x)((z)Q(x,z)∨(z)R(x,y,z))(x)┐P(x)∨(x)((z)Q(x,z)∨(u)R(x,y,u))(x)(┐P(x)∨(z)Q(x,z)∨(u)R(x,y,u))(x)(z)(u)(┐P(x)∨Q(x,z)∨R(x,y,u))前束合取范式(x)(z)(u)((P(x)∧Q(x,z)∧R(x,y,u))∨(P(x)∧Q(x,z)∧┐R(x,y,u))∨(P(x)∧┐Q(x,z)∧R(x,y,u))∨(P(x)∧┐Q(x,z)∧┐R(x,y,u))∨(┐P(x)∧Q(x,z)∧┐R(x,y,u))∨(┐P(x)∧┐Q(x,z)∧R(x,y,u))∨(┐P(x)∧┐Q(x,z)∧┐R(x,y,u)))前束析取范式d)(x)(P(x)→Q(x,y))→((y)P(y)∧(z)Q(y,z))┐(x)(┐P(x)∨Q(x,y))∨((y)P(y)∧(z)Q(y,z))(x)(P(x)∧┐Q(x,y))∨((u)P(u)∧(z)Q(y,z))(x)(u)(z)((P(x)∧┐Q(x,y))∨(P(u)∧Q(y,z)))前束析取范式(x)(u)(z)((P(x)∨P(u))∧(P(x)∨Q(y,z))∧(┐Q(x,y)∨P(u))∧(┐Q(x,y)∨Q(y,z)))前束合取范式習(xí)題2-7證明：a)

①(x)(┐A(x)→B(x))P②┐A(u)→B(u)US①③(x)┐B(x)P④┐B(u)US③⑤A(u)∨B(u)T②E⑥A(u)T④⑤I⑦(x)A(x)EG⑥b)

①┐(x)(A(x)→B(x))P〔附加前提〕②(x)┐(A(x)→B(x))T①E③┐(A(c)→B(c))ES②④A(c)T③I⑤┐B(c)T③I⑥(x)A(x)EG④⑦(x)A(x)→(x)B(x)P⑧(x)B(x)T⑥⑦I⑨B(c)US⑧⑩B(c)∧┐B(c)T⑤⑨矛盾c〕①(x)(A(x)→B(x))P②A(u)→B(u)US①③(x)(C(x)→┐B(x))P④C(u)→┐B(u)US③⑤┐B(u)→┐A(u)T②E⑥C(u)→┐A(u)T④⑤I⑦(x)(C(x)→┐A(x))UG⑥d)

(x)(A(x)∨B(x)),(x)(B(x)→┐C(x)),(x)C(x)(x)A(x)①(x)(B(x)→┐C(x))P②B(u)→┐C(u)US①③(x)C(x)P④C(u)US③⑤┐B(u)T②④I⑥

(x)(A(x)∨B(x))P⑦A(u)∨B(u)US⑧A(u)T⑤⑦I⑨(x)A(x)UG⑧(2)

證明：a)①(x)P(x)P〔附加前提〕②P(u)US①③(x)(P(x)→Q(x))P④P(u)→Q(u)US③⑤Q(u)T②④I⑥(x)Q(x)UG⑤⑦(x)P(x)→(x)Q(x)CPb)因?yàn)?x)P(x)∨(x)Q(x)┐(x)P(x)→(x)Q(x)故此題就是推證(x)(P(x)∨Q(x))┐(x)P(x)→(x)Q(x)①┐(x)P(x)P〔附加前提〕②(x)┐P(x)T①E③┐P(c)ES②④(x)(P(x)∨Q(x))P⑤P(c)∨Q(c)ES④⑥Q(c)T③⑤I⑦(x)Q(x)EG⑥⑧┐(x)P(x)→(x)Q(x)CP(3)解：a)設(shè)R〔x〕：x是實(shí)數(shù)。Q〔x〕：x是有理數(shù)。I〔x〕：x是整數(shù)。此題符號(hào)化為：(x)(Q(x)→R(x))∧(x)(Q(x)∧I(x))(x)(R(x)∧I(x))①(x)(Q(x)∧I(x))P②Q(c)∧I(c)ES①③(x)(Q(x)→R(x))P④Q(c)→R(c)US③⑤Q(c)T②I⑥

R(c)T④⑤I⑦I(c)T②I⑧R(c)∧I(c)T⑥⑦I⑨(x)(R(x)∧I(x))EG⑧b)設(shè)P〔x〕：x喜歡步行。Q〔x〕：x喜歡乘汽車。R〔x〕：x喜歡騎自行車此題符號(hào)化為：(x)(P(x)→┐Q(x)),(x)(Q(x)∨R(x)),(x)┐R(x)(x)┐P(x)①(x)┐R(x)P②┐R(c)ES①③(x)(Q(x)∨R(x))P④Q(c)∨R(c)US③⑤Q(c)T②④I⑥

(x)(P(x)→┐Q(x))P⑦P(c)→┐Q(c)US⑥⑧┐P(c)T⑤⑦I