Você está na página 1de 12

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A.

Jos Luis Ola Garca, 1 Edicin Ao, 2011


1. OPERADORES LGICOS El primer paso para simbolizar un silogismo categrico es definir los smbolos bsicos o conectivos lgicos, hemos visto directamente estos conectivos aplicados en la formalizacin, esta formalizacin es una lgica de enunciados. Smbolos de conectivas: , , NO Y O O...O SI...ENTONCES SI Y SOLO SI Negacin Conjuncin Disyuncin inclusiva Disyuncin exclusiva Condicional Bicondicional ~ .

1.1. La negacin ( ) permite negar un enunciado o proposicin atmica o una molecular Llevan el adverbio de negacin no, o sus expresiones equivalentes como nunca, jams, tampoco, no es verdad que, no es cierto que, es falso que, le falta, carece de, sin, imposible, etc. Ejemplos: PROPOSICIN 1 1 3 1 5 6 Nunca he odo esa msica Al pap de Nelly le falta carcter Jams he visto al vecino Es imposible que el tomo sea molcula Es falso que el juez sea fiscal No es posible que gane y pierda a la vez CONECTIVO NEGACIN ( ) Nunca Le falta Jams Imposible Es falso que No es posible

SIMBOLIZACIN p q r p q (p q)

1.2. La conjuncin ( ) Enlaza proposiciones por el conectivo y, o sus expresiones equivalentes como e, pero, aunque, aun cuando, tanto... como,sino, nini, sin embargo, adems, etc. Se representan simblicamente al unir dos proposiciones atmicas como por ejemplo p y q;p no obstante q; p sin embargo q. Ejemplos: PROPOSICIN 1 1 3 1 5 6 7 El es un artculo y de es una proposicin El nmero dos es par, pero el nmero tres es impar Silvia es inteligente, sin embargo es floja Tanto el padre como el hijo son melmanos. Manuel e Ismael son universitarios La materia ni se crea ni se destruye. Ingresar a la universidad aun cuando no apruebe el examen de admisin. CONECTIVO CONJUNCIN y Pero Sin embargo Tanto como e nini aun cuando SIMBOLIZACIN pq qr ab rs tu xy qs

La conjuncin es conmutativa, es decir, se puede cambiar el orden de cada proposicin sin alterar la misma. Esto es posible en la lgica, aunque no en el lenguaje natural. Por ejemplo la proposicin Anglica se cas y tuvo diez hijos no significa lo mismo que Anglica tuvo diez hijos y se cas. En el lenguaje natural, la primera proposicin sugiere una relacin de causalidad, en cambio la segunda no. Sin embargo, desde el punto de vista lgico, las dos proposiciones conjuntivas son equivalentes.

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Ing. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Pgina

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Jos Luis Ola Garca, 1 Edicin Ao, 2011
1.3. La disyuncin ( ) La conjuncin disyuntiva o, y sus expresiones equivalentes como u, ya... ya, bien...bien, ora... ora, sea... sea, y/o, etc., son utilizadas para la disyuncin y unin entre proposiciones atmicas. La disyuncin o por su parte tiene dos sentidos: uno inclusivo o dbil y otro exclusivo o fuerte. La proposicin disyuntiva inclusiva admite que dos alternativas se den a la vez. La proposicin disyuntiva exclusiva no admite que las dos alternativas se den a la vez. Una proposicin disyuntiva exclusiva se simboliza as: p q, el smbolo es la disyuncin exclusiva, mientras que la inclusiva con el smbolo . Ejemplos: CONECTIVO DISYUNCIN O inclusiva O exclusiva O exclusiva O inclusiva O exclusiva SIMBOLIZACIN pq r rs

1 1 3 1 5

PROPOSICIN Pedro es to o es sobrino. Silvia es soltera o es casada Elena est viva o est muerta Roberto es profesor o es estudiante O blanco o negro

1 y 1 son proposiciones disyuntivas inclusivas o dbiles porque no se excluye la posibilidad de que Pedro pueda ser al mismo tiempo to y sobrino (ambas cosas) o que Roberto sea profesor y estudiante a la vez. 1, 3 y 5 son proposiciones disyuntivas exclusivas o fuertes porque en ellas se excluye la posibilidad de que Elena pueda estar viva y muerta al mismo tiempo y que Silvia sea soltera y casada a la vez, lo mismo para blanco o negro pero no ambas. (Vea la tabla de verdad O-Exclusiva, mas adelante). Formas equivalentes para la disyuncin inclusiva son: a) b) c) (p q) (p q) (p q) (p q) (p q) (p q)

1.4. La condicional ( , ) Es la forma enunciativa que simboliza enunciados enlazados por expresiones equivalentes como si... entonces..., si, siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, slo si, solamente si, dado que donde P es el antecedente y q el consecuente. Ejemplos: CONECTIVO CONDICIONAL Entonces Puesto que Cuando Solamente si si Siempre que SIMBOLIZACIN

1 1 3 1 5 6

PROPOSICIN Si es joven, entonces es rebelde El nmero cuatro es par puesto quees divisible por dos Cuando venga Ral jugaremos ajedrez Nuestra moneda se devala solamente si su valor disminuye. Es herbvoro si se alimenta de plantas. Se llama issceles siempre que el tringulo tenga dos lados iguales.

No olvidemos que todas las proposiciones categricas unidas por conectivos lgicos, forman silogismos categricos.

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Ing. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Pgina

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Jos Luis Ola Garca, 1 Edicin Ao, 2011
1.5. La Bicondicional ( , ) Simboliza enunciados de forma ... s y slo si..., o sus expresiones equivalentes como cuando y slo cuando, si..., entonces y slo entonces..., es equivalente a etc. Ejemplos: CONECTIVO BICONDICIONAL Cuando y solo cuando Si y solo si Entonces y solo entonces

1 1 3

1.

PROPOSICIN Habr cosecha cuando y slo cuando llueva Es fundamentalista si y slo si es talibn Si apruebo el examen de admisin, entonces y slo entonces ingresar a la universidad. Si voy al cine entonces me divierto, si me divierto entonces no voy al cine

SIMBOLIZACIN

entonces

Una proposicin Bicondicional se caracterizan por establecer dos condicionales, pero de sentido inverso (como el ejemplo 1). Sea, la proposicin Bicondicional el tringulo es equiltero si y slo si tiene tres lados iguales establece dos condicionales de sentido inverso que son, si es tringulo equiltero, entonces tiene tres lados iguales y si el tringulo tiene tres lados iguales, entonces es equiltero. De lo anterior, se observan dos condiciones pero en sentido inverso. En toda proposicin Bicondicional el antecedente (triangulo equiltero) es condicin necesaria y suficiente del consecuente (tiene tres lados iguales) y el consecuente es condicin necesaria y suficiente del antecedente. 1.1.6. PRECEDENCIA DE LOS OPERADORES Al ver una expresin, como por ejemplo: B C llama implicacin (no una disyuncin! aunque lo parezca), esto es porque debe observar el orden de los operadores y su precedencia antes de proceder a evaluar, porque el smbolo llamado implicacin ser el ltimo en evaluarse. Similar al algebra elemental, que tiene prioridad en las operaciones, tambin se tiene precedencia con los operadores lgicos. El orden a operar desde la menor precedencia a la mayor precedencia se indica como sigue. Nivel 3 y o o Mayor precedencia Misma prioridad Menor precedencia

Nivel 1

Nivel 1

Nivel 0

proposicin

Vemos que la mayor precedencia la tiene la negacin , y a falta de parentesis en la operatoria logica, se debe recordar estas sencillas reglas, por ejemplo cuando no se tienen parntesis se podra operar equvocamente: p q r p r s a b

p q r p r s a b

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Ing. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Pgina

Lo anterior es equivalente a

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Jos Luis Ola Garca, 1 Edicin Ao, 2011
La operatoria correcta cuando tenemos parntesis es iniciar por los parntesis ms internos, esto en cada lado de la doble implicacin.

1.3. SIMBOLIZACIN DE PROPOSICIONES Se estudian dos tipos de lenguaje: el natural y el formalizado. El primero es utilizado en lo cotidiano, cada vez que nos comunicamos y de uso diario, formulando rdenes, expresando sentimientos, ejerciendo un mandato y otros; se puede decir que los idiomas del planeta son parte de este lenguaje. El lenguaje formalizado por su parte es utilizado en la actividad cientfica. El estudio que nos atae es el lenguaje lgico formalizado, que partiendo de proposiciones categricas exclamativas, se reduce a travs de letras a una proposicin en un lenguaje sencillo y fcil de analizar, este lenguaje consta de dos partes: La primera una variable proposicional (proposicin atmica o categrica) y la segunda operadores o conectores lgicos. La formalizacin utiliza entonces letras minsculas, p, q, r, a, b, etc., que simbolizadas y enlazadas por conectores lgicos forman moleculares ms simples. Para formalizar un silogismo es necesario reconocer: 1. 2. 3. 4. Cada proposicin atmica. Los conectivos lgicos de enlace Elegir letras minsculas y asignarlas a cada proposicin atmica. Luego, formar la nueva estructura lgica proposicional.

SEMBLANZA
Alonzo Church (1903-1995), de Matemtico, profesor Universidad de Princeton y la Universidad de California. Responsable de algunos de los fundamentos de la computacin terica, especialista en lgica matemtica, metalgica y metamatemtica, reconocido como el padre de la conversin lambda la cual permite realizar clculos lgicos con variables generalizadas El clculo lambda influy en el diseo del lenguaje de programacin LISP y lenguajes de programacin funcional Scale, Scheme, Ocam, Sap y otros. Crdito de fotografa, Diccionario Webster online

Ejemplo 1.1.Vamos en bicicleta o vamos a pie. p: Vamos en bicicleta q: Vamos a pie

Identificamos el conectivo lgico o Simbolizacin: pvq

Asignamos una variable a cada proposicin atmica y luego la unimos por el conectivo lgico.

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Ing. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Pgina

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Ejemplo 1.2. No es cierto que Juan lleg temprano Identificamos el conectivo lgico negacin Juan lleg temprano o P Simbolizacin:

Ejemplo 1.3. La medalla no es de plata y el diploma parece falso Identificamos el conectivo lgico y adems de negacin : La medalla es de plata. : = diploma parece falso Simbolizacin:

Ejemplo 1.4. Si usted lo daa el vendr Si l viene entonces usted ver a su padre Si usted construye entonces vera a su padre Identificamos el conectivo lgico condicional, si en premisa 1 y entonces en premisa 2 p = usted construye q = el vendr r = vera a su padre

Ejemplo 1.5. Si llueve se terminaran los problemas de sequia y no har falta ms dinero Identificamos varios conectivos lgicos, estos son: Si esta corresponde al condicional, sientonces, tambin est presente el conectivo y p = llueve q = se terminara la sequia r = har falta ms dinero

Ejercicios de repaso
a) b) Si Jennifer Lpez o Shakira van al concierto de caridad, ni Britney Spears ni Cristina Aguilera irn "Ustedes pueden elegir entre morir atravesados por las flechas de mis arqueros o decir la verdad de su hechos Osama Bin Laden es un fundamentalista religioso y Hitler es un fundamentalista poltico. Luego, Hitler es un fundamentalista poltico.

c)

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Ing. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Pgina

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Jos Luis Ola Garca, 1 Edicin Ao, 2011
d) En cualquier situacin no es correcto permitir la censura, puesto que violenta el principio de que a todos se le debe garantizar el derecho de expresin. Si los Lakers pierden, entonces los empacadores de Green Bay ganan. Si los empacadores de Green Bay ganan, entonces irn al sper tazn, por lo tanto si los Lakers pierden entonces los empacadores de Green Bay irn al sper tazn.

e)

1.4. TABLA DE VERDAD DE UN PROPOSICIN: VALIDEZ Ahora, analizaremos la verdad o falsedad de una proposicin categrica (silogismo), y se comprobara si el argumento es vlido o no es vlido, de ser valido obtendremos lo que llamamos tautologa. La tautologa nos indica que la conclusin se deriva de sus premisas (proposiciones moleculares) y el argumento tiene consecuencia lgica o lo mismo decir validez lgica, solo recordemos que son silogismos categricos. Antes de desarrollar una tabla de verdad debemos saber cmo se procede a su construccin, por ejemplo, si las variables a tratar son 2, debemos formar una tabla de verdad de 2n combinaciones, para este caso 22 = 4 combinaciones entre Verdadero y Falso (es indistinto colocar primero Falso o Verdadero), si las variables a tratar son 3, debemos construir una tabla de verdad de 23 = 8 combinaciones. Ahora, para colocar las combinaciones en la tabla lgicadeber colocar las combinaciones de falso y verdadero comenzando de esta forma: por ejemplo sin tenemos 3 variables a trabajar tenemos 2n combinaciones o 23 = 8, la primera columna deber colocar la mitad de valores verdaderos y la otra mitad de Falsos del nmero total de combinaciones (si tenemos 8combinaciones, la primera columna tendr 4 verdaderas y 4falsas), la segunda columna tendr, la mitad de verdaderas y falsas dela primera columna y sucesivamente hasta llenar la ltima columna la cual alternara una verdadera y una falsa, para mayor compresin, analice la tabla de verdad del ejemplo siguiente y comprender rpidamente.

Ejemplo 1.6. Construya la tabla de verdad de la siguiente formalizacin y verifique si es tautologa, contradictoria o contingencia. ^ ^ ^ Las variables utilizadas son p y q, es decir 2, el nmero de combinaciones posibles para estas es 2 , nos lleva a 2 4 combinaciones para p y q, ahora construimos la tabla como sigue y aplicamos la tabla de verdad correspondiente a cada conectivo y resolvemos. (1) p V V F F q V F V F ^ V F F F (2) ^ F V V V (3) V V V F (4) 3 ^ V F V F 2 ^ 4 F F V F

Como se puede ver la ltima columna dio resultados V y F esto lleva a concluir que la formalizacin de este enunciado es una contingencia, no se puede llegar a comprobar la validez o falsedad con las premisas conocidas, por lo tanto se tiene invalidez.

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Ing. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Pgina

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Ejemplo 1.7 Construya la tabla de verdad de la siguiente formalizacin y verifique si es tautologa, contradictoria o contingencia. Nuevamente se tiene dos variables p y q, por lo cual necesitamos 4 combinaciones. ^ p V V F F q V F V F (1) ^ V F F F F V F V (2) F V V V 1 2 V V V V

La formalizacin del enunciado es una tautologa, tiene validez por ser verdadera su tabla de verdad. Otro ejemplo, donde la formalizacin y la tabla de verdad demuestran una falsedad o contradiccin (llamada falacia) es la siguiente.

Ejemplo 1.8. Construya la tabla de verdad de la siguiente formalizacin y verifique si es tautologa, contradiccin o contingencia. Nuevamente se tiene dos variables p y q, por lo cual necesitamos 4 combinaciones ^ ^ p V V F F q V F V F ^ V F F F F V F V F V V v ^ ^ F F F F

La nica variacin para que sea una negacin fue el operador de enlace o por el y, con esto se ve que la formalizacin lgica del argumento es una contradiccin, dejo de ser tautologa.

Ejercicios de repaso
Construya la tabla de verdad de las siguientes expresiones lgicas e indique si son tautologa, contingencia o contradictoria. a) b) c) p q p

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Ing. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Pgina

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Jos Luis Ola Garca, 1 Edicin Ao, 2011
4.3. SIMBOLIZACIN DE PROPOSICIONES Se estudian dos tipos de lenguaje: el natural y el formalizado. El primero es utilizado en lo cotidiano, cada vez que nos comunicamos y de uso diario, formulando rdenes, expresando sentimientos, ejerciendo un mandato y otros; se puede decir que los idiomas del planeta son parte de este lenguaje. El lenguaje formalizado por su parte es utilizado en la actividad cientfica. El estudio que nos atae es el lenguaje lgico formalizado, que partiendo de proposiciones categricas exclamativas, se reduce a travs de letras a una proposicin en un lenguaje sencillo y fcil de analizar, este lenguaje consta de dos partes: La primera una variable proposicional (proposicin atmica o categrica) y la segunda operadores o conectores lgicos. La formalizacin utiliza entonces letras minsculas, p, q, r, a, b, etc., que simbolizadas y enlazadas por conectores lgicos forman moleculares ms simples. Para formalizar un silogismo es necesario reconocer: 1. 2. 3. 4. Cada proposicin atmica. Los conectivos lgicos de enlace Elegir letras minsculas y asignarlas a cada proposicin atmica. Luego, formar la nueva estructura lgica proposicional.

Ejemplo 4.18.Vamos en bicicleta o vamos a pie. p: Vamos en bicicleta q: Vamos a pie

Identificamos el conectivo lgico o Simbolizacin: pvq

Asignamos una variable a cada proposicin atmica y luego la unimospor el conectivo lgico.

Ejemplo 4.19. No es cierto que Juan lleg temprano Identificamos el conectivo lgico negacin Juan lleg temprano o P Simbolizacin:

Ejemplo 4.20. La medalla no es de plata y el diploma parece falso Identificamos el conectivo lgico y adems de negacin : La medalla es de plata. : = diploma parece falso Simbolizacin:

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Ing. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Pgina

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Ejemplo 4.21. Si usted lo daa el vendr Si l viene entonces usted ver a su padre Si usted construye entonces vera a su padre Identificamos el conectivo lgico condicional, si en premisa 1 y entonces en premisa 2 p = usted construye q = el vendr r = vera a su padre

Ejemplo 4.23. Solo si distingues bien las diferentes lgicas o te dice su lugar histrico de procedencia sabrs si es proposicional o cuantificadora. Identificamos el conectivo lgico solo si, el o disyuntivoy si del condicional sientonces r = distingues bien las diferentes lgicas s = dice su lugar histrico de procedencia p = sabrs si es proposicional q = sabaras si es cuantificadora.

Teniendo en mente que queremos presentar los sistemas deductivos de la lgica como una herramienta prctica para los informticos, vamos a introducirnos en el estudio de la lgica comenzando por la ms simple, la lgica de proposiciones, que corresponde a la lgica que simboliza y describe razonamientos basados en enunciados declarativos y la validacin de sus argumentos. Ahora bien, no siempre las inferencias (razonamiento, deduccin, argumentacin o argumento) estarn ordenadas como las anteriores, puede resultar que estn desordenadas y se debe seguir un nuevo proceso y ordenarlas lgicamente, es frecuente observar que una forma lgica se presente alterada y en orden inverso, es decir, conclusin y luego premisas. Para identificar las premisas y la conclusin de una inferencia que no tienen orden, conviene tener en cuenta estas sencillas indicaciones: Preceden a una premisa: ya que, puesto que, pues, porque, siempre que, etc., es decir los conectivos lgicos vistos antes. Preceden a la conclusin las partculas: por tanto, por consiguiente, en consecuencia, en conclusin, de manera que o directamente interpretada, as se construye la condicional de la expresin completa.

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Ing. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Pgina

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Jos Luis Ola Garca, 1 Edicin Ao, 2011
Ejemplo 4.25

Lenguaje natural: De manera que habr un nmero elevado de vctimas si hay un fuerte terremoto, ya que si hay un fuerte terremoto, se derrumbarn los edificios de la poblacin, y habr un nmero elevado de vctimas si se derrumban los edificios de la poblacin ms cercanas. Forma lgica: Si hay un fuerte terremoto, entonces se derrumbarn los edificios de la poblacin. Y si se derrumban los edificios de la poblacin, entonces habr un nmero elevado de vctimas. Luego, si hay un fuerte terremoto, entonces habr un nmero elevado de vctimas. Lenguaje naturalen su forma simblica p q q r p r Formando la condicional [(p q) (q r)] (p r)

Nota: No siempre aparecern ordenadamente los conectivos tal y como los hemos estudiado, pueden estar entre la frase, y deber observar cada premisa para identificar cada conectivo. Segn las formas equivalentes del lenguaje natural para los operadores lgicos y la conclusion

Ejemplo 4.30. Si usted lo destruye entonces el vendr Si l viene entonces usted ver a su padre Si usted construye entonces vera a su padre Paso 1: Simbolizamos y reducimos el silogismo p = usted lo destruye q = el vendr r = vera a su padre Paso 2: se construye la forma enunciativa

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Ing. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Pgina

10

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Jos Luis Ola Garca, 1 Edicin Ao, 2011
Paso 3: se construye la tabla de verdad con 3 variables o 2 combinaciones, este caso 8 combinaciones. p V V V V F F F F q V V F F V V F F r V F V F V F V F V V F F V V V V V F V V V F V V V F V F V V V V V F F F V F V V V V V V V V V V

Se puede ver, que hay consecuencia lgica hay tautologa y el argumento tiene validez.

Ejemplo 4.31. Si una persona lee la prensa libre, entonces est bien informada Esta persona est bien informada Por lo tanto, esta persona lee prensa libre Paso 1: Simbolizamos p = lee el peridico q = est bien informado Paso 2: se construye la forma enunciativa Paso 3: se construye la tabla de verdad con 2 variables o 2 combinaciones, este caso 4 combinaciones. p V V F F q V F V F V F V V V F V F V V F V

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Ing. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Pgina

11

Y este argumento es invlido, no es consecuencia lgica, las premisas no derivan la conclusin, en otras palabras puede ser que esta persona no lea prensa libre e igual este bien informado por otro medio, y estemos designando una creencia equivocada. Este argumento no valido se le llama falacia lgica. Si reemplazamos por el argumento seria valido, de esto podemos decir que la validez logica (proposicional) solo analiza la forma del enunciado y no el contenido de estos.

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Jos Luis Ola Garca, 1 Edicin Ao, 2011
Ejemplo 4.32. Si el nio re, entonces no llora. Solo si llora, el nio no juega. Canta si y solo si juega. Pero el nio re. Canta el nio? Paso 1 Inicialmente ordenamos el silogismo y simbolizamos Si el nio re, entonces no llora Solo si llora, el nio no juega Canta si y solo si juega Pero el nio re p = Si el nio re q = el nio llora r = el nio juega s = el nio canta Canta el nio Paso 2 Se procede a reducir el silogismo r s p Paso 3 Se construye la forma enunciativa Paso 4 Se construye la tabla de verdad y tenemos 4 variables o 2 combinaciones, este caso 16 combinaciones. (1) (2) (3) (4) (5) (6) ( 1 2 p q r s (4) (3) (5) p (6) s V V V V F F F V V F F F V V V V F F F F V F F F F V V V F V F V F V F F F F V V V F F F V F V V F F F V V F V V V F V V V V V V V V F V F V F V V F V F F V V F F V V V V F F F F F V V F F F V V V F V F F F V F V V V F F V V V V V F V F V V F F F V V F V F F V F V F V F V V V F V F F V F V F F F V V V V V V F V F F V V V F V V V V V F V F F V F V F V V F V F F V F F F V V V V F F F F F V F F F F V V V F V F F F V Tenemos tautologa, el silogismo sobre el nio es correcto, por otra parte, vea que entre ms variables la tabla de verdad es ms grande, algo tedioso y tardado, mas adelante estudiaremos formas ms sencillas para comprobar la validez utilizando equivalencias lgicas, reglas de reemplazo, inferencia lgica o el mtodo de INVALIDEZ lgica. Nota: Finalmente, se hace saber que los valores de Verdadero (V) y Falso (F) se puede sustituir por los valores 1 = Verdadero y 0 = Falso. En un capitulo posterior ser aplicado a la lgica de los circuitos booleanos, base en el diseo de las computadoras actales y la totalidad de equipos electrnicos que ahora conocemos, el lector hipottico de este documento ya habr pensado en uno.

Texto extrado del libro Introduccin a la lgica para informticos Autor: M.A. Ing. Jos Luis Ola Garca, 1 Edicin Ao, 2011

Pgina

12