En informática, la semántica es considerada una aplicación de la matemática lógica.