逻辑习题:None of the following are true求答案

胡松涛
  • 85

在The Science of programming书里第1章的习题:

  1. Translate the following sentences into propositional form.

f) None of the following are true: x < y, y < z and v=w

其中 x < y 可以写成 xlessy, y < z 是 ylessz, v=w 是 vequalw
所以,我给出的答案是:

](xlessy v ylessz v vequalw)

] 代表 not, v 代表 or,^ 代表 and。

请问,这样写对吗?对None of the following are true:不大明白。

ps: http://book.douban.com/subject/2350559/

回复
阅读 2.3k
1 个回答

你写的是对的。对于三个关系a,b,cNone of are true意思是没有一个是对的,也就是每一个都是错的,因此可以翻译为:

not a and not b and not c

提取出not,也就是(注意里面的and需要变成or):

not (a or b or c)

撰写回答
你尚未登录,登录后可以
  • 和开发者交流问题的细节
  • 关注并接收问题和回答的更新提醒
  • 参与内容的编辑和改进,让解决方法与时俱进
你知道吗?

宣传栏