判断是否命题,如果是就给出谓词表达式判断是否命题,如果是就给出谓词表达式a.\x09有些人对某些食物过敏b.\x09别拿豆包不当干粮,别拿村长不当干部c.\x09任何人不喜欢步行就喜欢乘车.每个人

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/16 16:20:31

判断是否命题,如果是就给出谓词表达式判断是否命题,如果是就给出谓词表达式a.\x09有些人对某些食物过敏b.\x09别拿豆包不当干粮,别拿村长不当干部c.\x09任何人不喜欢步行就喜欢乘车.每个人
判断是否命题,如果是就给出谓词表达式
判断是否命题,如果是就给出谓词表达式
a.\x09有些人对某些食物过敏
b.\x09别拿豆包不当干粮,别拿村长不当干部
c.\x09任何人不喜欢步行就喜欢乘车.每个人或者喜欢乘车或者喜欢骑车.如果一些人喜欢步行,就有一些 人喜欢乘车.

判断是否命题,如果是就给出谓词表达式判断是否命题,如果是就给出谓词表达式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))

角形,另给出一个点,在此基,别拿村长不当干部
c.任何人不喜欢步行就础上求作一条直线,要求将给出三角形面积平分。

a 是命题 p
b不是命题
c是命题 -p->q(非此即彼) p|q(或) p->q(若p则q)