83-84上邏輯測驗

1983-84
上學期

邏輯測驗

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

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

1.邏輯所關心的是論證的前提和結論的真假問題。( )
2.假如一個語句為真，則它是必然地真。( )
3.假如一個語句必然為真，則它不可能為假。( )
4.有些語句必然為真，有些語句必然為假。( )
5.在一個對確的論證裏，前提如果全假，則結論必然跟著為假。( )
6.在一個對確的論證裏，結論如果為假，則前提跟著全為假。( )
7.對確的論證不可能含有全真的前提和假的結論。( )
8.不對確的論證一定含有真的前提和假的結論。( )
9.一個論證的前提如果互相矛盾，則該論證一定不對確。( )
10.有些對確的論證不是真確的。( )
11.有些真確的論證不對確。( )
12.有些論證雖然不是對確的，但卻是真確的。( )
13.有些論證雖然不是真確的，但卻是對確的。( )
14.不對確的論證一定含有假的前提。( )
15.不對確的論證一定含有假的結論。( )
16.不真確的論證也可能有全真的前提和真的結論。( )
17.不真確的論證不是不對確的，就是含有假的結論。( )
18.含有假結論的論證一定不真確。( )
19.甲語句若涵蘊乙語句，則乙語句不涵蘊甲語句。( )
20.邏輯使用形式的方法來研究論證的對錯。( )
21.一個論證只可能有一個邏輯形式。( )
22.真函邏輯就是語句邏輯，反之亦然。( )
23.真函邏輯系統裏不含有非真函連詞。( )
24.含有非真函連詞的語句沒有真假可言。( )
25.在日常語言裏，所有的連詞都是真函連詞。( )
26.在真函邏輯裏，有的連詞不是語句連詞。( )
27.'金星'是太白星之名。( )
28.'金星'不是'金星'之名。( )
29.'金星'與'太白星'是同一類行星。( )
30.有人愛金星，但卻不愛太白星。( )

二.填充題(在底下空格裏，適當地填入'真'、'假'或'不定')(每格2分，共30分)

1.若p為真，q為假，則((p≡q)‧r)為_________，(p

p)為_______，((q

p)vr)為_______。
2.若(p‧q)為真，則(p

r)為_______，(r

p)為_________。
3.若(p

q)為假，則((p‧q)vq)為________，((p‧q)vp)為________，(q

p)為________。
4.若(p

r)為真，而(r

p)為假，則(q

p)為___________，(p≡q)為________，(p≡r)為__________。
5.若((p≡q))vr)為真，而且～(rv(q

p))亦為真，則((p

q)‧(～p

～q))為________，((p‧q)vr)為_________，(pv(q≡r))為________，～(r

(q≡p))為_________。

三.例釋題(每題2分共20分)

A. 分別舉出具有下列邏輯性質的完構式或語句：

a)真函恆真________________(        )
b)真函恆假________________(        )
c)真函適然________________(        )
d)真，但非真函恆真________(        )
e)恆真，但非真函恆真______(        )

B.舉出具有下列關係的完構式A，B和C：

(a)A涵蘊B，但卻非真函涵蘊B
    A：________________
    B：________________

(b)A真函涵蘊B，也真函涵蘊C
    A：_______________
    B：_______________
    C：_______________

(c)A與B共同真函涵蘊C
    A：_______________
    B：_______________
    C：_______________

(d)A與B真函等值，且為C所真函涵蘊
    A：_______________
    B：_______________
    C：_______________

(e) A真函涵蘊任何語句
    A：__________________

四. 證明題(每題5分，共10分)

1.證明若A真函涵蘊B，則「A

是真函恆真。
2.證明使用'/'，我們可以界定「～A

，「(A‧B)

和「(AvB)

。(答案可以寫在背面)