推論規則とは？
すいろんきそく
前提から結論を形式的に導くための規則で、モーダス・ポーネンスが代表例だよ。
推論規則とは、ある命題から別の命題を正しく導くための形式的なルールだよ。たとえば「P ならば Q、そして P が正しい」なら「Q も正しい」と導けるよ。これをモーダス・ポーネンスというんだ。このルールを積み重ねると証明になるよ。
つかいかた・れいぶん
「雨が降ったらぬれる、今雨が降っている、だからぬれる」というのが推論規則（モーダス・ポーネンス）の例だよ。
このことばを シェア
さいごの こうしん: