SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS

_________________________________________________________________________

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.

La elección de un lenguaje se basa fundamentalmente porque la lógica formal trata el

estudio de las proposiciones como frases declarativas simples que pueden tomar un valor de
verdad VERDADERO o FALSO.

Si bien existen varias definiciones relativas a la lógica, algunas mas representativas son las
siguientes:

• Es la ciencia que estudia el conocimiento.

• Estudia el razonamiento como proceso mental que es capaz de generar un nuevo
conocimiento a partir de cierto conocimiento conocido.
• Lógica es lenguaje mas razonamiento.

Todo conocimiento o razonamiento tiene mayor significación si es que es posible

representarlo de alguna manera, corrientemente, durante el diario vivir, nos enfrentamos
con diferentes tipos de fenómenos, que subyacentemente contemplan razonamientos de
distinta naturaleza, La lógica formal trata de representar estos fenómenos, desde la

______________________________________________________________________
M.Cs. Ing. Julio Cesar Bermudez Vargas 1
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_________________________________________________________________________

perspectiva del razonamiento, por medio de un lenguaje formal (riguroso y sin

ambigüedades) que dará como resultado un modelo simbólico y de esta manera validar
dichos razonamientos sin tomar en cuenta los sentimientos subjetivos que se tengan al
respecto.

FENOMENO MODELO SINTAXIX Y

(LENGUAJE (LENGUAJE SEMANTICA BIEN
NATURAL) FORMAL) DEFINIDAS

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.-

Es el proceso mediante el cual se logra la adquisición de información sobre algo, es decir,

la información que se posee sobre un objeto determinado establece el grado de
conocimiento respecto a ese objeto y en la medida que esa información se incremente, por
algún medio, el conocimiento es mayor.

______________________________________________________________________
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

Conocimiento inicial conocimiento final

1.2.1. ADQUISICION DEL CONOCIMIENTO.-

El proceso de adquisición del conocimiento se puede llevar a efecto de dos formas:

• Por constatación de hechos. Esta forma de adquisición del conocimiento implica la

experimentación de un determinado fenómeno, el cual permite asociar
objetivamente la información relativa al fenómeno y establecer nueva información
(conocimiento) del mismo. Por ejemplo: si se parte de la información de que el agua
y el aceite no se mezclan, se puede evidenciar objetivamente realizando un
experimento, del cual uno forma parte, tratando de realizar esta mezcla y como
resultado objetivo se constata de que evidentemente no es posible realizar la mezcla
de dichos líquidos.
• Por inducción o deducción. Esta forma de adquisición del conocimiento supone
desarrollar un análisis e interrelación de cierta información existente e inferir
______________________________________________________________________
M.Cs. Ing. Julio Cesar Bermudez Vargas 3
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_________________________________________________________________________

conclusiones sin necesidad de experimentar fenómenos. Por ejemplo: para

establecer de que en la luna no hay gravedad ( o es mínima) no se necesita estar en
la luna para comprobar este hecho, sino simplemente por medio de análisis de su
masa, distancia de la tierra o del sol y otra información relevante se puede inferir
que evidentemente en la luna no hay gravedad.

1.3. ALGUNAS LÓGICAS O FORMAS DE RAZONAMIENTO.

-Razonamiento Matemático.-

Esta forma de razonamiento es la que se emplea con mayor rigurosidad en el proceso de

obtención de conclusiones (nueva información), la característica principal radica en el
hecho de que: a partir del conocimiento de cierta información inicial (premisas) se trata de
validar cierta colusión, es decir, la verdad de la conclusión se sigue a partir de la verdad de
las premisas.
Por ejemplo: si se sabe que los alumnos de sistemas son buenos y Pedro es de sistemas,
por lo tanto, se concluye que Pedro es bueno.

Forman parte de este tipo de razonamiento:

a) Lógica Proposicional
b) Lógica de predicados de primer orden
c) Extensiones de estas lógicas. Etc. Etc.

-Razonamiento con sentido común.-

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.-

Este tipo de razonamiento es contrario al razonamiento matemático, trata de validar las

premisas de un razonamiento conociendo las conclusión.

-Razonamiento Inductivo.-

Muy empleado en la definición de lenguajes de programación como estrategia de solución

de problemas, se caracteriza porque a partir de ciertas observaciones realizadas se
establece leyes generales. En determinados contextos pueda que las conclusiones no sean
validas.

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.-

La mayoría de las lógicas formales consideran un universo de significados atribuibles a las

proposiciones con dos valores (bi Valente): Verdadero y Falso (V, F), sin embrago el
razonamiento corriente que emplean las personas supone el uso de otros posibles valores de

______________________________________________________________________
M.Cs. Ing. Julio Cesar Bermudez Vargas 5
SIS 1205 “A” ANALISIS DISCRETO INGENIERIA DE SISTEMAS
_________________________________________________________________________

verdad, es en este sentido que la lógica multivaluada contempla un universo de valores de

verdad mayor a dos pueden ser: Falso, Verdadero, Indeterminado, etc.

-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.

1.4. ELEMENTOS DE UN LENGUAJE FORMAL.-

Un lenguaje formal es aquel que no comporta ambigüedades, es decir es riguroso en su

definición sintáctica como semántica, para el estudio de la lógica desde el punto de vista
formal, se requiere un conjunto de reglas que permitan hacer énfasis en la forma y no en el
sentimiento que pueden comportar las proposiciones, todo conjunto de reglas se formaliza
por medio de un lenguaje formal, es este caso un lenguaje formal para una lógica
determinada donde los principales elemento son:

-Sintaxis.- Conjunto de reglas que permiten la correcta escritura de las palabras y

oraciones del lenguaje a partir de un alfabeto.
-Semántica.- elementos que permiten asignar significado e interpretación a los
elementos del lenguaje.
-Sistema Deductivo.- para la demostración a nivel simbólico de la validez de los
argumentos que se forman a partir de un fenómeno determinado.
-Correspondencia entre Sintaxis y Semántica.- Debe ser correcto y completo.
-Implementación computacional. A base de los anteriores elementos bien definidos
es posible desarrollar la implementación computacional de dichos razonamientos.

______________________________________________________________________
M.Cs. Ing. Julio Cesar Bermudez Vargas 6