作者kakukiyora (宇姬)
看板logic
標題[請益] 證明時每一個前提都要用到嗎
時間Wed Dec 9 18:50:40 2015
如題
今天做到一題題目
http://imgur.com/PtOo3VD
若用我下面的解法
那第二條前提就不會用到
請問這樣的證明是有效的嗎?
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 42.71.201.89
※ 文章網址: https://webptt.com/m.aspx?n=bbs/logic/M.1449658243.A.F62.html
1F:→ tzudata: 不需要用到每一個證明。圖中的證明是有效的。 12/10 01:04
2F:→ tzudata: 不需要用到每一個前提。(筆誤 12/10 01:04
3F:→ qwop8765: 假設 有一個有效的證明 難道你多加一個前提後 12/10 01:50
4F:→ qwop8765: 本來的前提會無效? 12/10 01:50
5F:→ qwop8765: 修正 本來的"證明"會無效? 12/10 01:51
6F:推 xcycl: 還真的有邏輯系統沒有 weakening 多加前提不見得成立 01/07 01:00
7F:推 tzudata: x大說的是substructural logic吧。 01/07 03:20
8F:推 tzudata: 蠻妙的。 01/07 03:25
9F:推 xcycl: yep. 01/09 07:45
10F:推 zo3o: 不需要每個都用到(づ′・ω・)づ 03/02 09:06