[原创]你能理解这个推理吗？

moranhuishou

下面引用由恶心的狐狸在 2009/03/25 04:17pm 发表的内容：
所以我说我无法驳倒你，因为你没有逻辑，而驳斥一个人是要用逻辑的。
不懂逻辑的人是无敌的，因为他不懂理啊.........
我不知道这两个“逻辑”形式上有什么不一致，请斧正

按照你的逻辑来一个：
所以我说我无法驳倒你，因为你不讲人话，而驳斥的那个是要讲人话的。
不讲人话的人是无敌的，因为他不是人.........

我不知道这两个“逻辑”形式上有什么不一致，请斧正

恶心的狐狸

推理的形式与命题本身内容没有任何关系，
(!(a&b))->(!a&!b)
!代表非，->为推，&代表与

moranhuishou

下面引用由恶心的狐狸在 2009/03/25 04:31pm 发表的内容：
推理的形式与命题本身内容没有任何关系，
(!(a&b))->(!a&!b)
!代表非，->为推，&代表与

我没学过这些，确实不大懂这些符号，所以你也不要拿这些来蒙我。
曹雪芹写红楼梦时也没有学过语法，但他同样可以非常纯熟地运用语法。

恶心的狐狸

我干嘛要蒙你？
如果不懂，我可以讲点浅显的。
比如x->!x
意思就是如果x是对的，就可以推出x的否是对的。
打个比方，按照这个逻辑，
通过小张是男人可以推出小张不是男人。
通过i是整数推出i不是整数。
这个道理你想想都能够想明白吧。
有那么难吗？
这种形式只是说明推理的错误，与具体命题没有任何关系

moranhuishou

再把这个逻辑简单表述如下：
若y=r,则必有1=0,
因为1不等于0,
所以y不等于r
就这么简单，有错吗？

恶心的狐狸

[这个贴子最后由恶心的狐狸在 2009/03/25 05:18pm 第 1 次编辑]

你上面的逻辑没有错。
你一楼的叙述中，推导出r';是有理数和y';=r';不能同时成立，从形式上也没有错。
但是你马上又推导出r';不是有理数那就是错

moranhuishou

下面引用由恶心的狐狸在 2009/03/25 05:14pm 发表的内容：
你上面的逻辑没有错。
你一楼的叙述中，推导出r';是有理数和y';=r';不能同时成立，从形式上也没有错。
但是你马上又推导出r';不是有理数那就是错

看看清楚，我什么时候推出“r';不是有理数”了？

moranhuishou

"所以r';为任意有理数是荒唐的"
上面是你引用我的话，你再看看，我的原话是这样的吗？

moranhuishou

无话可说了是吧。

也就是说，我可以理解为:
“恶心的狐狸”先生终于理解了这个推理。
你是本论坛第一个通过对这个推理理解本证明的。
所以，向你表示祝贺。
呱唧呱唧：）

moranhuishou