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