コトバンクはYahoo!辞書と技術提携しています。

肯定式と否定式 こうていしきとひていしき modus ponens et modus tollens

1件 の用語解説(肯定式と否定式の意味・用語解説を検索)

ブリタニカ国際大百科事典 小項目事典の解説

肯定式と否定式
こうていしきとひていしき
modus ponens et modus tollens

肯定式は構成式あるいは構成的仮言三段論法ともいう。混合仮言的三段論理の規則の第1,「大前提仮言的判断の前件が小前提において肯定されるとき,結論においてその後件を肯定せねばならない」に従う式であり,「pならばqである,しかしpである,ゆえにqである」となる。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

肯定式と否定式の関連キーワード仮言的三段論法三段論法外の推理選言的三段論法定言的三段論法論式浮石質客観性の原理仮言三段論法仮言選言三段論法選言三段論法

今日のキーワード

パラチオン、パラチオンメチル

パラチオンは無色で油状の液体、パラチオンメチルはコハク色の液体。ともに毒性が強く、有機リン系殺虫剤として使用された。50年代以降、稲の害虫被害を防ぐことが確認され、広く導入された。しかし、農民の中毒死...

続きを読む

コトバンク for iPhone