作者annielu (A&F Shopper)
看板W-Philosophy
标题[问题]逻辑推论的正确符号方程式
时间Fri Oct 19 01:12:34 2007
是这样的 我最近在拿实用逻辑 也就是推论
有一些功课是要判断符号方程式 在设式的时候是否正确
请大家帮我判断一下好吗? 万分感谢!!!
(=>代表 则)
( . 代表 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
1F：→ A1Yoshi:看不懂你的问题。要判断啥？合法与否？ 10/19 02:34