Category:直接ちょくせつ推論すいろん

直接ちょくせつ推論すいろん (Immediate inference)に関かんするカテゴリ。

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