|| 人間のために「正しさ」を決定していく道具
使い手が「人間」である、思考のための『道具』。
それが数学の本質と言って良いでしょう。
解析学 Analysis
推論規則 Inference Rules
|| 推論の規則（まんま）
ざっくり言うと「論理式」から「論理式」を得る「規則」のこと。
正確には「論理式の集合」に定義できる『関係』です。
“推論規則 Inference Rules” の続きを読む
まったく縁遠くない数学の使われ方
まったく縁遠くない数学の使われ方
|| 推論の規則（まんま）
ざっくり言うと「論理式」から「論理式」を得る「規則」のこと。
正確には「論理式の集合」に定義できる『関係』です。
“推論規則 Inference Rules” の続きを読む