Diferencia entre revisiones de «Lógica matemática»
Contenido eliminado Contenido añadido
Línea 45:
Un lenguaje de primer orden' <math>\mathfrak{L}\,</math> es una colección de distintos símbolos clasificados como sigue:
# El '''símbolo de igualdad''' <math>=\,</math>; las ''conectivas''' <math>\lor\,</math>, <math>\lnot\,</math>; el '''cuantificador universal ''' <math>\forall\,</math> y el '''paréntesis''' <math>(\,</math>, <math>)\,</math>.
# Un conjunto contable de '''símbolos de variable''' <math>\{v_i\}_{i = 0}^\infty\,</math>.
# Un conjunto de '''símbolos de constante''' <math>\{c_\alpha\}_{\alpha \in \Alpha}\,</math>.
Línea 63:
A menudo, usaremos la palabra ''modelo'' para denotar esta estructura.
== Véase también ==
* [[Lógica proposicional]]
* [[Lógica de primer orden]]
* [[Noción primitiva]]
* [[Función indicatriz]]
== Bibliografía ==
* {{cita libro |isbn=978-84-254-0130-5 |título=Lógica simbólica |año=1986 |apellido=Agazzi |nombre=Evandro |editorial=Herder}}
== Enlaces externos ==
|