问答题
计算题 用归谬法推证下列各题的有效结论:r→¬q,r∨s,s→¬q,p→q=>¬p
【参考答案】
点击查看答案
<上一题
目录
下一题>
热门
试题
单项选择题
设f和g都是从A到A的双射函数,则(fοg)-1为()
A.f
-1
οg
-1
B.fοg
-1
C.(gοf)
-1
D.g
-1
οf
-1
点击查看答案&解析
问答题
用归谬法推证下列各题的有效结论:p∧q,(pq)→(t∨s)=>t∨s
点击查看答案
相关试题
对任意集合A,B 和C,试证明A×(B∪C)=...
求¬P∨(Q∧R)的合取范式与主合取范式。
设图G=,V={v1,v2,v3,v4},E=...
设关系R的关系图如下,试(1)写出R的关系...
设个体域D={1,2,3,4},则谓词公...