**根據下列事實，能否確定甲、乙、丙、丁四名嫌疑人中，誰到過案發現場，誰未到過案發現場。寫出推導過程。
⑴ 只有甲未到現場，乙才未到現場。
⑵ 只要乙到過現場，丙就未到現場或者甲未到現場。
⑶ 如果丁未到過現場，那麼甲到過現場而丙也到過現場。
⑷ 只有甲未到過現場，丁才到過現場。
1p←qp
2q→rpp
3s→p∧rp
4p←sp
5p→q1交換律
6p→rp2、5假言連鎖
7p→s4交換律
8p→p∧r3、7假言連鎖
9p6、8歸謬推理
10rp9附加律
11s3、10否後式
答：丁到過現場，甲未到過現場。
（一）把下列推導序列中缺少的部分填上：
1 (1) (q→ r)∧(r→s前提(2) s前提
(3) r→s
(4) r
(5) q→r
(6) q
(7) r∧q
(8) s∧(r∧q)
(9) s∧(r∧q)
(10) (s∧r)∧q
2 (1) p∨q前提
(2) p→r前提
(3) t∧s前提
(4) u→r前提
(5) s→u前提
(6) s→u
(7) s→r
(8) s
(9) r
(10) p
(11) q
3 (1) p→t前提
(2) t前提
(3) p∨(q→r前提
(4) t→(r→s前提
(5) p
(6) q→r
(7) r→s
(8) q→s
4 (1) s→ (p∧r前提
(2) q→p前提
(3) r∨q前提
(4) s→t前提
(5) t前提
(6) s
(7) (p∧r)
(8) p∨r
(9) p→q
(10) r→q
(11) q
5 （1) (p→q)→q前提
(2) (p∧q)→q
(3) (p∧q)∨q
(4) (p∨q)∧(q∨q
(5) p∨q
6. (1) qs前提
(2) q∨r →p前提
(3) ps前提
（4） s∨r前提
(51)蘊涵逆蘊涵交換律
(64）蘊涵定義
(75) (6)假言連鎖
(87) 蘊涵定義
(92)(8)肯前式
(103)(9)肯否式
7. （1） p→q前提（2） (r∧s前提
（3） sp前提
（4） （q∧r前提
（52）德摩根律
（65)蘊涵定義
（74)德摩根律
（87)蘊涵定義
（91)(6)(8)假言連鎖
（103)蘊涵逆蘊涵交換律
（11） p9)(10)歸謬推理
8. （1） p→q前提（2） (r∧s0???????2 前提（3） sp前提
（4） （q∧r前提
（5假設前提
（61)(5)肯前式
（74)德摩根律
（86）(7)否肯式
（92)德摩根律
（108)（9）否肯式
（11）
1 (1) (q→ r)∧(r→s前提(2) s0?2 前提
(3) r→s1)分解式
(4) r2)(3)否後式
(5) q→r1)分解式
(6) q4)(5)否後式
(7) r∧q4)(6)合成式
(8) s∧(r∧q2)(7)合成式
(9) s∧(r∧q8)雙重否定律
(10) (s∧r)∧q9)結合律
2 (1) p∨q前提
(2) p→r前提
(3) t∧s前提
(4) u→r前提
(5) s→u前提
(6) s→u5) 雙重否定律
(7) s→r4)(6)假言連鎖
(8) s3)分解式
(9) r7)(8)肯前式
(10) p2)(9)否後式
(11) q1)(10)否肯式
3 (1) p→t前提
(2) t前提
(3) p∨(q→r前提
(4) t→(r→s前提
(5) p1)(2)否後式
(6) q→r3)(5)否肯式
(7) r→s2)(4)肯前式
定理證明例題
定理設t n 是乙個函式，t n n,則每乙個t n 時間的多帶圖靈機都和某乙個o t2 n 時間的單帶圖靈機等價 設t n 是乙個函式，t n n,則每乙個t n 時間的非確定型單帶圖靈機都與某乙個2 o t n 時間的確定型單帶圖靈機等價 定義 p是確定型單帶圖靈機在在多項式時間內可判定的語言類...
常用邏輯用語章末總結例題
第一章章末總結 知識點一四種命題間的關係 命題是能夠判斷真假 用文字或符號表述的語句 乙個命題與它的逆命題 否命題之間的關係是不確定的，與它的逆否命題的真假性相同，兩個命題是等價的 原命題的逆命題和否命題也是互為逆否命題 例1 判斷下列命題的真假 1 若x a b，則x b的逆命題與逆否命題 2 若...
形式邏輯課程心得體會
形式邏輯與語言表交際 課程心得 一直對邏輯學沒什麼概念，直到大三的時候，外國文學史老師比較常說起，也很推薦我們學生要去了解和學習邏輯學。從唐聖老師的 美學 藍國橋老師的 中西美學 到張文舉老師的 外國文學史 可以感受到老師們的思維邏輯很強，課也因此講得如此清晰 生動和有說服力。我想這和邏輯學應該有關...