7′. 所有A都是B。

C是A.

因此，C是B。

在这个演绎形式中，可以用任何名词来替换A、B和C。比如，

8. 所有的母牛都是鸽子。

乔治·华盛顿是一头母牛。

因此，乔治·华盛顿是一只鸽子。

论证8是有效的，尽管结论为假。当然，原因在于前提为假。因此，除非前提为真，否则有效论证也无法保证结论为真。如此一来，在开始演绎之前，你始终要确保你已充分维护了前提。

有时，有效论证是从否定性前提出发，就像从肯定性命题出发一样。比如，

9. 没有妇女曾是总统。

埃莉诺·罗斯福是一位妇女。

因此，埃莉诺·罗斯福不是总统。

形式如下

9′. 没有A是B。

C是A。

因此C不是B。

另一个常见的论证如下