当我们用英语说“All As are Bs”时，这意味着我们一观察到一个 A 就获得了信息，我们可以立即推断它也一定是一个 B。这些是我们使用蕴涵的情况. 因此，这将以形式逻辑写成：

$$\forall X \left( A(X) \rightarrow B(X) \right)$$

当我们用英语说“Some As are Bs”时，我们不会仅仅通过观察某物是 A 来获得任何新信息，我们无法推断出关于该 A 的任何内容。它可能恰好是同时是 A 的 As 之一B，但它也可能恰好不是这些例子之一。因此，在这里使用暗示是错误的。英文句子给我们的唯一信息是，在某处至少有一个东西恰好是 A 和 B，正式写成：

$$\exists X (A(X) \land B(X))$$

---

假设我们将在逻辑上编写以下内容：

$$\exists X (A(X) \rightarrow B(X))$$

这将被翻译成英文如下：

存在一些$X$这样，如果它是一个 $A$，它也是一个$B$.

粗体部分在那里非常重要。请注意，只要我找到一个例子，这个逻辑陈述也是正确的$X$那不是一个$A$. 例如，以下陈述在现实世界中是正确的：

存在一些人类$X$这样，如果$X$可以飞，$X$也可以从他或她的手中发射火球。

（这在现实世界中是正确的，因为我可以想出很多人类不会飞的例子）