重要な機能：
* 真実を摂取する： 施設が真実である場合、結論 *は虚偽ではありません。
* 論理接続： 施設は、結論の真実を保証するのに十分な証拠を提供します。
* コンテンツのフォーム： 演ductive的な議論の妥当性は、個々の施設の真実ではなく、その論理構造によって決定されます。
例：
前提1： すべての犬は哺乳類です。
前提2： 私のペットは犬です。
結論： したがって、私のペットは哺乳類です。
この議論は演ductive的に有効です。施設が真実である場合（そしてそうである）、結論も真実でなければなりません。議論の構造により、結論は施設に基づいて論理的に健全であることが保証されます。
重要な注意：
* 妥当性は真実を保証しません： 有効な引数は、結論が真であることを保証しますが *施設が真である場合、それ自体が実際に真であることを保証しません。
* 健全性： 健全な引数は *有効 *であり、真の *施設を持っています。
非難的に有効な議論の例：
* modus ponens：
* Pの場合、Q。
* P.
*したがって、Q。
* モーダストーレンス：
* Pの場合、Q。
* Qではありません。
*したがって、Pではありません
対照的に、演ductive控除の無効な議論とは、施設が真実であっても、結論が必ずしも施設から続くとは限らないという議論です。
無効な引数の例：
前提1： 一部の鳥は飛ぶことができます。
前提2： 私のペットは鳥です。
結論： したがって、私のペットは飛ぶことができます。
この引数は無効です。一部の鳥は飛ぶことができますが、すべての鳥が飛ぶことができるわけではありません。施設は、結論を保証するのに十分な情報を提供しません。