课程名称︰逻辑 课程性质︰通识课程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