述語論理
述語論理(じゅつごろんり、英: predicate logic)
命題論理
に述語(predicate)を追加する
一階述語論理
の場合は量子化記号を追加
一階述語論理
二階述語論理
高階述語論理
関連
ハイパードクトリン
様相論理
#形式論理
#数理論理学