哲學102 邏輯

33.學期考試試卷

姓名(中文)___________ (英文)___________ 系別：_______________

1.是非題(是的寫'○'，否則寫'X')，每題1分：

(1)一個論證若是對確的，則它的前提與結論皆為真。( )
(2)一個不對確的論證不會含有真的結論。( )
(3)在一個對確的論證裡，結論若為真，前提必全為真。( )
(4)一個論證的前提若互相矛盾，則該論證不會是對確的。( )
(5)不對確的論證不是含有假的結論就是含有假的前提。( )
(6)邏輯真理是種適然真理。( )
(7)用語言A討論語言B，則A稱為「專技語言」。(○)
(8)金星就是太白星。(○)
(9)(因此)'金星'就是'太白星'。( )
(10)'金星'與'太白星'同是一個星星之名。( )
(11)金星與太白星是同一顆星星。( )
(12)'金星'與'太白星'是同一個名字。( )
(13)不同意含的字詞一定指謂著不同的事物。( )
(14)指謂界說又叫做內涵界說。( )
(15)有的界說有真假值，有的界說則否。( )
(16)在PL裡的'•'與英文的'and'同義。( )
(17)一個語句若等值於另一語句，則它們彼此涵蘊。( )
(18)非排斥的'或'是真函的用法。( )
(19)排斥的'或'不是真函的用法。( )
(20)涵蘊是真函涵蘊的必要條件。( )
(21)假如一個語句為真，則它必然為真。( )
(22)一個述句若不是真的就是假的。( )
(23)一個述句若不是邏輯地真，它就是邏輯地假。
(24)如果A涵蘊B，則「∼A涵蘊「∼B。
(25)在一個QL完構式裡，一個謂詞變數可以既是自由變數又是約束變數。( )
(26)不同的謂詞不一定有不同的外範。( )
(27)沒有O元謂詞。( )
(28)謂詞也像語句一樣有真假可言。( )
(29)暗晦謂詞沒有外範。( )
(30)謂詞就是開放語句，開放語句就是謂詞。( )


(2)界說(以最簡潔的語句為之)每題5分

1.真函連詞


2.單詞


3.明晰謂詞


4.QL的解釋


5.謂詞的外範


6.本質性徵


7.脈絡界說


8.實指界說


9.模型


10.因形歧義



3.填空題(每格2分)：
1.將「(x)A界定為「∼(x)∼A，這是種___________界說。
2.記號學可以區分為三類：  語意學  ，___________，和___________。
3.某一關係若是_________，__________和__________的，則我們稱之為等價關係。
4.在'(x)((y)Fxy•Fy'中，一共有______個自由變數，__________個約束變數。
5.'F(1)(1)'是個________元謂詞，'Fxy'是個__________元謂詞。


4.簡單問答題(力求簡潔)

1.一個邏輯的理想語言與自然語言最大的差別何在？



2.寫出QL的形成規則。



3.說明邏輯字詞(logical word)的功能。



4.下列論證是否成立？何故？
  有人考試及格  
∴有人考試不及格



5.設UD={a，b，c}，試將'(x)(y)Fxy'與'(y)(x)Fxy'分別寫成不含量化詞的完構式。



6.若A與B均可滿足，則{A，B}是否也跟著可滿足？反之如何？



7.檢查'∼(y)(x)Fxy'在下列解釋下的真假值如何：

UD=正整數
F(1)(2)──(2)>(1)


8.證明下列完構式可滿足：'((x)(y)Fxy•(y)(x)Fxy)'。


9.舉出一個不可滿足的完構式，並證明它不可滿足。


10.依下列的解釋將 '(x)(FxGxy)'寫成一句流利的中文語句：

UD=人
F(1)──(1)是上邏輯課的學生
G(1)(2)──(1)祝(2)新年快樂
y→何先生


祝你新年快樂