数理逻辑的一个问题。

ygq的马甲 · 发表于 2011-8-24 06:32

应该是【普遍与特殊】之间的关系
如果【前者——普遍】是成立的话，那么【后者——特殊】至少有一个是成立的

simpley · 发表于 2011-8-24 10:52

楼上的回答不是数学上的回答。
前者是一个命题，无法判断真假；后者是一个推论，可以判断真假。

ygq的马甲 · 发表于 2011-8-24 11:08

下面引用由simpley在 2011/08/24 10:52am 发表的内容：
楼上的回答不是数学上的回答。
前者是一个命题，无法判断真假；后者是一个推论，可以判断真假。

【解释】的角度不同吧，是从【含义】方面的

fm1134 · 发表于 2011-8-24 16:30

ygq的马甲 · 发表于 2011-8-24 16:36

应该是不一定
前者的意思是：F(x)→B 成立的所有 X 的全部。这与 F(x) 本身的范围是不同的

fm1134 · 发表于 2011-8-24 16:49

下面引用由simpley在 2011/08/24 10:52am 发表的内容：
楼上的回答不是数学上的回答。
前者是一个命题，无法判断真假；后者是一个推论，可以判断真假。

命题应该也可以判断真假的吧？

fm1134 · 发表于 2011-8-24 17:03

下面引用由ygq的马甲在 2011/08/24 04:36pm 发表的内容：
应该是不一定
前者的意思是：F(x)→B 成立的所有 X 的全部。这与 F(x) 本身的范围是不同的

不大明白你的意思，能否详细解释一下？

ygq的马甲 · 发表于 2011-8-24 18:15

前者的意思是：F(x)→B 成立的所有 X 的全部。

这句，应该没有不明白的地方吧
后面的那句：凡是 F(x) 成立的时候就能推导出 B 。意思就不同了

luyuanhong · 发表于 2011-8-25 00:33

[这个贴子最后由luyuanhong在 2011/08/25 09:53am 第 1 次编辑]

		自动登录	找回密码
密码			注册