Por esto se construyen sistemas formales que capturan los factores relevantes de las deducciones como aparecen en el lenguaje natural.