Terms containing predicate logic

Subject	English	Portuguese
IT	clause form of predicate logic	forma de cláusula de lógica de predicados
IT	first-order predicate logic	lógica de predicados
IT	predicate logic	lógica de predicados
IT	second-order predicate logic	lógica de predicados de segunda ordem