|| 何かと何かの結びつき
基本的な知識は『集合論』のページに載っています。
“写像 Mapping” の続きを読むまったく縁遠くない数学の使われ方
|| 真理値を割り当てるやつ(モデル)
こいつは「なにか(文だったり論理式だったり)」に、
「真理値」を「割り当てるもの」の名前です。
“真理値割り当て Truth Assignment” の続きを読む|| 様相っていう聞き慣れない単語
これは「必然性」と「可能性」について言及したものです。
数学と哲学の両方に片足ずっぽりな感じのする論理になります。
“様相論理 Modal Logic” の続きを読む