http://www.at-akada.org/blog/2007/03/post_118.html
この部分が間違っているような。 「A と A ⇒ B とから B を導き出す推論規則」は MP(modus ponens)、日本語で除去規則と呼ばれるもので、三段論法とは関係ない気がする。
これは嘘だったかもしれない。
今日↓の本を読んでいたら、この本にも「MP は三段論法とも呼ばれる」と書いてあった。
しかし、MP と三段論法のつながりはよくわからない。どういうことだろう。
三段論法については以下を参照。
http://ja.wikipedia.org/wiki/%E4%B8%89%E6%AE%B5%E8%AB%96%E6%B3%95
コメント(2)
コメントする
トラックバック(0)
このブログ記事を参照しているブログ一覧: 自己つっこみ(再帰的つっこみ)
このブログ記事に対するトラックバックURL: http://www.at-akada.org/mt/mt-tb.cgi/198
mpは三段論法の一つですよ。
』 (2011/06/11 5:27)数学・論理学で三段論法と言えば、
mpのことです。
A->B
B->C
-----
A->C
を三段論法と呼ぶと覚えてたんですよね。
』 (2011/06/11 13:14)しかし三段論法というのはたくさんあるようです。