Lógica de primer orden
La lógica de primer orden (FOL) es un sistema lógico utilizado en matemáticas, filosofía, lingüística e informática. Va más allá de la lógica proposicional, que se limita al estudio de los valores de verdad, al estudio de las relaciones entre objetos. En FOL, se puede hablar de objetos y sus propiedades, y de relaciones entre … Leer más