帮忙看一道逻辑题,做一个例子都行,

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/28 06:49:20
帮忙看一道逻辑题,做一个例子都行,

帮忙看一道逻辑题,做一个例子都行,
帮忙看一道逻辑题,做一个例子都行,

帮忙看一道逻辑题,做一个例子都行,
你这是什么逻辑?从例子上看不像是公理化逻辑.
如果是公理化逻辑应该是:
(a)0(0表示错,1表示对),因为对任意x都有y=-x使得x+y(=0)1.
(c)1,存在x=0,对任意y,存在z=y-1使得x+y>z.
从题目中给的例子看我猜是这样(我对非公理化逻辑不太熟):
(a)0.对任意x,都有y在0的左边比x离0的距离远.
.y.0.x.or
.y...x.0.
(b)1.对任意x,都有y在1的右边比x离1的距离远.
.x.1.y.or
.1.x.y.
(c)1.有一个x=0,对任意y都有一个z在y的左边.
.z...y.