谓词逻辑 在数理逻辑中谓词逻辑英語predicate logic是符号形式系统的通用术语比如一阶逻辑二阶逻辑多类逻辑或无穷逻辑等等