1985-86邏輯期末測驗

1985-86 上學期

邏輯期末測驗

姓名（中文）________________
（英文）________________
（系別）__________（年級）______

一、是非題（是的寫‘○’，非的寫‘X’）每題２分

1.邏輯使用特殊的符號，因此它的語言叫做「形構化語言」。（　）
2.句外分析是種形式的方法，句內分析則不是。（　）
3.真函邏輯就是語句邏輯，反之亦然。（　）
4.真函邏輯系統裏，不含有非真函連詞。（　）
5.在中文裏所有的語句連詞都是真函連詞。（　）
6.在真函邏輯裏，有的連詞不是語句連詞。（　）
7.‘（A

B）’和「（A

B）

是同樣的東西。（　）
8.「（p

q）

和‘（p

q）’是同一個完構式。（　）
9.涵蘊關係是一種反射（自反）關係。（　）
10.涵蘊關係是一種對稱關係。（　）
11.涵蘊關係是一種傳遞關係。（　）
12.如果A涵蘊B，則A假B就假。（　）
13.真函恆真是恆真的必要條件。（　）
14.恆假是真函恆假的充分條件。（　）
15.真函適然是適然的充分條件。（　）
16.一個論証只可能具有一種邏輯形式。（　）
17.只有主賓分析才是句內分析。（　）
18.兩個述句若不能同真，則它們互相矛盾。（　）
19.兩個述句若不能同真，則它們不能同假。（　）
20.在一個三段論中，大前提的主詞稱為‘大詞’。（　）
21.若論域是個空集，則A述句和E述句皆為假。（　）
22.若論域不是個空集，則A述句和E述句皆為假。（　）
23.A述句和I述句不可能同為真。（　）
24.A述句和I述句不可能同為假。（　）
25.‘（p≡q）’和‘（p

q）’互相矛盾。（）
26.‘（p

q）’和‘（q

p）’不是互相矛盾。（　）
27.‘（p

q）’涵蘊‘（p

q）’。（　）
28.‘（p

q）’，‘（~q

~p）’和‘~（p≡q）’等值。（　）
29.‘~（pˇ~p）’涵蘊‘（（p

q）．（~qˇp））ˇ（p

q））’。（　）
30.‘（（pˇq）．（~rˇ~q））’和‘~（pˇ（q

r））’共同涵蘊‘（pˇ~p）’（　）

二、證明題（分別應用真值表法和范氏圖解法証明下列論証的對確性）每題8分。

1.不是風吹，就是草低；不然的話不會見牛羊。而今草未低，但卻見牛羊。所以風在吹。
2.假如風不吹，則要麼草不低，要麼不見牛羊。草雖低，但不見牛羊。所以風不吹。
3.凡拘小節者非大才，凡瀟灑的人是大才。所以凡瀟灑的人不拘小節。
4.凡鷹愛飛翔，有鳥不愛飛翔。所以有鳥不是鷹。
5.凡具有〈E, I, O〉樣態的三段式皆對確，有三段式不對確。所以有三段式不具有該樣態。（答案可寫在背頁）

三、額外題（可以不做，做得好可獲加分，最高加５分）

簡述為什麼我們不宜將‘（p

q）’念成「p 涵蘊q

。（可使用背面答卷）