公式A=∃x(P(x)→Q(x))的解释I为:个体域D={2} P(x):x>3 Q(x):x=4 则A的真值为()。

公式A=∃x（P（x)→Q（x))的解释I为：个体域D={2｝，P（x)：x>3，Q（x)：x=4，则A的真值为（)。

A、1

B、0

C、可满足式

D、无法判定

您可能感兴趣的试题

单链表的插入操作 procedure insert（L:linklist; I:integer; x:datatype);var p,q:pointer;

答案解析
负载的有功功率为P，无功功率为Q，电压为U，电流为I，确定电抗X大小的关系式是（)A.X=Q／I2B.X=Q／IC.X

答案解析
将谓词公式G=（x)（（y)P（x y)→～（y)（Q（x y)→R（x y)))化为Skolem

答案解析
给定解释I如下：（1)个体域为D={－2 3 6}；（2)F（x)：x≤3 G（x)：x＞5

答案解析
《云南省房屋建筑和市政基础设施施工招标工程量清单评标(暂行)办法》规定栏标价的计算公式:J=P+C+Q+F+S+X X为()。

答案解析
设个体域为整数集Z 确定下列各公式的真值. (1)(x2>0). (2)(x2=0). (3)(x2≥x). (4)(x2

答案解析
一阶线性微分方程型如:y′+P(x)y=Q(x) 求其通解公式的推导过程.

答案解析

公式A=∃x(P(x)→Q(x))的解释I为:个体域D={2} P(x):x&gt;3 Q(x):x=4 则A的真值为()。