述語論理
predicate logic
一階述語論理
命題論理
論理記号の一覧
分析論前書
関係代数
(関係モデル)
関係モデル
真理値表
述語論理 - Wikipedia