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若且唯若「(A
B)
是一恆真句。
26.把「(A
B)
唸成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)(p
q)
(∼pvr)
∴(qv∼r)
b)(p
q)
(q
r)
∼r
∴(∼pv∼q)
30.使用范氏圖法,證明下列論證是否對確:
a)凡有情者皆有義
有的人有情
∴有的人有義
b)凡貪小利者皆非大器
有的大器晚成
∴有晚成者非貪小利者