复合逻辑命题真假判定的一个问题。

fm1134 · 发表于 2011-7-24 22:16

[这个贴子最后由fm1134在 2011/07/24 10:18pm 第 2 次编辑]

由于本人在“复合命题真假的判定问题”http://www.mathchina.com/cgi-bin/topic.cgi?forum=5&topic=12709&show=0一帖中表述不够清楚，且该帖已有人回复，不便删除，故重发此修改后的新帖子如下。

luyuanhong · 发表于 2011-7-25 07:24

这个问题解答如下：

ygq的马甲 · 发表于 2011-7-25 07:24

ε－δ 的这种【极限】定义，
逆命题，似乎没有人用的吧？？？换另外的话来说就是，至少是不【严谨】的

fm1134 · 发表于 2011-7-26 00:12

陆老师的解答很有道理！
但不知把一个命题改为否命题时，须把“任给”改为“存在”，把“存在”改为
“任给”，这类的问题在什么书中有所阐述？我查看了一些《解析几何》、《高等数
学》、《数学分析》之类的书籍，都找不到对这类问题的阐述说明。

luyuanhong · 发表于 2011-7-26 09:30

[这个贴子最后由luyuanhong在 2011/07/26 09:34am 第 2 次编辑]

下面引用由fm1134在 2011/07/26 00:12am 发表的内容：
陆老师的解答很有道理！
但不知把一个命题改为否命题时，须把“任给”改为“存在”，把“存在”改为
“任给”，这类的问题在什么书中有所阐述？我查看了一些《解析几何》、《高等数
学》、《数学分析》之类的书籍，都找不到对这类问题的阐述说明。

这是逻辑学中的基本法则，我知道这一法则，是在几十年前，我还是一个中学生的时候，所以，
现在已经不记得我当初是从什么书中看到的了。也许，你在逻辑学的书中，可以找到有关内容的介绍。

ygq的马甲 · 发表于 2011-7-26 10:28

下面引用由luyuanhong在 2011/07/26 09:30am 发表的内容：
这是逻辑学中的基本法则，我知道这一法则，是在几十年前，我还是一个中学生的时候，所以，
现在已经不记得我当初是从什么书中看到的了。也许，你在逻辑学的书中，可以找到有关内容的介绍。

这，应该是“﹁非”运算法则

fm1134 · 发表于 2011-8-30 14:58

下面引用由luyuanhong在 2011/07/26 09:30am 发表的内容：
这是逻辑学中的基本法则，我知道这一法则，是在几十年前，我还是一个中学生的时候，所以，
现在已经不记得我当初是从什么书中看到的了。也许，你在逻辑学的书中，可以找到有关内容的介绍。

不知2楼的论述如果用数理逻辑中的一阶逻辑理论，该如何表述呢？

luyuanhong · 发表于 2011-8-30 16:41

下面引用由fm1134在 2011/08/30 02:58pm 发表的内容：
不知2楼的论述如果用数理逻辑中的一阶逻辑理论，该如何表述呢？

kanyikan · 发表于 2011-8-30 19:50

[这个贴子最后由kanyikan在 2011/08/30 07:51pm 第 1 次编辑]

快把帖子删了吧，民科们要受不了了。
要知道，民科是不用数理逻辑的，它们只用自己的垃圾逻辑。

simpley · 发表于 2011-8-31 04:57

下面引用由kanyikan在 2011/08/30 07:50pm 发表的内容：
快把帖子删了吧，民科们要受不了了。
要知道，民科是不用数理逻辑的，它们只用自己的垃圾逻辑。

你太高估民科的水平了.他们根本就看不懂,这些东西对他们而言都是天书,根本不存在受不了的问题

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

复合逻辑命题真假判定的一个问题。

本帖子中包含更多资源