|| 真理値を割り当てるやつ(モデル)
こいつは「なにか(文だったり論理式だったり)」に、
「真理値」を「割り当てるもの」の名前です。
“真理値割り当て Truth Assignment” の続きを読むまったく縁遠くない数学の使われ方
|| 真理値を割り当てるやつ(モデル)
こいつは「なにか(文だったり論理式だったり)」に、
「真理値」を「割り当てるもの」の名前です。
“真理値割り当て Truth Assignment” の続きを読む|| 文の意味から真偽を決める感じ
ここでは、主に『意味』について扱っていきます。
数学における『意味論 Semantics』と考えて良いです。
“モデル理論 Model Theory” の続きを読む