定理1.4.6 は論理式の形だけを見れば論理値を考えなくても適用できるようになっている。この節では、意味を考えなくても、決められた式の変形だけで正しい命題を作成できるような規則を与える。記号列の集合を形式的な規則で定義したものを形式的体系（formal…

上記の条件を満たす「Γ|=φ」の形の「行」を証明（Proof）と呼ぶ。とくに、一番最後に書いてある式が証明された式である。 条件：どの「行」もそれがすぐに正しいことがわかるか、それ以前に現れる「行」をいくつか見ればすぐに正しいことがわかる。さらに注…

恒真命題 （Tautology） 論理式φがφに現れる命題変数の任意の解釈で真になるとき“|= φ”と書き，φを恒真命題と呼ぶ． 意味論的帰結（） 論理的推論は「→」に着目すると見やすくなるので，次のような定義をする．論理式Γ，φに大使，「Γ→φ」が恒真命題のとき「Γ…