SIS 1205 A ANALISIS DISCRETO

INGENIERIA DE SISTEMAS

_________________________________________________________________________ CAP. 1 INTRODUCCIN A LA LGICA

1.1. LGICA.La manera mas comn de comunicacin entre los seres humanos, es el lenguaje natural, el castellano en nuestro medio, sin embargo, si bien existe un conjunto de reglas sintcticas y semnticas 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 comunicacin, aun con las ambigedades que comporta su uso como medio de comunicacin es posible establecer una comunicacin adecuada. Este es un motivo fundamental para que la lgica formal no considere al lenguaje natural como medio de representacin de razonamientos o argumentos, es decir se requiere de un lenguaje que no comporte ambigedades.

La eleccin de un lenguaje se basa fundamentalmente porque la lgica 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 lgica, 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. Lgica es lenguaje mas razonamiento.

Todo conocimiento o razonamiento tiene mayor significacin si es que es posible representarlo de alguna manera, corrientemente, durante el diario vivir, nos enfrentamos con diferentes tipos de fenmenos, que subyacentemente contemplan razonamientos de distinta naturaleza, La lgica formal trata de representar estos fenmenos, 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 ambigedades) que dar como resultado un modelo simblico y de esta manera validar dichos razonamientos sin tomar en cuenta los sentimientos subjetivos que se tengan al respecto.

FENOMENO (LENGUAJE NATURAL)

MODELO (LENGUAJE FORMAL)

SINTAXIX Y SEMANTICA BIEN DEFINIDAS

Los fenmenos corrientes a los cuales nos enfrentamos en nuestro diario vivir, permiten una constante asimilacin de nuevos conocimientos que dan una mayor perspectiva de la realidad.

1.2. CONOCIMIENTO.-

Es el proceso mediante el cual se logra la adquisicin de informacin sobre algo, es decir, la informacin que se posee sobre un objeto determinado establece el grado de conocimiento respecto a ese objeto y en la medida que esa informacin se incremente, por algn medio, el conocimiento es mayor.

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

SIS 1205 A ANALISIS DISCRETO

INGENIERIA DE SISTEMAS

_________________________________________________________________________

Estado inicial

Estado final

INFO

INFO*

Conocimiento inicial

conocimiento final

1.2.1. ADQUISICION DEL CONOCIMIENTO.-

El proceso de adquisicin del conocimiento se puede llevar a efecto de dos formas:

Por constatacin de hechos. Esta forma de adquisicin del conocimiento implica la experimentacin de un determinado fenmeno, el cual permite asociar

objetivamente la informacin relativa al fenmeno y establecer nueva informacin (conocimiento) del mismo. Por ejemplo: si se parte de la informacin 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 lquidos. Por induccin o deduccin. Esta forma de adquisicin del conocimiento supone desarrollar un anlisis e interrelacin de cierta informacin existente e inferir ______________________________________________________________________ M.Cs. Ing. Julio Cesar Bermudez Vargas 3

SIS 1205 A ANALISIS DISCRETO

INGENIERIA DE SISTEMAS

_________________________________________________________________________ conclusiones sin necesidad de experimentar fenmenos. Por ejemplo: para establecer de que en la luna no hay gravedad ( o es mnima) no se necesita estar en la luna para comprobar este hecho, sino simplemente por medio de anlisis de su masa, distancia de la tierra o del sol y otra informacin relevante se puede inferir que evidentemente en la luna no hay gravedad.

1.3. ALGUNAS LGICAS O FORMAS DE RAZONAMIENTO.

-Razonamiento Matemtico.-

Esta forma de razonamiento es la que se emplea con mayor rigurosidad en el proceso de obtencin de conclusiones (nueva informacin), la caracterstica principal radica en el hecho de que: a partir del conocimiento de cierta informacin inicial (premisas) se trata de validar cierta colusin, es decir, la verdad de la conclusin 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) Lgica Proposicional b) Lgica de predicados de primer orden c) Extensiones de estas lgicas. Etc. Etc.

-Razonamiento con sentido comn.-

En esta forma de razonamiento o lgica las conclusiones pueden ser incorrectas ante la aparicin de nueva informacin, es decir, se asume verdaderas algunas proposiciones en funcin a la aceptacin mayoritaria o comn de ciertos fenmenos.

______________________________________________________________________ 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 comn se sabe que solo los patos tienen pico de esas caractersticas, pero si a luz del conocimiento de que Donald es el nombre de una mascota ornitorrinco (mamfero), entonces esa conclusin no es correcta.

-Razonamiento Abductivo.-

Este tipo de razonamiento es contrario al razonamiento matemtico, trata de validar las premisas de un razonamiento conociendo las conclusin.

-Razonamiento Inductivo.-

Muy empleado en la definicin de lenguajes de programacin como estrategia de solucin 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 conclusin no siempre es verdadera).

-Lgica probabilstica.-

En este tipo de razonamiento, el valor de verdad que las proposiciones pueden tomar est asociada a una probabilidad de ocurrencia.

-Lgica Multivaluadas.-

La mayora de las lgicas 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 lgica multivaluada contempla un universo de valores de verdad mayor a dos pueden ser: Falso, Verdadero, Indeterminado, etc.

-Lgica Difusa.-

Trata de modelar fenmenos en los que intervienen trminos poco claros (difusos) o ambiguos, que podran tener significados relativos en funcin de la forma que se lo emplee, trminos como bueno, alto, amable, etc.

1.4. ELEMENTOS DE UN LENGUAJE FORMAL.-

Un lenguaje formal es aquel que no comporta ambigedades, es decir es riguroso en su definicin sintctica como semntica, para el estudio de la lgica 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 lgica 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. -Semntica.- elementos que permiten asignar significado e interpretacin a los elementos del lenguaje. -Sistema Deductivo.- para la demostracin a nivel simblico de la validez de los argumentos que se forman a partir de un fenmeno determinado. -Correspondencia entre Sintaxis y Semntica.- Debe ser correcto y completo. -Implementacin computacional. A base de los anteriores elementos bien definidos es posible desarrollar la implementacin computacional de dichos razonamientos.

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