作者kakukiyora (宇姬)
看板logic
标题[请益] 证明时每一个前提都要用到吗
时间Wed Dec 9 18:50:40 2015
如题
今天做到一题题目
http://imgur.com/PtOo3VD
若用我下面的解法
那第二条前提就不会用到
请问这样的证明是有效的吗?
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 42.71.201.89
※ 文章网址: https://webptt.com/cn.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