1990-1991(上學期)
邏輯期末測驗 姓名(中文)___________
(英文)___________
(學號)___________


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

1.一個語句如果不是分析真句,則它是分析假句。( )
2.凡是分析真句皆是邏輯真句。( )
3.凡是邏輯假句不可能是適然真句。( )
4.有的分析真句可能不是邏輯真句。( )
5.不是分析假句的,一定是適然真句。( )
6.既非適然真句,又非邏輯真句的,一定是分析真句。( )
7.全稱語句無法加以驗證,也無法加以否證。( )
8.一個語句必須是真函的邏輯真句,它才會是邏輯真句。( )
9.凡是語句邏輯皆是真函邏輯。( )
10.凡是真函邏輯皆是語句邏輯。( )
11.n元真函連詞正好有個。( )
12.一元的非真函連詞共有四個。( )
13.在真函邏輯系統�堙A'•'和英文之'and'完全同義。( )
14.在真函邏輯中'v'是真函連詞,''則不是。( )
15.'((A/A)/(B/B))'和'(A•B)'等值。( )
16.'∼A'涵蘊'(A/A)'。( )
17.在'(p(qv∼p))'中有兩個主連詞。( )
18.一個論證如果是對確的,則它是真函地對確。( )
19.兩個邏輯真句互相涵蘊。( )
20.兩個邏輯假句互相涵蘊。( )


二.界定下列概念,每項5分(共20分)

21.大前提/小前提



22.四詞謬誤



23.定言三段論



24.矛盾




三.簡要回答/證明下列問題(任選五題,每題8分,共40分)

25.證明A涵蘊B若且唯若「(AB)是一恆真句。



26.把「(AB)唸成A涵蘊B會有什麼混淆?



27.舉出具有下列各性質之A,B和C:
a)A真函涵蘊B,但不真函涵蘊C
A:
B:
C:

b)A涵蘊B,但不真函涵蘊B
A:
B:

c)A與B涵蘊C,但不真函涵蘊C
A:
B:
C:

28.舉出具有下列性質的語句(完構式)A
a)A只涵蘊矛盾句
A:

b)A只被恆真句所涵蘊
A:

c)A不被恆真句所涵蘊,也不涵蘊恆假句
A:


29.使用真值表法,證明下列論證是否真函對確:

a)(pq)
(∼pvr)
∴(qv∼r)
b)(pq)
(qr)
    ∼r    
∴(∼pv∼q)



30.使用范氏圖法,證明下列論證是否對確:

a)凡有情者皆有義
有的人有情
∴有的人有義
b)凡貪小利者皆非大器
有的大器晚成
∴有晚成者非貪小利者