[轉錄]邏輯第四次作業參考答案

[heavengate (金星是我的守護星)]

※ [本文轉錄自 heavengate 信箱]

作者: [e-mail]
標題: 邏輯第四次作業參考答案
時間: Wed May 20 00:29:06 1998

作者: Tonylin (跟著森林成長) 看板: NTUFS
標題: 邏輯第四次作業參考答案
時間: Tue May 19 13:30:49 1998

符號有些打不出來請斟酌參考
=====>=====>    開口朝右的u以大寫E代表!!!!!!!
                交集符號'v'以小寫v代表!!!!!!!
邏輯第四次習題參考答案-感謝志威幫忙提供答案。志威，謝謝你
1.交集符號'v'以小寫v代表!!!!!!!
<2-b>   (p·q) E～ r
        (q·r) E～ p
        ～(p v q)E～(q v r)
        /∴～(p·(～q·r))                      Ans:無效
 開口朝右的u以大寫E代表!!!!!!
交集符號'v'以小寫v代表!!!!!!!
pqr (p·q)E～r, (q·r)E～p, ～(p v q)E～(q v r) , /∴～(p·(～q·r))
TTT
TTF
TFT  F[T]F        F[T]F           FT[T]FT                [F]TTT
TFF  1[2]1        1[2]1           21[3]21                [4]312
FTT
FTF
FFT
FFF
->無效。
(一) 結論要為假，p-> T, q-> F, r-> T-> 一組=>測試為無效。

<2-e>
交集符號'v'以小寫v代表!!!!!!!
pqrs(～pv～q)≡～(r·s),q≡～(pvr),(～p·～r)E(～qv～s)/∴～p≡～(q·s)
TTTT          T                 F               T               T
TTTF          F                 F               T               F
TTFT          F                 F               T               T
TTFF          F                 F               T               F
TFTT          F                 T               T               F
TFTF      FTT T    T  F  F      T    F          T               F
TFFT          T                 T               T               F
TFFF          T                 T               T               F
FTTT          F                 F               T               F
FTTF          T                 F               T               T
FTFT          T                 T               F               F
FTFF          T                 T               T               T
FFTT          F                 T               T               T
FFTF          T                 T               T               T
FFFT          T                 F               T               T
FFFF          F                 F               T               T
(1) (～pv～q)≡～(r·s)=>(p·q)≡(r·s)
(2) q≡～(pvr)
(3) (～p·～r)E(～qv～s)=>(q·s)E(pvr)
(4) p≡(q·s)
=>無效。

<4-b>
開口朝右的u以大寫E代表!!!!!!
交集符號'v'以小寫v代表!!!!!!!
p->美國人繼續吃榖飼牛肉。q->很多殼出口。r->足夠供食未開發國家人民。
s->人口繼續暴增。t->大飢餓。u->世界性暴動。
pqrstu  pEq, qEr, (～rvs)Et, tEu/∴pEu
TTTTTF   T    T    T   [T]   [F]     F
TTTFTF   T    T    F   [T]   [F]     F
TTTFFF   T    T    F   [T]   [T]     F  <-無效
                  (1)  (2)  決定列

<4-d>
開口朝右的u以大寫E代表!!!!!!
交集符號'v'以小寫v代表!!!!!!!
p->增加石化工業。q->就業會增加。r->污染會增加。s->台灣的經濟將會強盛。
t->大學教授薪水增加。u->大學教授健康。
pqrstu     pE(q·r), (qvt)Es, ～(tv～r) E～u ,s≡u /∴pEt
TTTTFF    [T]   T      T  [T] T   F F   [T] T  [F]     F <-有效。
=>唯一推解(2)  (1)    (1) (2)(3) (2)(1) (4)(3) 決定列



















--
我聽見你的心房跳動
越靠近越大聲。
YOU MAKE ME FREE
                --

--
※ 發信站: 森情款款(maple.fo.ntu.edu.tw) 
◆ From: pc30.cc.ntu.edu

--
※ 發信站: 批踢踢實業坊(ptt.m8.ntu.edu.tw) 
◆ From: 203.69.179.78