:
述語論理
:
記号/命題/述語論理
:
命題計算の完全性定理
述語論理
述語論理
項述語
述語の論理和・論理積・否定
限定記号
束縛変数と自由変数
基本的な性質
冠頭標準形
Yasunari SHIDAMA