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

述語論理 - Wikipedia