國立空中大學 97 學年度上學期期末考試題【副參】11 科目：趣味邏輯

國立空中大學 97 學年度上學期期末考試題【副參】11

科目：趣味邏輯

壹、選擇題 60％（20 題，每題 3％）

（c） 1. 「徵稅意指對一般百姓無理的財務剝削」這個定義是屬於 a. 精確化定義 b. 理論性定義 c. 說服性定義

（a） 2. 「兒子意指男性的後代」這個定義是屬於 a. 近類與種差的定義 b. 精確化定義 c. 說服 性定義

（b） 3. 「樹意指松、柏、橡、櫸等」這個定義是屬於 a.同義字定義 b.次類式定義 c.理論性定義

（a） 4. 「熱力意指物質之分子任意運動所產生的能量」這個定義是屬於 a. 理論性定義 b. 精確 化定義 c. 說服性定義

（a） 5. 以下哪一個定義是好定義 a. 「獅虎」意指獅子爸爸與老虎媽媽所生的小獸 b. 「建築」

意指冷凍了的音樂 c. 「窮人」意指沒有錢的人。

（a 或 c 皆可） 6. 以下哪一個定義不是好定義 a. 「形上學家」意指從事形上學研究的人 b. 「哲 學家」意指像柏拉圖、多瑪斯、康德、黑格爾等人 c. 「好孩子」意指不是壞孩子。

（a） 7. 「有些空大學生不是全修生」是屬於哪一種句型 a. O b. E c. I

（c） 8. 「有些空大畢業的學生已經得到博士學位」是屬於哪一種句型 a. A b. E c. I

（c） 9. 「有些空大學生是好學生」與「有些空大學生不是好學生」這兩個命題的關系是 a. 大反對 b. 矛盾 c. 次反對

（b） 10. 「所有空大學生都不是好學生」與「有些空大學生是好學生」這兩個命題的關系是 a. 大 反對 b. 矛盾 c. 次反對

（c） 11. 當語句「英雄過不了美人關」是假的，下列哪一個語句確定是真的 a. 「沒有英雄可以過 美人關」 b. 「有些英雄過不了美人關」 c. 「有些英雄過得了美人關」

（b） 12. 請問下列哪一種命題類型的主詞是周延的 a.有些 S 不是 P b. 所有 S 都是 P c. 有些 S 是 P

（b） 13. 請問「所有的狗都是動物」的主詞述詞是否周延 a. 主詞述詞都周延 b. 主詞周延、述詞 不周延 c. 主詞述詞都不周延

（a） 14. 判別傳統定言三段論有效性的規則之一：「結論否定，前提就須有一否定命題；反之亦然。」

以下哪個論證形式觸犯這個規則，可以認定它是無效論證 a. AOI b. AAA c. IAI

（b） 15. 以下哪一個命題是 I 命題 a. ∀x (Ix→～Nx) b. ∃x (Mx‧Ex) c. ∀x (Px→Mx)

（c） 16. 以下哪一個命題是 O 命題 a. ∀x (Px→Mx) b. ∀x (Ix→～Nx) c. ∃x (Mx‧～Ex)

（c） 17. 「世界上絕對有鬼的存在。因為歷史以來，沒有人能以確鑿的證據來證明鬼是不存在的。」

請問以上陳述犯了何種類型的謬誤 a. 循環論證 b. 偽因 c. 訴諸無知

（a） 18. 「何為輾轉？輾者轉之半也，轉者輾之全也。」請問以上陳述犯了何種類型的謬誤 a. 循環 論證 b. 偽因 c. 模稜兩可

（a） 19. 「這個人個子矮，所以器量小，我們不要和他做朋友。」請問以上陳述犯了何種類型的謬誤 a. 人身攻擊 b. 稻草人 c. 訴諸群眾

（c） 20. 「象是動物。因此，小象是小動物。」請問以上陳述犯了何種類型的謬誤 a. 壓縮論據 b. 循環論證 c. 模稜兩可

貳、填充題 15％（5 題，每題 3％）

當橫列的 AIEO 為真時，在下表的括弧內填入：真( T )或假( F )或真假不定( ? )。

A I E O

A T （2? ） F F

I T T F （5 ? ）

E （

1

O F ? （4 T ） T

參、翻譯題 15％（5 題，每題 3％）

1.沒有文盲是網路族。

Ix：x是文盲；Nx：x是網路族 ∀x (Ix→～Nx) 2. 並非所有商人都是唯利是圖。

Mx：x是商人；Ex：x是唯利是圖 ～∀x (Mx→Ex) ； ∃x (Mx‧～Ex) 3. 只有大學畢業才可報考研究所。

Gx：x是大學畢業生；Ex：x是可以報考研究所 ∀x (Ex→Gx) 4. 每個孩子都會孝順母親。

Cx：x孩子；Px：x會孝順母親 ∀x (Cx→Px) 5. 有些哲學系學生能認得每一位哲學教授。

Sx：x是哲學系學生；Px：x是哲學教授；K xy：x認得y ∃x [Sx‧∀y (Py→Kxy)]

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

DN DS QN DeM P ≣ ～～P

P V Q

～P

／∴ Q

∀x ＝～∃x ～ ～∀x＝∃x ～

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

～(P V Q) ≣ ～P‧～Q 題目：

1.

(～A‧～B) →(～～C‧～D) /∴(～A‧～B) →～ (～C∨D)

2.

∃x Fx ｖ ∃x Gx ∀x ～Fx /∴∃x Gx

解答：

1.

1. (～A‧～B) →(～～C‧～D) P 2. (～A‧～B) →～ (～C∨D) 1 DeM

2

1. ∃x Fx ｖ ∃x Gx P 2. ∀x ～Fx P 3. ～∃x ～～Fx 2 QN 4. ～∃x Fx 3 DN 5. ∃x Gx 1, 4 DS