課程名稱︰邏輯丙
課程性質︰通識
課程教師︰林照田
開課系所︰哲學系
考試時間︰2004/11/12 13:00 ~ 15:00
試題 :
一、定義： ( 8 P )
1. 語句 2. 論證 3. 有效的論證 4. 妥當的論證
二、分類： ( 8 P )
1. p → ～p
2. p → ( q → p )
3. ( p．～p ) → q
4. ( p v ～p ) → q
三、舉例： ( 20 P )
1. 舉一前提和結論為真，但無效的論証。
2. 舉一個有效但不妥當的論證。
四、真值表推論： ( 20 P )
(一) 1. p → q
2. q ／∴ p．q
(二) 1. ( p．q ) → r ／∴ p．( q → r )
五、自然演繹法推論： ( 30 P )
(一) 1. p → ( q → r )
2. r → s ／∴ p → ( q → s )
(二) 1. p → ( q v ～( r v s ) )
2. ～s → r ／∴ ～q → ～p
(三) 證明 IE 是多餘的
六、選言定式定理： ( 10 P )
(真值表略， f(p,q,r) 的真值順序如下 )
T T T T F F F T
七、波蘭式： ( 4 P )
( ～p．q ) → ( r v ～s )
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.244.175