作者th11yh23 (脑沙拉手术)
看板logic
标题[请益] 关於论证证明的问题
时间Sun Jan 27 00:33:57 2013
问一个可能有点无聊的问题，
在做natural deduction等论证证明的时候，
之前逻辑老师说有些规则是可以省略不写的。
请问以下这些规则可以省略不写直接往下做证明吗?
1. Comm
p & q≡q & p
p or q ≡ q or p
2. DN
p ≡ ~~P
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.218.66
1F：推 t0444564:视你的证明要写给谁看. 01/27 00:54
2F：→ th11yh23:恩恩 如果正式考试还是写清楚好了 01/27 00:54
3F：推 t0444564:除非老师又说考试也可以省略之XD. 01/27 01:22