给定公式(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)