Cuál es el uso de la lógica en la tecnología?​