判断下列两个谓词蕴含式的逻辑值.如果逻辑值为F,须举例予以说明【或者通过定义一个恰当的谓词说明,或者
来源:学生作业帮 编辑:搜狗做题网作业帮 分类:数学作业 时间:2024/07/22 14:17:22
判断下列两个谓词蕴含式的逻辑值.如果逻辑值为F,须举例予以说明【或者通过定义一个恰当的谓词说明,或者
![](http://img.wesiedu.com/upload/2/4b/24bd3433c680ba4196f2da7c83f0ae60.jpg)
![](http://img.wesiedu.com/upload/2/4b/24bd3433c680ba4196f2da7c83f0ae60.jpg)
![判断下列两个谓词蕴含式的逻辑值.如果逻辑值为F,须举例予以说明【或者通过定义一个恰当的谓词说明,或者](/uploads/image/z/19551617-17-7.jpg?t=%E5%88%A4%E6%96%AD%E4%B8%8B%E5%88%97%E4%B8%A4%E4%B8%AA%E8%B0%93%E8%AF%8D%E8%95%B4%E5%90%AB%E5%BC%8F%E7%9A%84%E9%80%BB%E8%BE%91%E5%80%BC.%E5%A6%82%E6%9E%9C%E9%80%BB%E8%BE%91%E5%80%BC%E4%B8%BAF%2C%E9%A1%BB%E4%B8%BE%E4%BE%8B%E4%BA%88%E4%BB%A5%E8%AF%B4%E6%98%8E%E3%80%90%E6%88%96%E8%80%85%E9%80%9A%E8%BF%87%E5%AE%9A%E4%B9%89%E4%B8%80%E4%B8%AA%E6%81%B0%E5%BD%93%E7%9A%84%E8%B0%93%E8%AF%8D%E8%AF%B4%E6%98%8E%2C%E6%88%96%E8%80%85)
(a)值为:假;反例:
设 p(x,y) :y = x + 1;x,y 属于全体实数R;
显然:对任意 y ∈ R,都存在 x (令 x = y - 1),使得 y = x + 1;即条件为真;
但是,不存在 x ∈ R,使得任何 y 都满足 y = x + 1;即结论为假;所以,该蕴含式为假.
(b)值为:真;
假设条件为真,即:存在 x 使得 任意 y 都满足 p(x,y);不妨设此 x 的值为 a.即:
对任意 y,p(a,y) 为真;
所以,对任意 y,存在 x(令 x = a),使得 p(x,y) 为真,即结论为真.所以该蕴含式为真.
设 p(x,y) :y = x + 1;x,y 属于全体实数R;
显然:对任意 y ∈ R,都存在 x (令 x = y - 1),使得 y = x + 1;即条件为真;
但是,不存在 x ∈ R,使得任何 y 都满足 y = x + 1;即结论为假;所以,该蕴含式为假.
(b)值为:真;
假设条件为真,即:存在 x 使得 任意 y 都满足 p(x,y);不妨设此 x 的值为 a.即:
对任意 y,p(a,y) 为真;
所以,对任意 y,存在 x(令 x = a),使得 p(x,y) 为真,即结论为真.所以该蕴含式为真.
离散数学的谓词逻辑题目
离散数学谓词逻辑证明的问题
问一个关于离散数学谓词逻辑(一阶逻辑)的问题¥.
恳问高手一个离散数学谓词逻辑(一阶逻辑)的问题
一道离散数学中谓词逻辑方面的题、
英语翻译1.D(x),F(x)分别代表:“x是一只狗”和“x是毛皮”.A代表所有的动物.求用逻辑谓词翻译下列句子:“不是
谓词逻辑问题帮我证明式子或者用例子来说明,就是将生活中的东西带入.V代表任意,E代表存在。式子是Vx(A(x)->B)
帮我解离散数学的一条逻辑谓词证明题
谓词逻辑题此题困惑小弟许久,对了分号上面的是
离散数学问题,谓词逻辑问题,求解,谢谢!
如何把命题逻辑变成谓词逻辑?
离散数学谓词逻辑问题:(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重言式