邏輯考試

XXXX年科目考試
學科：哲學
科目編號：PHI 1310        科目名稱：邏輯
時間：二小時
(所有答案直接寫在試題所提供之空間)

一.是非題(是的答 '○'﹐不是的答 'X' ，每題2分，答錯們倒扣1分) 共50分

1.真函邏輯的語言是一種「大語言」(  )
2.三段邏輯的語言是一種「小語言」(  )
3.「形構化語言」是一種理想語言 (  )
4.日常語言都是形構化語言 (  )
5.真函邏輯語言裏不含非真函連詞 (  )
6.非真函邏輯語言裏不含真函連詞 (  )
7.語句邏輯不只一種，但全都是真函邏輯 (  )
8.真函邏輯是一種句外分析的邏輯 (  )
9.非真函邏輯都是句內分析的邏輯 (  )
10.在真函邏輯中，一元連詞最多有六個 (  )
11.在真函邏輯中，三元連詞一共有十六個 (  )
12.定言三段論是一種語句邏輯 (  )
13.在三段論中，寫在前面的前提是大前提 (  )
14.在三段的前提中，含有中詞的是中詞題 (  )
15.一個論證如果對確，它就真函對確 (  )
16.一個真函對確的論證不一定是對確的論證 (  )
17.出現在定言三段論的結論裏的詞，不是大詞就是小詞 (  )
18.主賓分析的邏輯不是一種句內邏輯 (  )
19.有些語句可同為真，但不可同為假 (  )
20.兩個語句若不能同為真，則一定同為假 (  )
21.若A涵蘊B，則B不涵蘊A (  )
22.┌ ～A┐和 '～p'在任何情況下皆不相等 (  )
23.恆真句只涵蘊恆真句 (  )
24.恆假句只涵蘊恆假句 (  )
25.適然句只涵蘊適然句 (  )

二.簡單問答題(選做五題，每題6分) 共30分

1. 為什麼不宜將┌(A

B) ┐(若A則B)唸成 'A涵蘊B'？

2. '因為'(如┌A固為B┐)是不是真函連詞？何故？

3.證明涵蘊關係是種非對稱關係。

4.證明真函適然性是適然性的必要條件。

5. '張三今年10歲'和 '張三今年20歲'，兩句之間的關係是否矛盾關係？

6.舉例說明證實(verification)和檢證(confirmation)之不同。兩者有何關聯？

三.證明題(每小題5分) 共20分
1.試用真值表法判定下列涵蘊(真函涵蘊)是否成立：
(a) '(～pvq)'真函涵蘊 '(p

～q)',

(b) '(p

q)'， '(～qvr)'， 'r'共同涵蘊 '(～p

～q)'

2.試用范氏圖解法，判斷下列三段論是否對確：
(a) 有的人聰明，而且凡聰明的人皆驕傲；所以有的人驕傲。

(b)凡拘小節者非大才，並且凡瀟灑的人是大才；所以凡瀟灑的人不拘小節。