25/37
２３ （古）論理と推論
［形式論理（２値論理）推論］
前提一 馬は動物だ
前提二 動物は死ぬ
結 論 馬は死ぬ
［古論理（述語的論理）推論］
前提一 私は顔が長い
前提二 馬は顔が長い
結 論 私は馬だ
［ファジイ推論］
前提一 あの男は顔が長い
前提二 馬面の男はあそこが大きい
結 論 あの男はすぐに欲情する
※ 文字数が足りないので、繰り返します。
［形式論理（２値論理）推論］
前提一 馬は動物だ
前提二 動物は死ぬ
結 論 馬は死ぬ
［古論理（述語的論理）推論］
前提一 私は顔が長い
前提二 馬は顔が長い
結 論 私は馬だ
［ファジイ推論］
前提一 あの男は顔が長い
前提二 馬面の男はあそこが大きい
結 論 あの男はすぐに欲情する
