這帖子挺好笑的,軒轅老兄們不翻牆能看到嗎? - 水泊轩辕


	墨叶


	★★★★ 节度留后虎豹骑

组别	虎豹骑
级别	大将军
功绩	359
帖子	23258
编号	97330
注册	2006-12-26
家族	轩辕少林寺

#61

发表于 2015-2-26 15:47 资料个人空间短消息只看该作者

QUOTE:

原帖由颖颖于 2015-2-26 15:40 发表
每份 50 元 => 1 份 50 元, 2 份 100 元, 3 份 150 元, ...
一份 50 元 => 1 份 50 元, 2 份 100 元, 3 份 150 元, ...
-------------------------
你告诉我以上两个哪个逻辑命题有错?

对于 pred ...

我只和你讨论“每份 /50 元”。
其他的问题找其他人讨论，免得你歪曲我的意思。

就问你,“每份 /50 元”=“每份50 元”?

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#62

发表于 2015-2-26 15:47 资料短消息只看该作者

首先，主贴是每份，不是1份，用你这种方法来解释，只能证明你的中文水平，更看出你的数学水平，哪个数学老师教你数学解题，分子用中文来写？
-------------------------------------
废话，中文怎么就不能写在分子/分母上了？知道份/元的含义么？知道物理上米/秒秒的含义么？

其次，你要是在商业合同这么写，出问题，法律会告诉你谁对谁错，到时别哭，就这水平，还自吹什么民营企业家？
-------------------------------------
法律是人定的，不能决定自然规律的对错。

最后，即使全世界人都不这么写，也不能说错，那你真是霸气侧露。你是上帝，你是对就对，你说错就错，我等对你的佩服之极。
-------------------------------------
全世界人可能不会写 0.0000000926 c，但除了极其无知的几个少数，没有人见到会说它不是 100 km/h（经过计算确认后）。

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#63

发表于 2015-2-26 15:51 资料短消息只看该作者

QUOTE:

原帖由墨叶于 2015-2-26 15:47 发表

我只和你讨论“每份 /50 元”。
其他的问题找其他人讨论，免得你歪曲我的意思。

就问你,“每份 /50 元”=“每份50 元”?

那你首先要告诉我，P = “每份 /50 元” 和 Q = “每份50 元” 逻辑上是不是 predicate？

如果是的话，它的 quantifier 是什么？如果 quantifier 是正整数集（假设顾客不能卖给商家），那么我们一个一个 proposition 去测就好了。

例如，
P(1) = 一份 50 元，Q(1) = 一份 50 元，因此 P(1) = Q(1)
P(2) = 两份 100 元，Q(2) = 两份 100 元，因此 P(2) = Q(2)
....

如果你想补习一下你的 predicate calculus，可以复习一下这个链接。
http://en.wikipedia.org/wiki/First-order_logic

[ 本帖最后由颖颖于 2015-2-26 15:54 编辑 ]

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#64

发表于 2015-2-26 15:53 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-2-26 15:47 发表
首先，主贴是每份，不是1份，用你这种方法来解释，只能证明你的中文水平，更看出你的数学水平，哪个数学老师教你数学解题，分子用中文来写？
-------------------------------------
废话，中文怎么就不能写在 ...

早告诉你了，每≠一，你真的看不懂中文？

[广告] 真诚支持说岳，携手共创辉煌


	杏花疏影

组别	校尉
级别	安东将军
功绩	28
帖子	3242
编号	510135
注册	2015-1-27

#65

发表于 2015-2-26 15:53 资料文集短消息只看该作者

突然发现，炎阳改名叫炎半仙吧，这标题起的，大有先见之明。

[广告] 《精忠报国岳飞传完整版》火热发布


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#66

发表于 2015-2-26 15:56 资料短消息只看该作者

QUOTE:

原帖由 天宫开发商 于 2015-2-26 15:53 发表

早告诉你了，每≠一，你真的看不懂中文？

像“每份”这样的 predicate，属于一阶逻辑（因为它本身需要确定未知数后，才可以直接去测真假）。比较一阶逻辑之间是否相等，需要靠检验 quantifiers 将其降级为 0 阶逻辑后对比真假。不是简单说一句就算的。

[ 本帖最后由颖颖于 2015-2-26 15:59 编辑 ]

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#67

发表于 2015-2-26 16:01 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-2-26 15:56 发表

像“每”这样的 predicate，属于一阶逻辑。比较一阶逻辑之间是否相等，需要靠检验 quantifiers 将其降级为 0 阶逻辑后对比真假。不是简单说一句就算的。

逻辑盲又漏怯了。“每”是谓词？

[广告] 《精忠报国岳飞传完整版》火热发布


	黑暗至尊 (郭一刀)

组别	校尉
级别	平西将军
功绩	23
帖子	2250
编号	290129
注册	2008-8-5
来自	辽宁阜新
家族	梁山泊

#68

发表于 2015-2-26 16:02 资料文集短消息只看该作者

我只是小学文化，你们说的我看不懂

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	落叶聚还散 (风月词人)

组别	校尉
级别	征东将军
功绩	44
帖子	5422
编号	499284
注册	2014-3-17

#69

发表于 2015-2-26 16:02 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-2-26 15:47 发表
首先，主贴是每份，不是1份，用你这种方法来解释，只能证明你的中文水平，更看出你的数学水平，哪个数学老师教你数学解题，分子用中文来写？
-------------------------------------
废话，中文怎么就不能写在 ...

你继续打滚撒泼秀下限，咱还有事，现在就不奉陪了。

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#70

发表于 2015-2-26 16:03 资料短消息只看该作者

回复 #67 天宫开发商的帖子

难道“每”是命题？

[广告] 《精忠报国岳飞传完整版》火热发布


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#71

发表于 2015-2-26 16:05 资料短消息只看该作者

QUOTE:

原帖由 落叶聚还散 于 2015-2-26 16:02 发表

你继续打滚撒泼秀下限，咱还有事，现在就不奉陪了。

你这水平考小升初肯定悲剧，我们讨论的自然超出了你的知识范围。

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#72

发表于 2015-2-26 16:07 资料短消息只看该作者

谈谈谓词与一阶逻辑

一阶逻辑是使用于数学、哲学、语言学及计算机科学中的一种形式系统。

过去一百多年，一阶逻辑出现过许多种名称，包括：一阶谓词演算、低阶谓词演算、量化理论或谓词逻辑（一个较不精确的用词）。一阶逻辑和命题逻辑的不同之处在于，一阶逻辑有使用量化变量。一个一阶逻辑，若具有由一系列量化变量、一个以上有意义的谓词字母及包含了有意义的谓词字母的纯公理所组成的特定论域，即是一个一阶理论。

一阶逻辑和其他高阶逻辑不同之处在于，高阶逻辑的谓词可以有谓词或函数当做引数，且允许谓词量词或函数量词的（同时或不同时）存在。在一阶逻辑中，谓词通常和集合相关连。在有意义的高阶逻辑中，谓词则会被解释为集合的集合。

存在许多对一阶逻辑是可靠（所有可证的叙述皆为真）且完备（所有为真的叙述皆可证）的演绎系统。虽然一阶逻辑的逻辑归结只是半可判定性的，但还是有许多用于一阶逻辑上的自动定理证明。一阶逻辑也符合一些使其能通过证明论分析的元逻辑定理，如勒文海姆–斯科伦定理及紧致性定理。

一阶逻辑是数学基础中很重要的一部份，因为它是公理系统的标准形式逻辑。许多常见的公理系统，如一阶皮亚诺公理和包含策梅洛-弗兰克尔集合论的公理化集合论等，都可以形式化成一阶理论。然而，一阶定理并没有能力去完整描述及范畴性地建构如自然数或实数之类无限的概念。这些结构的公理系统可以由如二阶逻辑之类更强的逻辑来取得。

[ 本帖最后由颖颖于 2015-2-26 16:08 编辑 ]

[广告] 《精忠报国岳飞传完整版》火热发布


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#73

发表于 2015-2-26 16:07 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-2-26 16:03 发表
难道“每”是命题？

难道除了谓词就是命题？你的逻辑老师是这么教你的？

[广告] 真诚支持说岳，携手共创辉煌


	小贩 (仙子！请自重……)

组别	羽林都尉
级别	大将军
功绩	54
帖子	12309
编号	29483
注册	2005-1-3
来自	Watchmen－德玛西亚

#74

发表于 2015-2-26 16:08 资料主页个人空间短消息只看该作者

1份=每份对不对？

只能说在特别使用环境下，如表数量关系时，每就是基础数值，而且正当基础数值为1时， 1=每。

[ 本帖最后由小贩于 2015-2-26 16:09 编辑 ]

[广告] 《精忠报国岳飞传完整版》火热发布


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#75

发表于 2015-2-26 16:09 资料短消息只看该作者

QUOTE:

原帖由 天宫开发商 于 2015-2-26 16:07 发表

难道除了谓词就是命题？你的逻辑老师是这么教你的？

对啊，当然是除了谓词就是命题了。

0 阶逻辑是命题逻辑
1 阶（含）以上都是谓词逻辑

难道您还发明了别的逻辑么？您确定您发明的逻辑，不跟现有的逻辑同构？如果同构，您的新逻辑不又回到命题逻辑或谓词逻辑之一了？要不要对于您的新逻辑，证明一个 Lowenheim Skolem (不可简约)定理？

[ 本帖最后由颖颖于 2015-2-26 16:20 编辑 ]

[广告] 真诚支持说岳，携手共创辉煌


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#76

发表于 2015-2-26 16:11 资料短消息只看该作者

也说说高阶逻辑

在数学中，高阶逻辑在很多方面有别于一阶逻辑。

其一是变量类型出现在量化中；粗略的说，一阶逻辑中禁止量化谓词。允许这么做的系统请参见二阶逻辑。

高阶逻辑区别于一阶逻辑的其他方式是在构造中允许下层的类型论。高阶谓词是接受其他谓词作为参数的谓词。一般的，阶为n的高阶谓词接受一个或多个（n − 1）阶的谓词作为参数，这里的n > 1。对高阶函数类似的评述也成立。

高阶逻辑更加富有表达力，但是它们的性质，特别是有关模型论的，使它们对很多应用不能表现良好。作为哥德尔的结论，经典高阶逻辑不容许（递归的公理化的）可靠的和完备的证明演算；这个缺陷可以通过使用Henkin模型来修补。

[广告] 《精忠报国岳飞传完整版》火热发布


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#77

发表于 2015-2-26 16:22 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-2-26 16:09 发表

对啊，当然是除了谓词就是命题了。

0 阶逻辑是命题逻辑
1 阶（含）以上都是谓词逻辑

难道您还发明了别的逻辑么？

除了命题逻辑就是谓词逻辑=除了命题就是谓词？
命题的意思就是命题逻辑？
你是来讲笑话的吧？

[广告] 《精忠报国岳飞传完整版》火热发布


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#78

发表于 2015-2-26 16:23 资料短消息只看该作者

QUOTE:

原帖由 天宫开发商 于 2015-2-26 16:07 发表

难道除了谓词就是命题？你的逻辑老师是这么教你的？

你既然问我逻辑老师是怎么教我的，这里讨论的自然就是命题逻辑/谓词逻辑了。

再说了，难道您还想用逻辑之外的东西，来论证您的观点么？好牛啊。。。

[ 本帖最后由颖颖于 2015-2-26 16:24 编辑 ]

[广告] 真诚支持说岳，携手共创辉煌


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#79

发表于 2015-2-26 16:31 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-2-26 16:23 发表

你既然问我逻辑老师是怎么教我的，这里讨论的自然就是命题逻辑/谓词逻辑了。

再说了，难道您还想用逻辑之外的东西，来论证您的观点么？好牛啊。。。

可怜，你的逻辑老师只教了你这么点东西。除了命题逻辑和谓词逻辑这两个名词，就啥也不知道了。

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#80

发表于 2015-2-26 16:33 资料短消息只看该作者

QUOTE:

原帖由 天宫开发商 于 2015-2-26 16:31 发表

可怜，你的逻辑老师只教了你这么点东西。除了命题逻辑和谓词逻辑这两个名词，就啥也不知道了。

啥也不知道的是你啊，连 0 阶逻辑/高阶逻辑之间的区别都不懂。

[广告] 真诚支持说岳，携手共创辉煌


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#81

发表于 2015-2-26 16:45 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-2-26 16:33 发表

啥也不知道的是你啊，连 0 阶逻辑/高阶逻辑之间的区别都不懂。

我根本没涉及逻辑分类的问题，何来懂不懂？而你从“每”不是命题得出“每”是谓词，证明你的逻辑知识很可怜。

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#82

发表于 2015-2-26 16:48 资料短消息只看该作者

回复 #81 天宫开发商的帖子

我前面说的很清楚了，一个人满地打滚去吧。

[ 本帖最后由颖颖于 2015-2-26 16:49 编辑 ]

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	杏花疏影

组别	校尉
级别	安东将军
功绩	28
帖子	3242
编号	510135
注册	2015-1-27

#83

发表于 2015-2-26 16:52 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-2-26 16:48 发表
我前面说的很清楚了，一个人满地打滚去吧。

你好意思说别人打滚？

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	颖颖 (司徒家的颖颖)


	★★

组别	限制发言用户
级别	大将军
好贴	3
功绩	95
帖子	11332
编号	90594
注册	2006-11-9
来自	系统复制中心

#84

发表于 2015-2-26 16:53 资料短消息只看该作者

回复 #83 杏花疏影的帖子

一直打滚的是你们啊。。。这么着吧，你是想群殴还是单练？咱们一起聊聊一阶逻辑？别总是一碰干货就崩溃啊。

[ 本帖最后由颖颖于 2015-2-26 16:55 编辑 ]

[广告] 真诚支持说岳，携手共创辉煌


	小贩 (仙子！请自重……)

组别	羽林都尉
级别	大将军
功绩	54
帖子	12309
编号	29483
注册	2005-1-3
来自	Watchmen－德玛西亚

#85

发表于 2015-2-26 16:57 资料主页个人空间短消息只看该作者

哎，要会认怂...........

[广告] 《精忠报国岳飞传完整版》火热发布


	杏花疏影

组别	校尉
级别	安东将军
功绩	28
帖子	3242
编号	510135
注册	2015-1-27

#86

发表于 2015-2-26 16:58 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-2-26 16:53 发表
一直打滚的是你们啊。。。这么着吧，你是想群殴还是单练？咱们一起聊聊一阶逻辑？

我逻辑知识早就扔了，比我强，算得了什么？你的逻辑知识只是应付考试而已，在这个贴子里，没看出什么来。

要么咱俩比比词？小令也好，长调也罢，随你挑。

或者比比语文知识？

在这个贴子，转移话题除了掩饰你心虚与无知外，你还会做什么？

[广告] 《精忠报国岳飞传完整版》火热发布


	杏花疏影

组别	校尉
级别	安东将军
功绩	28
帖子	3242
编号	510135
注册	2015-1-27

#87

发表于 2015-2-26 16:59 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-2-26 16:05 发表

你这水平考小升初肯定悲剧，我们讨论的自然超出了你的知识范围。

就你在这个贴子中表现出的语文与数学知识，在国内任何一座小学，都属于旁听生水平。

[广告] 《精忠报国岳飞传完整版》火热发布


	杏花疏影

组别	校尉
级别	安东将军
功绩	28
帖子	3242
编号	510135
注册	2015-1-27

#88

发表于 2015-2-26 17:00 资料文集短消息只看该作者

QUOTE:

原帖由小贩于 2015-2-26 16:57 发表
哎，要会认怂...........

忠心护主啊。

[广告] 《精忠报国岳飞传完整版》火热发布


	小贩 (仙子！请自重……)

组别	羽林都尉
级别	大将军
功绩	54
帖子	12309
编号	29483
注册	2005-1-3
来自	Watchmen－德玛西亚

#89

发表于 2015-2-26 17:02 资料主页个人空间短消息只看该作者

开题，开题。。。文科用八股文论证1+1，理科用数学表达式论证1+1.

吵什么吵。。。。。。。。。。

[广告] 安装Alexa工具条，提高轩辕排名，支持轩辕发展！


	天宫开发商

组别	校尉
级别	前将军
功绩	14
帖子	1602
编号	501878
注册	2014-5-29

#90

发表于 2015-2-26 17:03 资料文集短消息只看该作者

QUOTE:

原帖由颖颖于 2015-2-26 16:48 发表
我前面说的很清楚了，一个人满地打滚去吧。

呵呵，“每个人都是要死的”，哪个是谓词？写成一阶逻辑的公式怎么写？还谈一阶逻辑？

[广告] 真诚支持说岳，携手共创辉煌