Captulo 6

INTRODUCCIN A LAS CIENCIAS DE LA COMPUTACIN Y ENFOQUE ALGORITMICO

Algebra de boole
Elena de Fernndez

LGICA
La palabra lgica viene del griego y significa: razn, tratado o ciencia En computacin es la ciencia que estudia la forma de razonar correctamente

Elena de Fernndez Introduccin a las Ciencias de la

LGICA
La lgica como cualquier ciencia, y como la filosofa, busca la verdad y es la que establece las reglas para hacer una razonamiento correcto Est relacionada con la racionalidad y la estructura de los conceptos, estudia el pensamiento en s

Elena de Fernndez Introduccin a las Ciencias de la

EJEMPLO DE UNA DEDUCCIN LGICA

Elena de Fernndez

Introduccin a las Ciencias de la

INFERENCIA

Consiste en derivar la verdad de una proposicin llamada conclusin de la verdad de otras proposiciones llamadas premisas. Es decir que es una estructura de proposiciones donde, de una o ms proposiciones llamadas premisas, se deriva otra llamada conclusin
Introduccin a las Ciencias de la

Elena de Fernndez

CONDICIONANTES

La lgica plantea certezas lgicas y las encuentra en sus leyes lgicas o tautologas convertidas en reglas cuya aplicacin encadenada sobre verdades o certezas axiomtica o empricamente establecidas constituyen el desarrollo de los argumentos lgicos como inferencias o razonamientos deductivos
Introduccin a las Ciencias de la

Elena de Fernndez

LGICA Y CIENCIA

La lgica estudia los problemas y las leyes del pensar formal. La lgica no entra en definir qu es verdad y qu es falsedad material. Esos conceptos, al tener contenido semntico, son competencia del razonamiento aplicado a la experiencia. Pero la ciencia para elaborar sus razonamientos necesita la lgica
Introduccin a las Ciencias de la

Elena de Fernndez

REQUISITOS FUNDAMENTALES DE LA LOGICA

Elena de Fernndez Introduccin a las Ciencias de la

RESTRINGIR LOS VALORES DE VERDAD DE LAS PROPOSICIONES A DOS:

Formalmente hablando, se define una proposicin como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez
Introduccin a las Ciencias de la

Elena de Fernndez

REPRESENTAR LAS PROPOSICIONES DE MANERA GENERAL:

Las proposiciones se representan mediante variables proposicionales simbolizadas mediantes letras.

Elena de Fernndez

Introduccin a las Ciencias de la

10

ES POSIBLE COMBINAR LAS PROPOSICIONES EN FORMULAS:

Estas pueden ser, segn valor de verdad:

Tautologa

o validez: es una frmula que siempre es verdadera. es una frmula que siempre es falsa. es una frmula que puede ser verdadera o falsa
Introduccin a las Ciencias de la

Contradiccin:

Contingencia:

Elena de Fernndez

11

LAS FORMULAS DEBEN CUMPLIR CON ALGUNOS REQUISITOS, LLAMADAS REGLAS DE FORMACION, Y BASICAMENTE SE HACEN COHERENTES SI:

Una variable proposicional es una sentencia (tambin llamada frmula) bien formada. Una sentencia bien formada precedida de la negacin es una sentencia bien formada. Dos sentencias bien formadas unidas por una de las partculas conectivas binarias constituye una sentencia bien formada.
Introduccin a las Ciencias de la

Elena de Fernndez

12

LAS FORMULAS QUE COMBINAN MAS DE UNA PROPOSICION, SENTENCIA O ENUNCIADO, LO HACEN POR MEDIO DE CONECTIVAS LOGICAS, QUE SE CLASIFICAN DE LA SIGUIENTE MANERA:

Singulares: se aplican a una nica sentencia, solo se usa la negacin

Binarias: se aplican a dos sentencias, se definen cuatro, que son: la conjuncin o suma lgica, la disyuncin, la condicional, y la doble condicional
Introduccin a las Ciencias de la

Elena de Fernndez

13

SE DEBE CONTAR CON UN CONJUNTO DE SIMBOLOS PARA REALIZAR EL PROCESAMIENTO MATEMATICO DE LOS ENUNCIADOS Y DE LAS FORMULAS:

Un lenguaje de primer orden, es una coleccin de distintos smbolos, llamados tambin en conjunto vocabulario lgico
Introduccin a las Ciencias de la

Elena de Fernndez

14

CONJUNTO VOCABULARIO LOGICO

El smbolo de igualdad Las conectivas: tambin llamadas, en conjunto, partculas lgicas y que sirven para formar las estructuras lgicas. El cuantificador universal y el parntesis Un conjunto contable de smbolos de variable && Un conjunto de smbolos de constante Un conjunto de smbolos de funcin Un conjunto de smbolos de relacin

Elena de Fernndez Introduccin a las Ciencias de la

15

CUALES DE LOS SIGUIENTES ENUNCIADOS SON PROPOSICIONES?

p: La tierra es plana. q: 17 + 38 = 21

r: x > y-9
t: Hola como estas?

w: Lava el coche por favor

16

Elena de Fernndez

Introduccin a las Ciencias de la

PROPOSICIN

Una proposicin o enunciado lgico es el significado de cualquier frase declarativa o enunciativa que pueda ser o verdadera (V) (1) o falsa (F) (0). Nos referimos aVoaF como los valores de verdad del enunciado.

Elena de Fernndez

Introduccin a las Ciencias de la

17

CONECTIVOS LGICOS
Existen conectores u operadores lgicos que permiten formar proposiciones compuestas (formadas por varias proposiciones) Los operadores o conectores bsicos son:

Operador And Or Not Implicacin Doble implicacin

Se lee Y O No Sientonces si y solo si

Representacin

Elena de Fernndez

Introduccin a las Ciencias de la

18

OPERADOR AND (Y)

Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero Ejemplo, sea el siguiente enunciado:
El

coche enciende cuando tiene gasolina en el tanque y tiene corriente la batera.

Donde:
p:

El coche enciende. q: Tiene gasolina el tanque. r: Tiene corriente la batera.

La representacin del enunciado anterior usando simbologa lgica es:

Introduccin a las Ciencias de la

Elena de Fernndez

19

OPERADOR OR (O)

Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Ejemplo, sea el siguiente enunciado
Una

persona puede entrar al cine si compra su boleto u obtiene un pase.

Donde:
p:

Entra al cine. q: Compra su boleto. r: Obtiene un pase.

La representacin del enunciado anterior usando simbologa lgica es:

Introduccin a las Ciencias de la

Elena de Fernndez

20

OPERADOR NOT (NO)

Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el operador not se obtendr su complemento o negacin (falso). Ejemplo, la negacin de
est

lloviendo en este momento. es: est lloviendo en este momento es: no est lloviendo en este momento

Donde:
p

=1 p = 0

La representacin del enunciado anterior usando simbologa lgica es:

Introduccin a las Ciencias de la

Elena de Fernndez

21

IMPLICACIN (SIENTONCES)

Con este operador se obtiene un resultado falso cuando la primera proposicin es verdadera y la segunda es falsa Ejemplo, sea el siguiente enunciado
Una

persona si compra su boleto, entonces puede entrar al cine.

Donde:
p:

Compra su boleto. q: Entra al cine.

La representacin del enunciado anterior usando simbologa lgica es:

Introduccin a las Ciencias de la

Elena de Fernndez

22

DOBLE IMPLICACIN (SI Y SLO SI)

Con este operador se obtiene un resultado verdadero cuando las dos proposicin son iguales, o son verdaderas o son falsas Ejemplo, sea el siguiente enunciado
Una

persona si compra su boleto, entonces puede entrar al cine.

Donde:
p:

Compra su boleto. q: Entra al cine.

La representacin del enunciado anterior usando simbologa lgica es:

Introduccin a las Ciencias de la

Elena de Fernndez

23

FUNCIONES DE VERDAD

Elena de Fernndez

Introduccin a las Ciencias de la

24

CONJUNCIN

Se llama conjuncin de dos proposiciones dadas, p y q, a la proposicin que se obtiene enunciando p a continuacin de q, unidas por el operador and y

En el ejemplo:
El

coche enciende cuando tiene gasolina en el tanque y tiene corriente la batera.

Donde:
p:

El coche enciende. q: Tiene gasolina el tanque. r: Tiene corriente la batera.

Elena de Fernndez Introduccin a las Ciencias de la

25

CONJUNCIN

Su tabla de verdad es como sigue: Donde.

1

q
1 1 0 0

r
1 0 1 0

p=qr
1 0 0 0

= verdadero 0 = falso

Tienen que ser ambas proposiciones verdaderas para que el resultado sea verdadero, en los dems casos ser falso
Introduccin a las Ciencias de la

Elena de Fernndez

26

DISYUNCIN

Se llama disyuncin de dos proposiciones dadas, p y q, a la proposicin que se obtiene enunciando p a continuacin de q, unidas por el operador or o
En el ejemplo:
Una

persona puede entrar al cine si compra su boleto u obtiene un pase.

Donde:
p:

Entra al cine. q: Compra su boleto. r: Obtiene un pase.

Elena de Fernndez Introduccin a las Ciencias de la

27

DISYUNCIN

Su tabla de verdad es como sigue: Donde.

1

q 1 1 0 0

r 1 0 1 0

p=qVr 1 1 1 0

= verdadero 0 = falso

Basta con que una de las dos proposiciones sea verdadera, para que el resultado sea verdadero, en los dems casos ser falso
Introduccin a las Ciencias de la

Elena de Fernndez

28

NEGACIN

Se llama negacin de una proposicin dada, p, a la proposicin que se obtiene enunciando la

negacin de p, por el operador not no

En el ejemplo: la negacin de
est

lloviendo en este momento. es: est lloviendo en este momento es: no est lloviendo en este momento

Donde:
p

=1 p = 0

Elena de Fernndez

Introduccin a las Ciencias de la

29

NEGACIN

Su tabla de verdad es como sigue: Donde.

1

= verdadero 0 = falso

p 1 0

p 0 1

La negacin de una proposicin es el valor contrario al que sta tiene.

Introduccin a las Ciencias de la

Elena de Fernndez

30

PROPOSICIN CONDICIONAL (IMPLICACIN)

Se llama condicional de dos proposiciones dadas, p y q, a la proposicin que se obtiene enunciando p a continuacin de q, unidas por la expresin si entonces En el ejemplo: el candidato de un partido dice:
"Si

salgo electo presidente de la Repblica recibirn un 50% de aumento en su sueldo el prximo ao".

Donde
p:

Sali electo Presidente de la Repblica. q: Recibirn un 50% de aumento en su sueldo el prximo ao.
Elena de Fernndez Introduccin a las Ciencias de la

31

PROPOSICIN CONDICIONAL (IMPLICACIN)

Su tabla de verdad es como sigue: Donde.

1

= verdadero 0 = falso

p 1 1 0 0

q 1 0 1 0

pq 1 0 1 1

Cuyo resultado ser falso nicamente cuando el antecedente sea verdadero y el consecuente sea falso, en los dems casos ser verdadero
Introduccin a las Ciencias de la

Elena de Fernndez

32

PROPOSICIN BICONDICIONAL (DOBLE IMPLICACIN)

Se llama bicondicional de dos proposiciones dadas, p y q, a la proposicin que se obtiene enunciando p a continuacin de q, unidas por la expresin si y slo si

En el ejemplo:
"Es

buen estudiante, si y solo si; tiene promedio de diez.

Donde
p:

Es buen estudiante. q: Tiene promedio de diez

Elena de Fernndez Introduccin a las Ciencias de la

p q
33

PROPOSICIN BICONDICIONAL (DOBLE IMPLICACIN)

Su tabla de verdad es como sigue:

p q 1 0 1 0 pq 1 0 0 1

Donde.
1

= verdadero 0 = falso

1 1 0 0

Cuyo resultado ser verdadero nicamente cuando ambas proposiciones sean iguales, o son verdaderas o son falsas, en los dems casos ser falso
Introduccin a las Ciencias de la

Elena de Fernndez

34

ENUNCIADOS CON CONECTORES LGICOS

Representar el siguiente enunciado con conectores lgicos:

Si

no pago la luz, entonces me cortarn la corriente elctrica. Y Si pago la luz, entonces me quedar sin dinero o pedir prestado. Y Si me quedo sin dinero y pido prestado, entonces no podr pagar la deuda, si solo si soy desorganizado
p:

Elena de Fernndez

(p q) [p (r V s)] [(r w
Introduccin a las Ciencias de la

pago la luz. q: me cortarn la corriente elctrica. r: me quedar sin dinero. s: pedir prestado. t: pagar la deuda. w: soy desorganizado.

Soluci s) n t]
35

EJERCICIO

Formaliza las siguientes proposiciones:

Si

y slo si viera un marciano con mis propios ojos, creera que hay vida extraterrestre.

Prefiero

ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar.

Elena de Fernndez

Introduccin a las Ciencias de la

36

ENUNCIADOS CON CONECTORES LGICOS

Evaluar cada proposicin, segn los valores de verdad.

p

=0 r = 0 q = 1 s = 1

(p V q) r 0 1 0 1
0 1
Introduccin a las Ciencias de la

Dada la expresin:

(p V q) r
Elena de

Valor de verdad

37

EJERCICIO

Evaluar cada proposicin, segn los valores de verdad:

p

=0 r = 0 q = 1 s = 1
(p

q) r

(s

(p r)) ((p (r V q)) s)

(q r)) (s V q)
Introduccin a las Ciencias de la

((p q)

Elena de Fernndez

38

ENUNCIADOS CON CONECTORES LGICOS

Exprese en forma simblica cada uno de los enunciados, suponiendo que a, b y c son nmeros reales y que:
p:

a<b q: b < c r: a < c

Dada la expresin:

Elena de Fernndez

Si a > c entonces (b > a y b < c) r ( p q Soluci ) n

Introduccin a las Ciencias de la

39

EJERCICIO

Exprese en forma simblica cada uno de los enunciados, suponiendo que a, b y c son nmeros reales y que:
p:

a<b q: b < c r: a < c

Si Si

no es verdad que (a < c y b < c), entonces a c

no es verdad que (a < b y (ya sea a < b o b < c)), entonces (si a b, entonces a < c)

< b si y solo si (b < c y a < c)

Introduccin a las Ciencias de la

Elena de Fernndez

40

ENUNCIADOS CON CONECTORES LGICOS

Formule por escrito las expresiones simblicas, utilizando:

p:

hoy es lunes q: est lloviendo r: hace calor

Dada la expresin: p

( r V q ) Si hoy es lunes, entonces hace calor o esta lloviendo Soluci

Elena de Fernndez Introduccin a las Ciencias de la

p (r V q)

41

EJERCICIO

Formule por escrito las expresiones simblicas, utilizando:

p:

hoy es lunes q: est lloviendo r: hace calor

(p

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

(p (q (p

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

Elena de Fernndez

Introduccin a las Ciencias de la

42

ENUNCIADOS CON CONECTORES LGICOS

Formalizar las siguientes proposiciones y confeccionar su tabla de verdad:

Si

Paso 3 p q r p (r V q)
1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0
43

hoy es lunes, entonces hace calor o esta lloviendo

p:

hoy es lunes q: est lloviendo r: hace calor

Paso 1

Dada la expresin:

p (r V q)
Elena de Fernndez

Paso 2

Introduccin a las Ciencias de la

EJERCICIO

Formaliza las siguientes proposiciones y confecciona su tabla de verdad:

Ests

seguro y lo que dices es cierto, o mientes como un bellaco.

Si

4 < 6, entonces 9 > 12

Elena de Fernndez

Introduccin a las Ciencias de la

44

ENUNCIADOS CON CONECTORES LGICOS

Confeccione las tablas de verdad de las siguientes proposiciones, e indique si es tautologa, contradiccin o contingencia : Dada la expresin:

2
p q r 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1

1
(p V q) 1 1 1 1 1 1 0 0

3
r 0 1 0 1 0 1 1 0
45

(p V q) Soluci r

Elena de Fernndez

nIntroduccin a las Ciencias de la

TABLAS DE VERDAD

Elena de Fernndez

Introduccin a las Ciencias de la

46

ELABORACIN DE TABLAS DE VERDAD

El nmero de lneas de una tabla de verdad depende del nmero de variables de la expresin. Frmula para el clculo:

Digito Octal 0 1 2 3 4 5 6 7

de lneas o filas = 2n Donde el exponente n = nmero de variables distintas.

No
Elena de Fernndez

Dgitos Binarios 2 2 2 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1
47

Introduccin a las Ciencias de la

ELABORACIN DE TABLAS DE VERDAD (p q) Dada la siguiente expresin: r 3

Son

3 proposiciones distintas, entonces 2 = 2 * 2 * 2 = 8 lneas o filas De las 8 filas, la mitad son verdaderas y la mitad falsas para la primera proposicin = 8 / 2 = 4; 4 verdaderas y 4 falsas De las 4 primeras filas de la primera proposicin, la mitad son verdaderas y la mitad falsas para la segunda proposicin = 4 / 2 = 2; 2 verdaderas y 2 falsas De las 2 primeras filas de la segunda proposicin, la mitad son verdaderas y la mitad falsas para la tercera proposicin = 2 / 2 = 1; 1 verdadera y 1 falsa
Elena de Fernndez Introduccin a las Ciencias de la

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
48

TAUTOLOGA
Es aquella proposicin compuesta que es cierta para todos los valores de verdad de sus variables. (p q) (q Ejemplo:

p)

1
p 1 1 0 0
Elena de Fernndez

3
1 1 1 1

2
(q p) 1 0 1 1
49

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

(p q) 1 0 1 1

Introduccin a las Ciencias de la

CONTRADICCIN
Es aquella proposicin compuesta que es falsa para todos los valores de verdad de sus variables (p q) (q Ejemplo:

p)

2
p

q p q (p q) (q p)

1 1 0 0
Elena de Fernndez

1 0 1 0

0 0 1 1

0 1 0 1

0 1 0 0

1 0 1 1

0 0 0 0

1 0 1 1
50

Introduccin a las Ciencias de la

CONTINGENCIA
Es aquella proposicin compuesta cuyos resultados son verdaderos y falsos para todos los valores de verdad de sus variables (p V q) (q V Ejemplo:

p)
1
p q p q (p V q)

(q V p)

1 1 0 0
Elena de Fernndez

1 0 1 0

0 0 1 1

0 1 0 1

1 0 1 1

1 0 0 1

1 1 0 1
51

Introduccin a las Ciencias de la

EJERCICIO

Confeccione las tablas de verdad de las siguientes proposiciones, e indique si es tautologa, contradiccin o contingencia.
(p q) (p q)

V (r p) (r r)

((((p q)

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

Elena de Fernndez

Introduccin a las Ciencias de la

52

EQUIVALENCIA LGICA

Se dice que dos proposiciones son lgicamente equivalentes, o simplemente equivalentes. Si coinciden sus resultados para los mismos valores de verdad.

Se indican como

pq

Elena de Fernndez

Introduccin a las Ciencias de la

53

EQUIVALENCIA LGICA (p q) (q Ejemplo: p)

1 2

p 1 1 0 0

q p q (p q) (q p) 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 1 1

En donde se puede observar que ambos (1 y 2) resultados son iguales y se dice que son equivalentemente lgicas, de no ser iguales, se denota como y se dice que no son equivalentemente lgicas
Introduccin a las Ciencias de la

Elena de Fernndez

54

EJERCICIO

Indique si las siguientes proposiciones son lgicamente equivalentes

p p

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

(p

Elena de Fernndez

Introduccin a las Ciencias de la

55

Elena de Fernndez

Introduccin a las Ciencias de la

56