Lgica Matemtica 1.1 Introduccin 1.2 Concepto de Argumento y Tipos de Proposiciones Lgicas 1.3 Conexiones Logicas y Jerarquias 1.3.

1 Conjuncin 1.3.2 Disyuncin 1.3.3 Condicional 1.3.4 Bicondicional 1.4 Clculo de Predicados 1.4.1 Variables y Particularizaciones 1.4.2 Cuantificadores y Restricciones 1.5 lgebra Declarativa 1.6 Induccin Matemtica 1.7 Reglas de Inferencia 1.8 Evaluacin de Expresiones 1.9 Tautologas y Contradicciones 1.9.1 Equivalencias Lgicas y Utilizaciones 1.9.2 Deduccion Preposicional 1.9.3 Demostracin Condicional y Directa 2.0 Conclusion

Pag. N

3 3 5 6 6 8 9 10 12 13 14 16 21 24 29 32 35 40 44

Tema 1.1

INTRODUCCION

En computacin frecuentemente se usan estructuras que dependen solamente de dos valores, as por ejemplo tenemos el sistema numrico binario que se utiliza para reprentar los nmeros utilizando solamente 0 y 1. El trabajar con slo 2 opciones facilita la implementacin de los conceptos y simplifica su manejo. As una teora resulta mucho ms facil de establecer y de justificar si tiene slo dos valores asociados, que otra por ejemplo una estructura de lgebra de nmeros que tiene una cantidad infinita. Otro tipo de entes que se utilizan en computacin que tambin est asociado a dos opciones, es lo que se conoce como expresiones booleanas. Estas expresiones, que deben su nombre a George Boole, se pueden ver caracterizadas como verdaderas falsas y de acuerdo a esta condicin se desarrolla el estudio sobre dichos conceptos. Este tema se conoce como clculo de proposiciones. Tema 1.2 CONCEPTO DE ARGUMENTO Y PROPOSICIONES LOGICAS

Los argumentos son una de las formas ms comunes en matemticas, en lgica y en computacin de establecer razonamientos para llegar a la verdad. Podemos tener tambin situaciones como: Todos los hombres son mortales. Scrates es hombre. Por lo tanto: Scrates es mortal. Si lo comparamos con: Todos lo rboles son verdes. Todos lo pericos son verdes. Por lo tanto: Todos los rboles son pericos. La pregunta importante es, cmo saber si un razonamiento es vlido? En general, la lgica proporciona los mtodos para saber si un argumento es correcto y poder obtener conclusiones. Un argumento es un conjunto de premisas, condiciones dadas, junto con una conclusin. Y decimos que un argumento es vlido si la conclusin es verdadera siempre que las premisas lo son. Uno de los principales propsitos de la lgica es por lo tanto encontrar la forma de poder saber si un argumento es vlido o no. A esto le llamamos inferencia y est en la seccin 1.7 Nota: todos los ejemplos estarn en color ROJO, para distincin entre los temas.

Reglas de Inferencia. Antes de poder decidir un argumento es vlido o no, debemos de empezar por estudiar sus componentes, los elementos ms simples que componen un argumento se llaman elementos atmicos. Empezaremos por decir que en lgica proposicional utilizaremos dos valores asociados llamados valores de verdad, que son verdadero (V) y falso (F), y en computacin a las expresiones que se les asocia uno de estos dos valores se les llama expresiones booleanas. Los enunciados o expresiones del lenguaje se pueden clasificar en: Proposiciones lgicas, Proposiciones abiertas y Frases o expresiones ideterminadas. Proposicin lgica. Expresiones que pueden ser verdadera o falsa pero no ambas. Proposicin abierta. Una expresin que contiene una o ms variables y al sustituir las variables por valores especficos se obtiene una proposicin lgica. Frases. Todas las expresiones que no cumplen alguna de los dos definiciones anteriores. Expresiones Booleanas. Proposiciones lgicas y proposiciones abiertas. Ejemplo i) Mxico est en Amrica ii) 1 < 2 iii) Hoy es lunes iv) x+3=5 v) Ecosistemas vi) Buenos das vii) El 3 de abril de 1970 fu domingo viii) Los cocodrilos pueden volar ix) Las matemticas son agradables x) Esta expresin es falsa Proposicin Lgica Proposicin Lgica Proposicin Abierta Proposicin Abierta Frase Frase Proposicin Lgica Proposicin Lgica Proposicin Abierta Frase

Tema 1.3

CONEXIONES LOGICAS Y JERARQUIAS

Como se mecion en el tema de argumentos para formar expresiones compuestas necesitamos conectivos lgicos, empezaremos por un conectivo unitario; esto es, se aplica a una proposicin sola. La Negacin La operacin unitaria de negacin, no es cierto que se representa por y tiene la siguiente tabla de verdad de verdad p V F p F V

Ejemplo. Encuentre la negacin de las expresiones siguientes: i) Jpiter es un planeta ii) El pizarrn es verde iii) El nmero real x es negativo iv) Algn elefante es de color rosa v) Ningn pez respira fuera del agua vi) Todos los leones son feroces

Solucin: i) Jpiter no es un planeta ii) El pizarrn no es verde iii) El nmero real x no es negativo o tambin El nmero real x es positivo cero iv) Ningn elefante es de color rosa v) Algn pez respira fuera del agua vi) Algn len no es feroz

Nota: Las tres ltimas proposiciones se derivan de proposiciones abiertas que veremos en la seccin 1.4

Tema 1.3.1

CONJUNCION

La conjuncin de las proposiciones p, q es la operacin binaria que tiene por resultado p y q, se representa por p^q, y su tabla de verdad es: p q V V V F F V F F p^q V F F F

La conjuncin nos sirve para indicar que se cumplen dos condiciones simultneamente, as por ejemplo si tenemos: La funcin es creciente y est definida para los nmeros positivos, utilizamos p ^ q, donde p: la funcin es creciente q: la funcin esta definida para los nmeros positivos As tambin: p ^ q, donde p: el nmero es divisible por 3 q: el nmero est representado en base 2 se lee: El nmero es divisible entre 3 y est representado en base 2. Nota: Observamos que para la conjuncin p ^ q sea verdadera las dos expresiones que intervienen deben ser verdaderas y slo en ese caso como se indica por su tabla de verdad. 1.3.2 DISYUNCION La disyuncin de dos proposiciones p, q es la operacin binaria que da por resultado p q, notacin p v q, y tiene la siguiente tabla: p q pvq V V V F F V F F V V V F

Con la disyuncin a diferencia de la conjuncin, representamos dos expresiones y que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdaera para que la expresin p q sea verdadera. As por ejemplo la expresin: el libro se le entregar a Juan o el libro se le entregar a Luis significa que si va uno de los dos, el libro se le entrega, si van los dos tambin se entrega y solamente en caso de que no vaya ninguno de los dos no se debe entregar. Aqu debemos tener cuidado, porque en espaol muchas veces utilizamos la disyuncin para representar otros operadores que aparentemente son lo mismo, pero que tienen diferente significado. En espaol tenemos tres casos de disyuncin: La llamada y/o bancaria, lgica o matemtica, que es la misma y se utliza en computacin como el operador OR, este operador corresponde al mencionado anteriormente p v q y ya se mostr su tabla de verdad. La o excluyente, que algunos tambin le llaman o exclusiva, y que indica que una de las dos proposiciones se cumple, pero no las dos. Este caso corresponde por ejemplo a: Hoy comprar un libro o ir al cine; se sobrentiende que una de las dos debe ser verdadera, pero no la dos. Se representa por p XOR q y su tabla de verdad es: p p q XOR q V V V F F V F F F V V F

Por ltimo, tambin es muy comn utilizar una disyuncin como la siguiente: El men incluye caf o t. En este caso se esta dando una disyuntiva diferente pues no se pueden las dos simultneamente como en el caso anterior, pero aqu si es vlido el caso donde las dos son falsas. Es el caso no mbas, se puede representar por p q y su tablas es p q pq V V V F F V F F F V V V

Nota: El ltimo smbolo no es estndar y puede haber varias formas de representarlo.

Un buen ejercicio consiste en enunciar varias expresiones del espaol que utilizando los conectivos y o para analizar cul de los operadores es. Hay que tener mucho cuidado cuando se traduce del lenguaje usual por las costumbres, muchas veces depende del contexto o de la situacin especfica en la que se usan los conectivos, por ejemplo si decimos: Se pueden estacionar alumnos y maestros, en realidad se est queriendo decir un operador disyuntivo, en este caso la o matemtica, o sea el primer operador que corresponde a la primera tabla de esta seccin. 1.3.3 CONDICIONAL La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces q, se representa por p q, y su tabla de verdad est dada por: p q pq V V V F F V F F V F V V

Con respecto a este operador binario, lo primero que hay que destacar es que no es conmutativo, a diferencia de los dos anteriores la conjuncin y la disyuncin. El nico caso que resulta falso es cuando el primero es verdadero y el segundo falso.

Por ejemplo, si p es llueve y q es hay nubes entonces: p q es si llueve entonces hay nubes.

Tambin cabe sealar que este viene a ser el operador ms importante en el proceso deductivo y que la mayora de las leyes de inferencia y las propiedades en matemticas se pueden enunciar utilizando este operador.

Dada su importancia se le dedica una seccin completa al final de la primera parte, seccin 1.10 Implicacion Tautologica

1.3.4 BICONDICIONAL La bicondicional de dos proposiciones p, q da lugar a la proposicin; p si y slo si q, se representa por p q su tabla de verdad est dada por: p q pq V V V F F V F F V F F V

Jerarquia de Operadores. Combinando los operadores anteriores podemos formar nuevas expresiones. En trminos formales la negacin de p, deber ser ( p), as como la conjuncin de p y q sera (p ^ q). Con el uso de parntesis evitamos la ambiguedad, por ejemplo p ^ q podra significar dos cosas distintas Por un lado podra significar: (( p) ^ q) O tambin: ( (p ^ q)). En la prctica para no usar tantos parntesis se considera que el operador tiene jerarquia sobre ^, v, , . As p ^ q significa (( p)^ q). En algunos casos se considera ^, v tienen mayor jerarqua que por lo que p q v r sera (p (q v r)) y tambin que ^ tiene prioridad sobre v, por lo que p ^ q v r sera (p ^ q) v r. As por ejemplo, en electrnica, para representar circuitos lgicos se utiliza + en lugar de v y en lugar de ^. Por lo que pq+r es ((p ^ q) v r). En estos apuntes no se considerar jerarqua en ninguno de los operadores binarios ^, v, , por lo que utilizaremos parntesis. Slo tiene prioridad sobre los dems operadores. Esto nos ahorr algunos parntesis, por ejemplo: ((( p) ^ q) v r) se representa por ( p ^ q) v r. Para practicar con los conectivos lgicos hacer los ejercicios del 17 al 29 Ejercicios MC 1 o ver el tema 1.5 Algebra Declarativa.

Tema 1.4

CALCULO DE PREDICADOS

A diferencia de clculo de proposiciones en clculo de predicados utilizamos variables, dentro de este tema consideramos las expresiones booleanas que se definieron como proposiciones abiertas en la Seccin 1.2 Calculo de Predicados Definicion. Hacer los ejercicios del 10 al 16 Ejercicios MC 1 En la siguiente seccin veremos operadores binarios, con esto ser suficiente para construir cualquier frmula vlida en lgica de proposiciones, ver Tema 1.5 Algebra Declarativa. La jerarqua que utilizaremos en el libro es que la negacin se efecta primero que los dems operadores, aparte de esta no imponemos ninguna otra, esto con el fin de que el alumno se acostumbre a la utilizacin de parntesis. Posterormente es posible adoptar cualquiera de las jerarquas usuales, una vez que ya se entendi y practic suficiente con las frmulas lgicas establecidas de esta manera. Incluso hay algunos autores que no consideran ni siquiera a la negacin con mayor jerarqua y se utilizan de una manera ms completa los parntesis. Esto por supuesto es opcional dependiendo del maestro y del curso de que se trate.

Concepto de Argumento y Tipos de Proposiciones Logicas. Antes de ver esta seccin es recomendable haber ledo las secciones 1.5 Algebra Declarativa y 1.8 Evaluacion de Expresiones donde se presentan las mismas ideas pero para clculo de proposiciones. En clculo de predicados tenemos elementos ms simples para formar las expresiones atmicas, a diferencia de una proposicin simple donde su valor es verdadero o falso de acuerdo a una interpretacin, en clculo de predicados el valor de verdad depende de los componentes que forman el predicado. Por ejemplo: Juan es padre de Pedro es una expresin en clculo de predicados, que en general podra ser: x es padre de y, o simplemente p(x,y). En otras palabras tenemos aqu una proposicin abierta que depende de dos variables, y que por supuesto el valor de verdad depende de los valores que le demos a las varibles, porque por ejemplo: Luis es padre de Agustn puede tener un valor de verdad diferente al anterior. En general podemos decir que un predicado puede tener una o ms variables y que las variables pueden tomar valores de un conjunto especfico llamado DOMINIO.

10

As por ejemplo las dos expresiones mencionadas anteriormente son de la forma p(x,y) donde el predicado p representa es padre de y el domino es el conjunto de las personas. Analiza cules son los predicados y las variables en los siguientes ejemplos: El libro es azul Armando y Eduardo son hermanos Jess es alumno del tecnolgico El concierto de Aranjuez es una composicin de Joaqun Rodrigo Elas tiene ms aos que Ren en el trabajo Esteban compra mercanca los lunes en Almacenes A. Solucin: AZ(x), AZ es el predicado: es de color azul, en el dominio de objetos. H(x,y), H es el predicado: es hermano de, el dominio el conjunto de las personas. T(x), T es el predicado: es alumno del Tecnolgico, el dominio el conjunto de los estudiantes. R(x), r es el predicado: es composicin de Joaqun Rodrigo, el dominio de las obras musicales. T(x,y), T es el predicado: tiene menos tiempo trabajando que, el dominio de las personas A(x,y), A es el predicado: comprar en los almacenes cierto da, el dominio para el primer argumento es el de las personas, el dominio del segundo son los das de la semana. Podemos observar que la definicin del predicado es arbitraria y que para un mismo ejemplo podra variar la estrustura, por ejemplo en el predicado: El libro es azul, podramos considerar como frmula propuesta M(x,y), donde M es el predicado: es de color, y el dominio para la primera variable es el conjunto de los objetos y para la segunda el de los colores. Tambin observamos que el dominio puede ajustarse segn las necesidades, por ejemplo, en el tercer ejemplo en T(x), x podra ser el conjunto de todos los alumnos de un pas,o de una ciudad o de una disciplina.

11

Definicin Una frmula en lgica de predicados es una expresin que se puede obtener mediante alguna de las formas siguientes: i) <m> p(x1, x2, ,xn) </m> donde p es un smbolo que representa un predicado y x1, x2, ,xn son smbolos de variable. ii) ( F) donde F es una frmula de lgica de predicados. iii) (F <OP> G) donde F y G son frmulas de lgica de predicados y <OP> es cualquiera de los operadores ^, v, , iv) ( x) F, donde F es un frmula en lgica de predicados. v) ( x) F, donde F es un frmula en lgica de predicados. Nota: El parntesis encerrando las expresiones en (ii) y (iii) es con el fin de evitar ambigedades en las interpretaciones igual que en lgica de proposiciones, ver la seccin 1.8 Evaluacion de Expresiones. Es claro que para poder asignar un valor de verdad a una proposicin debemos conocer el predicado y los valores de las variables. Primeramente nos enfocaremos a dos casos que consideran las frmulas con variables. Esto corresponde a los dos siguientes temas 1.4.1 Variables y Particularizaciones y 1.4.2 Cuantificadores y Restricciones Tema 1.4.1 VARIABLES Y PARTICULIZACIONES

En clculo de predicados tenemos expresiones con variables, las variables pertenecen a un conjunto o dominio previamente determinado. Por lo que es muy importante definir el dominio cuado interpretamos una frmula mediante un predicado especfico. Ejemplo: x es alumno del ITT, que se podra representar por T(x), aqu el predicado T es alumno del ITT y el dominio podra ser el conjunto de los estudiantes de Tijuana. Otro caso es: x es azul, se representa A(x), el predicado es de color azul y podemos poner el dominio como el conjunto de los libros. Una variable, en estos casos x, represente un valor cualquiera del dominio dado, y cuando le asignamos un valor especfico a la variable se llama instancia o lo que programa menciona como particularicin. As por ejemplo: Juan Prez es alumno del ITT es una instancia del primer ejemplo y Mi libro de matemticas es azul es una instancia del segundo ejemplo.

12

En el primer caso prodramos considerar como dominio el conjunto de todos los alumnos de Tijuana, tambin podra ser slo los alumnos de nivel profesional o tambin podramos tener a todos los alumnos de Mxico. Por eso es muy importante que se especifique con toda claridad el dominio. La importancia de delimitar el dominio se ver ms claramente en la siguiente seccin 1.4.2 Tema 1.4.2 CUANTIFICADORES Y RESTRICCIONES

Dos casos centrales en el clculo de predicados se presentan cuando se analiza si el predicado se cumple para la poblacin completa y cuando se analiza para ver si cumple para un caso en particular al menos. Estos dos casos se llaman Universal y Particular o Existencial vienen a ser la interpretacin o la semntica de los smbolos de cuantificadores que se vieron en la seccin 1.4 Calculo de Predicados Definicion y se definen de la siguiente forma: Cuantificador Universal. El cuantificador universal para todo asociado a una expresin de clculo de predicados F se representa por la espresin ( x) F y es verdadera cuando todas las instancias de la frmula son verdaderas al sustituir la variable x en la frmula por cada uno de los valores posibles del dominio. As por ejemplo si tenemos que la frmula es T(x) donde T representa es alumno del ITT y x representa un alumno de Tijuana, la frmula ( x) T(x) es falsa pues sabemos que hay alumnos en Tijuana que no son del ITT. Cuantificador Existencial. El cuantificador existencial al menos uno o existe uno asociado a una expresin de clculo de predicados F se representa por la espresin ( x) F y es verdadera cuando por lo menos una instancia de la frmula es verdadera al sustituir por la variable x uno de los valores posibles del dominio. As por ejemplo en el mismo caso del anterior la expresin ( x) T(x) es verdadera pues sabemos que s es verdad que al menos un estudiante es alumno del ITT. Hay expresiones dentro del espaol que son muy utilizadas como por ejemplo, Todos los alumnos son estudiosos, Todos los hombres son mortales o Todos los alumnos de Computacin estudian lgica. En este caso estamos tomando una parte del dominio para establecer un caracterstica universal, esto se puede hacer mediante la combinacin de dos predicados de una varible conectados mediante una condicional y tomando el cuantificador universal. As por ejemplo: Todos los alumnos son estudiosos se puede representar mediante ( x) (A(x) E(x)) donde el predicado A significa alumno, E estudioso y x es un elemento de un dominio general que podra ser el de las personas o cualquier subconjunto deseado. Por ejemplo podran ser todos las personas que viven en Tijuana.

13

Aqu podemos ver claramente que el dominio juega un papel preponderante, ya que en un conjunto todos los alumnos podran ser estudiosos y si cambiamos el conjunto puede ser que ya no sea verdad. Todos los hombres son mortales se puede represntar por ( x) (H(x) M(x)) donde H es hombre y M el predicado mortal. Todos los pericos son verdes es: ( x) (P(x) V(x)) con P, perico y V verde. A una expresin como las anteriores se le llama Universal Afirmativa y se representa con la letra A. Los griegos utilizaban enunciados como los anteriores en los Silogismos, que son formas de razonamiento que contienen dos premisas tipo A, E , I, O y una conclusin tambin de uno de los cuatro tipos, las premisas estn conectadas con un predicado comn y la conclusin debe estar formado por las no comunes que se le llaman tcnicamente premisa menor y premisa mayor. Una expresin tipo E es llamada Universal Negativa y se representa por ( x) (P(x) Q(x)) y en espaol se lee ningn P cumple Q o sea que los que cumplen el predicado P(x) no cumples el predicado Q(x). Ningn alumno lleg tarde se puede representar por ( x) (A(x) T(x)) donde A es alumno y T es lleg tarde. Las dos expresiones restantes corresponden a casos particulares y para formarlas utilizamos el cuantificador existencial, y en lugar del operador condicional se usa la conjuncin, as I es ( x) (P(x) Q(x)) llamado Particular Afirmativa y O es ( x) (P(x) Q(x)) que es la Particular Negativa. En el primer caso se indica un elemento que cumple las dos condiciones dadas por los predicados y en el segundo aseguramos que hay un elemento que cumple la primera condicin pero no la segunda. Tema 1.5 ALGEBRA DECLARATIVA

En la seccin 1.3 vimos los operadores lgicos con proposiciones, si esos operadores los combinamos podemos formar frmulas lgicas. La primera pregunta que nos hacemos es: Cmo sabemos si una frmula est bien formada. Pendiente: Dar la definicin formal de frmula bien formada, en forma recursiva.

14

Cmo simplificar en lgica? Hay que utilizar equivalencias lgicas. Por ejemplo, simplificar: ( p ^ q ) ^ q. Para esto utilizamos las siguientes equivalencias lgicas: ( A ^ B ) ^ C <=> A^(B ^C) A ^ A <=> F A ^ F <=> F ( p ^ q ) ^ q <=> F Se puede observar que no existe distincin entre la equivalencia lgica y el esquema que la genera. Ejemplo Demostrar que una vez que p ^ q esta establecida, se puede concluir q. Esta demostracin se puede hacer de dos formas: A) Se demuestra que p ^ q q es una tautolgica, es decir p ^ q <=> q. Demostracin p V q V q <=> V B) Se demuestra que ( p ^ q ) ^ q <=> F lo que nos lleva a que ( p ^ q ) ^ q F debe ser una tautolgica Hablas de rboles, ligarlo con el Tema 1.8

15

1.6

INDUCCION MATEMATICA

G. Peano (1881932) propuso cinco propiedades fundamentales que caracterizan a los nmeros naturales, Axiomas de Peano. Una de ellas conocida como el Principo de Induccin Matemtica es actualmente una herramienta de uso prctico y terico principalmente para matemticos y personas que trabajan en Ciencias Computacionales. El principio lo enunciaremos para los enteros positivos N+, pero bien se puede ampliar a los nmeros naturales o a cualquier subconjunto de los enteros mayores o iguales a un entero fijo. Principio de Induccin Matemtica. Si S en un conjunto de enteros positivos tal que (B) 1 e S (I) k e S (k+1) e S entonces S contiene todos los enteros positivos. En en principio de Induccin Matemtica son muy importantes los nombres asociados y en la literatura tcnica, como es costumbre, no se presenta con detalle los pasos, por lo que resulta indispensable conocer la nomenclatura. Nomenclatura de Induccin Matemtica. (B) se llama Caso Base o caso inicial (I) se llama Paso de Induccin k e S se llama Hiptesis de Induccin Y como ya se mencion todo junto se llama Principio de Induccin Matemtica. Es importante que el alumno comprenda y memorice cada uno de estos conceptos y su participacin directa en la propiedad. Escencialmente lo que enuncia el principio de induccin matemtica es, si logramos establecer que el primer entero positivo cumple, una propiedad, y si partiendo de que un entero arbitrario tambin la cumple, se puede comprobar que el entero siguiente tambin tiene la propiedad entonces concluimos que todos los enteros positivos tienen la propiedad indicada. Por lo que otra forma de enunciar el Principio de Induccin Matemtica es: Si F(n) es una proposicin abierta que involucra enteros y se tiene (B) F(1) es verdadera; o sea, se que cumple para n=1 (I) F(K) F(k+1); Si se cumple para n = k entonces tambin se cumple para n=k+1.

16

Concluimos que la proposicin es verdadera para todos los enteros positivos. El Principio de Induccin Matemtica se utiliza para demostrar propiedades, formulas, validarlas y probar que son verdaderas, usualmente en el conjunto de los nmeros enteros positivos. Muchas propiedades que incluyen la definicin de de factorial se pueden probar por Induccin Matemtica, como el Teorema del Binomio de Newton, el Tringulo de Pascal y algunas propiedades de combinatoria que involucran combinaciones y permutaciones. Otra forma de utilizarla es para proporcionar definiciones y formalizar conceptos. 1. Demostrar por Induccin Matematica que: F(n): {$ 1 + 2 + 3 + ... + n = frac{n(n+1)}2$} Consideremos el conjunto S de los enteros para los cuales la propiedad es cierta. *[B] Si n=1; tenemos: {$1 = frac{1(1+1)}2$} {$1 = frac{2}2$} {$1 = \frac{2}2$} {$ 1 = 1$} entonces 1 est en S o sea que se cumple el caso base.

[M] Debemos de llegar a que para n=k+1 tambin se cumple: {$1 + 2 + 3 + + k+1 = frac(k+1)(k+2)2$} *[I] Induccin **[H] Suponemos que cumple para n=k; {$ 1 + 2 + 3 + + k = frac{k(k+1)}2$} **[H M] Sumamos (k+1) de los dos lados de la igualdad {$ 1 + 2 + 3 + . . . + k + (k+1) = frac{k(k+1)}2 + (k+1) $}

17

{$ = frac{k(k+1) + 2(k+1)} 2 $} {$ = frac{k^2+k+2k+2}2$} {$ = frac{k^2+3k+2}2$} {$ = frac(k+1)(k+2) 2 $} Por lo tanto, podemos concluir que la formula (1) es valida para todos los enteros positivos Para realizar el Paso de Induccin se debe de partir del caso n=k y llegar mediante pasos vlidos al caso n=k+1. En el ejemplo anterior para llegar a n=k+1 partiendo de n=k al lado izquierdo slo le faltaba k+1 por lo que la estrategia fue sumar k+1 en ambos lados de la igualdad. Esta estrategia la podemos utilizar para el siguiente algoritmo

Una manera muy simple de combinar estas expresiones mediante una propiedad es utilizando la negacin, pues dos de ellas son las negaciones de las otras dos, de ah sus nombres de afirmativas y negativas. Primeramente estableceremos dos reglas generales con un predicado simple: Propiedad: ( x) P(x) es equivalente a ( x) ( P(x)) ( x) P(x) es equivalente a ( x) (P(x)) Ahora s, podemos combinar estos dos resultados con las Universales y Particulares Afirmativas y Negativas y tenemos lo siguiente. Teorema: La negacin de la Universal Afirmativa es la Particular Negativa y La negacin de la Particular Afirmativa es la Universal Negativa. O sea que la negacin de la forma A es la forma O y la negacin de la forma I es la forma E. ( x) (P(x) Q(x)) es equivalente a ( x) (P(x) ^ Q(x)) ( x) (P(x) ^ Q(x)) es equivalente a ( x) (P(x) Q(x))

18

De una manera ms simple lo que dice la primera frmula es que la negacin de Todos es Alguno No y que la negacin de Alguno es Ninguno. Esto es muy til en matemticas y en computacin, por ejemplo si queremos demostrar que no es cierto que todas las funciones integrables son continuas, basta encontrar una que sea integrable y que no sea continua.

ALGORITMO . Para demostrar una igualdad F(n) algebraica vlida que involucra enteros donde la parte izquierda es una suma cuyo trmino n-simo es una frmula de n. [Frmula] Escribir la frmula en funcin de n, sea F(n). [Caso Base] Probar la frmula para n=1, F(1). [Meta] Escribir la frmula para n=k+1, F(k+1). [Paso de Induccin] [Hiptesis de Induccin] Escribir la frmula para n=k. [Llegar a la Meta] Sumar a ambos lados el ltimo trmino de la parte izquierda de la [Meta], o sea la igualdad para n=k+1. Aplicar propiedades algebraicas al lado derecho hasta llegar al lado derecho de la [Meta], o sea la igualdad para n=k+1. Nota: Cabe aclarar que la nica dificultad se puede presentar en el manejo algebraico de las expresiones en la segunda parte del Paso de Induccin y que depende muchas veces de la complejidad de la expresin y de la habilidad algebraica de quien realiza la prueba. Nota: La meta la marcamos con rojo para indicar que no es un paso vlido en la demostracin,sino ms bien una gua de a dnde queremos llegar y para tener una mejor idea de lo que estamos demostrando. En los ejemplos que se vean se debe considerar expresiones que se puedan resolver con la preparacin de los estudiantes a los que va dirigido.

19

2. Demostrar por Induccin Matematica que: {$ sum_{i=1}^{n-1}(6n-2) = 4 + 10 + 16 + + (6n-2) = n(3n+1)$} Es la letra griega sigma mayuscula y en matematicas significa suma *[B] Si n=1; tenemos: {$(6(1)2) = 1(3(1)+1)$} {$ 4 = 4$} entonces 1 est en S o sea que se cumple el caso base. {$4 + 10 + 16 + + (6(k+1)2)= (k+1)(3(k+1)+1)\\4 + 10 + 16 + + (6(k+1)2) = 3k^2+7k+4$} || *[I] Induccin **[H] Suponemos que cumple para n=k; {$4 + 10 + 16 + + (6k-2) = k(3k+1)$} **[HM] Sumando (6(k+1)2) a ambos lados {$4 + 10 + 16 + + (6k-2) + (6(k+1)2) = k(3k+1) + (6(k+1)2)$} {$= 3k^2+k+6k+62$} {$= 3k^2+7k+4$} Por lo tanto, podemos concluir que la formula (2) es valida para cualquiera que sea el valor de n

El Principio de Induccin Matemtica es mucho ms que el algoritmo aqu presentado, ya que hay muchos casos en los que no aparecen igualdades algebraicas y como se mencion en el principio inicialmente (B), (I) son tan generales que puede aplicarse a cualquier cosa que cumpla las condiciones. Sin embargo el poder aprender y resolver problemas con este algoritmo le da al alumno la madurez necesaria para entenderlo en general y le sirve tambin para formalizar y entender posteriormente la recursividad, concepto tan importente en Ciencias Computacionales. Definiciones por induccin: Utilizando el mtodo de Induccin Matemticas podemos definir conceptos en forma recursiva, la ventaja es que se formalizan los conceptos adems de que son ms fciles de manejar.

20

Factorial: [B] 0! = 1 [R] (n+1)! = n! (n+1) Notacin Sumatoria: Suma: [B] m + 0 = m [R] m + n = (m+n) La definicin anterior se basa en los nmeros naturales, n significa el sucesor de n que equivale a n+1, por la misma definicin anterior. Producto: [B] m * 0 = 0 [R] m * (n+1) = (m * n) + m Tema 1.7 REGLAS DE INFERENCIA

En un clculo lgico, las reglas de inferencia o reglas de transformacin son aquellos esquemas formales que nos permiten derivar unas frmulas bien formadas (conclusiones) a partir de otras (premisas). Por ejemplo, la Regla de Eliminacin del Condicional:
AB A ______ B

nos permite derivar la frmula p v q de las frmulas p (p v q) y p. Las reglas de inferencia no deben confundirse con las leyes lgicas o tautologas, puesto que stas no pertenecen al metalenguaje del clculo. Primero presentamos los tipos de inferencia, la inferencia vlida en computacin y matemticas y al final una serie de reglas que se utilizan para la inferencia deductiva. La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.

21

Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o expresiones conocidas y de ellas se desprende una conclusin. Los argumentos basados en tautologas representan mtodos de razonamiento universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos argumentos se les llama reglas de inferencia. Las reglas de inferencia permiten relacionar dos o ms tautologas o hiptesis en una demostracin. Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva. Inferencia. De los cuatro tipos de inferencia sealados anteriormente, en matemticas y computain solamente se acepta el deductivo para demostraciones formales; Ver Deduccin. Por esta rezn se denominan Reglas de Inferencia Deductiva. Reglas de Inferencia Deductiva MPP Modus ponendo ponens AB A ----B MTTModus tollendo tollens AB B ----A SD Silogismo Disyuntivo AB A -----

22

B SH Silogismo hipottico AB BC ----AC LS Ley de simplificacin AB ----A LA Ley de adicin A ----AB

CONTRAPOSITIVA AB ----B A La comprobacin de las reglas anteriores es directa y basta hacer frmula con la conjuncin de las premisas condicional la conclusin y probar que es una tautologa, por ejemplo haciendo una tabla y obtener todos los valores verdaderos.

23

1.8

EVALUACION DE EXPRESIONES

Como ya sabemos la sintaxis en lgica es la forma correcta de escribir una frmula y la semntica es lo que significa. Como en lgica solamente tenemos dos valores una frmula solamente puede ser verdadera o falsa. Para determinar su valor seguimos las reglas simples que dimos en las definiciones bsicas de acuerdo a su tabla de verdad. Esto lo hacemos mediante interpretaciones. Una interpretacin de una frmula es un conjunto de valores que se les asignan a sus proposiciones atmicas. Al interpretar una frmula lo que finalmente vamos a obtener es un valor de verdad, bien sea verdadero o falso. Pero para poder encontrarlo muchas veces el proceso en laborioso porque puede estar formada por varias proposiciones atmicas. Primeramente se le asignan valores de verdad a los tomos y se puede encontrar el valor de la expresin. Si deseamos hacerlo en general, debemos analizar todas las posibilidades, esto se puede hacer construyendo una tabla de verdad. Para fines prcticos cuando se tienen varios tomos las tablas de verdad no resultan prcticas por lo que analizaremos solamente expresiones con tres tomos como mximo. Por supuesto que se puede construir una tabla para un nmero mayor de tomos, pero notemos que por cada tomo que se aumente el nmero de renglones se duplica. Esto es, para un tomos son dos renglones, para dos tomos son cuatro, para tres tomos son ocho, para cuatro diecisis, etc. Algoritmo para construir una tabla de verdad de una frmula en lgica de proposiciones. 1. Escribir la frmula con un nmero arriba de cada operador que indique su jerarqua. Se escriben los enteros positivos en orden, donde el nmero 1 corresponde al operador de mayor jerarqua. Cuando dos operadores tengan la misma jerarqua, se le asigna el nmero menor al de la izquierda. Ver Tema 1.5 Algebra Declarativa. 2. Construir el rbol sintctico empezando con la frmula en la raz y utilizando en cada caso el operador de menor jerarqua. O sea, del nmero mayor al menor. Ver Tema 1.5 Algebra Declarativa. 3. Numerar las ramas del rbol en forma secuencial empezando por las hojas hacia la raz, con la nica condicin de que una rama se puede numerar hasta que estn numerados los hijos. Para empezar con la numeracin de las hojas es buena idea hacerlo en orden alfabtico, as todos obtienen los renglones de la tabla en el mismo orden para poder comparar resultados. 4. Escribir los encabezados de la tabla las frmulas siguiendo la numeracin que se le di a las ramas en el rbol sintctico.

24

5. Asignarle a los tomos, las hojas del rbol, todos los posibles valores de verdad de acuerdo al orden establecido. Por supuesto que el orden es arbitrario, pero como el nmero de permutaciones es n!, conviene establecer un orden para poder comparar resultados fcilmente. 6. Asignar valor de verdad a cada una de las columnas restantes de acuerdo al operador indicado en el rbol sintctico utilizando las tablas de verdad correspondiente del Tema 1.3 Conexiones Logicas y Jerarquias. Conviene aprenderse de memoria las tablas de los operadores, al principio pueden tener un resumen con todas las tablas mientras se memorizan. 7. La ltima columna, correspondiente a la frmula original, es la que indica los valores de verdad posibles de la frmula para cada caso. Ejemplo. Construya la tabla de verdad de las siguientes expresiones lgicas: i) (p q) v (p v r) ii) p (q ^ r) iii) (p r) (q v p) iv) (p q) r v) (p ^ q) (q v r)

Solucin: (Faltan las grficas de los rboles, son ejercicios de evaluacin personal) 1er. Ejemplo: i) Seguimos los pasos del algoritmo con la frmula (p q) v (p v r) 1. Vemos que los operadores de los parntesis tienen mayor jerarqua, empezamos por el parntesis izquierdo por lo que la frmula con jerarquas marcadas sera:

2. Contruir el arbol Sintctico empezando a descomponer por el operador con el nmero mayor, seguir en orden descendiente hasta el ltimo que es el que tiene el nmero 1.

3. Numerar las ramas del rbol.

25

4. Escribir los encabezados de la tabla utilizando las frmulas en el rbol siguiendo la numeracin del paso 3.

1 23 4

6 p q

7 p v r

8 (p q) v (p v r)

p q r q p

5. Asignar valores de verdad a los tomos, en este caso, las tres primeras columas.

1 2 3 4

6 p q

p q r q p VVV VV F V F V F F F F VV F V F F F V F F F

p v (p q) v (p v r r)

26

6. Completar el resto de las columnas utilizando las definiciones de los operadores. 1 p 2 q 3 r 4 5 6 7 8

q p F F V V F F V V F F F F V V V V

p p v (p q) v (p q r v r) F F V V V V V V V F V F V V V V V F V V V V V V

V V V V V V V F F F F F F V F F F V F F V F

V V

7. La ltima columna es el resultado da cada interpretacin establecida en los primeros tres renglones.

Los dems problemas son similares y se obtienen las tablas siguientes. ii) 1 2 3 V V V V V F V F V V F F F V V F V F F F V F F F 4 V V V V V V F F 5 V F V F V V V V

p q r q v r p (q v r)

27

iii)ejercicio 3 1 p 2 q 3 r V F V F V F V F 4 r F V F V F V F V 5 pr F V F V V V V V 6 V V V F V V V F 7 F V F V V V F F

q r (p r) (q v r)

V V V V V V F F F F F F V V F F

iv)ejercicio 4 1 2 3 4 p q r 5 6 (p ^ q) V V F F V V V V 7 8

p^ q q F F V V F F F F

(p ^ q) r r F V F V F V F V F V V V F V F V

VVV F VV F F V F V V V F F V F VV F F V F F F F V V F F F V

28

v)ejercicio 5 1 2 3 4 5 P q r r p VVV F F VV F V F V F V F F V F F V F F VV F V F V F V V F F V F V F F F V V 6 qv r V V F F V V V V 7 p ^ q F F F F V V F F 8 (q v r) F F V V F F F F 9 (p ^ q) (q v r) V V V V F F V V

Tema 1.9

TAUTOLOGIAS

Definicin: Una tautologa es una expresin lgica que es verdadera para todos los posibles valores de verdad de sus componentes atmicos. En lgica se entiende por tautologa aquella proposicin cuya tabla de verdad da siempre el valor de verdad V en todos los casos posibles de los valores de verdad (V, F) de cada una de las proposiciones que la integran, o de un modo ms sencillo: la supuesta explicacin de algo mediante una perogrullada, la explicacin o definicin de algo mediante una ligera variacin de palabras que tienen en conjunto el mismo significado ya conocido de lo supuestamente explicado (Ej.: Existe el calor porque lo provoca el calrico). Tautologa: en todos los casos la forma del argumento ofrece un resultado verdadero, por lo que el argumento es vlido.

Una contradiccion es uan expresion logica que es falsa para todos sus valores. El procedimiento de la demostracin por contradiccin es semejante a la que se realiz por el mtodo directo con la diferencia de que las lneas iniciales de dicha demostracin no son nicamente las hiptesis, sino adems se incluye en la demostracin una lnea con la negacin de la conclusin. Por otro lado el objetivo de la demostracin es llegar a una contradiccin.

29

Ejemplo 1: La expresin (p ^ q) (p r) es una tautologa Primeramente se construye el rbol de acuerdo a los pasos 1 y 2 del algortimo en el Tema 1.8 Evaluacion de Expresiones. Recordemos que si no se tiene prctica haciendo el rbol sintctico, una buena idea es numerar los operadores en orden jerrquico. Una vez numerado se forma el rbol empezando por el nmero ms grande en orden descendiente.

Utilizamos el rbol para construir la tabla, para ver con detalle los pasos ver el Tema 1.8 Evaluacion de Expresiones.

p q r

p p (p q) (p r q r r) V V F F F F F F V V V V F V F V V V V V V V V V

VVV F VV F V V F V F V F F V F VV F F V F V F F V F F F F V

30

Vemos que la ltima columna tiene unicamente V por que se comprueba que es una tautologa.

Tautologas Fundamentales
p p (p ^ p) (p) p Ley del medio excluido Ley de no contradiccin Doble Negacin

(p q) p ^ Ley 1 de De Morgan q (p ^ q) p Ley 2 de De Morgan q ((p q)^p) q ((p q)^ q) p ((p q) p) q ((p q) (q r)) (p r) (p q) ( p q) ((p q) ( q p) Modus ponendo ponens Modus tollendo tollens Silogismo Disyuntivo Silogismo Hipottico Condicional como clusula Contrapositiva

Ejemplo 2. Veamos la comprobacin de Modus Tollendo Tollens ((p q) q) p

31

El rbol sintctico es:

Y la tabla comprueba que es una tautologa. p q p q q F V F V F V (p q) q F F F V ((p q) q) p p F F V V V V V V

VV V V F F F F V V

Tema 1.9.1

EQUIVALENCIAS LOGICAS Y UTILIZACIONES

Junto con las tautologas un concepto muy utilizado es el de equivalencia. Definicin: Dos frmulas lgicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de verdad de sus componentes atmicos. Ejemplo 2: Las dos frmulas siguientes son equivalentes: (p q) (p r) p q r

32

de manera similar a lo establecido en las secciones anteriores, elaboramos la tabla:

p q r q p p q p r (p q) (p r) p q p q r V V V F V V F F F F F F V V V V V V V F V F V V V V V F V V V V V V F F V V V V V V V F V V V V V V

V F V V F V F F V F F V V F V F V F F V F F V V V F F F V V

donde se puede observar que la ltima yla antepenltima columnas son iguales. Las equivalencias se relacionan con las tautologas de la siguiente forma. Teorema: Si dos frmulas lgicas son eqivalentes entonces la frmula que se obtiene al operarlas con la bicondiconal es una tautologa.

Si F G entonces F G

La propiedad inversa tambin se cumple pues si una bicondicional es una tautologa, las frmulas que la componen son equivalentes. El teorema y su inverso se comprueban directamente de la tabla de verdad de la bicondicional, ver seccin 1.3.4

33

Tautologas Fundamentales
p p Ley del medio excluido Ley de no contradiccin Modus ponendo ponens Modus tollendo tollens Silogismo Disyuntivo Silogismo Hipottico

(p ^ p)

((p q)^p) q

((p q)^ q) p

((p q) p) q ((p q) (q r)) (p r)

La comprobacin de cualquiera de las tautologas anteriores es directa, es suficiente hacer la tabla de verdad y se obtendr la columna correspondiente a la frmula con valores verdaderos nicamente, como se mencion en el Tema 1.9 Tautologias y Contradicciones.

Equivalencias
(p) p (p ^ q) p q (p q) p ^ q (p q) ( p q) ((p q) ( q p) (p q) p ^ q Doble Negacin Ley 1 de De Morgan Ley 2 de De Morgan Condicional como clusula Contrapositiva Negacin de la Implicacin

34

Ejemplo 2: p q p q

y en la tabla las columnas 3 y 5 son iguales

p V V F F q V F V F pq V F V V p F F V V p q V F V V

Tema 1.9.2

DEDUCCION PROPOSICIONAL

En lugar de deduccin preposicioal es deduccin proposicional, aunque un nombre ms general podra ser inferencia.o La inferencia es un procediendo para obtener conclusiones, hay tres tipos de inferencia: Por induccin, por deduccin y por abduccin. Por induccin es de lo particular a lo general, esto es de muchas observaciones concluir una regla general. Por deduccin es de lo general a lo particular, esto es de un regla general se concluye un caso particular. Por abduccin de particular a partuclar o de general a general. Para una explicacin ms amplia ver el Tema 1.7

Reglas de Inferencia. En lgica proposicional solo se admite la deduccin como procedimiento vlido para obtener conclusiones, los otros mtodos se pueden utilizar en probalididad, estadstica, lgica difusa, ciencias, etc. Primeramente consideraremos algunas reglas de inferencia deductiva; esto es, obtener alguna conclusin en base a hechos conocidos. Dichas reglas se vieron en el Tema 1.7 Reglas de Inferencia;

35

Reglas de Inferencia Deductiva MPP Modus ponendo ponens AB A ----B MTTModus tollendo tollens AB B ----A SD Silogismo Disyuntivo AB A ----B SH Silogismo hipottico AB BC ----AC LS Ley de simplificacin AB ----A

36

LA Ley de adicin A ----AB CONTRAPOSITIVA AB ----B A

en la notacin anterior los elementos conocidos, premisas estn antes de la raya, y lo que est debajo de la raya se llama conclusin. En general una inferencia es vlida si cuando las premisas son verdaderas la conclusin tambin lo es, o sea La inferencia es vlida si (A1 ^ A2 ^ ^ An) C es tautologa. Qu es una demostracin?. Para comprobar que una inferencia es vlida se debe demostrar. Una demostracin es un conjunto de pasos donde el ltimo paso es la conclusin, cualquiera de los siguientes pasos es vlido: Pasos vlidos en una demostracin Premisa; en cualquier paso se puede usar una premisa, esto es, lo que suponemos vlido. Equivalencias; cualquier paso puede ser un equivalente de un paso anterior. Regla de Inferencia; en cualquier paso se puede escribir la conclusin de una regla de inferencia si sus premisas son pasos anteriores. Propiedades previas; cualquier teorema o propiedad conocida puede ser usado en un paso, en particular cualquier inferencia vlida puede ser utilizada.

37

Ejemplo 1. Comprobar que r se infiere de las premisas: p, p q, r &rarr: q Una forma de representar esto es: p, p q, r &rarr: |= r Demostracin Utilizando nicamente MPP 1. p 2. p q 4. p q 5. q 6. q r 7. r Premisa Premisa Equivalencia (2) MPP(1,4) Equivalencia (3) MPP(5,6)

3. r q Premisa

Los primeros tres pasos de la demostracin son las premisas, los pasos 4 y 6 son equivalencias y los pasos 5 y 7 son la aplicacin de la regla MPP con las premisas que se encuentran en el parntesis.

Para ms equivalencias, ver el Tema 1.9.1 Equivalencias Logicas y Utilizaciones.

Una demostracin como la anterior se llama prueba directa. Para poder hacer una comprobacin como la anterior es conveniente tener algunas identidades y reglas de inferencia vlidas.

La demostracin anterior la podemos hacer sin utilizar equivalencias utilizando otras leyes de inferencia adems de MPP.

38

Ejemplo 2. Comprobar p, p q, r &rarr: |= r Demostracin 1. p 2. p q 3. r q 4. q 5. r Premisa Premisa Premisa SD(1,2) MTT(3,4)

1. t s 2. q s 3. t 4. s 5. q

Premisa Premisa Premisa MPP(1,3) MTT(2,4)

Demostracion 2: 1. t s 3. t 4. s 5. s q 6. q Premisa Premisa MPP(1,3) Equivalencia (2) MTT(4,5)

2. q s Premisa

Como se puede ver la regla de inferencia Modus Tollendo Tollens (MTT), no es necesaria si usamos la eauivalencia en el paso 5, sin embargo, muchos personas prefieren usarla porque es un paso menos.

39

Tema 1.9.3

DEMOSTRACION CONDICIONAL Y DIRECTA

Si una frmula tiene la forma A

B y es una tautologa, en donde A y B pueden ser proposiciones compuestas, entonces decimos que B se desprende lgicamente de A y se representa por A |= B. Tambin podemos considerar tautologas de la forma (p1 p2 ^ ^ pn) q Entonces est implicacin es verdadera sin importar los valores de verdad de cualquiera de sus componentes. En este caso, se dice que q se desprende lgicamente de p1,p2,,pn. Se escribe. p1 , p2 , , pn |= q o tambin p1 p2 ...pn ___q Significa que si se sabe que p1 es verdadera, p2 es verdadera ,, y pn tambin es verdadera, entonces estamos seguros que q es verdadera. Prcticamente todos los teoremas matemticos estn compuestos por implicaciones de este tipo. Donde p1, p2, son llamadas hiptesis o premisas, y q es llamada conclusin. Demostrar el teorema, es demostrar que la implicacin es una tautologa. Note que no estamos tratando de demostrar que q (la conclusin) es verdadera, sino solamente que q es verdadera si todas las p1, p2, son verdaderas. Una demostracin directa comienza con las hiptesis, seguidas de las tautologas y reglas de inferencia necesarias, hasta llegar a la conclusin. Ver Tema anterior 1.9.2 Deduccion Preposicional. A continuacin veremos lo que es una prueba condicional. En este caso la conclusin es un enunciado de la forma A B ; en este caso demostrar que la condicional sedesprende de un conjunto de premisas P1, P2, Pn es equivalente a probar que B de desprende de las premisas junto con A, la cual se llama premisa adicional. Esto lo podemos expresar en el siguiente teorema. P1, P2, , Pn |= (A B) es equivalente a P1, P2, , Pn, A |= B.

40

Ejemplo 1. Demustre el argumento p q, q r, s r |= p s Demostracin

1. p Premisa q 2. q r Premisa

3. s Premisa r 4. p 5. q 6. r 7. s Premisa Adicional MPP(1,4) SD(2,5) MTT(3,6)

Demostracin por contradiccin. El procedimiento de la demostracin por contradiccin es semejante a la que se realiz por el mtodo directo con la diferencia de que las lneas iniciales de dicha demostracin no son nicamente las hiptesis, sino adems se incluye en la demostracin una lnea con la negacin de la conclusin. Por otro lado el objetivo de la demostracin es llegar a una contradiccin. La demostracin del siguiente teorema por el mtodo de contradiccin es como se indica p (q ^ r), (q s) t, (p s) |= t

41

Demostracin
1. p (q ^ r) 2. (q s) t Premisa

Premisa

3. p s Premisa 4. t 5. (q s) Premisa Adicional MPP(2,4)

6. q ^ Ley de De s Morgan(5) 7. q 8. s 9. p LS(6) LS(6) SD(3,8)

10. q ^ r MPP(1,9) 11. q 12. q ^ q LS(10) Conjuncin(7,11)

pero esto ltimo es una contradiccin, por lo que queda demostrado el argumento. Note que juntamente con las premisas se debe incluir la negacin de la conclusin como premisa adicional, paso 4. En este momento el alumno ya tiene los elementos para llevar a cabo demostraciones con el apoyo del maestro. Es conveniente plantear varios enunciados, para que el alumno los represente con simbologa lgica en forma de teorema. Que ese mismo teorema lo represente con su tabla de verdad y haga la correspondiente demostracin por los dos mtodos antes mencionados.

42

La forma en que el aprende a aplicar reglas de inferencia es semejante a la manera en que deber realizar una factorizacin o una aplicacin de una frmula en clculo diferencial o integral o la formula que debe aplicar para resolver un problema en fsica. Lo que debe aprender es a relacionar los distintos conocimientos para poder llegar a la solucin. Es importante mencionar que el camino que debe seguir el alumno no es el mismo que el maestro sigui sino uno distinto pero que ambos llegan al resultado.

43

REDACCION DE EXPOSICION
La clave del xito en nuestra exposicin, fue tener un ambiente relajado, de manera en que nos prestaran atencin, es por ello que todo lo que fue expuesto fue aprendido fcilmente, cabe destacar que tratamos de llamar la atencin de los espectadores a dos puntos, esto quiere decir que utilizamos una exposicin en forma de guion teatral, al ocupar cada uno de nosotros un dialogo, entre teora y ejercicios, tratando de motivar la clase y hacerla lo mas relajada y clara posible.

44

2.0

CONCLUSION

En una breve pero significativa conclusin, es de saberse, que la lgica est en todas partes, tiene un uso muy grande a diario y en todo el mundo, por eso, hay que saber aprovechar de manera consciente esa parte Lgica y con sentido, que a veces no hemos pensado en su utilidad. Siempre ha formado parte de nosotros, tanto las matemticas como la lgica misma, as que, como estamos cursando una carrera profesional, ya esta inmiscuida, todo depende de su razonamiento, que nos ayudara a resolver problemas en buena cantidad y calidad, ms vale esforzarnos un poco a perder lo ya avanzado. En esta unidad fue un gran paso a nuestra manera de pensar, porque el hecho de quemar unas neuronas no est de mas. Cabe resaltar que fue una unidad muy pesada porque el trabajo fue arduo y continuo, ya que los ejemplos se tenan que verificar muy bien, seleccionar los mejores y exponerlos de manera sencilla, breve y sobre todo de manera clara. Todo esto trae como consecuencia el buen sentido, el buen razonamiento, y sobre todo que nuestra mente este muy, pero muy despierta, para cualquier ejercicio, o problema que estn siempre all en la vida cotidiana, es por eso el termino ingeniero, que se las tiene que ingeniar para salir adelante. Pues no est de ms, Tener en cuenta, que el conocimiento lo tenemos que enriquecer, agrandar y ejecutar, para poder, as, ser una persona de calidad, pero con muchas ganas de aprender, y con los valores adecuados, usando lgica, SER LOS MEJORES.

45