Re: [理工] [離散]-中正96-資工
※ 原文恕刪。
◎第九題：
題目有規定是 automata，所以 transition state 有 3^(3*2) = 3^6
因為題目只規定 start state，因此每一個 state 都可能為 accept state
故有 2^3 total => 3^6 * 2^3
◎第十題：
既然你已經寫了，那我用你寫的去推。
遇到這種題目以你的當例子，若結論為 P → Q 則假設 P 對推回去。
故 現在假設 I(X) 為 true，Ex(-R(x) v M(x)) // E : for some
Ax(-I(x) v R(x)) // A : for all
則第二式等價於 Ax(R(x)) true => 第一式等價於 Ex(M(x)) true
所以命題正確。
希望有幫助到你^^
--
歡迎參觀 :)
我的露天拍賣： http://class.ruten.com.tw/user/index00.php?s=outdoorsell
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.57.78.231
※ 編輯: assassin88 來自: 61.57.78.231 (03/23 16:47)
推
03/23 18:16, , 1F
03/23 18:16, 1F
→
03/23 18:17, , 2F
03/23 18:17, 2F
→
03/23 18:19, , 3F
03/23 18:19, 3F
→
03/23 18:28, , 4F
03/23 18:28, 4F
推
03/23 18:31, , 5F
03/23 18:31, 5F
→
03/23 18:31, , 6F
03/23 18:31, 6F
→
03/23 18:32, , 7F
03/23 18:32, 7F
→
03/23 19:07, , 8F
03/23 19:07, 8F
→
03/23 19:08, , 9F
03/23 19:08, 9F
推
03/23 21:45, , 10F
03/23 21:45, 10F
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 2 之 4 篇)：