Lógica I
- Verdad y validez.
Lenguaje natural y lenguaje formal.
- Operadores lógicos proposicionales.
Reglas de formación de fórmulas.
Formalización del lenguaje natural.
- Métodos de evaluación semántica:
Tablas de verdad y árboles semánticos.
- Métodos de evaluación sintáctica:
Deducción Natural.
Reglas básicas y derivadas.
- Conceptos básicos de cálculo axiomático:
axiomas, teoremas y reglas de transformación.