lógica de inferencia natural Synonym