[試題] 99上 傅皓政 邏輯 期中考
課程名稱︰邏輯
課程性質︰通識課程A4領域
課程教師︰傅皓政
開課學院：文學院
開課系所︰哲學系
考試日期（年月日）︰2010.11.8
考試時限（分鐘）：110 (15:30~17:20)
是否需發放獎勵金：是
試題：
第一大題：請判斷下列各題的說法是否正確，並以O、X分別表示正確與不正確。(20%)
1.( ) 有些有效的演繹論證，有假的前提。
2.( ) 如果一個論證的所有前提和它的結論是不一致的，則該論證是無效的。
3.( ) 有些有效論證是所有前提和結論實際上都為假。
4.( ) 有些無效論證是真確的。
5.( ) 一個演繹論證的所有前提實際上為真，而且結論實際上為真，則它是真確。
6.( ) 真確論證的結論必定為真。
7.( ) 兩個實際為假的命題不可能是相互矛盾的。
8.( ) 如果一組命題的集合是邏輯一致的，則其所有命題都為假。
9.( ) 一個演繹論證所有的前提實際上為假，而且結論實際上為假，則它是無效的。
10.( )有些演繹論證是真確的。
第二大題：下列何者為完構式，何者為殘構式？(10%)
1. A→(┐P┐Q)
2. v(P≡Q)
3. G≡┐(D^H)
4. ┐(┐(┐S))
5. (((→P
6. (P^Q)v(Q^R)
7. (K≡P)┐≡P
8. ┐(┐Mv┐N)→((M^N)v(Q^N)))
9. (Sv┐Q)^N
10. C^(D^S)
第三大題：請用真值表決定下列命題為恆真句、矛盾句，或者偶真句。(25%)
1. (M→N)→(┐N→┐M)
2. Rv┐(H^R)
3. R^(┐Rv┐(W→R))
4. P≡(P^┐P)
5. ((┐Av(D≡B))^A)→(D→B)
第四大題：請用歸謬真值表決定下列各組命題是不是邏輯等值。(15%)
1. (A→B)≡C 與 A→(B≡C)
2. K→(┐L→K) 與 Sv┐S
3. ┐N≡M 與 (M^┐N)v(┐MvN)
第五大題：請用樹枝法證明下列論證是否為有效論證，若為無效論證請寫出其反例結構。
(30%)
1. (PvQ)
(Q→R)
┐R / P
2. ┐(┐C→S)^(┐P→A)
┐(C^P) / SvA
3. M→N
K→L
┐Lv┐N / ┐Kv┐M
4. (G→H)
(G≡H) / ┐H
5. K→Q
L→R
(QvR)→R
R / ┐(KvL)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.244.57
推
11/13 02:13, , 1F
11/13 02:13, 1F