求解一道离散数学 谓词逻辑推理题
求解一道离散数学 谓词逻辑推理题
A1 = (∃x)(P(x)∧(∀y)(R(x,y)→L(x,y)))
A2 = (∀x)(P(x)→(∀y)(Q(y)→┐L(x,y)))
B = ┐(∃x)(∀y)(R(y,x)∧Q(x))
用逻辑推理法证明A1∧A2 => B
对回答的老师万分感谢！
A1 = (∃x)(P(x)∧(∀y)(R(x,y)→L(x,y)))
A2 = (∀x)(P(x)→(∀y)(Q(y)→┐L(x,y)))
B = ┐(∃x)(∀y)(R(y,x)∧Q(x))
用逻辑推理法证明A1∧A2 => B
对回答的老师万分感谢！
可能相似的问题
-
1年前1个回答
-
1年前1个回答
-
1年前2个回答
你能帮帮他们吗