1988-11-29 邏輯期末測驗(A) 姓名(中文)_______________
(英文)_______________
(系別)_____年級______


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

1.真函邏輯是一種語句邏輯。( )
2.所有的語句邏輯都是真函邏輯。( )
3.真函邏輯所含的連詞都是真函連詞。( )
4.非真函邏輯所含的連詞都是非真函連詞。( )
5.在日常語言�堙A有些語詞既可用作真函連詞,又可用作非真函連詞。( )
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(∼∼qr)))為_________,((pq)≡(∼p∼q))為______,((pvq)(p•q))為_______。

2.若(p(qv∼(r•∼p5)))為假,則((pvq)≡(rp5))為_________,((pvq)(rp5))為_______,(p≡(q≡p5))為_______,(((qr)(∼r∼q))≡q)為________,((∼∼qv∼∼p5)(p160•(q12≡p)))為________。



三.簡單回答下列各題(每題8分)共24分

1.為什麼不宜將'(AB)'唸成'A涵蘊B'



2.證明真函適然(性)是適然(性)的必要條件。



3.繒出必要的范氏圖:

a)的內容和互相矛盾。



b)的內容和互相矛盾。



四.試寫出具有下列形式之三段論各一個:共6分

(a)〈AAA〉(1)             (b)〈EIO〉(3)


(c)〈IAI〉(4)



五.試用范氏圖解法檢查下列三段論是否對確:共20分

(a)凡拘小節者非大才
凡瀟灑的人是大才
∴凡瀟灑的人不拘小節

      

此一三段論_____________
(b)凡有情者皆有信
凡有情者非無義
∴凡無義者非有信

      

此一三段論_____________


(c)凡有智者皆有義
有有勇者無智(非有智)
∴有有勇者無義(非有義)

      

本三段論_____________
(d)凡絕頂聰明的人皆自命不凡
有的哲學家自命不凡
∴有的哲學家絕頂聰明

      

本三段論_____________