离散数学谓词演算小题求解设论域为整数集,下列公式哪个值为真.a) (Vx)(存在y)(x+y=0);b) (存在y)(Vx)(x+y=0);c) (Vx)(vy)(x+y=0);d) |(存在x)(|y)(x+y=0);选什么呢(v是所有的意思,存在就是反写E,|就是否定

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/17 10:28:04

离散数学谓词演算小题求解设论域为整数集,下列公式哪个值为真.a) (Vx)(存在y)(x+y=0);b) (存在y)(Vx)(x+y=0);c) (Vx)(vy)(x+y=0);d) |(存在x)(|y)(x+y=0);选什么呢(v是所有的意思,存在就是反写E,|就是否定
离散数学谓词演算小题求解
设论域为整数集,下列公式哪个值为真.
a) (Vx)(存在y)(x+y=0);
b) (存在y)(Vx)(x+y=0);
c) (Vx)(vy)(x+y=0);
d) |(存在x)(|y)(x+y=0);
选什么呢(v是所有的意思,存在就是反写E,|就是否定)求具体分析步骤越详细越好,热心的好汉们help me!

离散数学谓词演算小题求解设论域为整数集,下列公式哪个值为真.a) (Vx)(存在y)(x+y=0);b) (存在y)(Vx)(x+y=0);c) (Vx)(vy)(x+y=0);d) |(存在x)(|y)(x+y=0);选什么呢(v是所有的意思,存在就是反写E,|就是否定
a是对的,对任意的整数x,都存在y,使得x+y=0.y就是x的相反数,当然存在了.