题目内容

给定公式(p∨q) ®r , 该公式在全功能集{Ø,® }的形式为?

查看答案
更多问题

给定公式(p∨q) ®r , 该公式在全功能集{ ↑}的形式为?

构造下面推理的证明A) 前提: p®(q®s),q, p∨Ør结论: r®sB) 前提: Ø (p∧Øq) , Øq∨r, Ør结论: Ø p

给定解释I如下:(1)个体域DI为整数集合;(2)a0 =0,a1=1;(3)f(x,y)=x-y,g(x,y)=x+y;(4)F(x,y)为x

求下面公式的前束范式(1)"xF(x ) ∧ Ø $ xG(x)

答案查题题库