P. 1
Unidad III Lógica Matemática (1)

Unidad III Lógica Matemática (1)

|Views: 11|Likes:
Publicado porJohann Perez Diaz

More info:

Published by: Johann Perez Diaz on Nov 29, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPTX, PDF, TXT or read online from Scribd
See more
See less

09/28/2014

pdf

text

original

Unidad III Lógica matemática

LI. Carmen Candelaria Coyoc Uc

Lógica Proposicional
Lógica: • Estudia la forma del razonamiento • Es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero • Es ampliamente aplicada en filosofía, matemáticas, computación y física

Lógica Proposicional
Lógica: • En matemáticas es una herramienta útil para demostrar teoremas e inferir resultados, así como para resolver problemas • En la computación se aplica en la elaboración y revisión de programas, en el estudio de lenguajes formales y la relación existente entre ellos, así como en la obtención de resultados en forma recursiva.

Lógica Proposicional Concepto de proposición Una proposición o enunciado es una oración. frase o expresión matemática que puede ser falsa o verdadera pero no ambas a la vez. Es un elemento fundamental de la lógica matemática .

Lógica Proposicional Concepto de proposición • Proposiciones válidas y no válidas: o p: Estados Unidos es el país territorialmente más extenso del continente americano. o q: -19+50=31 o r: x>(y-13)7 o s: Carlos Salinas de Gortari fue presidente de España o t: Morelia será campeón en la presente temporada de futbol o u: ¿Cómo estas? o v: Formatea el disco antes de usarlo .

Lógica Proposicional Proposiciones compuestas Se dice que una proposición es compuesta cuando esta integrada por dos o más proposiciones simples conectadas por medio de operadores lógicos .

Lógica Proposicional Proposiciones compuestas • Operadores o conectores lógicos básicos – Operador and (y) Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Su símbolo es ^ .

Lógica Proposicional Proposiciones compuestas • Operador and (y) Ejemplo: El automóvil arranca si y solo sí el tanque tiene gasolina y la batería tiene corriente Sean : p: El automóvil arranca q: El tanque tiene gasolina r: La batería tiene corriente Simbología lógica: p=q^r .

Lógica 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 .

ya que: 1^1=1 1^0=0 0^1=0 0^0=0 .Lógica Proposicional Proposiciones compuestas • Operador and (y) Al operador ^ se le conoce como multiplicación lógica.

Lógica Proposicional Proposiciones compuestas • En lógica matemática en lugar del signo = se utilizan los signos: Ξ .

+. ᴗ .Lógica Proposicional Proposiciones compuestas • Operadores o conectores lógicos básicos – 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 símbolos: ˅.

Lógica 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 Simbología lógica: .

Lógica 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 .

Lógica Proposicional Proposiciones compuestas • Operador or (o) Al operador v se le conoce como suma lógica. ya que: 1 v 1=1 1 v 0=1 0 v 1=1 0 v 0=0 .

~ .Lógica Proposicional Proposiciones compuestas • Operadores o conectores lógicos básicos – Operador Not (No) Tiene como función negar la proposición Si a alguna proposición verdadera se le aplica el operador not. ¯. se obtendrá su complemento o negación Símbolos: ´. ¬.

Lógica Proposicional Proposiciones compuestas • Operador not (no) Tabla de verdad p 1 0 p´ 0 1 .

Lógica Proposicional Proposiciones compuestas • Operador not (no) Ejemplo: El automóvil es azúl Entonces p: El automóvil es azúl p´: El automóvil no es azúl La doble negación de una proposición equivalente a afirmar la proposición p´´´Ξp´ es .

ya que cuando ambas son verdad el resultado es falso. Su símbolo es  .Lógica Proposicional Proposiciones compuestas • Operadores o conectores lógicos básicos – 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.

Lógica Proposicional Proposiciones compuestas • Operador or exclusivo(xor) Tabla de verdad p 1 q 1 pq 0 1 0 0 0 1 0 1 1 0 .

Lógica Proposicional Proposiciones compuestas • Operadores o conectores lógicos básicos – Con ayuda de los operadores básicos se pueden formar los operadores compuestos: • Nand (combinación de Not y And) • Nor (combinación de Not y Or) • Xnor (combinación de Xor y Not) .

que se indican de la siguiente manera p→q .Lógica Proposicional Proposición condicional ( ) • Es aquella que está formada por dos o más proposiciones simples (o compuestas) p y q.

entonces el crecimiento anual del país será del 7% p: Salió electo presidente de la República q: el crecimiento anual fue del 7% p→q .Lógica Proposicional Proposición condicional • Ejemplo: – Un candidato a la presidencia dice: Si salgo electo presidente de la República.

Lógica Proposicional Proposición condicional • Ejemplo: – Tabla de verdad p→q p 1 q 1 p→q 1 1 0 0 0 1 0 0 1 1 .

. O bien la proposición es verdadera si p es falsa y si y solo si q también lo es. entonces se puede indicar la proposición bicondicional de la siguiente forma: p↔q Se lee p si y solo si q. en donde la proposición que representa el enunciado p↔q es verdadera si p es verdadera si y solo si q también lo es.Lógica Proposicional Proposición bicondicional ( ) • Sean p y q dos proposiciones.

Lógica Proposicional Proposición bicondicional • Ejemplo: – Es buen estudiante si y solo sí tiene promedio de diez p: Es buen estudiante q: Tiene promedio de diez p↔q .

Lógica Proposicional Proposición bicondicional • Ejemplo: – Tabla de verdad p 1 q 1 p↔q 1 1 0 0 0 1 0 0 0 1 La proposición bicondicional solamente es verdadera si tanto p como q son falsas o bien si ambas son verdaderas .

Lógica Proposicional Tablas de verdad • Jerarquía de operación () ´ ^ ˅ → ↔ .

Lógica Proposicional Representación compuestos lógica de enunciados Si no estudio matemáticas para computación y no hago la tarea de fundamentos de programación. entonces reprobaré el semestre o no podré ir de vacaciones a Cancún Proposición condicional .

Lógica Proposicional Representación compuestos lógica de enunciados p: Estudio matemáticas para computación q: Hago la tarea de fundamentos programación r: Reprobaré el semestre s: Podré ir de vacaciones a Cancún (p´^q´)→(r v s´) de .

Lógica Proposicional Representación compuestos lógica de enunciados Si no pago el teléfono. entonces me quedaré sin dinero o pediré prestado. si y solo sí soy una persona desorganizada Proposición bicondicional . Y si me quedo sin dinero o pido prestado. entonces no podré pagar la tarjeta de crédito. Y si pago el teléfono. entonces me cortarán el servicio telefónico.

Lógica Proposicional Representación compuestos lógica de enunciados p: Pago el teléfono q: Me cortarán el servicio telefónico r: Me quedaré sin dinero s: Pediré prestado t: Pagar la tarjeta de crédito w: Soy una persona desorganizada (p´→q)^[p→(r ˅ s)]^[(r^s)→t´]↔w .

así como el resultado de la proposición para todos y cada uno de los valores que pueden tener las diferentes proposiciones simples que integran una proposición compuesta .Lógica Proposicional Tablas de verdad • Por medio de ésta es posible mostrar los resultados obtenidos al aplicar cada uno de los operadores lógicos.

Lógica Proposicional Tablas de verdad • Está conformada por: – Filas: depende del número de proposiciones diferentes que conforman una proposición compuesta – Columnas: depende del número de proposiciones que integran la proposición y del número de operadores lógicos contenidos en la misma Fórmula: Número de filas=2n .

Lógica Proposicional Tablas de verdad • Ejemplo: – [(p→q)˅(q´^r)]↔(r→q) Número de filas=23=8 .

Lógica Proposicional Tablas de verdad • Tautología: es aquella proposición 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 .

Lógica Proposicional Tablas de verdad • Tautología: Ejemplo: (p→q)↔(q´→p´) p q p´ q´ p→q q´→p´ (p→q)↔(q´→p´) .

Ejemplo: p^ p´ p 0 1 p´ 1 0 p^p´ 0 0 .Lógica Proposicional Tablas de verdad • Contradicción: el resultado de evaluar una proposición es falso para todos los valores de verdad.

Lógica Proposicional
Tablas de verdad • Contingencia: una proposición compuesta cuyos valores, en sus diferentes líneas de su tabla de verdad dan como resultado unos y ceros.

Lógica Proposicional
Equivalencias lógicas • Dos proposiciones son lógicamente equivalentes si coinciden sus resultados para los mismos valores de verdad • Se indica como:
p Ξq o p q

Lógica Proposicional
Equivalencias lógicas

entonces es felino . • Ejemplo: – Si es un gato.Lógica Proposicional Reglas de inferencia • Permiten relacionar dos o más proposiciones para obtener una tercera que es válida en una demostración. entonces come carne – Si come carne. entonces es felino – Si es un gato.

Lógica Proposicional Reglas de inferencia • Ejemplo: p: Es un gato q: Come carne r: Es felino Notación lógica: p→q q→r p→r .

entonces el ingreso se eleva El ingreso se eleva p: Bajan los impuestos q: El ingreso se eleva p p→q q .Lógica Proposicional Reglas de inferencia • Ejemplo: – Bajan los impuestos – Si bajan los impuestos.

Lógica Proposicional Argumentos válidos y no válidos • Argumento: – Consiste en una o más hipótesis y una conclusión. de forma que la conclusión se apoye en las hipótesis – Serie de proposiciones interrelacionadas que conforman una proposición más compleja • Hipótesis: – Proposiciones iniciales que necesitan todos los argumentos .

las cuales se encuentran relacionadas por el operador lógico y Q es la conclusión del teorema.Lógica Proposicional Argumentos válidos y no válidos • Conclusión: – Es una consecuencia de las hipótesis Los argumentos lógicos tienen la forma: – P está integrada por proposiciones más simples llamadas hipótesis. puede estar formada por una o más proposiciones simples .

p1: Las aves son ovíparas p2: El gorrión es ave q: El gorrión es ovíparo .Lógica Proposicional Argumentos válidos y no válidos • Existen argumentos válidos y no válidos – La validez depende de la estructura existente entre las hipótesis y la conclusión • Ejemplo: – Las aves son ovíparas. el gorrión es ovíparo. El gorrión es ave. Por lo tanto.

Lógica Proposicional Demostración formal • Los teoremas representados con notación lógica se pueden demostrar usando el método directo o el método por contradicción .

Lógica Proposicional Demostración formal • Demostración por el método directo • Demostración por contradicción .

y en este contexto una proposición puede ser verdadera para un grupo de elementos de un conjunto.Lógica de Predicados Lógica de predicados o de conjuntos Se basa en que las proposiciones son conjuntos de elementos que tienen una propiedad o característica llamada predicado. pero falsa para otro .

Lógica de Predicados Ejemplo: U={x|x es un habitante del continente africano} p: “Hablan francés” • De esto se tiene que: p(x): “x habla francés” • O bien p(x): “Todos los africanos hablan francés” : “Todos los africanos hablan francés” : “Algún o algunos africanos hablan frances” .

Lógica 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 .

donde x es elemento de U . tal que p. tal que p. donde x es un elemento de U Existe algún elemento x.Lógica de Predicados Se suele indicar junto con el predicado cuál es el dominio para esa proposición Para todo x.

Lógica de Predicados Sean U={z|z es una persona} A={x|x es un artista} B={y|y es un político} p: Son ricos q: Son corruptos r: Son ricos y corruptos .

Lógica de predicados .

Lógica de predicados • Complemento de un enunciado .

En conclusión no todos los artistas y no todos los políticos son ricos y corruptos . Algunos políticos son corruptos.Lógica de predicados • Dado el enunciado – Todos los artistas son ricos.

Lógica de predicados • Evaluación del enunciado Es falsa(0) No todos los artistas son ricos Es verdadera (1) ya que algunos políticos no son corruptos Es verdadera (1) ya que algunos artistas y algunos políticos no son ni ricos ni corruptos p(x) .

sin necesidad de probarlo con notación lógica • Es posible representar algoritmos en forma matemática y probar si estos son falsos o verdaderos.Inducción matemática • Se utiliza cuando se desea probar si una expresión matemática es falsa o verdadera. usando para ello inducción matemática • Es necesario representar los algoritmos como una sumatoria de la forma: x1+x2+x3…+t=r Inicio Término n-ésimo Resultado .

término n-ésimo y resultado es la proposición P(n) El principio de inducción matemática establece que la proposición 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 básico Paso deductivo .Inducción matemática x1+x2+x3…+t=r La sumatoria incluyendo inicio.

si el resultado obtenido es igual al primer término de la sumatoria se dice que se cumple el paso básico Si se cumple el paso básico se prueba si la proposición es verdadera cuando k=n+1 Se sustituye (n+1) en lugar del término n-ésimo de la sumatoria. se agrega dicho término en ambos lados de la igualdad. se realizan algunas operaciones algebraicas hasta obtener una forma tal que sea fácil de sustituir k=n+1 Si el resultado que está en función de k tiene la misma forma que la igualdad en función de n.Inducción matemática El método consiste en sustituir n=1 en el n-ésimo término de la sumatoria. por lo tanto P(n) es válida o . se dice que se cumple el paso inductivo.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->