論理結合子 (Logical Connectives) と真理関数 (Truth Functions) MOC

論理結合子 (Logical Connectives) と真理関数 (Truth Functions) MOCは、形式言語の式・意味・妥当な推論を扱う論理学の概念である。

仕組みと進め方

式の形成規則と、付値またはモデルによる真偽条件を分け、前提から結論が保存される条件を確認する。

具体例と確認

有限の命題なら真理値表を作り、述語論理なら議論領域と解釈を明示して判定する。

限界と注意点

構文上の導出可能性と意味論上の論理的帰結は別概念であり、健全性・完全性が両者を結ぶ。