Premisa: los lenguajes de programación en este paradigma son típicamente menos eficientes en el uso de CPU y memoria que los lenguajes imperativos como pueden ser C y Pascal
Hipótesis: tá relacionado con el hecho de que algunas estructuras de datos de tamaño indefinido como los vectores tienen una programación muy sencilla usando el hardware existente, el cual es una máquina de Turing bastante evolucionada
Conector eliminado: esto es
Etiqueta del conector: entailment
Etiqueta humana (mayoría): reasoning