課程名稱︰邏輯 課程性質︰通識課程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