数理逻辑吧
关注: 1,368 主题: 1,957 帖子: 1,957
时下热门
最新回复
最新发布
0
07-28
第三时代的超越关系
第三时代的出现，已经将@sunny31421 他https://tieba.baidu.com/p/9895461848?share=9105&fr=sh……
🧑ychfugug
0
07-23
后技术奇点和费米悖论的逻辑关系
费米悖论的原因就是科技发展速度太快，不存在人类可以想象理解的2～10级宇宙文明，后技术奇点激波（类似飞机突破音障、超新星伽马射线暴等产生的激波，科技文明突……
🧑sunny31421
1
07-20
有没有大神能看懂这个课件？可以教教小白吗？请你喝奶茶
有没有大神救救我
🧑嗯1111111
0
2024-10-13
求助！课后作业！
2.3两小问……
🧑贴吧用户_7SJQKR9
0
2024-09-29
图中“幂等率”“极元率”“吸收率”“交叠率”的直观含义是什么？
例如:“双重否定率”和“德·摩根率”可以用来作“析取和合取的相互转化”，并借此简化表达式。那么题干中这四个率的用途是什么呢？它们难道仅仅是一种经验吗？
🧑贴吧用户_544P4A5
0
2024-09-08
数理逻辑。
🧑songchaoyan123
1
2024-09-07
逻辑学小白求助
如果p则Q中 pQ都只有一种取值，那么我们能从Q推出p吗例如小明只在下雨天穿黑衣服且下雨天一定会穿黑衣服，任何情况下小明都不会违背这两点。那么我们能从小明……
🧑栖息在大地上
0
2024-08-11
如何用数理逻辑谓词公式表示知识就是力量？
🧑贴吧用户_JJW5DMN
0
2024-08-09
罗素悖论的准确符号化
🧑某某某代
3
2024-07-30
求助一道证明题
题目中vii打错了，应该是（x*y）+x 第三题应该如何证明呢？
🧑春秋山河🌸
0
2024-07-18
我的数理逻辑推理。
🧑songchaoyan123
0
2024-07-06
数学概念的区分
数与数量的区别
🧑lichangjun1
1
2024-07-01
有偿求题目指导（无预算上限）
1.用分辨率法验证以下推理的正确性。 所有鸟类中，只有鸵鸟能长到3米高。在这个鸟舍里，没有属于别人而不属于我的鸟。没有鸵鸟吃带馅的馅饼。我没有不长到3米高……
🧑北城6fp6
1
2024-04-28
这里为什么要对z换名
z在这里不是只有约束出现吗
🧑jdjjhj
5
2024-04-20
求解一道逻辑学自然推理证明题？
①A∨（B∧C） ②（A→D）∧（D→C） /∴C 请别用反证法（归谬）
🧑真理的味道😜
3
2024-03-26
这个AS2公理为什么是这样的？
如图，为什么不是反过来B∨A蕴含A，按常理来说不是应该小的被大的蕴含吗？
🧑马头牛面
1
2024-03-01
我写的数理逻辑。
🧑songchaoyan123
0
2023-12-11
数理逻辑 求大神指导
求大神指导，可有偿
🧑1加1等于3💯
1
2023-12-09
请问这道题怎么做，我可以用其他办法推导出来，但是没办法用子句
假设 ¬(P ∨ S)∧¬Q 和 (¬P → Q) ∨ R 为真。请证明 (S ∨ ¬R) → (Q∧R) 也为真。 为此，将这前个公式转化为子句形式（c……
🧑puermeus
0
2023-12-04
我的“数理逻辑”
🧑songchaoyan123
0
2023-11-22
我的“数理逻辑”
🧑songchaoyan123
1
2023-11-13
急急急，来个大佬，有偿
🧑KwiAce🌝
0
2023-11-02
有人知道怎么证明阿克曼函数不是原始递归函数吗？
🧑Lumen_Etoile
46
2023-09-23
开个贴记录自己的学习过程
Rt
🧑__哲学
0
2023-09-09
问个问题.
(4)的意思是 (p∧q∧r)∧(p∧q∧¬r)≡p∧q 是不是作者想说(p∧q∧r)∨(p∧q∧¬r)≡p∧q但是打错字了？
🧑贴吧用户_G3UeU9t
7
2023-08-04
把以下自然语言用谓词逻辑符号化
把串联电路上的所有开关都打开，整条电路就通了。
🧑15336666770
1
2023-06-20
唯一扩张定理证明递归
书上只说用递归，但是具体怎么证呢？递归的一般格式是什么？命题表达式的复杂性如何表示？
🧑123826º
10
2023-03-21
求助大神 关于形式系统L的题目
第1题的c
🧑郭俊彤彤彤
8
2023-03-15
书真难啃呀
看的《数理逻辑:证明及其限度》没什么数学基础，看的好艰难，光是预备知识部分都好艰难的看完，是不是要看点别的东西更好呀。或者有没有啥更适合入门的书可以看的。……
🧑摩羯deadpool
0
2022-11-24
求助（数理逻辑证明题）
救救孩子吧，没有一道会的。这些怎么证啊
🧑贴吧用户_0eyZPet
0 1 2 3 4 5 尾页