各位大虾，帮帮俺 — 编程爱好者社区

主题：各位大虾，帮帮俺

秋枫过客 [专家分：380] 发布于 2005-09-22 19:33:00

各位大虾，俺是个菜鸟，刚学离散数学，想请教各位大虾一个问题
用CP规则推证
p∨q->r∧s,s∨t->u => p->u
请大家帮忙，谢谢了

沙发

秋枫过客 [专家分：380] 发布于 2005-09-24 12:16:00

[em10] 我昏倒 [em10] 就没有一位虾哥能做出这个题目吗？

板凳

郭靖大侠 [专家分：20] 发布于 2005-09-29 14:55:00

p        假设前提
pVq        T
r∧s        T
s          T
s∨t       T
s∨t->u    P
u         PC
应该对吧

3 楼

秋枫过客 [专家分：380] 发布于 2005-09-29 15:52:00

不对，大虾能说下具体的T规则是什么吗，说了后我就能说是哪里不对

4 楼

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

p        附加前提
pVq        T
p∨q->r∧s  P
r∧s        T
s          T
s∨t       T
s∨t->u    P
u         PC
呵呵

5 楼

秋枫过客 [专家分：380] 发布于 2005-09-30 10:56:00

老大，错了吧，什么规则让你弄出个p∨q,s和s∨t啊，这是怎么写的啊，那有这种规则，要不还用做吗，全分开了不就的了吗，昏倒啊~~~~~~

6 楼

xinxi99206 [专家分：380] 发布于 2005-09-30 12:43:00

p        附加前提
pVq        T（因为P蕴涵pVq）
p∨q->r∧s  P
r∧s        T
s          T
s∨t       T（因为S蕴涵s∨t）
s∨t->u    P
u         PC
书上有那两个蕴涵式

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