lógica de primer orden Synonym