[問題]邏輯推論的正確符號方程式
是這樣的 我最近在拿實用邏輯 也就是推論
有一些功課是要判斷符號方程式 在設式的時候是否正確
請大家幫我判斷一下好嗎? 萬分感謝!!!
(=>代表 則)
( . 代表 and yet but however, also)
1. (A . ~B) v (~C . D) 正確?
2. ~(A v B) . (=>C v D) 不正確?
3. (A ~B) v (C≡D) 正確?
4. (A =>~B)≡~(~C =>D) 正確?
5. (A≡~B) . (C=>D v E) 正確?
6. ~A v ~ [(B=>D) . (E=>F)] 正確?
7. [(A. v B) =>(C v D)] v [ E =>( . F)] 不正確?
8. A(B=>C) v (~D . E) 這題我不確定
9. ~(A v ~B)=>[(C≡D). ~E] 不正確?
10. (A≡B. C)=>~(~D. ~E) 正確?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 75.85.53.42
→
10/19 02:34, , 1F
10/19 02:34, 1F
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 5 篇)：