谓词逻辑逻辑类型 / 维基百科,自由的 encyclopedia 在数理逻辑中,谓词逻辑(英语:predicate logic)是符号形式系统的通用术语,比如一阶逻辑,二阶逻辑、多类逻辑或无穷逻辑等等。 此条目需要扩充。 (2010年6月12日) 关于在英语同样可称"Predicate logic"的另一专有名词,请见“一阶逻辑”。
在数理逻辑中,谓词逻辑(英语:predicate logic)是符号形式系统的通用术语,比如一阶逻辑,二阶逻辑、多类逻辑或无穷逻辑等等。 此条目需要扩充。 (2010年6月12日) 关于在英语同样可称"Predicate logic"的另一专有名词,请见“一阶逻辑”。