7′. 所有A都是B。

C是A.

因此，C是B。

在這個演繹形式中，可以用任何名詞來替換A、B和C。比如，

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

喬治·華盛頓是一頭母牛。

因此，喬治·華盛頓是一只鴿子。

論證8是有效的，盡管結論為假。當然，原因在于前提為假。因此，除非前提為真，否則有效論證也無法保證結論為真。如此一來，在開始演繹之前，你始終要確保你已充分維護了前提。

有時，有效論證是從否定性前提出發(fā)，就像從肯定性命題出發(fā)一樣。比如，

9. 沒有婦女曾是總統(tǒng)。

埃莉諾·羅斯福是一位婦女。

因此，埃莉諾·羅斯福不是總統(tǒng)。

形式如下

9′. 沒有A是B。

C是A。

因此C不是B。

另一個常見的論證如下