Вы находитесь на странице: 1из 61

Unidad III Lgica matemtica

LI. Carmen Candelaria Coyoc Uc

Lgica Proposicional
Lgica: Estudia la forma del razonamiento Es una disciplina que por medio de reglas y tcnicas determina si un teorema es falso o verdadero Es ampliamente aplicada en filosofa, matemticas, computacin y fsica

Lgica Proposicional
Lgica: En matemticas es una herramienta til para demostrar teoremas e inferir resultados, as como para resolver problemas En la computacin se aplica en la elaboracin y revisin de programas, en el estudio de lenguajes formales y la relacin existente entre ellos, as como en la obtencin de resultados en forma recursiva.

Lgica Proposicional
Concepto de proposicin Una proposicin o enunciado es una oracin, frase o expresin matemtica que puede ser falsa o verdadera pero no ambas a la vez. Es un elemento fundamental de la lgica matemtica

Lgica Proposicional
Concepto de proposicin Proposiciones vlidas y no vlidas:
o p: Estados Unidos es el pas territorialmente ms extenso del continente americano. o q: -19+50=31 o r: x>(y-13)7 o s: Carlos Salinas de Gortari fue presidente de Espaa o t: Morelia ser campen en la presente temporada de futbol o u: Cmo estas? o v: Formatea el disco antes de usarlo

Lgica Proposicional
Proposiciones compuestas Se dice que una proposicin es compuesta cuando esta integrada por dos o ms proposiciones simples conectadas por medio de operadores lgicos

Lgica Proposicional
Proposiciones compuestas Operadores o conectores lgicos bsicos
Operador and (y)
Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Su smbolo es ^

Lgica Proposicional
Proposiciones compuestas Operador and (y)
Ejemplo: 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 Simbologa lgica: p=q^r

Lgica Proposicional
Proposiciones compuestas Operador and (y)
Tabla de verdad p=q^r
q 1 1 0 0 r 1 0 1 0 p=q^r 1 0 0 0

1= Verdadero 0= Falso

Lgica Proposicional
Proposiciones compuestas Operador and (y)
Al operador ^ se le conoce como multiplicacin lgica, ya que: 1^1=1 1^0=0 0^1=0 0^0=0

Lgica Proposicional
Proposiciones compuestas En lgica matemtica en lugar del signo = se utilizan los signos:

Lgica Proposicional
Proposiciones compuestas Operadores o conectores lgicos bsicos
Operador or (o)
Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se indica por medio de los siguientes smbolos:

, +,

Lgica Proposicional
Proposiciones compuestas Operador or (o)
Ejemplo: Una persona puede entrar al cine si y solo s compra su boleto o le regalan un pase Sean : p: Una persona entra al cine q: Compra su boleto r: Le regalan un pase Simbologa lgica:

Lgica Proposicional
Proposiciones compuestas Operador or (o)
Tabla de verdad
q 1 1 0 0 r 1 0 1 0 p q v r 1 1 1 0

Lgica Proposicional
Proposiciones compuestas Operador or (o)
Al operador v se le conoce como suma lgica, ya que: 1 v 1=1 1 v 0=1 0 v 1=1 0 v 0=0

Lgica Proposicional
Proposiciones compuestas Operadores o conectores lgicos bsicos
Operador Not (No)
Tiene como funcin negar la proposicin Si a alguna proposicin verdadera se le aplica el operador not, se obtendr su complemento o negacin

Smbolos: , , , ~

Lgica Proposicional
Proposiciones compuestas Operador not (no)
Tabla de verdad
p 1 0 p 0 1

Lgica Proposicional
Proposiciones compuestas Operador not (no)
Ejemplo: El automvil es azl Entonces p: El automvil es azl p: El automvil no es azl La doble negacin de una proposicin equivalente a afirmar la proposicin pp

es

Lgica Proposicional
Proposiciones compuestas Operadores o conectores lgicos bsicos
Operador or exclusivo (xor)
Su funcionamiento es semejante al de or con la diferencia que su resultado es verdadero solamente si una de las proposiciones es cierta, ya que cuando ambas son verdad el resultado es falso. Su smbolo es

Lgica Proposicional
Proposiciones compuestas Operador or exclusivo(xor)
Tabla de verdad

p 1

q 1

pq 0

1
0 0

0
1 0

1
1 0

Lgica Proposicional
Proposiciones compuestas Operadores o conectores lgicos bsicos
Con ayuda de los operadores bsicos se pueden formar los operadores compuestos:
Nand (combinacin de Not y And) Nor (combinacin de Not y Or) Xnor (combinacin de Xor y Not)

Lgica Proposicional
Proposicin condicional ( ) Es aquella que est formada por dos o ms proposiciones simples (o compuestas) p y q, que se indican de la siguiente manera pq

Lgica Proposicional
Proposicin condicional Ejemplo:
Un candidato a la presidencia dice: Si salgo electo presidente de la Repblica, entonces el crecimiento anual del pas ser del 7% p: Sali electo presidente de la Repblica q: el crecimiento anual fue del 7% pq

Lgica Proposicional
Proposicin condicional Ejemplo:
Tabla de verdad pq
p 1 q 1
pq

1
0 0

0
1 0

0
1 1

Lgica Proposicional
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 solo si q, en donde la proposicin que representa el enunciado pq es verdadera si p es verdadera si y solo si q tambin lo es. O bien la proposicin es verdadera si p es falsa y si y solo si q tambin lo es.

Lgica Proposicional
Proposicin bicondicional Ejemplo:
Es buen estudiante si y solo s tiene promedio de diez p: Es buen estudiante q: Tiene promedio de diez pq

Lgica Proposicional
Proposicin bicondicional Ejemplo:
Tabla de verdad
p 1 q 1
pq

1
0 0

0
1 0

0
0 1

La proposicin bicondicional solamente es verdadera si tanto p como q son falsas o bien si ambas son verdaderas

Lgica Proposicional
Tablas de verdad Jerarqua de operacin

()

Lgica Proposicional
Representacin compuestos lgica de enunciados
Si no estudio matemticas para computacin y no hago la tarea de fundamentos de programacin, entonces reprobar el semestre o no podr ir de vacaciones a Cancn

Proposicin condicional

Lgica Proposicional
Representacin compuestos lgica de enunciados
p: Estudio matemticas para computacin q: Hago la tarea de fundamentos programacin r: Reprobar el semestre s: Podr ir de vacaciones a Cancn (p^q)(r v s)

de

Lgica Proposicional
Representacin compuestos lgica de enunciados
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 o pido prestado, entonces no podr pagar la tarjeta de crdito, si y solo s soy una persona desorganizada
Proposicin bicondicional

Lgica Proposicional
Representacin compuestos lgica de enunciados
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 (pq)^[p(r s)]^[(r^s)t]w

Lgica Proposicional
Tablas de verdad Por medio de sta 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 diferentes proposiciones simples que integran una proposicin compuesta

Lgica Proposicional
Tablas de verdad Est conformada por:
Filas: depende del nmero de proposiciones diferentes que conforman una proposicin compuesta Columnas: depende del nmero de proposiciones que integran la proposicin y del nmero de operadores lgicos contenidos en la misma Frmula: Nmero de filas=2n

Lgica Proposicional
Tablas de verdad Ejemplo:
[(pq)(q^r)](rq) Nmero de filas=23=8

Lgica Proposicional
Tablas de verdad Tautologa: es aquella proposicin que es cierta para todos los valores de verdad de sus variables. Ejemplo: p p
p 1 0 p 0 1
p p

1 1

Lgica Proposicional
Tablas de verdad Tautologa:
Ejemplo: (pq)(qp)
p q
p q pq qp (pq)(qp)

Lgica Proposicional
Tablas de verdad Contradiccin: el resultado de evaluar una proposicin es falso para todos los valores de verdad. Ejemplo: p^ p
p 0 1 p 1 0
p^p

0 0

Lgica Proposicional
Tablas de verdad Contingencia: una proposicin compuesta cuyos valores, en sus diferentes lneas de su tabla de verdad dan como resultado unos y ceros.

Lgica Proposicional
Equivalencias lgicas Dos proposiciones son lgicamente equivalentes si coinciden sus resultados para los mismos valores de verdad Se indica como:
p q o p q

Lgica Proposicional
Equivalencias lgicas

Lgica Proposicional
Reglas de inferencia Permiten relacionar dos o ms proposiciones para obtener una tercera que es vlida en una demostracin. Ejemplo:
Si es un gato, entonces come carne Si come carne, entonces es felino Si es un gato, entonces es felino

Lgica Proposicional
Reglas de inferencia Ejemplo:
p: Es un gato q: Come carne r: Es felino Notacin lgica:

pq qr pr

Lgica Proposicional
Reglas de inferencia Ejemplo:
Bajan los impuestos Si bajan los impuestos, entonces el ingreso se eleva El ingreso se eleva p: Bajan los impuestos q: El ingreso se eleva
p pq q

Lgica Proposicional
Argumentos vlidos y no vlidos Argumento:
Consiste en una o ms hiptesis y una conclusin, de forma que la conclusin se apoye en las hiptesis Serie de proposiciones interrelacionadas que conforman una proposicin ms compleja

Hiptesis:
Proposiciones iniciales que necesitan todos los argumentos

Lgica Proposicional
Argumentos vlidos y no vlidos Conclusin:
Es una consecuencia de las hiptesis

Los argumentos lgicos tienen la forma:


P est integrada por proposiciones ms simples llamadas hiptesis, las cuales se encuentran relacionadas por el operador lgico y Q es la conclusin del teorema, puede estar formada por una o ms proposiciones simples

Lgica Proposicional
Argumentos vlidos y no vlidos Existen argumentos vlidos y no vlidos
La validez depende de la estructura existente entre las hiptesis y la conclusin

Ejemplo:
Las aves son ovparas. El gorrin es ave. Por lo tanto; el gorrin es ovparo. p1: Las aves son ovparas p2: El gorrin es ave q: El gorrin es ovparo

Lgica Proposicional
Demostracin formal Los teoremas representados con notacin lgica se pueden demostrar usando el mtodo directo o el mtodo por contradiccin

Lgica Proposicional
Demostracin formal Demostracin por el mtodo directo Demostracin por contradiccin

Lgica de Predicados
Lgica de predicados o de conjuntos Se basa en que las proposiciones son conjuntos de elementos que tienen una propiedad o caracterstica llamada predicado, y en este contexto una proposicin puede ser verdadera para un grupo de elementos de un conjunto, pero falsa para otro

Lgica de Predicados
Ejemplo: U={x|x es un habitante del continente africano} p: Hablan francs De esto se tiene que: p(x): x habla francs O bien p(x): Todos los africanos hablan francs
: Todos los africanos hablan francs

: Algn o algunos africanos hablan frances

Lgica de Predicados
:Para todo o todos : Existe alguno, algunos o al menos un elemento Si no se le antepone al predicado el cuantificador universal es como si lo tuviera

Lgica de Predicados
Se suele indicar junto con el predicado cul es el dominio para esa proposicin Para todo x; tal que p, donde x es un elemento de U Existe algn elemento x; tal que p, donde x es elemento de U

Lgica de Predicados
Sean U={z|z es una persona} A={x|x es un artista} B={y|y es un poltico} p: Son ricos
q: Son corruptos r: Son ricos y corruptos

Lgica de predicados

Lgica de predicados
Complemento de un enunciado

Lgica de predicados
Dado el enunciado
Todos los artistas son ricos. Algunos polticos son corruptos. En conclusin no todos los artistas y no todos los polticos son ricos y corruptos

Lgica de predicados
Evaluacin del enunciado Es falsa(0) No todos los artistas son ricos Es verdadera (1) ya que algunos polticos no son corruptos Es verdadera (1) ya que algunos artistas y algunos polticos no son ni ricos ni corruptos

p(x)

Induccin matemtica
Se utiliza cuando se desea probar si una expresin matemtica es falsa o verdadera, sin necesidad de probarlo con notacin lgica Es posible representar algoritmos en forma matemtica y probar si estos son falsos o verdaderos, usando para ello induccin matemtica Es necesario representar los algoritmos como una sumatoria de la forma:
x1+x2+x3+t=r
Inicio Trmino n-simo Resultado

Induccin matemtica
x1+x2+x3+t=r

La sumatoria incluyendo inicio, trmino n-simo y resultado es la proposicin P(n) El principio de induccin matemtica establece que la proposicin P(n) es verdadera si se cumplen las siguientes condiciones:
a) P(k) es verdadera cuando k=1 b) P(k) es cierta cuando k=n+1
Paso bsico Paso deductivo

Induccin matemtica
El mtodo consiste en sustituir n=1 en el n-simo trmino de la sumatoria, si el resultado obtenido es igual al primer trmino de la sumatoria se dice que se cumple el paso bsico Si se cumple el paso bsico se prueba si la proposicin es verdadera cuando k=n+1 Se sustituye (n+1) en lugar del trmino n-simo de la sumatoria, se agrega dicho trmino en ambos lados de la igualdad, se realizan algunas operaciones algebraicas hasta obtener una forma tal que sea fcil de sustituir k=n+1 Si el resultado que est en funcin de k tiene la misma forma que la igualdad en funcin de n, se dice que se cumple el paso inductivo, por lo tanto P(n) es vlida o