早教吧作业答案频道 -->数学-->
证明：｛P→（Q→S）,-RvP,Q},蕴含(R→S）^Q怎么证明
题目详情
证明：｛P→（Q→S）,-R v P,Q},蕴含(R→S）^ Q怎么证明
▼优质解答
答案和解析
-R v P 等价于 R →P , 从而有
R → P → (Q → S )
所以 R → (Q → S )
再加上Q是不是就有R→S 呢?.
仅供参考,Logic我只是作为基础学了点皮毛.
R → P → (Q → S )
所以 R → (Q → S )
再加上Q是不是就有R→S 呢?.
仅供参考,Logic我只是作为基础学了点皮毛.
看了 证明：｛P→（Q→S）,-R...的网友还看了以下：
极值证明题f(x)=x^p(1-x)^q,p和q都是整数,大于或等于2.1.)证明当q是偶数时,f的 2020-03-31 …
我把有理数集证成了不可数集,请问哪里证错了我知道事实上Q可数,请不要给我发Q是可数集的证明.我只想 2020-05-14 …
线性代数定理求证明Q为n*n维方阵由（n-q）*n微矩阵D 和q*n维矩阵C构成则C左乘Q逆将图示 2020-05-16 …
用数学归纳法证明(1+q)(1+q^2)(1+q^4)...[1+q^(2n)]=[1-q^(2n 2020-06-08 …
设a1,a2,.,an是线性空间V的一组基,q是V的线性变换,证明:q可逆当且仅当q(a1), 2020-06-12 …
证明Q[i]是包含Q和i的最小的域 2020-06-25 …
证明：｛P→（Q→S）,-RvP,Q},蕴含(R→S）^Q怎么证明 2020-07-05 …
1·证明Q是不完备的有序集..2·证明至多可数多个可数集的并还是至多可数集..数分好头疼啊.. 2020-07-10 …
一道有关虚数的题目（证明题）以下的证明过程出什么差错了?p和q是两个不等于0的实数.p=qp=qp 2020-07-15 …
证明q^n收敛于0,q的绝对值小于1 2020-07-31 …