You are on page 1of 21

UNIDAD I 1 Sistemas Numricos y Aritmticos del computador 1.1 Clasificacin de los nmeros 1.2 Representacin decimal 1.

3 Representacin binaria 1.4 Representacin octal y hexadecimal 1.5 Complementos 1.6 Aritmtica Modular UNIDAD II 2Logica proposicional 2.1Proposiciones Proposiciones simples y compuestas Trminos de enlace de proposiciones Simbolizacin de proposiciones y de los trminos de enlace 2.2 Tipos de proposiciones Conjuncin Disyuncin condicional y bicondicional 2.3Trmino de Enlace Dominante Elementos para determinar el trmino de enlace dominante 2.4 Formulas lgicas Valores de certeza de una proposicin Tablas de verdad de las proposiciones moleculares bsicas 2.5 Diagramas Lineales Elaboracin de la tabla de verdad para cualquier proposicin Tautologas Contradicciones Reglas de inferencia Demostraciones directas, condicionales, por contradiccin y por induccin Inferencias vlidas y no validas UNIDAD III 3 Conjuntos, Relaciones, Funciones y Algebra Booleana 3.1 Conceptos bsicos de conjuntos 3.2 Operaciones y algebra de conjuntos 3.3 Aplicaciones 3.4 Arreglos computacionales 3.5 Compuertas Lgicas 3.6 Concepto de relacin Relaciones binarias Relaciones de equivalencia 3.7 Definicin de funciones Composicin de funciones Clases funciones Funciones inversas Funciones Localizadoras UNIDAD IV 1

4 Teora de Grafos 4.1 Grafos Nodos Ramas y Lazos Ramas paralelas 4.2Grafos simples 4.3 Grafos de similaridad 4.4 Grafos Bipartidos 4.5 Representacin Matricial de Grafos Ramas sucesivas de longitud n Matriz de adyacencia e incidencia Caminos Caminos simples 4.6 Grafos Conexos Caminos de Euler Valencia de nodos Componente de un Grafo 4.7 Grafos Ponderados Longitud de un camino El camino ms corto Dos problemas clsicos: a) El problema de los puentes de Konigsberg b) El problema de la locura instantnea Grafos isomorfos Grafos Planos Grafos homeomorfos Teoremas de Kuratowski y de Euler UNIDAD V 5 Gramticas y Lenguajes formales 5.1 Expresiones regulares 5.2Lengujaes Formales 5.3 Semigrupos 5.4 Mquinas de estado finita 5.5 Autmatas y lenguajes

SISTEMAS NMERICOS Y ARITMETICOS DEL COMPUTADOR Los sistemas numricos son muy importantes en computacin, aqu veremos los sistemas en base 2, 8 y 16 que son las que ms se utilizan en computacin; por supuesto con la relacin entre la base 10 que es la que utilizamos los seres humanos. Un sistema de numeracin es un conjunto de smbolos y reglas que se utilizan para representar los nmeros. Dependiendo del sistema en particular el manejo y las operaciones pueden resultar muy simples o muy complicadas, por tal razn en computacin se manejan sistemas posicinales de bases que sean potencias de 2, ya que los algoritmos para las operaciones son los ms simples. Los sistemas de numeracin usados en la actualidad son posicinales. El valor de una cifra depende tanto de qu dgito es como de la posicin que ocupa en el nmero. Base. Es el nmero de smbolos distintos que se utiliza para representar un nmero en un sistema de numeracin. Entonces decimos que el sistema de numeracin es de esa base, por ejemplo b. Los smbolos de una determinada base van desde el 0 hasta la base; o sea b-1. Cifra. Cada uno de los smbolos que se utilizan para representar el nmero, una cifra representa un valor dependiendo de la posicin que ocupe; por lo tanto a estos sistemas de numeracin los llamaremos sistemas de numeracin posicinales. En la siguiente seccin empezamos por representar nmeros enteros en una base 10, pero en general se puede utilizar cualquier base b. Los smbolos utilizados son {0,1,2,3,,b-1} si b es menor o igual a 10, en caso de ser mayor podemos utilizar las letras A, B, C, despus del 9 o algn otro smbolo que se defina previamente. Como los sistemas que se utilizan por lo general no pasan de base 16, con las letra A,B,C,D,E y F es suficiente. O sea que para representar un nmero en base b se tienen los smbolos representa el nmero: Como vamos a trabajar con representaciones en distintas bases es conveniente para evitar confusin indicar en qu base est representado un nmero, esto se hace colocando la base a final del nmero en forma de subndice. Ejemplo: 35014 6 es un nmero en base 6 y representa el nmero:

Nota: En general cuando no se indica la base significa que el nmero est representado en base 10. REPRESENTACIN DECIMAL Empezaremos por representar los nmeros enteros positivos, o sea: y el conjunto de los nmero naturales: Debemos distinguir entre un nmero y su representacin, la cual se le puede llamar numeral. Un nmero representa la una idea que la cantidad de elementos en un conjunto o cardinalidad. Por ejemplo si tenemos el conjunto: tiene tres elementos y el conjunto tambin tiene tres elementos. La forma de represntar el nmero puede ser: La primera represntacin es el espaol La segunda en ingls la tercera en el sistema indo-arbigo la cuarta en numeracin maya la quinta en numeracin romana Todas son distintas representaciones para un mismo nmero. Sintetizando Nmero: Idea que representa la cantidad de elementos de un conjunto, Sentido Semntico. Numeral: Smbolo que se usa para representar un nmnero, Sentido Sintctico. Actualmente se utiliza la representacin indo-arbiga para represntar los nmeros , esto es: el conjunto de los enteros positivos y el conjunto de los nmero naturales: Se utiliza el sistema posicional base 10, con los dgitos {0,1,2,3,4,5,6,7,8,9} por lo que un nmero entero se representa escribiendo en orden los smbolos, de derecha a izquierda el primero representa las unidades, el segundo las decenas, el tercero las centenas, el cuarto las unidades de millar, continuando con mltiplos de 10 que es la base. As por ejemplo el representa tres unidades de millar, cuatro centenas, seis decenas y nueve unidades, por lo que el nmero es: tres mil cuatrocientos sesenta y nueve. 4

En general

representa

La representacin decimal facilita los algoritmos para realizar operaciones con los nmeros enteros. Es fundamental entender el papel del sistema posicional en el desarrollo de un algoritmo por lo que recordaremos las operaciones fundamentales en base 10, con el fin de poder extender las ideas a otras bases ms delante. Suma Resta 76.512 628.420 + 149.83 - 73.015 -----------------226.342 555.405 Multiplicacin 13 13 42.5 x 6.7 -------2975 2550 -------284.75

Para verificar si la multiplicacin est bien hecha, hay una prueba donde se suman los dgitos de los factores y de la respuesta, investigar dicho algoritmo. La explicacin y justificacin de este procedimiento se explica ms delante en la seccin de Aritmtica Modular?.

REPRESENTACIN BINARIA

El sistema binario o sistema de numeracin en base 2 es tambin un sistema de numeracin posicional igual que el decimal, pero slo utiliza dos smbolos, el 0 y el 1. Por lo tanto para poder representar mayor nmero de informacin al tener menos smbolos tendremos que utilizar ms cifras: Bit: 0 1 Cuarteto: Nmero formado por 4 bits Byte: 8 bits Kilobyte: 1024 bytes Megabyte: 1024 kilobytes Gigabyte: 1025 megabytes Un nmero es sistema binario es por lo tanto una secuencia de bits, as por ejemplo: 11101001 2 es un nmero en base 2 y representa el nmero: REPRESENTACIN OCTAL Y HEXADECIMAL Es un sistema de base 8, es decir, con slo ocho smbolos distintos 0,1,2,3,4,5,6,7 . Por ejemplo: 40712 8 es un nmero en base 8 y representa el nmero: Los nmeros octales pueden construirse a partir de nmeros binarios agrupando cada tres dgitos consecutivos de estos ltimos (de derecha a izquierda) y obteniendo su valor decimal. Por ejemplo, el nmero binario para 74 (en decimal) es 1001010 (en binario), lo agruparamos como 1 001 010. De modo que el nmero decimal 74 en octal es 112. En informtica, a veces se utiliza la numeracin octal en vez de la hexadecimal. Tiene la ventaja de que no requiere utilizar otros smbolos diferentes de los dgitos. Es posible que la numeracin octal se usara en el pasado en lugar de la decimal, por ejemplo, para contar los espacios interdigitales o los dedos distintos de los pulgares. Esto explicara porqu en latn nueve (novem) se parece tanto a nuevo (novus). Podra tener el significado de nmero nuevo. [editar] Fracciones La numeracin octal es tan buena como la binaria y la hexadecimal para operar con fracciones, puesto que el nico factor primo para sus bases es 2.

Fraccion Octal 1/2 1/3 1/4 1/5 1/6 1/7 1/8 1/9 1/10 1/2 1/3 1/4 1/5 1/6 1/7

Resultado en octal 0,4 0,25252525 peridico 0,2 0,14631463 peridico 0,125252525 peridico 0,111111 peridico 0,07070707 peridico 0,063146314 peridico

1/10 0,1 1/11 1/12

REPRESENTACIN HEXADECIMAL El sistema de numeracin ms utilizado actualmente en computacin es el hexadecimal o base 16, el cual consta de 16 dgitos smbolos 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A, B, C, D, E y F . El sistema hexadecimal un sistema de numeracin vinculado a la informtica, ya que los ordenadores interpretan los lenguajes de programacin en bytes, que estn compuestos de ocho dgitos. A medida de que los ordenadores y los programas aumentan su capacidad de procesamiento, funcionan con mltiplos de ocho, como 16 o 32. Por este motivo, el sistema hexadecimal, de 16 dgitos, es un estndar en la informtica. Como nuestro sistema de numeracin slo dispone de diez dgitos, debemos incluir seis letras para completar el sistema. Estas letras y su valor en decimal son: A = 10, B = 11, C = 12, D = 13, E = 14 y F = 15. El sistema hexadecimal es posicional y por ello el valor numrico asociado a cada signo depende de su posicin en el nmero, y es proporcional a las diferentes potencias de la base del sistema que en este caso es 16. Veamos un ejemplo numrico: 3E0,A (16) = ( 316 ) + ( E16 ) + ( 0160 ) + ( A161 ) = ( 3256 ) + ( 1416 ) + ( 01 ) + ( 100,0625 ) = 992,625 La utilizacin del sistema hexadecimal en los ordenadores, se debe a que un dgito hexadecimal representa a cuatro dgitos binarios (4 bits = 1 nibble), por tanto dos dgitos hexadecimales representaran a ocho dgitos binarios (8 bits =

1 byte) que como es sabido es la unidad bsica de almacenamiento de informacin. Por ejemplo: 2A703 16 es un nmero en base 16 y representa el nmero:

Tabla de los primeros 16 nmeros Decimal Binario Octal Hexadecimal 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 0 1 10 11 100 101 110 111 1000 1001 1010 1011 1100 1101 1110 1111 0 1 2 3 4 5 6 7 10 11 12 13 14 15 16 17 0 1 2 3 4 5 6 7 8 9 A B C D E F

Aritmtica Modular Definicin: Sean a y b enteros y n un entero positivo. Si a - b es divisible entre n, se dice que a es congruente con b mdulo n, y se escribe a = b (mod n) Obviamente, a = b (mod n) si y slo si existe k entero tal que a = b + kn. Ejemplos: -9 = 31 (mod 10) 16 = 30 (mod 7) Propiedades fundamentales de las congruencias: 1) La congruencia mdulo n es una relacin de equivalencia en los enteros, es decir: i) a = a (mod n) para todo a entero. ii) Si a = b (mod n) entonces b = a (mod n) para todos a y b enteros. iii) Si a = b (mod n) y b = c (mod n) entonces a = c (mod n) para todos a, b y c enteros. 8

2) Si a = b (mod n) y c = d (mod n) entonces a + c = b + d (mod n) y ac = bd (mod n) 3) Si (a,n) = d y ab = ac (mod n) entonces b = c (mod n/d) ((a,n) es el mximo comn divisor de a y n) Demostracin de 3): Existe un k entero tal que ab = ac + kn (1) Sean A=a/d, N=n/d. Se tiene entonces que (A,N)=1 Dividiendo (1) entre d, se obtiene: A(b - c) = kN (2) por lo que A divide a kN. Como (A,N)=1, es necesario que A divida a k, de donde hay un entero R tal que k=AR. Sustituyendo en (2): b - c = RN lo que implica que b = c (mod N) Sistema completo de restos Cada entero es congruente mdulo n con exactamente uno de los n nmeros 0, 1, 2, n 1. Demostracin: Sea z un entero cualquiera. Dividindolo entre n, se obtiene: z = qn + r, 0 <= r < n, de donde se deduce que z es congruente mdulo n a r, que es un nmero entre 0 y n-1. Supongamos ahora que 0 <= r1 < r2 < n y que z = r1 (mod n) y z = r2 (mod n) Se cumple que r1 = r2 (mod n) por lo que n divide a r2 - r1, pero 0 < r2 - r1 <= n - 1 < n, lo que es una contradiccin. Definicin: Un conjunto de n enteros z1, z2, , zn, se llama sistema completo de restos mdulo n si cada entero es congruente mdulo n con exactamente uno de los zetas. El hecho de que los nmeros 0, 1, 2, , n - 1 formen un sistema completo de restos mdulo n implica que cualquier combinacin de sumas, diferencias y productos de esos nmeros es congruente mdulo n con exactamente un miembro del sistema. Esto es la base de la idea de la aritmtica modular. Veamos las tablas de adicin y multiplicacin mdulo 5: +01234001234112340223401334012440123 a + b (mod 5) x01234000000101234202413303142404321 axb (mod 5)

Proposiciones 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. Los argumentos son una de las formas ms comunes en matemticas, en lgica y en computacin de establecer razonamientos para llegar a la verdad. Si tenemos un conectivo lgico OR de dos valores de entrada y despus un inversor, cul es la salida. O si en un programa con una instruccin tipo if se tiene la condicin X > 3 and X < 10 cmo se sabe si se ejecut el comando. Podemos tener tambin situaciones como: Todos los hombres son mortales. Scrates es hombre. Por lo tanto: Scrates es mortal. Si lo comparamos con: Todos los rboles son verdes. Todos los 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 2.6 Argumentos Validos y no Validos. 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

10

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 indeterminadas. 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 Proposicin Lgica ii) 1 < 2 Proposicin Lgica iii) Hoy es lunes Proposicin Abierta iv) x+3=5 Proposicin Abierta v) Ecosistemas Frase vi) Buenos das Frase vii) El 3 de abril de 1970 fu domingo Proposicin Lgica viii) Los cocodrilos pueden volar Proposicin Lgica ix) Las matemticas son agradables Proposicin Abierta x) Esta expresin es falsa Frase Hacer los ejercicios del 1 al 9 Ejercicios MC I2 Combinando dos o ms proposiciones se pueden formar expresiones compuestas con los operadores, estos operadores tambin se llaman conectivos lgicos y se presentan en la siguiente seccin. Tablas de Verdad Como se mencion en la seccin anterior 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 p V F 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 11

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 Clculo de Predicados Definicion. Hacer los ejercicios del 10 al 16 Ejercicios MC I2 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 p^q V V V F F V F F 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. 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 V V V

12

F 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 utiliza 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 XOR p q 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 ambas, 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.

13

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. 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. 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 Construccin de Tablas de Verdad 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 V F F V

14

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. 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. 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. 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 la tabla 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:

15

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: 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. Construir el rbol 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

16

4. Escribir los encabezados de la tabla utilizando las frmulas en el rbol siguiendo la numeracin del paso 3. 5. Asignar valores de verdad a los tomos, en este caso, las tres primeras columnas. 6. Completar el resto de las columnas utilizando las definiciones de los operadores.

1 2 3 4 5

8 17

p q r

q p

p p v q r F F V V V V V V V F V F V V V V

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

V VV F F V VF F F V F V V F V F F V F F VV F V F VF F V F F V V V F F 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 4 5 p q r q v r p (q v r) V VV V V VF V F F F VF F F F V V V F V F V V F VV V F F V F V F V F V V V V

iii) 18

1 2 3 4 p q r r V VV F V VF V V F V F V F F V F VV F F VF V F F V F F F F V iv) 1 2 3 4 p q r q V VV F V VF F V F V V V F F V F VV F F VF F F F V V F F F V v) 1 2 3 4 5 p q r r p V VVF F V VF V F V F VF F V F F V F F VVF V F VF V V F F VF V F F F V V 6 5

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

p ^ (p ^ (p ^ q) r q q) r F F V V F F F F 7 V V F F V V V V 8 F V F V F V F V F V V V F V F V 9

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

19

REGLAS DE INFERENCIA 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 LA Ley de adicin A ----AB CONTRAPOSITIVA AB ----B A La comprobacin de las reglas anteriores es directa y basta hacer una 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. Para una mayor comprensin mediante algunos otros ejercicios referirse a la seccin del curso de licenciatura que se encuentra en el siguiente enlace

20

Reglas de inferencia

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.

Ejemplo 1 Es valido el siguiente argumento?.

Si usted invierte en el mercado de valores, entonces se har rico. Si se hace usted rico, entonces ser feliz. Si usted invierte en el mercado de valores, entonces ser feliz.

Sea: p: Usted invierte en el mercado de valores. q: Se har rico. r: Ser feliz

De tal manera que el enunciado anterior se puede representar con notacin lgica de la siguiente manera:

pq qr ______ pr

21