※ [本文轉錄自 heavengate 信箱]
作者: Lester.bbs@maple.fo.ntu.edu.tw
標題: 邏輯第四次作業參考答案之二
時間: Wed May 20 00:29:09 1998
作者: Tonylin (跟著森林成長) 看板: NTUFS
標題: 邏輯第四次作業參考答案之二
時間: Tue May 19 14:03:47 1998
2.
<5-b>
開口朝右的u以大寫E代表!!!!!!
交集符號'v'以小寫v代表!!!!!!!
pq (p≡～q), ～(pE～q), (pE(pvq))
TT [F] F [T] F F [T] T
TF [T] T [F] T T [F] T
FT [T] F [F] T F [T] T
FF [F] T [F] T T [T] F
(2)(1) (3) (2)(1 (2) (1) =>不一致。
<8-b>
開口朝右的u以大寫E代表!!!!!!
交集符號'v'以小寫v代表!!!!!!!
p=>郵資將漲, q=>郵政工作者減少, r=>他們薪水增加。
pqr (～q·r) Ep, r≡q, (rv～q)Ep
TTT F F [T] [T] T F [T]
TTF F F [T] [F] F F [T]
TFT T T [T] [F] F F [T]
TFF T F [T] [T] T T [T]
FTT F F [T] [T] T F [F]
FTF F F [T] [F] F F [T]
FFT T T [F] [F] T T [F]
FFF T F [T] [T] T T [F]
(1)(2)(3) (2) (1)(3)
=>一、四列皆為T=>一致。
3.
<6-b>
開口朝右的u以大寫E代表!!!!!!
交集符號'v'以小寫v代表!!!!!!!
(BEA), (CEB),～A /∴～C
(1.) (BEA) Pr.
(2.) (CEB) Pr.
(3.) ～A Pr.
(4.) ～B M.T. 1,3
(5.) ～C M.T. 2,4
<7-g>->有爭議
開口朝右的u以大寫E代表!!!!!!
交集符號'v'以小寫v代表!!!!!!!
(AvB)E(CvD), (CEW)·(DE～A), A·～W /∴～(CvD)
(1.) (AvB)E(CvD) Pr.
(2.) (CEW)·(DE～A) Pr.
(3.) A·～W Pr.
(4.) A Simpl.3
(5.) ～W Simpl.3
(6.) (AvB) Add.4
(7.) (CvD) M.P.1,6
(8.) (CEW) Simpl.2
(9.) ～C M.T.5,8
(10.) (DE～A) Simpl.2
(11.)～D M.T.4,10
(12.)～C·～D Conj.9,11
(13.)～(CvD) DeM.12 /∴～(CvD)
4.<5-d>
開口朝右的u以大寫E代表!!!!!!
交集符號'v'以小寫v代表!!!!!!!
～C≡A, (F·H)v～C, ～(AvB) /∴F·～B
(1.) ～C≡A Pr.
(2.) (F·H) v～C Pr.
(3.) ～(AvB) Pr.
(4.) ～A·～B DeM.3
(5.) ～B Simpl.4
(6.) ～A Simpl.4
(7.) (～CEA) ·(AE～C) B.E.1
(8.) ～CEA Simpl.7
(9.) C M.T.8
(10.) ～(F·H) E～C C.E.2
(11.) CE(F·H) Contrap.10
(12.) F·H M.P.9
(13.) F Simpl.12
(14.) F·～B Conj. 5,13/∴F·～B
<6-h>
開口朝右的u以大寫E代表!!!!!!
交集符號'v'以小寫v代表!!!!!!!
(AEB) E～(CED), ～(AvF) /∴～(DvF)
(1.) (AEB) E～(CED) Pr.
(2.) ～(AvF) Pr.
(3.) ～A·～F DeM.2
(4.) ～A Simpl.3
(5.) ～F Simpl.3
(6.) BU～A Add.4
(7.) ～BE～A C.E.6
(8.) AEB Contrap.7
(9.) ～(CED) M.P.8
(10.) ～(～CvD) C.E.9
(11.) C·～D DeM.10
(12.) ～D Simpl.11
(13.) ～D·～F Conj.5,12
(14.) ～(DvF) DeM.13/∴～(DvF)
5.
<5-a>
開口朝右的u以大寫E代表!!!!!!
交集符號'v'以小寫v代表!!!!!!!
A≡(～Bv(C·D)), ～(A≡(D·F)), Fv (C≡G) /∴AE(BEG)
(1.) A≡ (～Bv(C·D)) Pr.
(2.) ～(A≡ (D·F)) Pr.
(3.) Fv(C≡G) Pr.
(4.) ↑A Assp.(c.p)
(5.) ∣↑B Assp.(c.p)
(6.) ∣∣[AE(～Bv(C·D))] ·[(～Bv(C·D))EA] B.E.1
(7.) ∣∣AE(～Bv(C·D)) Simpl.6
(8.) ∣∣～Bv (C·D) M.P.4,7
(9.) ∣∣BE (C·D) C.E.8
(10.)∣∣C·D M.P.5,9
(11.)∣∣C Simpl.10
(12.)∣∣D Simpl.10
(13.)∣∣～[(AE(D·F)) · ((D·F) EA)] B.E.2
(14.)∣∣～(AE(D·F)) v～((D·F) EA) DeM.13
(15.)∣∣(AE(D·F)) E～((D·F) EA) C.E.14
(16.)∣∣↑AE(D·F) Assp(IP)
(17.)∣∣∣～((D·F) ·A) M.P.15,16
(18.)∣∣∣～(～(D·F)vA) C.E.17
(19.)∣∣∣～A·(D·F) DeM.18
(20.)∣∣∣～A Simpl.19
(21.)∣∣∣～A·A Conj.4,20
(22.)∣∣ ～(AE(D·F)) IP16~21
(23.)∣∣ ～(～Av(D·F)) C.E.22
(24.)∣∣ A·～(D·F) DeM.23
(25.)∣∣ ～(D·F) Simpl.4,24
(26.)∣∣ ～Dv～F DeM.25
(27.)∣∣ DE～F C.E.26
(28.)∣∣ ～F M.P.12,27
(29.)∣∣ ～FE(C≡G) C.E.3
(30.)∣∣ C≡G M.P.28,29
(31.)∣∣ (CEG) ·(GEC) B.E.30
(32.)∣∣ CEG Simpl.31
(33.)∣∣ G M.P.11,32
(34.)∣ BEG (CP)5~33
(35.) AE(BEG) (CP)4~34 /∴AE (BEG)
<7-b>
開口朝右的u以大寫E代表!!!!!!
交集符號'v'以小寫v代表!!!!!!!
(X·Y)v(～A·～Y),X E(Yv～B)/∴XEY ->X Y A B
F [T] T T T T[T]FT T F T F F F
->以真值表證明其無效。
6.
交集符號'v'以小寫v代表!!!!!!!
設「N」為某一語句連號，其定義如下:
PNQ ～(PN～Q), (甲) ～PEQ, (乙)Pv～Q, (丙) ～P·～Q
TFT [T] FF F[T] [T]F F [F]F
TFF [T] FT F[T] [T]T F [F]T
FFT [F] TF T[T] [F]F T [F]F
FTF [T] FT T[F] [T]T T [T]T
(3)(2)(1) (1)(2) (2)(1) (1) (2)(1)
=>和甲同值。
7.
開口朝右的u以大寫E代表!!!!!!
p->懂得作DNA比對。q->作DNA比對。r->警方無知。s->怠忽職守。
t->不敢面對結果，曲意掩飾真象。u->自欺欺人。w->對人難以交代。
pqrstuw ～pEr,(p·～q)Es,(q·t)Eu /∴[(p·～(p·～q))·～(q·t)]E～w
TTFTFTT F [T] F F [T] F [T] T T F F T T F [F]F
1 2 2 1 3 1 2 4 3 2 1 5 4 3 6 5
->從結論去討論得p,q,t，前提得r，前提二、三知s,u不受限。
->在使結論為假=>前提可全真，結論為假=>無效。
8.9.請自己做
--
我聽見你的心房跳動
越靠近越大聲。
YOU MAKE ME FREE
--
--
※ 發信站: 森情款款(maple.fo.ntu.edu.tw)
◆ From: pc30.cc.ntu.edu
--
※ 發信站: 批踢踢實業坊(ptt.m8.ntu.edu.tw)
◆ From: 203.69.179.78