lógica de predicados Synonym