7.2 Lenguajes de primer orden
Un lenguaje de primer orden S& consta de los siguientes símbolos:
Símbolos lógicos
1. Un conjunto numerable de variables individuales:
2. Conectivos lógicos: -• y =>.
3. Símbolo de igualdad (opcional): « .
4. Paréntesis: ) y (.
Símbolos no
Un lenguaje de primer orden es una extensión de los lenguajes proposicionales.
Los individuos son representados por letras mayúsculas.
Las propiedades de individuos y las relaciones entre ellos son representadas por letras minúsculas.
Los conceptos 'todos' y 'algunos' son representados por los símbolos V y 3 respectivamente.
El símbolo de igualdad es opcional en un lenguaje de primer orden.
Los símbolos no son especificados en el enunciado.