关于数理逻辑 — 编程爱好者社区

您所在位置：社区首页 — 大学计算机专业课程 — 关于数理逻辑

主题：关于数理逻辑

magus5 [专家分：0] 发布于 2005-08-04 15:15:00

做题呢,但是题设给我弄糊涂了,是:讲下列命题符号化.
这个是什么意思啊.和将命题公式翻译有什么区别么.

举个例子:气候很好或很热.

谢谢回答

沙发

killercat [专家分：1330] 发布于 2005-08-23 18:27:00

定义常量：good:很好
hot:很热
定义谓词p(x):天气很x

上面命题就是：p(good)Vp(hot)

板凳

xinxi99206 [专家分：380] 发布于 2005-09-29 22:40:00

天气很好：P
天气很热：Q
则天气很好或很热：(┓P∧Q)∨(P∧┓Q)

您尚未登录，请登录后再回复。点此登录或注册