Documentos de Académico
Documentos de Profesional
Documentos de Cultura
GRAN COLOMBIANO
FACULTAD DE INGENIERÍA Y CIENCIAS BÁSICAS
La logica proposicional nos brinda una base de tipo dual, para conseguir por medio de
sus proposiciones basicas o compuestas, respuestas mas o menos ciertas que
podamos computar.
La inferencia logica va dirigida a proponer reglas de sentido logico para dar a enteder
causas y efectos en un contexto siempre bidimensional, teniendo como bases las
premisas. Estas reglas van a permitir dominar tareas complejas que requieren de un
esfuerzo considerable en funsion de tiempo de ejecucion. Al computar estas
instrucciones, el costo beneficio sera absoluto.
Este tipo de logica infiere en que lo verdadero y falso podrian no se ciertamente uno en
particular sino una verdad con algo de falso y algo falso con cierta verdad. El termino medio
sugerido para este tema esta basado en las investigaciones realizadas por Lofti Zadeh, en la
que el sistema tradicional era incapaz de clasificar de verdadero las cosas y por esto se sugirio
un punto medio. Esta tecnica es muy usada en el area de operación de industrias y en las
finanzas, ya que se requiere de salir de esas dos leyes de la dualidad, para generar un balanceo
o equilibrio.