数理逻辑吧 - RAT

5

2016-01-21

跪求大神！明天就考！

习题5.5怎么证明！！！明天就考

🧑我就是只羊驼-

2

2016-01-18

中国逻辑学会第3届优秀成果奖(2012)

便于搜索引擎检索还是单独列出来吧，现在一搜全是第二届的。大家可以看看我国现在逻辑学研究主流方向是什么。中国逻辑学会第3届优秀成果奖科研奖一等奖任……

🧑鸿雁之什c

1

2016-01-18

【疑问】请问重言蕴含的逻辑符号是什么？

🧑实现梦想一起飞

4

2016-01-16

等于号的逻辑性质是什么

🧑质量为零

21

2016-01-06

学习哲学的人从来不会用哲学，为学习而学

这是这个时代的悲哀

🧑菲力古德

15

2015-11-28

哲学游戏2

今年我将会继续给大家讲哲学。我希望你们了解了一些基本的哲学法则后，能培养独立思考的精神，选择自我实现的能力以及参与社会财富的创造，更好的造福人类。

🧑菲力古德

1

2015-10-26

为什么要引进弧度制

🧑lichangjun1

1

2015-10-20

初学。求一本参考书目

🧑王的传说life

0

2015-10-19

测

🧑贴吧用户_0EZE1eW

0

2015-09-25

求教：卓里奇《数学分析》中一个关于集合的问题

原文： P24 原文 5子集之集的公理对于任意集合X，存在集合P(X)，它的元素恰好就是X的一切子集。 …… 公理1～5限制了形成新集的可能，譬如，在集……

🧑某某某代

3

2015-08-20

"空"与"非空"的难度等价吗?

1、一般认为-------有解系统可用模型(方程)------来刻画，但多数无解系统却无法用模型（方程）来刻画； 2、因此从表面上看----无解系统（空）……

🧑hhg282

2

2015-08-17

如何理解欧式几何的平行与解析几何的平行。

如题，又或者如何理解欧式几何与解析几何的关系。请高手解析下，能从数理逻辑解析最好。

🧑学无止境楼上楼

4

2015-05-09

这个有人会么？用谓词逻辑和命题论证上帝问题

用谓词逻辑论证笛卡尔论证上帝的存在上帝是完美的，人类是不完美的，而不完美的事物是不可能创造完美的事物的，所以上帝不是人造的。用命题逻辑论证前提：如……

🧑826774791

3

2015-08-11

请教大神：怎么证明一阶逻辑的项和合式公式是自由生成的

🧑数应一班

0

2015-08-01

'啊

🧑贴吧用户_0EZE1eW

1

2015-05-19

求问一道题

🧑a3260366

1

2015-03-01

关于用矩阵初等行变换求解线性方程组的原理

🧑lichangjun1

8

2015-02-05

求大神指点数理逻辑作业

如图，作业求解，谢谢各位大神≥﹏≤

🧑龚叶雨

2

2015-02-03

违反矛盾律？不违反矛盾律？！

富商甲的亲人溺水死了，尸体被乙捞到了。乙要挟甲，要想要回亲人尸体就要出高价来买。路人丁对甲说：“[开心] 安心吧。除了你会向乙买尸体，没人会买，你可以把……

🧑亚里士少德2

0

2015-01-24

求教：关于谓词逻辑相对树方法的强可靠性，强完全性证明的简要思路

如题

🧑幻幻灭幻

1

2015-01-24

请高手赐教一个命题逻辑协调性题目？万分感谢

设p是某个给定的命题常元，那么： 1、在命题逻辑系统中增加公理模式p->A，则所得系统是否为协调的？为什么？ 2、若在命题逻辑系统中增加公理模式A->p，……

🧑网上无痕1231

11

2015-01-19

常用逻辑符号，输入不方便时可以复制

【部分转自逻辑学吧，参见逻辑学吧置顶】谓词逻辑符号： ┐A A∧B A∨B A→B ∀xF(x) ∃xF(x) 分别是否定合取析取蕴含全称特……

🧑鸿雁之什c

3

2015-01-17

数理逻辑吧交流群

虽说吧里人不多，但是还是开一个交流群吧，群号：141609553 和逻辑相关的话题（数理逻辑、哲学逻辑、逻辑应用）都可以交流，当然生活上的话题聊一聊也挺好……

🧑鸿雁之什c

13

2014-12-19

数理逻辑

我觉得如果我想了解中国数理逻辑的水平，看这个吧就可以了

🧑关汉卿天使

3

2014-12-05

【求助】斯坦福在线公开课的证明题

新手看视频初学，对几种证明方法不够熟悉。此题不会做了。希望有前辈相助，不胜感激。

🧑xym_19980809

5

2014-11-23

数理逻辑作业大一致值

不会写求大神晚上交

🧑龚叶雨