主题：是高手就近来~~~~~~~~~
秋枫过客
[专家分：380] 发布于 2005-09-26 22:00:00
各位，麻烦大家了，小弟我有个问题想请教，
在全总个体域中，将下面命题符号化
对所有的实数X都存在实数Y，使的X-Y=O。
我不知道这个命题的特性谓词该怎么写，不仅有全称量词，还有存在量词，该怎么写呢？？？？希望各位能提点意见，小弟谢过了，拜托拜托
回复列表 （共4个回复）
沙发
xiaohaokof [专家分：1760] 发布于 2005-09-29 13:10:00
哦，你先可以去看一书嘛，书上应当也有类似的题的
就你这个题目是这样子的
注明：在计算机上没找到所有的这个符号，所以用这个代一下：Ⅴ
同样有这个代一下：存在★
那你这个题目就是这样子的
ⅤX{PX）∧★Y[（Y）∧Q（X，Y）]}
基本上就是这样子了，其中
P（X）是表示X是实数
Q（X，Y）表示的是X—Y=0
差不多就是这样子的了
板凳
秋枫过客 [专家分：380] 发布于 2005-09-29 16:08:00
符号化应该有两种情况吧，
注明：在计算机上没找到所有的这个符号，所以用这个代一下：Ⅴ
同样有这个代一下：存在★
1.V(x)(T(x)->A(x))
2.★(x)(T(x)∧A(x))
请问第一种符号化在哪？？？
3 楼
xinxi99206 [专家分：380] 发布于 2005-09-29 23:03:00
你要分清个体域和全总个体域的概念。
在全总个体域中，就你的题目中来讲，需要指定X是实数的。也就是要用个特性胃词表达的。如P（X）：X是实数。
在全总个体域中，对全程量词，特性胃词常做为蕴涵的前件。对存在量词，特性微词常作为合取项。
注明：在计算机上没找到所有的这个符号，所以用这个代一下：Ⅴ
同样有这个代一下：存在★
（ⅤX）（P（X）->(★Y)(P(Y)∧Q(X,Y)))
4 楼
秋枫过客 [专家分：380] 发布于 2005-09-30 10:59:00
不错，我觉的是对的， 谢了
我来回复
您所在位置：