Terms for subject General containing logic predicate

English	Japanese
first order predicate logic	第一階述語論理
first-order predicate logic	一階述語論理
n logic predicate	賓位語
n predicate logic	述語論理 (ぢゅつご・ろんり)