搜题
  1. 问题易首页
  2. 大学
导航：题目详情 | 答案解析 | 相关问题 | 最新问题

在一阶逻辑中将下列命题符号化：

大学 符号化,中将,命题 已帮助 人

在一阶逻辑中将下列命题符号化：

热搜：与门符号及逻辑表达式

答案解析

难度★★☆ 搜索

  • 本例没有给出个体域，因而使用全总个体域．
       令F(x)：x是大学生；G(x)：x是文科生；H(x)：x是理科生．命题符号化为
       x(F(x)→(G(x)∨H(x)))．$令F(x)：x是人；G(y)：y是花；H(x，y)：x喜欢y．命题符号化为
       x(F(x)∧y(G(y)→H(x，y)))．$令F(x)：x是人；G(x)：x犯错误．命题符号化为
       ￢x(F(x)∧￢G(x))  或  x(F(x)→G(x))．$令F(x)：x在北京工作；G(x)：x是北京人；命题符号化为
       ￢x(F(x)→G(x))  或  x(F(x)∧￢G(x))．$令F(x)：x是金属；G(y)：y是液体；H(x，y)：x溶解在y中．命题符号化为
       x(F(x))→y(G(y)∧H(x，y))．$令F(x，y)：x与y是对顶角；H(x，y)：x与y相等．命题符号化为
       xy(F(x，y)→H(x，y))．