1回答
命题逻辑，逻辑等价
、、、、
a)确定下列语句形式在逻辑上是否等价:p -> (q -> r)和(p -> q) -> r b)使用(a)部分建立的逻辑对等，以两种不同的方式重写下面的句子。(假设n表示固定整数。)
浏览 28提问于2021-11-03得票数 -1
4回答
我最近给了Scala第二次机会，并开始了我一直在实现的项目(使用函数式或伪函数式语言)：一个用于命题逻辑(以及后来的谓词逻辑)的自动推理器。现在，我已经尝试在语言本身中尽可能漂亮地使用命题逻辑的表示法，并且我已经做到了这一点-通过隐式转换(String -> Atom)：函数“和”和“暗示”(和“或”和“等价”)是调用相关case类构造函数的简单方法。
浏览 3提问于2010-09-06得票数 10
回答已采纳
我正在用python编写一个简单的命题逻辑公式解析器，它使用正则表达式re模块和lex/yacc模块进行词法分析/解析。最初，我的代码可以将隐含式识别为->，但是添加逻辑等价(<->)会导致编译后的表达式出现问题EQUIVALENCE我最初尝试在->的前面添加^<，让它忽略等价的实例，但这只是让它根本不接受任何隐含的实例。任何可能的帮助都将受到热烈欢迎:)
浏览 2提问于2009-02-05得票数 1
2回答
我在自学布尔代数。问题：A(A+B)的意思是A和(A或B)。A(A+B) = A( A (1+B)) = A(A1) = AA =A。
浏览 2提问于2016-01-18得票数 1
1回答
我正在研究这个问题，其中命题逻辑公式由以下内容表示： F_Var of string | F_And of fmla* fmla我试图写一个函数，返回一个命题逻辑公式的大小。命题变量的大小为1；逻辑否定的大小为1加上其子公式的大小；逻辑连接和分离的大小为1，加上它们的子公式的大小。
我该如何解决这个问题呢？
浏览 3提问于2018-03-08得票数 2
回答已采纳
2回答
我需要使用sat solver来检查布尔表达式的可满足性。
有没有自动的cnf文件转换器，这样我就可以直接给sat求解器了？
浏览 8提问于2010-10-16得票数 3
回答已采纳
我不能证明这两个布尔公式在逻辑上是等价的。我认为需要使用分配和吸收属性，但是not a和c子句的存在让我感到困惑。不确定如何在同一表达式中处理这两个。
浏览 35提问于2020-10-05得票数 0
3回答
逻辑表达式的内插算法？
、、、
给定两个形式的复合逻辑表达式(递归定义)：e1 and e2 : means e1 and e2 are both truenot e1 : true iff e1 is false这些逻辑表达式被解析成表达式语句我想确定逻辑表达式L1是否是L2的子集。也就是说，对于U中的每个元素x，如果L1(x)为真，则L2(x)为真。
浏览 0提问于2012-11-26得票数 4
回答已采纳
1回答
直觉命题逻辑
、、
我一直在研究直觉逻辑和所谓的直觉命题逻辑的“否定片段”。然而，我没有找到任何资源来解释为什么它被称为“负片段”。
有什么参考/建议吗？
浏览 2提问于2020-12-20得票数 1
回答已采纳
我正在尝试使用python来处理命题逻辑。我已经运行了下面的程序在谷歌冒牌货。我想知道两个包含true或false的逻辑表达式是否等价。我阅读了文档，但没有找到解决方案。
浏览 10提问于2022-09-08得票数 0
2回答
我试图使用公理化命令在语法上实现LTL逻辑，目的是自动找到定理的证明(证明程序属性的动机)。我对isabelle比较陌生，所以可能有一种更简单的方法来做到这一点，我没有看到。
浏览 2提问于2020-01-15得票数 0
1回答
是否有任何经过预先训练的模型能理解命题逻辑？
例如，t5模型可以进行问答。考虑到“爱丽丝是鲍勃的母亲，鲍勃是查理的父亲”，t5可以正确回答“谁是查理的父亲”的问题，但不能说“谁是查理的祖母”。
浏览 0提问于2021-05-14得票数 1
回答已采纳
3回答
我正试着在桌子上查询。假设有3列，颜色，汽车品牌，和汽车模型。color not in ("blue", "green") 我尝试使用上述声明，它实际上排除了所有本田，所有思域，并排除任何颜色是蓝色或绿色。我决定将查询分成两部分，并按以下顺序运行：
然后从
浏览 5提问于2014-10-06得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
实时音视频活动推荐
腾讯云开发者
