作业帮 > 综合 > 作业

判断是否命题,如果是就给出谓词表达式

来源:学生作业帮 编辑:灵鹊做题网作业帮 分类:综合作业 时间:2024/04/30 21:50:26
判断是否命题,如果是就给出谓词表达式
判断是否命题,如果是就给出谓词表达式
a.\x09有些人对某些食物过敏
b.\x09别拿豆包不当干粮,别拿村长不当干部
c.\x09任何人不喜欢步行就喜欢乘车.每个人或者喜欢乘车或者喜欢骑车.如果一些人喜欢步行,就有一些 人喜欢乘车.
判断是否命题,如果是就给出谓词表达式
A是,B不是,C是
用全总个体域,引入特性谓词
A:用M(X):X是人,H(X):X食物过敏,存在(X)(M(X)—>H(X))
C:用M(X):X是人,H(X):X喜欢步行,L(X):X喜欢乘车
任何人不喜欢步行就喜欢乘车:任意(X)(M(X)且H(X)且非L(X))或(M(X)且L(X)且非H(X)),
每个人或者喜欢乘车或者喜欢骑车:任意(X)(M(X)且H(X))或(M(X)且L(X)),
如果一些人喜欢步行,就有一些 人喜欢乘车:存在(X)(Y)((M(X)且H(X))—>(M(Y)且L(Y))