作者yrclamb (披著狼皮的羊)
看板NTU-Exam
標題[試題] 林照田 邏輯丙期中考 (93 上)
時間Fri Nov 12 14:32:47 2004
課程名稱︰邏輯丙
課程性質︰通識
課程教師︰林照田
開課系所︰哲學系
考試時間︰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
推 aeiouswallow:下面幾天好像有人op 12/29 23:18
→ yrclamb:XDrz 12/30 00:22
推 coronach:= = 12/30 00:28
推 xian:Xd 12/30 00:56
推 TTsnow:@@" 12/30 00:57
→ TTsnow:慢好多喔XD 12/30 00:57
推 werul:XD 12/30 01:01
→ werul:成功了 12/30 01:01
推 baof:是這兒唷 = = 12/30 01:03
推 werul:不知道 12/30 01:04
推 mileshbk29:呼 12/30 01:07
推 yangbear:難後咧@@ 12/30 01:16
推 avenehsu:蝦米，這裡是哪裡？ @@ 12/30 01:25
推 shiuwen:@@? 12/30 01:28
推 minminco:到此一遊(￣▽￣＃)﹏﹏ 12/30 01:37
推 yrclamb:哇咧你們在幹嘛 12/30 02:15
推 aeiouswallow:@@? 12/30 03:03
推 yrclamb:====================================================== 12/30 12:42
→ yrclamb:怎麼這麼多人推 推文都沒增加 ~"~|| 12/30 12:42
推 chuo:記一下 開跑時間 15分鐘 12/30 19:40