Importancia de la Lógica computacional en áreas ingenieriles ....