Category:直接推論

直接推論 (Immediate inference)に関するカテゴリ。

直接推論とは、1つのステートメントまたは命題からのみ行うことができる推論である。たとえば、「ヒキガエルはみんな緑色である」というステートメントから、「緑色でないヒキガエルはいない」という直接推論を行うことができる。論理演算を使用して有効に推論できる多数の直接推論があり、その結果は、指定されたステートメントと論理的に等価なステートメント形式となる。三段論法の誤謬である無効な直接推論もある。(Immediate inference 英語版より)