选择题：设G、H是一阶逻辑公式，P是一个谓词，G＝xP(x), H＝xP(x),则一阶逻辑公式GH是( )

题目内容：
设G、H是一阶逻辑公式，P是一个谓词，G＝xP(x), H＝xP(x),则一阶逻辑公式GH是( ).
A、恒真的 B、恒假的 C、可满足的 D、前束范式.
参考答案：

根据我国高速公路网规划，未来我国将建成布局为“7918”的高速公路网络。其中“7918”是指（ ）、

根据我国高速公路网规划，未来我国将建成布局为“7918”的高速公路网络。其中“7918”是指（ ）、（）、（）

分类：西安交通大学---离散数学  题型：选择题
查看答案