数理論理学

こっちは前回とうってかわって、かなりわかりやすい話。

• 命題論理のトートロジーに代わる、恒真(valid)という概念の説明。これはとても理解しやすい。
• 冠頭標準形。これは命題論理における論理和標準形のようなひとつの形の定義。やり方は論理和標準形よりも易しい。前回の代入と同様に、束縛変数のかぶりがあれば置き換えだけでよい。
• 述語論理におけるLK。これは命題論理の時とほぼ同じ。