Lógica en sistemas automáticos