推 alibudaken:恩嗯..那這種題型有沒一定要寫"step+原因"這樣的形式阿 03/23 21:53
→ alibudaken:因為我看到的類似題都是寫成step+原因.. :( 03/23 21:53
※ 引述《assassin88 (Ace)》之銘言：
: ◎第九題：
: 題目有規定是 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
: 所以命題正確。
: 希望有幫助到你^^
我打上小黃的解答好了
第一句: 存在x屬於Q，x=7k,for some k屬於Z
第二句: 對於所有x,if x屬於Z，則 x 屬於 Q
第三句: 因此存在x屬於Z,x=7k,for some k屬於Z
第一句是說存在有有理數 x是7的倍數，但不代表x是由第二句的整數而來
故無法推得第3句
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.138.106.129