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

[kakukiyora (宇姬)]

如題
今天做到一題題目

http://imgur.com/PtOo3VD

若用我下面的解法
那第二條前提就不會用到
請問這樣的證明是有效的嗎?

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 42.71.201.89
※ 文章網址: https://www.ptt.cc/bbs/logic/M.1449658243.A.F62.html
→ tzudata: 不需要用到每一個證明。圖中的證明是有效的。
→ tzudata: 不需要用到每一個前提。(筆誤
→ qwop8765: 假設 有一個有效的證明 難道你多加一個前提後
→ qwop8765: 本來的前提會無效?
→ qwop8765: 修正 本來的"證明"會無效?
推 xcycl: 還真的有邏輯系統沒有 weakening 多加前提不見得成立
推 tzudata: x大說的是substructural logic吧。
推 tzudata: 蠻妙的。
推 xcycl: yep.
推 zo3o: 不需要每個都用到(づ′・ω・）づ