Incluso antes de la existencia de los ordenadores con los sistemas lógicos deductivos.