[請益] 證明時每一個前提都要用到嗎

看板logic作者 (宇姬)時間8年前 (2015/12/09 18:50), 編輯推噓5(5推 0噓 5→)
留言10則, 4人參與, 最新討論串1/1
如題 今天做到一題題目 http://imgur.com/PtOo3VD
若用我下面的解法 那第二條前提就不會用到 請問這樣的證明是有效的嗎? -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 42.71.201.89 ※ 文章網址: https://www.ptt.cc/bbs/logic/M.1449658243.A.F62.html
→
12/10 01:04, , 1F
不需要用到每一個證明。圖中的證明是有效的。
12/10 01:04, 1F
→
12/10 01:04, , 2F
不需要用到每一個前提。(筆誤
12/10 01:04, 2F
→
12/10 01:50, , 3F
假設 有一個有效的證明 難道你多加一個前提後
12/10 01:50, 3F
→
12/10 01:50, , 4F
本來的前提會無效?
12/10 01:50, 4F
→
12/10 01:51, , 5F
修正 本來的"證明"會無效?
12/10 01:51, 5F
推
01/07 01:00, , 6F
還真的有邏輯系統沒有 weakening 多加前提不見得成立
01/07 01:00, 6F
推
01/07 03:20, , 7F
x大說的是substructural logic吧。
01/07 03:20, 7F
推
01/07 03:25, , 8F
蠻妙的。
01/07 03:25, 8F
推
01/09 07:45, , 9F
yep.
01/09 07:45, 9F
推
03/02 09:06, , 10F
不需要每個都用到(づ′・ω・）づ
03/02 09:06, 10F
‣ 更多 kakukiyora 的文章
文章代碼(AID): #1MQ0U3zY (logic)