7′. 所有A都是B。
C是A.
因此，C是B。
在这个演绎形式中，可以用任何名词来替换A、B和C。比如，
8. 所有的母牛都是鸽子。
乔治·华盛顿是一头母牛。
因此，乔治·华盛顿是一只鸽子。
论证8是有效的，尽管结论为假。当然，原因在于前提为假。因此，除非前提为真，否则有效论证也无法保证结论为真。如此一来，在开始演绎之前，你始终要确保你已充分维护了前提。
有时，有效论证是从否定性前提出发，就像从肯定性命题出发一样。比如，
9. 没有妇女曾是总统。
埃莉诺·罗斯福是一位妇女。
因此，埃莉诺·罗斯福不是总统。
形式如下
9′. 没有A是B。
C是A。
因此C不是B。
另一个常见的论证如下
