Conceptos de lógica simbólica y nociones básicas de álgebra para conjuntos discretos o numerables.