國立空中大學 95 學年度上學期期末考試題【正題】 科目：趣味

國立空中大學 95 學年度上學期期末考試題【正題】

科目：趣味邏輯

壹、是非題 30％（10 題，每題 3％）

（○）1.引介一個理論來說明某一字詞的性質，稱之為「理論性定義」。

（○）2.一個好的定義應具備可還原的特性。

（× ）3.述詞邏輯的「量詞否定」規則（QN）與傳統定言命題之四角對當中的大反對關係，其邏輯意 義是一致的。

（○）4.不論何種定言命題，其質換命題與原命題具有相同的圖形，它們彼此間都是邏輯等值的。

（○）5.在有效的定言三段論中，結論否定，前提就須有一否定命題；反之亦然。

（○）6.「並非所有商人都是唯利是圖。」這個語句。若 Mx 界定為 x 是商人，Ex 界定為 x 是唯利是 圖，那麼，這個語句可翻譯為∃x (Mx‧～Ex)。

（× ）7.「所有的人都會死。」這個語句。若 Px 界定為 x 是人，Dx 界定為 x 會死，那麼，這個語句 可翻譯為∀x Px→Dx 。

（○ ）8.「有些人文學系學生能認得每一位空大教授。」這個語句。若 Sx 界定為 x 是人文學系學生，

Px 界定為 x 是空大教授，K xy 界定為 x 認得 y

，

（× ）9.如果以 A 當前提，且以 A 當結論，則此論證是形式上的謬誤。

（× ）10.早期巫術中，結草人來達到攻擊敵人的目的。人身攻擊的謬誤與這種巫術有異曲同工之妙。

貳、選擇題 30％（10 題，每題 3％）

一、請判別下列定義為何種定義？（請參考下列定義名稱的代號選答）

A.規準性定義 B.理論性定義 C.說服性定義 D.列舉式定義 E.同義字定義 F.字源式定義 G.精確化定義 H.次類式定義

（G ）1.「小汽車」意指排氣量低於 1500cc 的四輪機動車輛。 精確化定義

（E ）2.「謬誤」意指錯誤。 同義字定義

（B ）3.「熱力」意指物質之分子任意運動所產生的能量。 理論性定義

（A ）4.「獅虎」意指獅子爸爸與老虎媽媽所生的小獸。 規準性定義

（D ）5.「哲學家」意指像柏拉圖、多瑪斯、康德、黑格爾、羅素等人。 列舉式定義 二、請指出下列語句犯了何種類型的謬誤。（請參考下列謬誤名稱的代號選答）

A.合稱 B.分稱 C.循環論證 D.訴諸無知 E.錯誤類比 F.訴諸假權威 G.偽因 H.稻草人 I.人身攻擊 J.訴諸群眾 K.訴諸憐憫 L.訴諸暴力

（A）6.金龍棒球隊中的每一個隊員都是最好、最優秀的球員。所以，金龍棒球隊也必然是最好、最優秀 的棒球隊。合稱

（I）7.不用理會這個人的觀點，因為他的人格卑鄙。人身攻擊

（J）8.社會上絕大部分人都認為同性戀是不對的，所以同性戀是不對的。訴諸群眾

（G）9.推行性教育是導致當前性病病患增加的原因。所以，要防止性病的蔓延，就必須立刻停止性教育 的實施。偽因

（K）10.我們應該支持這位候選人，因為，他被對手無情打壓、抹黑得這麼可憐。訴諸憐憫

參、填充題 30％（10 題，每題 3％）

1.請指出「沒有人是永遠貧困的。」屬於 A、E、I、O 哪一種句型？ （E）

2.請指出「有些空大學生的口才是很好的。」屬於 A、E、I、O 哪一種句型？（I）

3.請指出「所有鮭魚都是回到生長的故鄉產卵的。」屬於 A、E、I、O 哪一種句型？（A）

4.請問「有些哲學家是科學家。」的述詞是否周延？（請回答「是」或「否」）（否）

5.請問「凡是失意的政客總想要東山再起。」的述詞是否周延？（請回答「是」或「否」）（否）

6.請問「有些人考上醫學系不是快樂的。」的主詞是否周延？（請回答「是」或「否」）（否）

7.當語句「所有空大的學生都是已婚的」是真的。那麼，「所有空大的學生都不是已婚的」這個語句的 真假為何？（請答：真「T」、假「F」或不一定「？」）（F）

8.當語句「所有空大的學生都是已婚的」是假的。那麼，「有些空大的學生是已婚的」這個語句的真假 為何？（請答：真「T」、假「F」或不一定「？」）（？）

9.請問下圖一是范恩圖解 A、E、I、O 四種命題的哪一種命題？（A）

10.請問下圖二是范恩圖解 A、E、I、O 四種命題的哪一種命題？（E）

圖一 圖二

肆、證明題 10％（2 題，每題 5％）

請依參考規則，用自然演譯法證明下列兩題 參考規則如下：

DN DS Impl

P ≣ ～～P

P V Q

～P

／∴ Q

P→Q ≣ ～P V Q

IE DeM QN

P→(Q→R) ≣ (P‧Q)→R ～(P‧Q) ≣ ～P V～Q

～(P V Q) ≣ ～P‧～Q

∀x ＝～∃x ～

～∀x

＝

題目：

一. [A‧(B‧C)] →～D /∴A →[(B‧C) →～D]

題目：

二. ～∀x (Fx→Hx) /∴ ∃x (Fx‧～Hx)

解答：

1.[A‧(B‧C)] →～D P 2.A →[(B‧C) →～D] 1IE

解答：

1. ～∀x (Fx→Hx) P 2. ∃x ～(Fx→Hx) 1 QN 3. ∃x ～(～Fx ｖ Hx) 2 Impl 4. ∃x (～～Fx‧～Hx) 3 DeM 5. ∃x (Fx‧～Hx) 4 DN #

Ｓ Ｐ S P