Introduccin a la Informtica

Lgica

Universidad Nacional Experimental de Guayana Profesor:

Mara de Pool

Gua de estudio Logica

BIBLIOGRAFA
! ! ! ! ! ! ! ! ! ! ! ! ! ! ! Lgica matemtica, Aranda, J. y otros, Sanz y Torres, 1993 Lgica Simblica para Informticos, Julin, P., Rama, 2004 Lgica para principiantes, Manzano, M. Huertas, A, Alianza Editorial, 2004 lgebra y Matemtica Discreta (2 edicin), Aledo, J. A.Penabad, J.Valverde, J.C.Villaverde, J., Popular libros, 2002 Problemas de lgebra y Matemtica Discreta I, Aledo, J. A.Penabad, J.Valverde, J.C.Villaverde, J., Popular libros, 2000 Lgica formal para informticos, Arenas, L., Daz de Santos, 1996 Lgica informtica, Cuena, J., Alianza Editorial, 1988 Introduccin a la lgica formal, Deao, A., Alianza Universidad, 1992 Fundamentos de informtica , Fernndez, J.Sez Vacas, F., Alianza Universidad , 1988 Elementos de Matemticas discretas, Liu, C.L., MacGrawHill, 1995 Foundations of Logic Programming ( 2 edicin), Lloyd, J.W., SpringerVerlag, 1988 NORTON, Peter. Introduccin a la Informtica. Tercera Edicin. Fundamentos de programacin. Luis Joyanes Aguilar Pea Tresancos / M.C. Vidal Fernndez. Introduccin a la Informtica. McGraw- Hill. Internet.

Lgica Bsica
Definicin
Disciplina y rama de la filosofa que estudia los principios formales del conocimiento humano. Su principal anlisis se centra en la validez de los razonamientos y argumentos La validez lgica depende de la adecuada relacin entre las premisas y la conclusin, de tal forma que si las premisas son Verdaderas la conclusin tambin lo ser. Por ello, la lgica se encarga de analizar la estructura y el valor de Verdad de las proposiciones, y su clasificacin. Los operadores del lgebra de Boole pueden representarse de varias formas. A menudo se representan simplemente como AND (Y), OR (O) y NOT (NO). En electrnica digital, tambin se emplean la X-OR (O exclusiva) y su negadas NAND (NO Y), NOR (NO O) y X-NOR (equivalencia). Todas las operaciones (representadas por determinados smbolos) pueden ser materializadas mediante elementos fsicos de diferentes tipos (mecnicos, elctricos, neumticos o electrnicos) que admiten entradas binarias o lgicas y que devuelven una respuesta (salida) tambin binaria o lgica. Ejemplos de dichos estados son: Abierto/ Cerrado (interruptor), Encendida/ Apagada (bombillo),

Introduccin a la Informtica

Lgica

Cargado/ Descargado (condensador), Nivel Lgico 0/Nivel lgico 1 (salida lgica de un circuito semiconductor), etctera. Los dispositivos con los cuales se implementan las funciones lgicas son llamados puertas (o compuertas) y, habitualmente, son dispositivos electrnicos basados en transistores. Estos dispositivos permiten el diseo e implementacin de circuitos de cualquier computador, as como de muchos de los elementos fsicos que permiten la existencia de las telecomunicaciones, el control de mquinas, etctera La lgica binaria trabaja con variables binarias y operaciones lgicas. Las proposiciones utilizadas son bivalentes (pueden tomar solo dos posibles valores):

V (Verdadero) F (Falso). 0 (Cero) 1 (Uno). Activado desactivado. Si No.

La lgica no establece el valor de Verdad de las proposiciones, de eso se ocupa la ciencia particular cuya proposicin este siendo utilizada. En lgica se toman las proposiciones o expresiones ya con su valor asignado (Verdadero falso).

Expresiones - proposiciones
Las expresiones son un conjunto de smbolos de un lenguaje. Los smbolos se ensamblan en distintos tipos de combinaciones: cadenas (strings), rboles, redes, etc. para armar estructuras compuestas. La lgica se interesa de un conjunto especial de expresiones que se llaman

Proposiciones ,

corresponden a afirmaciones mnimas. Una afirmacin es algo sobre lo que podemos decir "es verdad" o bien "es falso" (se les puede asignar un atributo, valor o funcin). Este es el rasgo definitorio de las proposiciones del clculo: son formas a las que se les adscribe un valor de verdad. La lgica estudia la combinacin de estas proposiciones a los efectos de relacionar o inferir unas de otras. Las proposiciones se reducen a variables proposicionales , que suelen representarse por las letras 'p', 'q', 'r', etc. Pueden existir muchas lgicas, segn las reglas de combinacin de proposiciones o axiomas de inferencia que se establezcan. Las proposiciones tienen su validez dentro de un determinado Universo o contexto . Pueden tener diferente valor de verdad segn el Universo de referencia, segn la clase de Lenguaje usado.

Conjuncin
Es llamada tambin relacin u operacin y (AND), Interseccin, en el lenguaje comn no da lugar a ninguna ambigedad. Tenemos las dos proposiciones siguientes: Una conjuncin p & q es verdadera cuando todos sus elementos son verdaderos y es falsa cuando alguno de sus elementos o todos ellos sean falsos

Introduccin a la Informtica

Lgica

La representacin de los valores de verdad de la conjuncin:

p 1 1 0 0 q 1 0 1 0 p & 1 0 0 0 q

La puerta lgica Y, en ingls AND, realiza la funcin booleana de producto lgico . Su smbolo es un punto (), aunque se suele omitir. As, el producto lgico de las variables A y B se indica como AB, y se lee A y B o simplemente A por B.

Disyuncin
Conocida tambin como operacin o (OR), Unin. Una disyuncin p V q es verdadera cuando por lo menos uno de sus elementos es verdadero y es falsa cuando todos sus elementos son falsos La representacin de los valores de verdad de la conjuncin:
p 1 1 0 0 q 1 0 1 0 p

! q
1 1 1 0

La puerta lgica O, en ingls OR, realiza la operacin de suma lgica

Negacin
Es una operacin que niega el valor de Verdad de la variable sobre la cual esta operando es decir no A . Si tenemos que; P: 3 es un nmero par; Significa que 3 no es un nmero par.

La tabla de verdad de la negacin puede representarse como sigue:

p 1 0 " p 0 1

La puerta lgica NO, en ingls NOT, realiza la funcin booleana de inversin o negacin de una variable lgica. Tambin se utiliza el smbolo " antecediendo a la variable o expresin a negar. Ejemplo: " q o " (a v b).

Introduccin a la Informtica

Lgica

Implicacin
La implicacin es el elemento bsico (mdulo) para la construccin de la estructura de la lgica clsica (Aristotlica). En su esencia consiste en asegurar la validez de una Segunda proposicin a partir de una primera proposicin. Una implicacin p # q es falsa, slo si su antecedente p es verdadero y su consecuente q falso. La tabla de verdad de la implicacin es la siguiente:
p 1 1 0 0 q 1 0 1 0 p # 1 0 1 1 q

Bicondicional o coimplicador
Una coimplicacin p $ q es verdadera cuando sus elementos ( p y q ) tengan el mismo valor de verdad, es decir, sean los dos verdaderos o los dos falsos. Su representacin es la siguiente:
p 1 1 0 0 q 1 0 1 0 p $ 1 0 0 1 q

Elaboracin de Tablas de Verdad

Una tabla de Verdad recoge todas las combinaciones posibles de una serie de variables, as como el resultado de una operacin lgica entre ellas. A travs de las tablas de Verdad se puede conocer tericamente el comportamiento de las operaciones lgicas, en funcin de las variables de entrada. Si podemos determinar el valor de verdad de cada enunciado atmico, podremos saber qu valor de verdad tendr un enunciado molecular o un conjunto de enunciados moleculares. Las tablas de Verdad permiten definir la equivalencia o igualdad entre operaciones, dos operaciones sern equivalentes si poseen la misma tabla de Verdad. La equivalencia la simbolizaremos con % Para construir una tabla de verdad de cualquier frmula de lgica de enunciados:

Introduccin a la Informtica

Lgica

1. Calcular el nmero de filas que tendr la tabla. Este ser equivalente a 2 elevado al nmero de variables que tenga la frmula ( 2 n donde n representa el nmero de variables que intervienen) Ejemplo: calcular el nmero de filas que tendr la frmula p & (q V r) # ( p & q) V ( p & r ). Son tres variables, luego el nmero ser igual a 2 3 , es decir, 8 filas. 2. Despus se detalla la columna inicial, que incluye todos los posibles valores de verdad que puedan darse entre los elementos de la frmula.
p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r 1 0 1 0 1 0 1 0

3. Una vez hecho esto se elaboran las columnas intermedias, empezando por los componentes principales e internos, hasta abarcar la conexin completa de todos sus elementos. Sea la frmula: p & (q V r) # ( p & q) V ( p & r ) Se utiliza el metalenguaje para denominar a los distintos elementos de la frmula. Se LLama A a [p & (q V r)] y B a [( p & q) V ( p & r )]. Con lo cual, el esquema de la frmula queda como: A # B p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r 1 0 1 0 1 0 1 0 q V r 1 1 1 0 1 1 1 0 A 1 1 1 0 0 0 0 0 p & q 1 1 0 0 0 0 0 0 p & r 1 0 1 0 0 0 0 0 B 1 1 1 0 0 0 0 0 A # B 1 1 1 1 1 1 1 1

4. En la columna final se resuelve la frmula total A # B

Tautologas,contradicciones y contingencias
Dependiendo de los valores de verdad que se obtengan en la columna final podrn suceder tres cosas: 1. Que todos los valores sean verdaderos (1), y a la frmula se le llama tautologa . Esto quiere decir que la frmula es verdadera en todos los casos, independientemente de los valores de verdad que se le atribuyan.

Introduccin a la Informtica

Lgica

2. Que todos los valores de la columna final sean falsos (0), en cuyo caso es una contradiccin . Una frmula contradictoria es aquella que no es verdadera en ningn caso, porque no es satisfacible con ninguna atribucin de verdad. 3. Que los valores de la columna final sean verdaderos (1) y falsos (0), en cuyo caso es una

contingencia. En una contingencia existen valores de verdad que satisfacen la frmula y otros que
no la satisfacen. Otro ejemplo de expresines lgicas son aquellas donde las variables toman valores especficos y el resultado final es uno de los dos valores: Verdadero o Falso. Ejemplo: a = 10, b = 12, c = 13, d =10 ((a > b)or(a < c)) and ((a = c) or (a > = b))

T F

Ejercicios
1. no (6>10) es verdad, ya que 6>10 es falso. 2. Construya la tabla de Verdad correspondiente a las siguientes expresiones: a) p & q b) p &

v r

c)

! q

d)

3. Realice las tablas de Verdad y diga cual de las operaciones o expresiones siguientes son equivalentes: a) [p & q] ! [ & ] b) ! q c) [p ! ] & [ ! q]

4. Cual es el resultado final de las siguientes expresiones si a = 10, b = 12, c = 13, d =10:

Ejercicios:

i. ((a > = b) or (a < d)) and (( a > = d) and (c > d))

ii. not (a = c) and (c > b)