22.第三次測驗(真函邏輯)
姓名____________
系別年級________
學院_____________
(45分)
1.是非題(是的寫'○'，不是的寫'X')每題一分。
(1)在TL裡，'∼'，'•'，和'v'正好分別是中文的'並非'，'而且'和'或者'的同義語。( )
(2)在TL裡，我們有真函連詞，也有非真函連詞。( )
(3)中文裡的連詞都是真函連詞。( )
(4)在日常語言裡，有些連詞既有真函的用法，又有非真函的用法。( )
(5)在TL中，有的完構式不含任何真函連詞。( )
(6)在TL中，有的完構式含有多於一個主連詞。( )
(7)在TL中，「∼A
可能含有多於十個記號。( )
(8)在TL中'p
q'是個含有五個記號的完構式。( )
(9)「A與'A'是沒有分別的。( )
(10)「(pvq)與 '(pvq)'沒有分別。( )
(11) '(pv∼(q•∼r))'一共有八個不同的解釋。( )
(12)真函恆真是恆真的必要條件。( )
(13)真函恆假是恆假的必要條件。( )
(14)真函適然是適然的必要條件。( )
(15)四元的真函連詞多於六萬個。( )
(16)在一個對確的論證裡，結論如果為假，則前提一定全為假。( )
(17)當'(pq)'為真時，'p'涵蘊著'q'。( )
(18)如果A是適然的，那麼「A•B也一定是適然的。( )
(19)如果A和B都是適然的，那麼「A•B一定是適然的。( )
(20)如果A和B都是適然的，那麼「AVB也一定是適然的。( )
(21)如果A是恆真的，而B是適然的，那麼「A•B一定是適然的。( )
(22)如果A是恆真的，那麼「AB也一定是恆真的。( )
(23)如果A是恆假的，那麼「AvB一定也是恆假的。( )
(25)如果A是恆假的，那麼「AB不可能為假。
(26)如果A是適然的，那麼「∼A也是適然的。( )
(27)一個完構式若不是恆真的，就是恆假的。( )
(28)若A為真，B為假，那麼「A•B是適然的。(所謂A為真是指A在某解釋下為真)。( )
(29)若A為假，B也為假，那麼「A v B,img src="mark.gif">是恆假的。( )
(30)若A是恆真或恆假，那麼「A•B也是恆真或恆假。( )
2.填充題(寫下't'(真)或'f'(假)或'？'(不能確定))每格一分。
(31)當'p'為真時， '(pvq)'為_______，'(∼pq)'為__________，'(p•∼p)'為_______， '(p•q)'為____________。
(32)當'p'為假時，'(pv∼p)'為_______，'(p•(∼qvr))'為_________，'(pv(∼q•q))'為__________。
(33)當'(pq)'為假時，'(pvq)•(rv∼r)'為_________，'(qp)'為_________，'(p /p)/q'為__________。'(p≡q)'為__________，'(p↓q)'為_________。
(34)當'(p•q)'為假時，'(pq)v(qp)'為_______，'(p(qp)'為______。
(35)當'(p•q)'為真時，'(pvq)'不可能為__________。