数理逻辑吧 - RAT

0

2020-08-04

谁有清华大学出版的《数理逻辑》这本书资源？分享下，谢谢了#数

谁有清华大学出版的《数理逻辑》这本书资源？分享下，谢谢了#数理逻辑##资源#

🧑大头像567

0

2020-07-16

本人菜鸟，想问一下命题公式中能有命题常项吗？或者说一个命题常

本人菜鸟，想问一下命题公式中能有命题常项吗？或者说一个命题常项能构成命题公式吗？左孝凌版的离散数学中好像说不能，屈婉玲版的好像说可以，叫原子命题公式。 ……

🧑hsmmouse

4

2020-05-23

分享爱尖子数学竞赛视频课程+讲义

一楼度娘

🧑三国志在远方

0

2020-05-04

求教以下证明错在哪里

🧑日·星辰

12

2020-03-20

数理逻辑演绎推理

用演绎推理证明（A→B）→A→A为定理

🧑957391038

1

2019-09-21

数理逻辑还不完备。

谁能够推导证明形式逻辑的8形式判断和6x命题已经完备无缺和缺一不可的？

🧑陈振权year

0

2019-12-03

求证41-49

🧑出来了啊

6

2019-11-28

A->B 与~A VB 互化

这该如何理解？

🧑333xxxyyywww33

0

2019-09-26

难以捉摸的附加律add

🧑333xxxyyywww33

1

2019-09-14

两个问题请教一下各位大神:1:

两个问题请教一下各位大神: 1:有些前提和结论一致的论证是无效论证 2:论证的前提和结论的否定一致的一定是无效论证

🧑独立风海

1

2019-03-22

各位大佬，打括号的部分是怎么来的

🧑Lumen_Etoile

1

2019-03-19

看着看着就晕了，这个定理2.5.6的同永真和同可满足的是什么

看着看着就晕了，这个定理2.5.6的同永真和同可满足的是什么意思

🧑Lumen_Etoile

2

2018-11-27

麻烦吧友解答一下一阶逻辑的2道形式推演题

∀x(F(x)→G(x))⊢∀xF(x)→∀xG(x) ∀x(A→B(x))⊢A→∃xB(x) 求大神啦如果说不清楚可以QQ联系我 278034343 ……

🧑风不在清

3

2018-11-27

谓词公式的合成法则允许任取x存在x使R（x）这样的公式吗

这样的公式什么意思啊

🧑一场辉煌的胜利

0

2018-10-23

F是公式这个怎么证明（3）

🧑天下無双◎

4

2018-08-12

求问，在谓词公式中，蕴含与合取又何区别？以此题为例！

🧑_____明年今日_

6

2018-08-06

请问各位大神如何直接证明否定肯定律

如题

🧑Trump♂

10

2018-08-05

求数理逻辑大神解释p推出q等价于非p或q

🧑过眼云烟ぐ

0

2018-08-02

能否仅设自己不能包含自己，避免罗素悖论？

绝非妄想创造公理系统。是因软件项目理由，不想采用ZFC公理之类的系统。想在构造集合时，避开自己包含自己，是否就不会产生悖论了？

🧑贴吧用户_0e4WRZS

0

2018-07-23

[公告]关于撤销因果之戒吧主管理权限的说明

接到用户举报，经核实吧主因果之戒长期未对贴吧进行管理及发言，无法在建设数理逻辑吧内容上、言论导向上发挥应有的模范带头作用，严重违反吧主协议，故撤销……

🧑贴吧吧主小管家

1

2018-07-11

求助求助

求大神教导，目前尚、左、下的雕像朝向是对的，目标是让四个雕像都朝中间，在保持左、下、上三个雕像不动的情况下让右边的雕像朝左转使得四个雕像都朝中间方向 ’

🧑思汝霏霏

1

2018-06-09

求救哥德尔不完备定理

实数系统能定义自然数吗？

🧑earth长征

1

2018-06-09

实数是一阶公理化系统啥意思？

🧑earth长征

9

2018-04-25

求助

“并非”和“不可能”有区别吗？“并非P”和“不可能p”不都是对P的彻底否定吗？刑滔滔版“数理逻辑”中13页有一段让我蛋疼的话： “所以，单是“并非（前提……

🧑lotti4