海纳百川 :: 阅读主题 - 也来一个逻辑证明问题,看看是否有人能说明一下.

海纳百川

登录 \| 登录并检查站内短信 \| 个人设置	网站首页 \| 论坛首页 \| 博客 \| 搜索 \| 收藏夹 \| 帮助 \| 团队 \| 注册 \| RSS


	主题: 也来一个逻辑证明问题,看看是否有人能说明一下.

海纳百川首页 -> 罕见奇谈

阅读上一个主题 :: 阅读下一个主题

作者

也来一个逻辑证明问题,看看是否有人能说明一下.

越南人
[个人文集]

加入时间: 2004/02/14
文章: 7096

经验值: 97883

标题: 也来一个逻辑证明问题,看看是否有人能说明一下. (375 reads) 时间: 2004-11-23 周二, 上午9:33

如果由 "原命题成立" 可推导出 "逆否命题成立"
可以表达为:

(A -> B) -> (~B -> ~A )
即如果"由A可以推导出B" 成立的话,那么由"非B推导出非A"也成立.
--------------------------------------------------------

有谁能通过形式逻辑证明下面的关系式?
(A ->(B->C)) ->(B->(A->C))

返回顶端

稍微复杂一点的问题,一般形式逻辑简直无能为力,是否? -- 越南人 - (0 Byte) 2004-11-23 周二, 上午9:50 (120 reads)

显示文章:

海纳百川首页 -> 罕见奇谈

所有的时间均为北京时间

您不能在本论坛发表新主题
您不能在本论坛回复主题
您不能在本论坛编辑自己的文章
您不能在本论坛删除自己的文章
您不能在本论坛发表投票
您不能在这个论坛添加附件
您不能在这个论坛下载文件

[ Page generation time: 0.616417 seconds ] :: [ 25 queries excuted ] :: [ GZIP compression enabled ]