┐(q→p)∧q是要么p要么q的矛盾命题式,则┐(q→p)∧q∧┐r是 A.可满足式 B.重合式 C.要么p要么q的矛盾命题式 D.都不是
来源:蜘蛛抓取(WebSpider)
时间:2020-01-29 04:12
标签:
p或q的矛盾
(┐P∧q)→q即(非P与q)蕴含q。公式类型为整体蕴含部分
下载百度知道APP抢鲜体验
使用百度知道APP,立即抢鮮体验你的手机镜头里或许有别人想知道的答案。
G=┐(P→Q)∨(Q∧(┐P→R))
=┐(┐P∨Q)∨(Q∧(P∨R))
=(P∧┐Q)∨((Q∧P)∨(Q∧R))
=(P∧┐Q)∨(Q∧P)∨(Q∧R)
=((P∧┐Q)∧(┐R∨R))∨((Q∧P)∧(┐R∨R))∨((Q∧R)∧(┐p∨p))
=(P∧┐Q∧┐R)∨(P∧┐Q∧R)∨(Q∧P∧┐R)∨(Q∧P∧R)∨(Q∧R∧┐p)
解法二:真值表法更简单。(略)不懂就问我
下载百度知道APP抢鲜体验
使用百度知道APP,立即抢鲜体验你的手机镜头里或许有别人想知道的答案。
1如果P为假,则因为是“且”运算所以 假
2,如果P为真考察Q→P,它的等价命题为 ┐P→┐Q由于P为真,则 ┐P为假所以┐P→┐Q必定是真,所以Q→P为真┐(Q→P)为假
下载百度知道APP抢鲜体验
使用百度知道APP,立即抢鲜体验你的手机镜头里或许有别人想知道的答案。