※ 引述《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