求解答：一阶逻辑将下列命题符号化 1、不存在比一切实数都大的实数。2、所有火车都比某些汽车快

如题所述

举报该问题

第1个回答 2012-04-03

1、不存在比一切实数都大的实数：
令Rx：x为实数；Lxy：x大于y，则
∀x(Rx→∃y(Ry∧Lyx))
2、所有火车都比某些汽车快：
令Hx：x为火车；Qx：x为汽车；Kxy：x快于y，则
∀x(Hx→∀y(Qy∧Lyx))

相似回答

在一阶逻辑中将下列命题符号化 (1)f(x):X是人,G(x):x天天锻炼身体则...答：所以，符号表示为：（Ex）（f（x）∧G（x））；（Ex表示存在x）（2）说汽车比火车慢是不对的；即是说：并非所有的汽车都比（所有的）火车慢；所以，符号表示为：┐（AxAy）（F（x）∧G（y）→H（x，y））；（Ax表示所有x）

2在一阶逻辑中将下列命题符号化 (1)某列火车都比某些汽车快.2)鸟都会...答：1）令：a：某列列车；F（x）：x是飞机；Kxy：x比y快，则：∃x（F（x）∧K（ax））2）令：B（x）：x是鸟；F（x）：x会飞，则：∀x（B（x）→F（x））

帮忙翻译关于一阶逻辑的一些题目符号化答：1、选择适当的符号翻译成一阶语言的公式¬→ F（x）表示x是有理数，G（x）表示x是是实数（1）所有有理数都是实数 Ax[F(x)→G(x)]（2）所有实数都不是有理数Ax[F(x)→¬G(x) ]F（x）表示x是整数，G（x）表示x是是奇数，H（x）表示x是偶数（3）所有整数是奇数或是偶数...

离散数学一阶逻辑符号表达的时候的符号问题,请大神指点答：在实数范围内R，对所有的x，都存在y，使得x*y=0 ∀x(R(x)→∃y(R(y)∧F(x,y)))都要用到

大家正在搜

在一阶逻辑中将下列命题符号化一阶逻辑命题符号化例题一阶逻辑命题符号化的三要素一阶逻辑是指在命题逻辑的基础之上命题逻辑和一阶逻辑的区别一阶逻辑和命题逻辑的联系与区别一阶逻辑和命题逻辑一阶逻辑符号化一阶逻辑公式存在推任何

在一阶逻辑中将下列命题符号化：没有一位女同志既是科学家又是贤...

在一阶逻辑中将下列命题符号化： 1.没有不散的筵席 2.闪光...

2在一阶逻辑中将下列命题符号化（1）某列火车都比某些汽车快...

用一阶逻辑将该命题符号化

将下列命题符号化，并列出其负命题的等值命题，用真值表予以判定...

离散数学一阶逻辑符号化问题鸟都会飞翔 x, M(x):x是...

将下列命题符号化

帮忙翻译关于一阶逻辑的一些题目符号化