Lógica. Lógica y conjunto. Operaciones entre conjuntos. Algoritmos. Relaciones. Funciones. Cálculo de probabilidades. Conjunción. Disyunción. Negación. Implicación o condicional. Recíproca, inversa y contra recíproca. Leyes de la lógica. Métodos de validez o invalidez. Reglas lógicas. Á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.