Estudia el razonamiento y se conforma por proposiciones constituyendo un alfabeto de símbolos y conjuntos de cadena