[請益] 關於論證證明的問題

看板logic作者th11yh23 (腦沙拉手術)時間11年前 (2013/01/27 00:34)推噓2(2推 0噓 1→)

留言3則, 2人參與討論串1/1

問一個可能有點無聊的問題，在做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

推

t0444564

01/27 00:54, , 1^F

01/27 00:54, 1^F

→

th11yh23

01/27 00:54, , 2^F

01/27 00:54, 2^F

推

t0444564

01/27 01:22, , 3^F

01/27 01:22, 3^F

‣ 返回看板[ logic ] 邏輯

‣ 更多 th11yh23 的文章

文章代碼(AID): #1H10LvC4 (logic)