题目内容

构造下面推理的证明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)

求下面公式的前束范式：$ xF(x ) → "xG(x)

机械性眼外伤不包括下列哪项:

A. 角膜穿通伤
B. 晶状体挫伤
C. 辐射性眼外伤
D. 玻璃体积血
E. 视网膜震荡