Loading

Logic 蕴含 “只要有人”

  • 对于所有的x，只要x能完成，Clark就能完成
  • 只要有人能完成，Clark就能完成

\[x \in \text{Human} \]

\[\exists x (cando(x) \wedge cando(\text{Clark})) \]

有一个人能完成，并且Clark可以完成

\[\forall x( \ cando(x) \to cando(\text{Clark})) \]

\(A \to B\) means, if \(A\) then \(B\)

Implies

posted @ 2021-11-11 16:35  ZXYFrank  阅读(28)  评论(0)  编辑  收藏  举报