Re: [問題]邏輯推論的正確符號方程式
※ 引述《annielu (A&F Shopper)》之銘言：
: 是這樣的 我最近在拿實用邏輯 也就是推論
: 有一些功課是要判斷符號方程式 在設式的時候是否正確
: 請大家幫我判斷一下好嗎? 萬分感謝!!!
: (=>代表 則)
: ( . 代表 and yet but however, also)
: 1. (A . ~B) v (~C . D) 正確?
: 2. ~(A v B) . (=>C v D) 不正確?
這邊不正確，因為這個 if then符號沒有前提
: 3. (A ~B) v (C≡D) 正確?
A跟B這兩個句子中間缺少連接詞
: 4. (A =>~B)≡~(~C =>D) 正確?
: 5. (A≡~B) . (C=>D v E) 正確?
你這邊如果沒有寫括號的話，
在一開始要寫清楚所有連接詞的強弱
當然一般我們assume連接詞強弱順序如下：
~, &, V, ->, <->
: 6. ~A v ~ [(B=>D) . (E=>F)] 正確?
: 7. [(A. v B) =>(C v D)] v [ E =>( . F)] 不正確?
這邊多了很多不必要的連接詞
(.F)這裡除了多了不必要的連接詞以外，還多了不必要的括號
: 8. A(B=>C) v (~D . E) 這題我不確定
A與 (B=>C)這兩個句子之間的連接詞呢?
: 9. ~(A v ~B)=>[(C≡D). ~E] 不正確?
這是正確的哦
: 10. (A≡B. C)=>~(~D. ~E) 正確?
括號咧？
你的前提如果沒有括號的話
我們通常會看成是等同於
A≡(B&C)
--
╮╥╮╥
╮║╮║ 。
╯╨╯╨ 。大家都要快快樂樂唷！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.171.55.175
推
10/21 01:17, , 1F
10/21 01:17, 1F
→
10/21 01:17, , 2F
10/21 01:17, 2F
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 5 之 5 篇)：