（P-q）^（r-s)^(非q v 非s)-非p v 非r 这是什么推理形式.用命题演算证明该推理.构造符合该推理形式

sdfsd099 1年前已收到1个回答举报

水漓汐的小猪幼苗

共回答了22个问题采纳率：81.8% 举报

用p'表示非p,
p-q=p∧q',
原式=p∧q'∧r∧s'∧(q'∨s')∧(p'∨r')'
=p∧r∧(q'∨s')∧p∧r(吸收律,德-摩根律)
=p∧r∧(q'∨s').

1年前

可能相似的问题

R={,,},S={,,},请求出R∪S,R∩S,R-S,dom(R),ran(R),dom(R-S),ran(R-S)

1年前1个回答
证明恒等式(s-r)^3恒等于 -(r-s)^3.【提示:s-r恒等于-(r-s)】

1年前2个回答
有机物命名,要写出R-S构型~看图说话,要写出R-S构型哦~我就是对这点头疼的,麻烦简要说一下~

1年前2个回答
有机分子式R-S构型详解

1年前1个回答
有机物命名,要求写出R-S构型~

1年前2个回答
有机物命名,要求写出R-S构型~

1年前2个回答
有机化学中的R-S异构说的是什么?

1年前2个回答
Origin中的R-S什么意思,相关系数么?有详细的解释么?

1年前1个回答
有机化学中R-S构型标记法原子或基团的顺序规则问题

1年前1个回答
用与非门构成的R-S触发器的约束条件是什么

1年前1个回答
环烷烃R-S构型如何判断环上基团怎么看还有最小基团朝向怎么看

1年前2个回答
英语翻译The R-S Flip-Flop.We can realize the latch function with

1年前2个回答
证明 C(n r)C(r s) = C(n s)C(n-s r-s)

1年前1个回答
(1999x)^-1998x2000x-1=0的较大根是r,方程1998x^2-1999x+1=0,r-s+?

1年前1个回答
1.设R和S是集合A上的对称关系,证明或反证：R-S也是A上的一个对称关系.

1年前1个回答
英语翻译The J-K Flip-Flop.Another problem with the basic R-S fli

1年前1个回答
手性碳R-S构型问题,如图:左\右那两个手性C相连的四个基团怎么比较啊?注明:(1R,3R)-1-甲基-1乙基-3-异丙

1年前1个回答
设方程20022x2-2003×2001x-1=0较大根为r,方程2001x2-2002x+1=0较小根为s,则r-s值

1年前1个回答
()谢意思，-谢缺的单词p_ck(),l_ _e(),c--l(),w-t-- (),-s-(),b--ch(),r-s

1年前2个回答

你能帮帮他们吗

精彩回答