國立空中大學 95 學年度上學期期末考試題【副題】
科目：趣味邏輯
壹、是非題 30％（10 題，每題 3％）
（○）1.所謂「同義字定義」，就是在定義項擺放著一個與被定義項包含相同屬性的字詞，以顯示被 定義項的意義。
（○）2.一個好的定義應盡量避免循環。
（× ）3.述詞邏輯的符號化翻譯，是以一個語句為一個翻譯單元。
（○）4.所謂定言命題的質，是指命題的肯定或否定而言。
（○）5.在有效的定言三段論中，在結論中周延的詞，在前提中必須周延。
（× ）6.「有些人學過邏輯。」這個語句。若 Px 界定為 x 是人，Lx 界定為 x 學過邏輯，那麼，這 個語句可翻譯為∃xPx ‧Lx。
（○）7.「只有大學畢業才可報考研究所。」這個語句。若 Gx 界定為 x 是大學畢業生，Ex 界定為 x 可以報考研究所，那麼，這個語句可翻譯為∀x (Ex→Gx)
（× ）8.「有些台中中心的學生能認得每一位空大教授。」這個語句。若 Cx 界定為 x 是台中中心的 學生，Px 界定為 x 是空大教授，K xy 界定為 x 認得 y
，
那麼，這個語句可翻譯為∃x [Cx‧∀y (Py‧Kxy)]
（○）9.由於推論形式上的無效，是為形式上的謬誤。而藉由論證內容的檢視來發現其不當之處，
是為非形式上的謬誤。
（× ）10.導師向被檢舉的同學訓問：「你有沒有把偷來的錢花掉呢？」這句話犯了「訴諸假權威」
的謬誤。
貳、選擇題 30％（10 題，每題 3％）
一、請判別下列定義為何種定義？（請參考下列定義名稱的代號選答）
A.規準性定義 B.理論性定義 C.說服性定義 D.列舉式定義 E.同義字定義 F.字源式定義 G.精確化定義 H.次類式定義
（H）1.「動物」意指老虎、獅子、海豚、老鷹、螞蟻等。 次類式定義
（D）2.「歌星」意指周杰倫、張惠妹、王立宏、孫燕姿等。 列舉式定義
（F）3.「明德」語出《尚書》〈堯典〉，意指內心中彰明的德性。 字源式定義
（A）4.「紅蘋果教授」意指那位在上課時不斷暗示學生送紅蘋果的教授 規準性定義
（C）5.「廣告」意指媒體上出現的一些巧妙騙人花招。 說服性定義 二、指出下列語句犯了何種類型的謬誤。（請參考下列謬誤名稱的代號選答）
A.合稱 B.分稱 C.循環論證 D.訴諸無知 E.錯誤類比 F.訴諸假權威 G.偽因 H.稻草人 I.人身攻擊 J.訴諸群眾 K.訴諸憐憫 L.訴諸暴力
（Ｊ）6.某宗教的傳教士說：「ｘｘ教是最好的宗教，因為全球有超過三分之二的人都信仰祂。」
訴諸群眾
（D）7.世界上根本就沒有鬼的存在。因為歷史以來，沒有人能以確鑿的證據來證明鬼是存在的。
訴諸無知
（B）8.鹽不僅是一般家庭必備的調味食品，也是人們不可或缺的電解質之一，它是無毒的。所以，
它的組成成份也是無毒的。 分稱
（L）9.女職員對他的老闆說：「我覺得你應該為我加薪了。你很清楚，你太太是我高中同學，我想你 不願意讓她知道你跟女秘書之間的曖昧關係吧！」訴諸暴力的謬誤
（F）10.李博士是化學權威，所以，他提出的教育改革方式也是正確的。訴諸假權威
參、填充題 30％（10 題，每題 3％）
1. 請指出「狗的視力不是很靈光。」屬於 A、E、I、O 哪一種句型？ （E）
2. 請指出「有些兒童樂園並不是安全的。」屬於 A、E、I、O 哪一種句型？ （O）
3. 請指出「所有的貓都是動物。」屬於 A、E、I、O 哪一種句型？ （A）
4. 請問「有些哲學家是科學家。」的主詞是否周延？（請回答「是」或「否」） （否）
5. 請問「凡是失意的政客總想要東山再起。」的主詞是否周延？（請回答「是」或「否」） （是）
6. 請問「有些人考上醫學系不是快樂的。」的述詞是否周延？（請回答「是」或「否」） （是）
7. 當語句「所有空大的學生都年滿 20 歲」是真的。那麼，「有些空大的學生年滿 20 歲」這個語句 的真假為何？（請答：真「T」、假「F」或不一定「？」） （T）
8. 當語句「所有空大的學生都年滿 20 歲」是假的。那麼，「有些空大的學生不是年滿 20 歲」這個 語句的真假為何？（請答：真「T」、假「F」或不一定「？」） （T）
9. 請問下圖一是范恩圖解 A、E、I、O 四種命題的哪一種命題？（I）
10. 請問下圖二是范恩圖解 A、E、I、O 四種命題的哪一種命題？（O）
圖一 X X
S P S P
圖二
肆、證明題 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
＝
∃x ～ 題目：一. ～A →～～B /∴～～Aｖ～～B
題目：
二. ∃x Fx ｖ ∃x Gx
∀x ～Fx /∴ ∃x Gx 解答：
1. ～A →～～B P 2. ～A→B 1DN 3. ～～AｖB 2Impl 4. ～～Aｖ～～B 3DN
解答：
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 #
