88-89(下)邏輯期末測驗

1988-89下學期

邏輯期末測驗

姓名(中文)_______________
(英文)_______________
(系別)_______________

一.是非題(是的寫'○'，不是的寫'X'，每題2分，答錯倒扣2分)(共20分)

1.語句邏輯不只一種，但全都是真函邏輯。( )
2.非真函的邏輯系統不含有真函連詞。( )
3.可以用{‧，v，～}這集連詞加以界定的連詞都是真函連詞。( )
4.不可以用{‧，v，～}加以界定的連詞都是非真函連詞。( )
5.我們可以將'(p/q)'界定為'(～(p‧q))'。(○)
6.我們可以將'(p↓q)'界定為'(～(pvq))'。( )
7.一個論證如果對確，則它一定真函對確。( )
8.「～(A‧B)

涵蘊「(～Av～B)

( )
9.'「(AvB)

與 "(AvB)"意含相同，指謂不同。( )
10.真函恆真是恆真的必要條件。( )

二.簡略區別下列各對概念之不同：(共20分)

1.真函連詞 /非真函連詞

2.大前提 /小前提

3.語句邏輯 /真函邏輯

4.證實(verification) /檢證(confirmation)

三.簡單問答(每題5分) (共40分)

1.為什麼我們不宜將'(p

q)'讀成 'p涵蘊(implies)q'？

2.證明真函適然性是適然性的必要條件而不是充分條件。

3.在我們介紹的真函邏輯系統中，一共有六個語句連詞，即'～'，'‧'，'v'，'

'， '

'和'≡'，試問可不可以減少其中的'‧'或 'v'，但仍然保持系統表達上的完整？

4.我們可否在真函系統中，只保留'～'這個連詞，但仍然保有該系統在表達上的完整性？試言其理。

5.試以'/'分別界定'～'和'v'。

6.當我們要將下列三段論(A)的前提表達為范氏圖時，可否將它畫成下列的(B)？試加以簡單說明。

(A)有的人力求上進
有力求上進者終於成功
∴有的人終於成功

(B)

7.在傳統的邏輯裏，下列論證是否對確？試加說明。

凡有理性的皆愛思想
凡愛思想者皆頭腦清晰
∴有的有理性的頭腦清晰

8.舉出一個犯了「四詞謬誤」的三段論，並說明它為什麼犯了該謬誤。

四.使用真值表法檢查下列論證是否(真函)對確：(共10分)

(a)假如有時間，我要努力讀書，假如沒有時間，我也要努力讀書；(所以)不管有沒有時間，我都要努力讀書。

(b)假如風吹，則草低就見牛羊，草不低就不見牛羊，而今見了牛羊，所以風吹則草低。

五.使用范氏圖解法檢查下列三段論是否對確：(共10分)

(a)凡正直的人皆非巧言令色之徒，有多禮之士巧言令色；所以有正直的人不是多禮之士。

(b)凡有情者皆有義，凡有信者皆有義；所以凡有信者皆有情。