Matemticas Discretas Tc1003 Lgica Matemtica

Lgica Matemtica
OBJETIVOS Unidad Tema Subtema Objetivos II Lgica Matemtica 2.1 Lgica Proposicional 2.2 Lgica de Predicados 2.3 Mtodos de Demostracin El establecimiento de cualquier teora o concepto se hace mediante declaraciones y/o afirmaciones llamadas enunciados o proposiciones que tienen un valor de verdad o falsedad pero no ambos. Conocer y manejar estas proposiciones es el objetivo de este tema. Para ello se definen dos principales conceptos: proposicin y conectivo. Conocer, entender y aplicar los conceptos de: Lenguaje proposicional: Proposicin primitiva Proposicin compuesta Conectivo lgico: o Conjuncin o Disyuncin o Implicacin o Bicondicin o Tautologa o Contradiccin o Contingencia o Equivalencia lgica En muchas ocasiones es necesario conocer si dos situaciones son iguales o equivalentes. En matemticas necesitamos saber cuando dos entidades son iguales o esencialmente lo mismo. En la lgica matemtica se conoce como el lgebra de las proposiciones en donde por medio de equivalencias se establece cuando dos proposiciones son esencialmente la misma Es objetivo de este tema conocer las leyes de la lgica para poder establecer equivalencias. Conocer, entender y aprender las siguientes leyes de la lgica: Semntica de lgica proposicional: Ley de la doble negacin Leyes de Morgan Leyes Conmutativas Leyes asociativas Leyes distributivas Ngj/v2008 2.1 Lgica proposicional 1

Matemticas Discretas Tc1003 Lgica Matemtica Leyes idempotencia Leyes de neutro Leyes de dominacin Leyes inversa Leyes de absorcin Para analizar la demostracin de teoremas dentro de las matemticas discretas se estudia el concepto de argumento y de cundo un argumento es vlido. Conocer, entender y aprender las reglas de inferencia de: Implicacin Regla de Separacin: Modus Ponens Mtodo de negacin: Modus Tollens Ley del silogismo: Implicacin lgica Regla de conjuncin Regla de contradiccin Regla de amplificacin Mtodos de demostracin Mtodo del absurdo

Ngj/v2008

2.1 Lgica proposicional

Matemticas Discretas Tc1003 Lgica Matemtica

2 Lgica matemtica
INTRODUCCIN Lgica es el estudio del razonamiento; se refiere especficamente a si el razonamiento es correcto. La lgica se centra en la relacin entre las afirmaciones y no en el contenido de una afirmacin en particular. Los mtodos lgicos se usan en matemticas para demostrar teoremas y en las ciencias de la computacin, para probar que los programas ejecutan lo que deben de hacer. [Johnsonbaugh, 1] El lenguaje natural es un instrumento de comunicacin humana, que se caracteriza por su gran flexibilidad y puede estar lleno de redundancias y ambigedades. Estas caractersticas hacen que la lgica formal no est interesada en el lenguaje natural. La lgica pretende ser una ciencia rigurosa y universal que permita realizar clculos exactos. Para ello, la lgica requiere el diseo de un lenguaje artificial que sea formal, donde lo que importe sea la forma o aspecto externo, y no el significado de las frases y donde slo los mensajes que cumplan rigurosamente las normas sintcticas sean aceptados como correctos. La lgica se ocupa bsicamente de declaraciones o enunciados que se caracterizan porque sus afirmaciones tienen un valor de verdad. Esto es, la lgica trata a las proposiciones que se pueden definir como enunciados simples, ya sean falsos o verdaderos, son proposiciones. La lgica formal es una ciencia que estudia el conocimiento que genera un conocimiento y este conocimiento puede producirse de dos formas, por constatacin, de hechos o ideas o por deduccin, a partir de un conocimiento se obtiene otro conocimiento. Esto es, la lgica formal estudia la deduccin o razonamiento como proceso mental capaz de generar nuevos elementos de conocimiento a partir de otros. Finalmente, la lgica formal es una ciencia. Una ciencia formal. Es el estudio del razonamiento formalmente vlido, es la ciencia de la inferencia deductiva. La principal aportacin que la lgica hace a las ciencias est en la ordenacin, estructuracin y anlisis de las verdades conocidas. . [Arenas, 3]

Ngj/v2008

2.1 Lgica proposicional

Matemticas Discretas Tc1003 Lgica Matemtica 2.1 Lgica proposicional 2.1.1 Lenguaje formal de la lgica proposicional (sintaxis) El lenguaje formal de la lgica proposicional est formado por dos elementos: proposiciones y conectivos. Proposiciones Proposicin o enunciado: oracin declarativa que es verdadera o falsa pero no ambas [Grimaldi, 51] Proposiciones, frases declarativas simples: son la mnima unidad del lenguaje con contenido de informacin sobre la que es posible enunciarse con un verdadero o con un falso como valor de verdad. [Arenas, 5] Las proposiciones se representan con letras minsculas a partir de la p : p, q, r, s, t, u, v Las proposiciones pueden ser de tres tipos: Proposiciones de accin con sujeto no determinado: o Hace calor o Es jueves Proposiciones de atribucin de propiedades a sujetos determinados: o Alberto estudia ingeniera o Beatriz vive en Cuernavaca o Carlos naci en Mxico Proposiciones de relacin: o Alberto es primo de Beatriz o Cuernavaca es la capital del estado de Morelos o Para ir a Monterrey por carretera se pasa por los estados de Distrito Federal, Quertaro, Estado de Mxico, Guanajuato, San Luis Potos y Coahuila. No son proposiciones aquellas declaraciones de tipo interrogativo e imperativo: o Habla usted ingls? o Cierra la ventana Por favor, apaga la luz Las proposiciones son oraciones declarativas Pueden ser FALSAS: VERDADERAS: F o 0 V o 1 Valor de verdad

Proposicin primitiva: no se puede descomponer [Grimaldi, 52].

Ngj/v2008

2.1 Lgica proposicional

Matemticas Discretas Tc1003 Lgica Matemtica Conectivos: son los elementos del lenguaje que permiten construir frases nuevas a partir de las existentes obteniendo nuevos significados. [Arenas, 5] Conectivos conectivo Negacin Smbolo lgico Expresin en lenguaje natural
No p No ocurre que p No es cierto que p Es falso que p

Ejemplos
Hoy no hace calor No llegar tarde Eso no es verdad

Conjuncin (y)

pq

p p p p p p

y q aunque q pero q sin embargo q no obstante q a pesar de q

Vamos al cine y a cenar tambin Luis trabaja aunque estudia de noche Llegu a tiempo no obstante haber salido tarde O vamos al cine o vamos a cenar O me saco un 7 o me saco un 8

Disyuncin (0)

pq

p o q o ambos O bien p o bien q Al menos p o q Como mnimo p o q

si p entonces q slo si q entonces p

Condicional implicacin

pq

p es suficiente para q q es necesaria para p No p a menos que q

Si saco 8 entonces mi promedio aprobatorio Si saco 8 en el parcial tendr el promedio aprobado Para tener el promedio aprobado debe de sacar 8 Voy de vacaciones si y solo si apruebo todas mis materias

Bicondicional doble implicacin

pq

p si y solo si q necesario p suficiente para q

Proposicin compuesta: combinacin de proposiciones por medio de conectivos lgicos [Kolmar, 47].

Ngj/v2008

2.1 Lgica proposicional

Matemticas Discretas Tc1003 Lgica Matemtica Equivalencia entre conectivos13: 1. Implicacin disyuncin: p q es equivalente a p q . Ejemplo: si llueve entonces me mojo, es equivalente a decir, o no llueve o me mojo. 2. Implicacin conjuncin: p q es equivalente a ( p q ) . Ejemplo: si llueve entonces me mojo, es equivalente a decir, no ocurre que llueva y no me moje. 3. Disyuncin conjuncin: p q es equivalente a ( p q ) . 4. Bicondicional implicacin: p q es equivalente a ( p q ) (q p ) Sintaxis Definicin formal del lenguaje proposicional La definicin formal de un lenguaje requiere la especificacin de su alfabeto y de sus reglas de sintaxis14. 1. Alfabeto: los smbolos que se utilizan son a. Smbolos de proposiciones: p, q, r , s, t , u , v b. Smbolos de conectivos: , , , , c. Smbolos de parntesis: { [ ( ) ] } 2. Reglas de sintaxis: 1 Las frmulas bien construidas (fbc) del lenguaje proposicional se definen de la siguiente manera: a. Las letras p, q, r , s, t , u , v son fbc b. Si p y q son fbc tambin lo son p y q c. Slo son fbc las que se obtienen de las definiciones anteriores (a y b) 2 Para la correcta relacin entre proposiciones y conectivos las fbc: a. No deben aparecer dos conectivos adyacentes, excepto en la negacin. b. Es preciso definir la relacin conectivo-proposicin cuando hay ms de un conectivo en la frmula: Un conectivo pertenece a la proposicin inmediata o al conjunto de proposiciones encerradas en un parntesis, corchete o llaves. Para evitar exceso de parntesis, se define una jerarqua de prioridades entre conectivos: o Nivel 1 : negacin o Nivel 2: conjuncin y disyuncin o Nivel 3: implicacin y bicondicional

13 14

En el tema demostracin de equivalencias se demostrar las siguientes equivalencias Sintaxis son las reglas que define cualquier lenguaje.

Ngj/v2008

2.1 Lgica proposicional

Matemticas Discretas Tc1003 Lgica Matemtica 2.1.2 Semntica de lgica proposicional Un sistema de frmulas y razonamientos vlidos se construye a partir del significado (verdadero o falso) de las proposiciones compuestas, esto es, a partir de la forma de dar un valor al contenido de la informacin de cada proposicin. Se llama semntico15 al mtodo de demostracin de los valores del significado de una proposicin compuesta. La forma en cada conectivo genera los valores de una proposicin compuesta es por medio de una tabla de verdad en donde se definen todas las combinaciones posibles de los valores que pueden tener el conjunto de proposiciones simples que hacen una proposicin compuesta. Clculo proposicional Tablas de verdad de conectivos

15

Semntica define el significado de los signos de un lenguaje.

Ngj/v2008

2.1 Lgica proposicional

Matemticas Discretas Tc1003 Lgica Matemtica En resumen:

p 0 1

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

p 0 0 1 1

q 0 1 0 1

p q 0 0 0 1

p q 0 1 1 1

Tautologa, contradiccin y contingencia TAUTOLOGA T0 : Cuando una proposicin compuesta es verdadera para todos los valores de verdad. CONTRADICCIN Fo : Cuando una proposicin compuesta es falsa para todos los valores de verdad. CONTINGENCIA: Proposicin que puede ser falsa o verdadera dependiendo de los valores de verdad. Ejemplos:

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

pq
0 1 1 1

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

Tautologa

p ( p q ) p
0 0 1 1

q
0 1 0 1

p
1 1 0 0

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

Contradiccin

p ( p q ) p 0 0 1 1

q 0 1 0 1

q
1 0 1 0

( p q )
0 0 1 0

Contingencia

Ngj/v2008

2.1 Lgica proposicional

Matemticas Discretas Tc1003 Lgica Matemtica Equivalencias lgicas Proposicin equivalente: Cuando todos los valores son siempre verdadero o falso. Ejemplo: p q p q

p 0 0 1 1

q 0 1 0 1

p 1 1 0 0

pq 1 1 0 1

p q 1 1 0 1

equivalentes

pq

( p q)
p
0 0 1 1

( q p)
pq
1 1 0 1

q
0 1 0 1

q p
1 0 1 1

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

pq
1 0 0 1

Dos proposiciones S1 y S2 son lgicamente equivalentes (se escribe S1 S2 ) cuando la proposicin S1 es verdadera (respectivamente falsa) si y solo si la proposicin S2 es verdadera (respectivamente falsa).

Ngj/v2008

2.1 Lgica proposicional

Matemticas Discretas Tc1003 Lgica Matemtica

Leyes de la lgica 1 2

p) p

6 7

q) p q q) p q p q q p p q q p p ( q r ) ( p q)r p ( q r ) ( p q)r p ( q r ) ( p q ) ( p r) p ( q r ) ( p q ) ( p r) p p p p p p
p F0 p p T0 p p T0 T0 p F0 F0 p p T0 p p F0

(p (p

Ley de la doble negacin Leyes de Morgan Leyes conmutativas

Leyes asociativas

Leyes distributivas Leyes dem potentes Leyes de neutro

Leyes de dominacin Leyes inversa

10 11 12

pq p q p q ( p q) ( q p)

p p

( (

p q p q

) )

p p

Leyes de absorcin

Ngj/v2008

2.1 Lgica proposicional

10

Matemticas Discretas Tc1003 Lgica Matemtica Reglas de sustitucin 1) Si P (una proposicin compuesta) es una tautologa y p (una proposicin primitiva) aparece en P. Si p se reemplaza por otra proposicin q y resulta P1 entonces P1 tambin es una tautologa. Ejemplo: P: p q p q es una tautologa Reemplazar p por r s P1 :

[ (r s )

q]

[ (r s )

q ] tambin es una tautologa

2) Sea P una proposicin compuesta donde p es una proposicin arbitraria que aparece en P, y sea q una proposicin tal que q p. Si se reemplaza p por q resulta la proposicin P1 . Entonces P1 P. Ejemplo: P: ( p F0 ) F0 Si p se reemplaza por (q r ) s P1: [ [ (q r ) s ] F0 ] F0 Aplicacin:

[ (r s ) [ (r s ) ( t u ) ] ] ( t u )
si p r s y q tu [ p ( p q) ] q

p q

pq

0 0 1 1

0 1 0 1

1 1 0 1

p ( p q) 0 0 0 1

p ( p q) ] q 1 1 1 1

Ngj/v2008

2.1 Lgica proposicional

11

Matemticas Discretas Tc1003 Lgica Matemtica NAND () Otras equivalencias

(p q)

( p q)

se lee como: p nand q.

Tabla de verdad
p 0 0 1 NOR () q 0 1 0 NAND p q 0 0 0

p q 1 1 1

(p q)

( p q)

se lee como: p nor q.

Tabla de verdad
p 0 0 1 1 q 0 1 0 1 NOR p q 0 1 1 1

p q 1 0 0 0

Ngj/v2008

2.1 Lgica proposicional

12