Terms containing predicate logic

Subject	English	Spanish
IT	clause form of predicate logic	forma clausular de la lógica de predicados
IT	first-order predicate logic	lógica de predicados
IT	first-order predicate logic	cálculo de predicados
IT	predicate logic	lógica de predicados
IT	predicate logic	cálculo de predicados
IT	second-order predicate logic	lógica de predicados de segundo orden
IT	second-order predicate logic	cálculo de predicados de segundo orden
IT	second-order predicate logic	lógica de segundo orden