Lógica Matemática

Contenido general:

• Lógica: división, historia y principios lógicos. Lógica moderna, características de la lógica simbólica.
• Elementos de razonamiento.
• Proposiciones.
• Representación gráfica de conjuntos.
• Complemento y comparación.
• Subconjuntos.
• Operaciones entre conjuntos: unión, intersección y diferencias.
• Algoritmos.
• Relaciones.
• Producto cartesiano.
• Funciones: inyectivas, suprayectivas y biyectivas.
• Cálculo de probabilidades.
• Subíndices.
• Factorial.
• Métodos de conteo.
• Principios: eventos sucesivos.
• Variaciones.
• Combinaciones.
• Disyunción.
• Negación.
• Implicación o condicional.
• Recíproca, inversa y contrarrecíproca.
• Tautología, contradicción y contingencia.
• Tabla de verdad. Bicondicional.
• Leyes de la lógica.
• Razonamientos.
• Métodos de validez o invalidez.
• Reglas lógicas.
• Lógica de predicados.
• Diagramas de Venn.
• Árbol. La notación polaca.
• Árbol de una fórmula.
• Algoritmo para fórmulas bien formadas.
• Sistema binario: base diez y base dos.
• Circuitos combinatorios y sistemas matemáticos.
• Álgebra Booleana y sus propiedades.
• Leyes algebraicas.