推 t0444564:視你的證明要寫給誰看. 01/27 00:54
→ th11yh23:恩恩 如果正式考試還是寫清楚好了 01/27 00:54
推 t0444564:除非老師又說考試也可以省略之XD. 01/27 01:22
問一個可能有點無聊的問題，
在做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