从非欧几里得几何谈数学前提 - 辕门射虎

轩辕春秋文化论坛 » 辕门射虎 » 从非欧几里得几何谈数学前提

兴唐传·瓦岗山异闻录（20150519版）发布 (2015-5-19) 论坛营运现状公告 (2014-8-10) 三国志12pk版下载 (2013-4-20) 《精忠报国岳飞传》制作组对外开放 (2013-1-16) 岳飞传解密剧本发布 (2011-4-12) 招募各版斑竹和网站管理技术人员 (2006-4-19)

<< 上一主题 | 下一主题 >>


	comsich

组别	校尉
级别	前将军
功绩	17
帖子	1694
编号	463785
注册	2012-5-24

发表于 2015-3-16 10:32 资料文集短消息看全部作者

QUOTE:

原帖由 武骧金星 于 2015-3-16 09:08 发表
回到与天宫开发商的讨论：（我先把你那段话写成比较正常的版本把ORZ）
人（A）是动物（B）—— 已知：A是B的充分条件
我（C）是人（A）—— 已知：C是A的充分条件
可以推出：我（C）是动物（B）—— 结论：C也是B的充分条件

这和0阶逻辑1阶逻辑应该没啥关系吧，我去看了下百科（虽然看不懂……），说的应该不是这种事……

不知道你想讨论的问题是什么。是这个推理何以有效呢，还是想知道0阶逻辑和1阶逻辑是什么。

在命题逻辑里，A是B的充分条件，其中A和B都必须是命题，即或真或假的表达式。“人”和“动物”是两个词，没有真假。“人是动物的充分条件”，这话也不通。所以，“人是动物”不能改写成“人是动物的充分条件”。三段论推理不能和条件句推理混淆。

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

当前时区 GMT+8, 现在时间是 2025-8-24 00:31
京ICP备2023018092号轩辕春秋 2003-2023 www.xycq.org.cn

TOP

清除 Cookies - 联系我们 - 轩辕春秋 - Archiver - WAP