Lgica Matemtica

proposicional Haga clic para modificar el estilo de subttulo del patrn

4/22/12

La lgica estudia la forma del razonamiento Por medio de reglas y tcnicas determina si un teorema es falso o verdadero En la computacin la lgica se aplica en la elaboracin y revisin de programas, en el estudio de lenguajes formales y la relacin 4/22/12 existente entre ellos, as como la

Proposicin

Proposicin o enunciado es una oracin, frase o expresin matemtica que puede ser falsa o verdadera p: Estados Unidos es el pas territorialmente ms grande de Amrica

q: -19+50=31
4/22/12

Operadores lgicos

And o conjuncin (y) Conecta dos proposiciones que se deben cumplir (ambas) para obtener un resultado verdadero. Su smbolo es

4/22/12

Considere el siguiente enunciado: El automvil arranca si y solo s el tanque tiene Gasolina y la batera tiene corriente. Sean: p: El automvil arranca q: El tanque tiene gasolina r: La batera tiene corriente La representacin lgica de dicha p=q proposicin es r Su tabla de q r p = q r verdad es 1 1 1 1 es verdadero 0 es falso 1 0 0 0 1 0 0 0 0

Al operador (and) se le conoce como multiplicacin lgica 4/22/12

Operador or o Disyuncin (o)

Con este operador se obtiene un resultado falso cuando las dos proposiciones son falsas Sus smbolos son: {,+}

4/22/12

Considere el siguiente enunciado: una persona puede entrar al cine, si y solo si Compra su boleto o le regalan un pase. Sean: p: una persona entra al cine q: compra su boleto r: le regalan un pase La representacin lgica de dicha proposicin es Su tabla de q verdad es 1 1 es verdadero 0 es falso 1 0 0

P=q r
r 1 0 1 0 1 1 1 0 p = q r

Al operador (or) se le conoce como suma lgica 4/22/12

Operador not o negacin (no)

La funcin de este operador es negar la proposicin (complemento) Sus smbolos son:{ ,,}

4/22/12

Considere el siguiente enunciado: el automvil es azul. p: el automvil es azul p: el automvil no es azul Su tabla de p P verdad es 1 0 0 1

Si una proposicin tiene un nmero impar de negaciones, es como si slo tuviera una

p= p Si una proposicin tiene un nmero par de negaciones, equivale a

una proposicin verdadera 4/22/12

p=p

Operador or exclusivo (xor)

Su funcionamiento es similar al de or con la diferencia de que su resultado es verdadero solamente si una de las proposiciones es cierta, ya que cuando ambas son verdad el resultado es falso Su smbolos es:

4/22/12

Se obtiene un resultado verdadero solo cuando una de las proposiciones es verdadera Pero no si ambas lo son Su tabla de verdad es 1 1 0 0

p 1 0 1 0

q 0 1 1 0

4/22/12

Proposicin Condicional ()

Una proposicin condicional es aquella que est formada por dos proposiciones simples (o compuestas) p y q y que se indica de la siguiente manera pq Se lee si p entonces q

4/22/12

Considere que un candidato a la presidencia de Mxico dice: Si salgo electo presidente De la Repblica, entonces el crecimiento anual del pas ser del 7% Sean: p: sali electo Presidente de la Repblica q: El crecimiento anual fue del 7% La representacin lgica de dicha declaracin condicional es Su tabla de p q verdad es 1 1 1 es verdadero 0 es falso 1 0 0 0 1 0

p q
p q 1 0 1 1

La tabla evala si el candidato dijo la verdad en la campaa 4/22/12

Proposicin Bicondicional ( )

Sean p y q dos proposiciones, entonces se puede indicar la proposicin bicondicional de la siguiente forma: pq Se lee p si y slo si q El resultado es verdadero si p es verdadera y si y slo si q tambin lo es O es verdadera si p es falsa y si y 4/22/12 slo si q tambin es falsa

Considere el enunciado: es un buen estudiante, si y slo si, tiene promedio de diez Sean: p: es un buen estudiante q: tiene promedio de diez La representacin lgica de dicha declaracin condicional es Su tabla de p q verdad es 1 1 1 es verdadero 0 es falso 1 0 0 0 1 0

pq
p q 1 0 0 1

Como se ve en la tabla, la proposicin bicondicional solamente es verdadera si tanto p como 4/22/12 q son falsas o bien si ambas son verdaderas

Representacin lgica

Se pueden representar con notacin lgica enunciados compuestos con ms de una proposicin Si no estudio matemticas discretas y no hago la tarea de fundamentos de programacin, entonces reprobar el semestre o no podr ir de vacaciones a Cancn
4/22/12

1.

Determinar las proposiciones simples

p: Estudio matemticas discretas q: Hago la tarea de fundamentos de programacin r: Reprobar el semestre s: Podr ir de vacaciones a Cancn

1.

Usar las proposiciones simples y los operadores correspondientes

4/22/12

Ejercicio

Si no pago el telfono, entonces me cortarn el servicio telefnico, y si pago el telfono, entonces me quedar sin dinero o pedir prestado. Y si me quedo sin dinero y pido prestado, entonces no podr pagar la tarjeta de crdito, si y slo si soy una persona desorganizada
4/22/12

p: pago el telfono q: me cortarn el servicio telefnico r: me quedar sin dinero s: pedir prestado t: pagar la tarjeta de crdito w: soy una persona desorganizada

4/22/12

4/22/12

Representar usando notacin lgica

Si vivo en un lugar bajo, entonces se inunda la casa. Si vivo en un lugar alto, entonces me falta el agua o es zona cara. Por consiguiente, si no es zona cara y no se inunda la casa y me falta el agua, entonces vivo en la montaa

4/22/12

4/22/12

Tablas de Verdad

Por medio de una tabla de verdad es posible mostrar los resultados obtenidos al aplicar cada uno de los operadores lgicos, as como el resultado de la proposicin para todos y cada uno de los valores que pueden tener las proposiciones simples
4/22/12

El nmero de filas depende del nmero de proposiciones diferentes que conforman una proposicin compuesta

Nmero de filas = 2n

El nmero de columnas depende del nmero de proposiciones que integran la proposicin y del nmero de operadores lgicos contenidos en la misma 4/22/12

Jerarqua de operadores
Jerarqua 1 2 3 4 5 Operador ()

4/22/12

Construir la tabla de verdad de

Nmero de proposiciones = 3 (p,q,r) n=3

Nmero de filas = 23 = 8 Columnas: una para cada proposicin (p,q,r) = 3 y una para cada una de las siguientes Columnas operaciones: =9

4/22/12

p 0 0 0 0 1 1 1 1

q r 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1

4/22/12

q r 0 0 1 1 0 0 1 1

q 1 1 0 0 1 1 0 0

4/22/12

p 0 0 0 0 1 1 1 1

q r 0 0 1 1 0 0 1 1

q 1 1 1 1 0 0 1 1

4/22/12

q r

q 0 1 0 0 0 1 0 0

0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0

4/22/12

q r

q 1 1 1 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 1 0 1 1 1

4/22/12

q r 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1

q 1 0 1 1 1 0 1 1

4/22/12

q r

q 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1

4/22/12

q r

0 0 0 0 1 1 1 1

0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0

1 1 1 1 0 0 1 1

0 1 0 0 0 1 0 0

1 1 1 1 0 1 1 1

1 0 1 1 1 0 1 1

1 0 1 1 0 0 1 1

4/22/12

Es importante mantener un orden para facilitar su revisin Proposiciones ordenadas alfabticamente, con sus valores de menor a mayor (00,01,10,11) Proposiciones complemento (p) Luego se aplica el criterio) de la 1 ( 2 jerarqua de operadores
3 4 5 Jerarqua Operador

Para hacer la tabla

4/22/12

Si hay ms de un parntesis se evala primero el que se encuentra ms adentro y de izquierda a derecha (si uno no est dentro del otro) Lo miso para el condicional y bicondicional, primero el que est ms a la izquierda
4/22/12

Realice la tabla de verdad de:

4/22/12