87-88邏輯期末測驗

1987-88
下學期

GEE 111AC 邏輯期末測驗

姓名(中文)________________
(英文)________________
(系別)______(年級)_________

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

1.真函邏輯是一種語句邏輯。( )
2.所有的語句邏輯都是真函邏輯。( )
3.真函邏輯所含的連詞都是真函連詞。( )
4.非真函邏輯所含的連詞都是非真函連詞。( )
5.在日常語言裏，有些語詞既可用作真函連詞，又可用作非真函連詞。( )
6.在一般的真函邏輯系統中，有的連詞既是真函連詞又是非真函連詞。( )
7.非真函連詞的特點是它具有歧義，沒有固定準確的內涵。( )
8.一元的真函連詞最多只有四個，一元的非真函連詞也是。( )
9.句外分析的邏輯是一種形式邏輯，句內分析的邏輯則不是。( )
10.含有非真函連詞的語句沒有真假值。( )
11.定言三段論有兩類，一是選言三段論，一是假言三段論。( )
12.兩個語句若不能同真，則它們一定不能同假。( )
13.不能同假的兩個語句，一定彼此互相矛盾。( )
14.在一個定言三段論中，結論的主詞稱為小詞。( )
15.在一個定言三段適中，大前提的主詞稱為大詞。( )
16.當主詞是空詞時，A語句涵蘊E語句。( )
17.當主詞是空詞時，A語句涵蘊I語句。( )
18.A語句和O語句不可同為真，但卻可同為假。( )
19.涵蘊關係是種不傳遞關係。( )
20.互相涵蘊是種非傳遞關係。( )

二. 填充題(在空者處填入適當字詞，如'真'，'假'，'不定'。每格1分)共10分

1.若((p‧q)v(q‧p))為真，則((～pvp)‧(～q‧(pv～～p)))為______，(p

(qv～p))為_______，((p≡q)v(～p

(～～q

r)))為_________，((p

q)≡(～p

～q))為______，((pvq)

(p‧q))為_______。

2.若(p

(qv～(r‧～p5)))為假，則((pvq)≡(r

p5))為_________，((pvq)

p5))為_______，(p≡(q≡p5))為_______，(((q

(～r

～q))≡q)為________，((～～qv～～p5)

(p160‧(q12≡p)))為________。

三.簡單問答題(答案力求簡潔明確，每題答案最好不超過50字，選做五題，每題8分)共40分。

1.試述真函邏輯系統(課堂上所學者)之「形成規則」。

2.二值邏輯的主要特色為何？

3.在什麼意義下，{～，v}或{～，‧}構成了真函邏輯系統所需的語句連詞，而不需要多加其他連詞？

4.為什麼我們不宜將「(A

唸成「A涵蘊(implies)B

？

5.證明下兩句話在真函用法中，彼此相等：
a)他去我就去，他不去我就不去。
b)他去若且唯若我去。

6.我們在學習的過程中經常需要借助權威，這與「訴諸權威的謬誤」有何根本區別？

7.舉例說明文未的歧義或混合所引起的謬誤。

8.在中文裏，舉出兩個詞，說明它們既可充當真函用法，又可充當非真函用法。

額外題 (答案優良可以加分，答案不良不會扣分。最多加5分。)
9.證明「真函適然(性)」是「適然(性)」的必然條件。

四.三段論證明題(使用范氏圖證明下列兩個三段論是否對確)共10分。
(1)有些飛鳥善於捕捉昆蟲，有些飛鳥喜歡夜間捕食；所以有些喜歡夜間捕食的善於捕捉昆蟲。

(2)懶人總是好吃惡勞，懶人皆非不求享受；所以不求享受者皆非好吃惡勞。

(1)

(1)是______的三段論

(2)

(2)是_______的三段論