Lógica

Conjuntos parcialmente ordenados. Reticulados. Equivalencia de la definición geométrica y la algebraica. Homomorfismos de reticulados. Tipos de primer orden. Términos. Unicidad de la lectura de términos. Fórmulas. Estructuras de tipo t. Valor de un término para una asignación en una estructura. Valor de verdad de una fórmula para una asignación en una estructura (Tarski). Substitución. Sentencias universalmente válidas. Equivalencia de fórmulas. Tipos algebraicos. Álgebras. Subuniversos y subálgebras. Teorías de primer orden. Modelos. Concepto de prueba formal. La aritmética de Peano. Teorema de incompletitud de Godel.