欲穷千里目,更上一层楼用谓词公式怎么表达
来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:综合作业 时间:2024/07/28 19:07:09
欲穷千里目,更上一层楼用谓词公式怎么表达
令S(x):x想要看到千里远的地方;H(x):x要更上一层楼;
命题可翻译为:V(x)[S(x)→H(x)];
PS:V表示任取,找不到那个符号就用这个代替了,
命题可翻译为:V(x)[S(x)→H(x)];
PS:V表示任取,找不到那个符号就用这个代替了,