高手请看 — 编程爱好者社区

您所在位置：社区首页 — 大学计算机专业课程 — 高手请看

主题：高手请看

中国台湾 [专家分：2140] 发布于 2005-10-03 16:17:00

[size=4][/size]不管是白猫还是黑猫抓住老鼠就是好猫有命题逻辑写一下谢谢

沙发

xiaohaokof [专家分：1760] 发布于 2005-10-04 18:20:00

好久没有做题目了，不知道做出来是不是对的，
你作为参考吧
(p(x)∨q(x))∧s(x,y)→m(x)
p(x):x是白猫
q(x):x是黑猫
s(x,y):x抓住y
m(x):x是好猫

板凳

xinxi99206 [专家分：380] 发布于 2005-10-07 19:17:00

（全称量词x）(存在量词y)（(p(x)∨q(x))∧s(x,y)→m(x))
p(x):x是白猫
q(x):x是黑猫
s(x,y):x抓住y
m(x):x是好猫
那两个符号打不出来

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