Lógica proposicional o de enunciados
logica
Estructura (lógica proposicional)
Contrarecíproco
Equivalencia lógicao
Paradoja
Tautología
Contradicción
Demostración
Teorema proposición (th)
Conclusión
Formalizar
Frase
Inferencia
Razonamiento
Definición por extensión
Verdad formal
Verdad material
Ambigüedad semántica
Lenguaje formal
Axioma
Lenguaje natural
Definición impropia
Definición propia
Premisa
Conceptos
Se aclaran conceptos básicos necesarios para temas posteriores.
Corolario
Reglas de formalización
Lógica proposicional o de enunciados
