19XX(X學期)
邏輯測驗
姓名(中文)__________
(英文)___________
一.是非題(是的寫'○'，不是的寫'X'；每題2分，答錯倒扣1分)20分
1.邏輯是研究人類實際思想過程的學科。( )
2.推理、推論和論證都是語文項目。( )
3.如果一個論證的前提和結論都為真，則該論證是對確的。( )
4.一個對確的論證可能含有假的前提和真的結論。( )
5.一個含有假結論的論證一定不是對確的。( )
6.一個對確的論證一定含有真的結論。( )
7.在真函邏輯裡，'∼'，'•'和'v'分別與中文之'非'，'和'和'或'完全同義。( )
8.真值表在真函邏輯裡為對確性提供了判定程序。( )
9.若A涵蘊B，則(A
B)是真函恆真的。( )
10.(AvB)和((A/A)/(B/B))等值。( )
二.填充題(每格2分)20分
1.一個論證是由_________和___________兩部份所構成的。
2.以甲語言討論乙語言，這時甲是乙的________語言，乙是甲的________語言。
3.在一個對確的論證裡，其結論若為假，則其前提不可能_________。
4.一個完構式若在所有的解釋之下皆為真，則該完構式是個_________，若全為假，則它是個___________。
5.二元的真函連詞共有_______個；K元的真函連詞共有_________個。
6.如果P
1
，P
2
，……P
k
涵蘊C，則由P
1
，P
2
，…，P
k
為前提，C為結論所構成的論證是個_______的論證。
三.利用真值表法證明下列諸項(每題5分) 10分
1.證明下列論證是對確的：
p
q
∼qvr
∼(p•∼q)
2.指出下列完構式中，那一個是真函恆真式：
(1)pv(∼q
p)
(2) ∼pv∼(q•∼p)
(答案寫在背面)
B)是真函恆真的。( )qp)