Mientras que la logica proposicional se encuentra limitada a la representación de hechos, la logica  de primer orden surge como … Más