主题：求离散数学题~
zj830728
[专家分：0] 发布于 2006-11-28 19:37:00
设P(x):x是人,Q(x):x犯错误,命题"没有不犯错误的人"在一阶逻辑中符号化的形式为_____________
回复列表 （共3个回复）
沙发
paulsilent [专家分：110] 发布于 2006-11-29 19:58:00
(任意x)Q（x）
应该可以吧！不知道你说的是不是一定要加上非的符号
板凳
yulin52 [专家分：0] 发布于 2008-10-24 18:59:00
(任意x)Q(x)->P(x)
3 楼
yulin52 [专家分：0] 发布于 2008-10-24 19:00:00
上面错了：
(任意x)P(x)->Q(x)
我来回复
您所在位置：