Lógica URJC
- Propiedades básicas de conjuntos.
- Relaciones binarias.
- Funciones.
- Alfabeto.
- Fórmulas.
- Formalización del lenguaje natural.
- Evaluación semántica de las fórmulas.
- Tautologías, contingencias y contradicciones.
- Equivalencia de fórmulas.
- Métodos de refutación.
- Tableaux.
- Sistema de Deducción Natural de Gentzen.
- Alfabeto.
- Términos y fórmulas.
- Formalización del lenguaje natural.
- Evaluación semántica de términos y fórmulas.
- Validez semántica de fórmulas.
- Equivalencia de fórmulas.
- Sistema de Deducción Natural de Gentzen.
-
PRELIMINARES
- Tema 1.Introducción
- Tema 2. Algunas nociones de teoría de
conjuntos, relaciones y funciones.
LÓGICA DE PROPOSICIONES
- Tema 3. Sintaxis de la lógica de
proposicional.
- Tema 4. Semántica de la lógica
proposicional. Teoría interpretativa.
- Tema 5. Teoría de la demostración.
LÓGICA DE PREDICADOS DE PRIMER ORDEN.
- Tema 6. Sintaxis de la lógica de primer
orden.
- Tema 7. Semántica de la lógica de
primer orden. Teoría interpretativa.
- Tema 8. Teoría de la demostración.