Professional Documents
Culture Documents
_________________________________________________________________________
CAP. 1
INTRODUCCIÓN A LA LÓGICA
1.1. LÓGICA.-
La manera mas común de comunicación entre los seres humanos, es el lenguaje natural, el
castellano en nuestro medio, sin embargo, si bien existe un conjunto de reglas sintácticas y
semánticas para el buen uso de este lenguaje, por la naturaleza del uso que se le asigna, no
es correctamente empleado, pero aun así, es decir mal empleado, se puede establecer
comunicación, aun con las ambigüedades que comporta su uso como medio de
comunicación es posible establecer una comunicación adecuada. Este es un motivo
fundamental para que la lógica formal no considere al lenguaje natural como medio de
representación de razonamientos o argumentos, es decir se requiere de un lenguaje que no
comporte ambigüedades.
Si bien existen varias definiciones relativas a la lógica, algunas mas representativas son las
siguientes:
______________________________________________________________________
M.Cs. Ing. Julio Cesar Bermudez Vargas 1
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_________________________________________________________________________
Los fenómenos corrientes a los cuales nos enfrentamos en nuestro diario vivir, permiten
una constante asimilación de nuevos conocimientos que dan una mayor perspectiva de la
realidad.
1.2. CONOCIMIENTO.-
______________________________________________________________________
M.Cs. Ing. Julio Cesar Bermudez Vargas 2
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_________________________________________________________________________
Estado final
Estado inicial
INFO INFO*
E P S
-Razonamiento Matemático.-
a) Lógica Proposicional
b) Lógica de predicados de primer orden
c) Extensiones de estas lógicas. Etc. Etc.
En esta forma de razonamiento o lógica las conclusiones pueden ser incorrectas ante la
aparición de nueva información, es decir, se asume verdaderas algunas proposiciones en
función a la aceptación mayoritaria o común de ciertos fenómenos.
______________________________________________________________________
M.Cs. Ing. Julio Cesar Bermudez Vargas 4
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_________________________________________________________________________
Por ejemplo: si se sabe que Donald tiene pico de pato, se puede deducir que Donald es un
pato, ya que por conocimiento general y aceptado de manera común se sabe que solo los
patos tienen pico de esas características, pero si a luz del conocimiento de que Donald es el
nombre de una mascota ornitorrinco (mamífero), entonces esa conclusión no es correcta.
-Razonamiento Abductivo.-
-Razonamiento Inductivo.-
Por ejemplo: dada las siguientes premisas: Juan es de Sistemas y es bueno, Pedro es de
sistemas y es bueno, Luis es de sistemas y es buenos, en consecuencia, todos los de
sistemas son buenos. (esta conclusión no siempre es verdadera).
-Lógica probabilística.-
En este tipo de razonamiento, el valor de verdad que las proposiciones pueden tomar está
asociada a una probabilidad de ocurrencia.
-Lógica Multivaluadas.-
______________________________________________________________________
M.Cs. Ing. Julio Cesar Bermudez Vargas 5
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_________________________________________________________________________
-Lógica Difusa.-
Trata de modelar fenómenos en los que intervienen términos poco claros (difusos) o
ambiguos, que podrían tener significados relativos en función de la forma que se lo
emplee, términos como ‘bueno’, ‘alto’, ‘amable’, etc.
______________________________________________________________________
M.Cs. Ing. Julio Cesar Bermudez Vargas 6