Lógica Proposicional

Introducción

• Lógica formal e informal
• Qué es un razonamiento
• Indicadores de premisas y conclusión
• Razonamientos deductivos y no deductivos
• Validez de un argumento
• Semiótica. Niveles de análisis sintáctico, semántico y pragmático
• Lenguaje natural, artificial. Metalenguaje.
• Teoremas

Traducción

• Fórmula atómica o molecular
• Proposición
• Lenguaje objeto.
• Vocabulario lógico y no lógico
• Metalenguaje

Semántica

• Reglas semánticas de las conectivas
• Tablas de verdad. Árbol constructivo.
• Fórmulas lógicamente equivalentes
• Método indirecto de asignación de valores de verdad
• Método del condicional asociado

Sintáxis

• Sintáxis de la Lógica Proposicional. Reglas de derivación
• Deducción Natural

Ayudamemoria

• Indicadores de premisas, conclusión y conectivas.
• Tablas de verdad
• Método Indirecto
• Argumento Inválido
• Reglas de derivación