モーダストレンス
モーダストレンス（英: Modus tollens, MT）は、間接証明（indirect proof）や対偶による証明（proof by contraposition）の正式な名称である。 ラテン語で「否定によって肯定する様式」の意。
モーダストレンス（英: Modus tollens, MT）は、間接証明（indirect proof）や対偶による証明（proof by contraposition）の正式な名称である。 ラテン語で「否定によって肯定する様式」の意。
モーダストレンス（英: Modus tollens, MT）は、間接証明（indirect proof）や対偶による証明（proof by contraposition）の正式な名称である。 ラテン語で「否定によって肯定する様式」の意。
出典: Wikipedia「モーダストレンス」 · CC BY-SA 4.0
この記事を共有: X · Bluesky