作者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