¿Cuál es la importancia de la lógica en la ingeniería en sistemas computacionales?