UNIDAD ACADMICA: CIENCIAS DE LA INGENIERA Y APLICADAS

Haga clic para modificar el estilo de subttulo del patrn CARRERA: INGENIERA EN DISEO GRFICO

MDULO 3: MATEMTICAS TEMA: LGICA MATEMTICA

ING. MS.C. SEGUNDO NGEL 12/7/12 CEVALLOS BETN

HISTORIA Y CLASIFICACIN DE LA LGICA

Etimolgicamente la lgica es la ciencia del logos. Originalmente logos significa palabra o discurso, por lo que en un principio se defini la lgica como la rama de la gramtica que se ocupaba de ciertas formas de lenguaje. Como la palabra es la expresin, o manifestacin del pensamiento y el pensamiento racional es la base de la filosofa, puede decirse en general, que la lgica es la ciencia del pensamiento racional; es de aclarar que la lgica no se ocupa del contenido de los pensamientos sino de la manera o forma de los pensamientos. En respuesta a la necesidad de construir argumentos, para defender o refutar pensamientos de los dems, Aristteles, considerado por los griegos. El padre de la lgica, creo mtodos sistemticos para analizar y evaluar dichos argumentos, para lo cual desarrollo la lgica proposicional estableciendo procedimientos para determinar la verdad o falsedad de proposiciones compuestas.

HISTORIA Y CLASIFICACIN DE LA LGICA

El gran matemtico Gottfried Leibniz en 1646 fue el primero en intentar reformar la lgica clsica, planteando que la dependencia lgica entre proposiciones es demostrada, reduciendo argumentos complejos en simples, para lo cual propuso representar el conocimiento, en una forma que pudiera ser usado por un razonamiento mecnico y a este esquema (lgica simblica) lo llamo una caracterstica universal. El proceso de la lgica continuo en el siglo XIX. En 1847 el matemtico ingles George Boole en compaa de Augustus de Morgan hizo notar el parentesco entre las operaciones lgicas con las matemticas, pues a partir de los operadores aritmticos de adicin, multiplicacin y sustraccin crearon los operadores lgicos equivalentes de unin, interseccin y negacin; adems formularon los principios del razonamiento simblico y el anlisis lgico. A Boole se le atribuye la invencin de las tablas de verdad para comprobar la veracidad de proposiciones compuestas.
12/7/12

HISTORIA Y CLASIFICACIN DE LA LGICA

Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra Principio Matemtico, quienes codificaron la lgica simblica en su presente forma definindola como la Ciencia de todas las operaciones conceptuales posibles, por esta razn la fundacin de la lgica formal moderna se le atribuye a ellos. La lgica se puede clasificar como: 1. Lgica tradicional o no formal. 2. Lgica simblica o formal. En la lgica tradicional se consideran los procesos psicobiolgicos del pensamiento lgico, y los mtodos de inferencia que estn relacionados con la destreza para interpretar y distinguir el razonamiento correcto del incorrecto; se puede considerar que la lgica no formal resume las experiencias humanas obtenidas del conocimiento y de la observacin del mundo circundante.

La lgica como ciencia constituye la lgica formal o simblica, la cual se encarga de investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la inferencia; es considerada como uno de los sistemas mediante el cual se llega a formas puras y rigurosas. En el pensamiento simblico, las palabras se manipulan, segn las reglas establecidas, como si fueran simples signos sin preocuparse por su sentido. Conceptualizacin La lgica ofrece mtodos que ensean como formar proposiciones, evaluar sus valores de verdad y determinar si unas conclusiones se pueden deducir correctamente a partir de proposiciones supuestas; adems, la lgica es una ciencia que se interesa por las relaciones existentes entre las proposiciones, con el fin de obtener precisin, claridad y generalidad en los razonamientos. La precisin la logra mediante el uso de smbolos, los cuales tienen como funcin primordial eliminar las ambigedades que la estructura del lenguaje ordinario no puede evitar con facilidad.
12/7/12

Una proposicin es una declaracin sobre la que se puede decidir su veracidad o falsedad. Es decir, es un enunciado verdadero o es falso, pero no puede ocurrir ambas cosas.

12/7/12

SON PROPOSICIONES El 2 es un nmero primo. 25 es divisible entre 3 . 6 + 5 = 10 . El aula de diseo grfico est en el 2do piso.

NO SON PROPOSICIONES Pare inmediatamente! 15 y 18 tienen la misma cantidad de divisores?. En realidad, a qu se refiere?. Lvalo.

Cules de los siguientes enunciados son proposiciones? (Explica por qu lo son o no lo son)
1)

El trabajo en grupo es lo ms fcil que existe. 2 es divisor de 15. Fuiste a la manifestacin del sbado?. El aula de diseo grfico de la UTC tiene ms de 50 m2. x + 3 es un entero positivo. Tranquilcese. 12/7/12

1)

1)

1)

1)

1)

12/7/12

EJEMPLOS:

12/7/12

Clasificacin de las proposiciones En lgica se consideran y se simbolizan dos clases de proposiciones: atmicas o simples y moleculares o compuestas, veamos: Proposiciones simples: Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos lgicos. Estos son algunos ejemplos: p : El eclipse es un fenmeno natural. q : La luna es un satlite de la tierra. r : 2 es el inverso multiplicativo de 2. s: -3 es el inverso aditivo de 3. El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F), pero no los dos valores al mismo tiempo, pues dejara de ser proposicin.

12/7/12

Proposiciones Compuestas Las proposiciones compuestas son aquellas que se obtienen combinando dos o mas proposiciones simples mediante trminos de enlace. Estos son algunos ejemplos de proposiciones compuestas:
p : Esta lloviendo. q: El sol brilla. p q: Esta lloviendo y el sol brilla. x : Quieres caf?. y : Quieres te?. x v y : quieres caf o te?. s : Llueve. r : Hace frio. s r : Si llueve entonces hace frio. p : Un triangulo es equiltero. q: Un triangulo tiene sus tres lados iguales. p q : Un triangulo es equiltero si y solo si tiene sus tres lados iguales.

La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de cada una de las proposiciones simples que la conforman y de la forma como estn combinadas.
12/7/12

CONECTIVOS LOGICOS Son expresiones que sirven para unir dos o ms proposiciones, siendo los ms importantes los que se detallan a continuacin. NEGACION ( ~ ): Dada una proposicin p, entonces la negacin de p es otra proposicin a la que se le antepone la palabra no o no es cierto. La notacin matemtica utilizada es ~p.

EJEMPLO Quito es fro (V), entonces la negacin es: Quito no es fro (F) Cuando la palabra "no" se encuentra en el interior de una proposicin simple, puede pasar inadvertida, pero se trata de una proposicin compuesta. Ejemplo: El da no est caluroso; Puede presentarse como: No ocurre que el da est caluroso 12/7/12

DISYUNCION ( v ): Es un conectivo lgico que unes dos proposiciones simples para formar una proposicin compuesta; la unin se realiza con nexo o cuyo smbolo es v, es decir p v q que se lee p o q.

EJEMPLO: Hallar el valor de verdad de: p :: 3 + 2 = 5 q:: Ambato es la capital del Ecuador. La primera proposicin es verdadera y la segunda es falsa, entonces: V v F = V (De acuerdo a la tabla V v F = V) EJEMPLO La expresin: Es tarde o est muy oscuro, tambin puede expresarse como: O es tarde o est muy oscuro. En este ltimo caso las dos "o" son parte del mismo trmino de enlace y la forma de la proposicin es: p o q. 12/7/12

CONJUNCION (): Es un conectivo lgico que une dos proposiciones simples para formar una proposicin compuesta; la unin se realiza con nexo y cuyo smbolo es , es decir p q que se lee p y q.

EJEMPLO: Hallar el valor de verdad de: p :: 3 > 2 y q:: Loja est ubicada en el norte del Ecuador. La primera proposicin es verdadera y la segunda es falsa entonces: V F = F ( De acuerdo a la tabla V F = F ) Nota: Hay palabras como pero, sin embargo, adems, aunque, no obstante, a la vez, ,, etc. que tambin unen proposiciones conjuntivamente y se pueden simbolizar por . 12/7/12

CONDICIONAL (): Si p y q son proposiciones, el conectivo lgico condicional o implicacin nos da una nueva proposicin p q que se lee p entonces q o p condicin q o si p, entonces q. La proposicin p q por definicin equivale ~p v q. A la expresin p se le denomina antecedente y a q consecuente.

EJEMPLO: Hallar el valor de verdad de: p :: 3 - 2 =1 y q:: Sebastin de Benalczar fund la ciudad de Quito. Solucin: La implicacin quiere decir que si 3 2 = 1 entonces Sebastin de Benalczar fund la ciudad de Quito. P es verdadera (V) ; Q es verdadera (V) , entonces: V V = V ( De acuerdo a la tabla V V = V) EJEMPLO: Si madrugo entonces llego temprano. En este ejemplo puede suprimirse la palabra "entonces" y remplazarse por una "," as: Si madrugo, llego temprano. Nota: Tambin son conectivos condicionales los trminos por que, puesto que, ya que, cuando, cada vez que, etc.

12/7/12

BICONDICIONAL (): La doble implicacin o bicondicional de dos proposiciones p y q, es la proposicin compuesta mediante el conectivo lgico si y solo si que se simboliza como p q o lo que es lo mismo (p q q p ).

DISYUNCION EXCLUSIVA ( ): La disyuncin exclusiva de dos proposiciones p y q, es la proposicin compuesta mediante el conectivo lgico o que se simboliza como p q o tambin p v q, lo que es equivalente a (p q) ~ (p q) .

12/7/12

BARRA DE SHAFFER O DE INCOMPATIBILIDAD ( | ): Siendo p y q dos proposiciones cualesquiera, la proposicin de Shaffer respecto a p y q se denota p | q y se lee p incompatible con q.

La proposicin de Shaffer es la negacin de la conjuncin: p | q = ~ (p q) FLECHA DE NICOD O DE NEGACION CONJUNTA ( ): Siendo p y q dos proposiciones cualesquiera, la proposicin de Nicod se simboliza: pq y se lee ni p ni q.

La proposicin de Nicod es la negacin de la disyuncin: p q = ~ (p q) 12/7/12

CUADRO DE LOS VALORES DE VERDAD DE LOS CONECTIVOS LOGICOS

p V V F F q V F V F p F F V V q F V F V pq V F F F pVq V V V F pVq F V V F pq pq V V F F V F V V pq F F F V

ORDEN DE LOS OPERADORES Se necesita mantener cierto orden para el desarrollo de las tablas de verdad de los polinomios. 1.Regla.- Si la proposicin compuesta est encerrada en smbolos de agrupacin, la ubicacin de estos nos indica cual es la conectiva predominante. Ejemplo: [( p q) (q p)] q. La conectiva predominante es la conjuncin. [(p V q) r]. La conectiva predominante es la negacin. (p q) V (p q). La conectiva predominante es la disyuncin. 12/7/12

2.Regla.- Si la proposicin compuesta est expresada con signos de puntuacin, stos pueden ser reemplazados por smbolos de agrupacin y el polinomio quedar como en la 1.Regla. Ejemplos: 4-1=6 y 1-3=2, o 3=4 y 3 - 1=2. Simbolizamos los enunciados con variables. p y q o r y t. El polinomio queda (p q) V (r t). No es verdad que, 2+1=6 y 3 5 (p q). No es verdad que Ecuador es un pas capitalista o Colombia est en Amrica del Norte, entonces Ecuador y Colombia son pases en vas de desarrollo. Simbolizando queda (p V q) ( p q).
12/7/12

3.Regla.- Si no hay signos de puntuacin, ni smbolos de agrupacin se debe considerar el siguiente orden: , V, v , , . Ejemplos: p q V r s. El orden es el siguiente: [(p q) V r] s, tambin podra ser: [p (q V r)] s p q q. El orden es el siguiente: (p q) q. p q r V q p. El orden es el siguiente: p [q (r V q)] p.

12/7/12

4.Regla.- Si la proposicin no tiene signos de puntuacin, ni parntesis, se puede indicar el orden de los operadores al mencionar cual es el operador predominante. Ejemplos: Realizar la conjuncin: p V q p q El polinomio queda [(p V q) p] q. Realizar la disyuncin: p V q p predominante es la disyuncin. El polinomio queda expresado as: p V [q (p r)] p. r p. Si la conectiva

12/7/12

12/7/12

Ejemplos: Desarrollar las tablas de verdad de los siguientes polinomios. (p V q) q (p V q) r r (q V p)

(p V q) V F V V V F F V V F F F

V F F F

q F V F V

F F F F V V F F

(p V V V V F F F F

V V V V V F F V V

q) F F V V F F V V

F F F F V F F F

r V F V F V F V F

r V F V F V F V F

V V F V V V V V

(q V V F F V V F F

V V V F F V V V V

p) F F F F V V V V

12/7/12

12/7/12

12/7/12

EQUIVALENCIA E IMPLICACION LOGICA Equivalencia.- Dos polinomios son lgicamente equivalentes si: 1. Al desarrollar las tablas de verdad de los polinomios, y en la ltima columna de la tabla de verdad de izquierda a derecha se observa que son idnticas en valor y orden. 2. Al desarrollar el bicondicional entre los dos polinomios se obtiene una tautologa. Smbolos: , . Implicacin Lgica.- Un polinomio implica lgicamente a otro si cumple con cualquiera de las siguientes condiciones: pq a. p q es una tautologa. b. p V q es una tautologa. c. p q es una contradiccin. 12/7/12

12/7/12

PROBLEMAS PROPUESTOS Escriba con smbolos las proposiciones siguientes, si se conoce que: p: 5 7; q: 1 + 1 = 2; r: 3 + 2 = 5; s: 4 2 = 5 5 7,entonces 1 + 1 = 2, y 3 + 2 = 5 5 7 si solo si 1 + 1 = 2 y 3 + 2 = 5 o 4 2 = 5 1 + 1 = 2 o 3 + 2 = 5, pero no ambos. Enuncie con palabras las siguientes proposiciones. p: 3 1; q: 1 + 3 = 5; r: 2 +1 = 3 (p q) (q r) ( p q) V (p v q) [p (q V r) Determinar el valor de verdad de los problemas anteriores. Determine el valor de verdad de: 14=3y2+1=5,o 143y2+15 Si 4 + 2 = 6 entonces 4 + 2 6 o 1 1 = 3 No es verdad que: 2 + 3 = 5 y 1 2 = 3 o 1 3 = 3

12/7/12

Escriba con smbolos, lea y encuentre el valor de verdad de: Si 1 3 = 4 y 1 + 1 = 2, implica que 1 + 1 2 2 + 3 5 si solo si 2 + 2 = 4 , y 2 + 2 4 y 2 + 3 = 5 No es verdad que : 1 + 3 = 4 o 4 + 1 = 5 Encuentre el valor de verdad de las siguientes proposiciones. (p q) (p V q) [( p q) q] p [p ( { ( r t) v q } p) ] ( p ( t p ) )

12/7/12

PRINCIPALES LEYES LOGICAS Y TAUTOLOGICAS PRINCIPIOS LOGICOS Ley de Identidad p p p p Una proposicin solo es idntica a s misma Ley de no contradiccin ~ (p ~ p) Una proposicin no puede ser verdadero y falso a la vez Ley del tercio excluido (p ~ p) Una proposicin es verdadera o falsa, no hay tercera posibilidad EQUIVALENCIAS NOTABLES Ley de la doble negacin a) ~ (~p) p Ley de idempotencia
a) b)

(p p) p (p p) p

12/7/12

 Ley conmutativa
a) b) c)

Leyes del condicional

a) b)

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

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

Leyes del bicondicional

a)

Ley asociativa
a) b) c)

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

b) c)

p q (pq) (qp) p q (p q) (~ p ~ q) p q ~(p v q)

Leyes de Absorcin
a)

Ley distributiva p (q r) (p q) (p r) b) p (q r) (p q) (p r) c) p(q r) (p q) (p r) d) p(q r) (p q) (p r)

a) b) c) d) e) f)

Leyes De Morgan
a) b)

p p p p p p

(p q) p (p q) p (~ p q) p q (~ p q) p q (p ~ q) p (p ~ q) p

~ (p q) (~ p ~ q) ~ (p q) (~ p ~ q)

Leyes de transposicin
a) b)

p q ~ q~ p 12/7/12 p q ~ q~ p

Leyes de Exportacin

Leyes de Complementacin p ~p V p ~p F

a) b)

Elementos neutros para la conjuncin y disyuncin

a) b) c) d)

p p p p

Vp F F VV F p

Diferencia Simtrica a) p q (p q) ~ (p q) Otras

a)

(p q) (p ~ q) p

b) (p q) (p ~ q) p 12/7/12

c)p( p q )

EJEMPLOS 1. Reducir la expresin: [(pq) q]p 2. Reducir la expresin: (p q)(p q) Solucin: Solucin: [(pq) q]p (p q)(p q) ~[(pq) q] p Ley del condicional ~(p q) (p q) Ley del condicional [~(pq) ~ q] p Ley de Morgan [(p~q) ~ q] p Ley del condicional [~q (~q p)] p Ley conmutativa (~q) p qp Ley de absorcin Ley del condicional (~p ~ q) (p q) Ley de Morgan (~p p) (~ q q) Ley asociativa V V V Ley de complementacin

Ley de idempotencia

12/7/12

3. Reducir la expresin: ([p(p q)] q)(p q) Solucin: ([p(p q)] q)(p q)

EJERCICIOS PROPUESTOS Reducir la expresin: (p q)p Simplificar la siguiente proposicin:

([~p (p q)] q)(p q) Ley del condicional (~ p~ q)p ([(~p p) q)] q)(p q) Ley asociativa ([V q)] q)(p q) Ley de complementacin (V q)(p q) q(p q) q ~ (p q) (q ~ p) q V q V Ley de elementos neutros Reducir la expresin: (p ~ q)(~ p~ q) Simplificar las expresin: p ~ q~ p Demostrar las siguientes proposiciones: (pq)(pr)p(q r) (pr)(qr)(p q) r ( p q 12/7/12 q ) p

Ley de elementos neutros Ley del condicional Ley asociativa Ley de elementos neutros Ley de elementos neutros

SOLUCIONES A LOS EJERCICIOS PROPUESTOS (p q)p ~(p q) p Ley del condicional (~p ~ q) p Ley de Morgan (~p p) ~ q Ley asociativa V ~ q Ley de elementos neutros V Ley de elementos neutros

(~ p~ q)p [(~ p~ q) (~ q ~ p)]p Ley bicondicional ~ [(p ~ q) (q ~ p)] p Ley condicional [~ (p ~ q) ~ (q ~ p)] p De Morgan [(~ p q) (~ q p)] p De Morgan (~ p q) [(~ q p) p] Asociativa (q ~ p) p Absorcin 12/7/12 p q Absorcin

(p ~ q)(~ p~ q) ~ (p ~ q) (p ~ q) Ley del condicional (~ p q) (p ~ q) Ley de Morgan [(q ~ p) p] ~ q Ley asociativa (q p) ~ q Ley de absorcin p (q ~ q) Ley asociativa p V Elemento neutro V Elemento neutro p ~ q~ p p ~ q~ p (p ~ q)~ p ~(p ~ q) ~ p Agrupamiento y ley del condicional (~p q) ~ p q (~p ~ p) Ley de Morgan y asociativa q ~p Ley de idempotencia pq Ley del condicional
12/7/12

(p q) (p r) p (q r) ( p q ) ( p r ) ( p q ) ( p r ) ( Definicin ) ( ( p q ) p ) r ( Asociatividad ) ( p ( q p ) ) r ( Asociatividad ) ( p ( p q ) ) r ( Conmutatividad ) ( ( p p ) q ) r ( Asociatividad ) ( p q ) r ( Idempotencia ) p ( q r ) ( Asociatividad ) p ( q r ) ( Definicin ) (pr)(qr)(pq)r ( p r ) ( q r ) ( p r ) ( q r ) ( Definicin ) p ( r ( q r ) ) ( Asociatividad ) p ( ( r q ) r ) ( Asociatividad ) p ( ( q r ) r ) ( Conmutatividad ) p ( q ( r r ) ) ( Asociatividad ) p ( q r ) ( Idempotencia ) ( p q ) r ( Asociatividad ) ( p q ) r ( De Morgan ) (pq)r ( Definicin ) 12/7/12

( p q ) p q ( p q ) ( ( p q ) ( q p ) ) ( Definicin ) ( ( p q ) ( q p ) ) ( Definicin ) ( p q ) ( q p ) ( De Morgan ) ( ( p ) q ) ( ( q ) p ) ( De Morgan ) ( p q ) ( q p ) ( Doble Negacin ) ( ( p q ) q ) ( ( p q ) p ) ( Distributividad ) ( ( p q ) ( q q ) )( ( p p ) ( q p ) ) ( Distributividad ) ( ( p q ) V ) ( V ( q p ) ) ( Complemento ) ( p q ) ( q p ) ( Identidad ) ( ( p ) q ) ( q p ) ( Doble Negacin ) ( p q ) ( q p ) ( Definicin ) p q ( Definicin )

12/7/12

FUNCION PROPOSICIONAL Una funcin proposicional (a una o varias variables) sobre un conjunto A, es una expresin tal que al reemplazar la variable o las variables por elementos del conjunto A se obtiene una proposicin. EJEMPLOS: 1. P(x):: x-3=5 Es funcin proposicional pues al reemplazar x por un nmero, ejemplo, x=7 tenemos que P(7):: 7-3=5 sta se convierte en proposicin en este caso falsa. 2. P(y):: 3y-1>4 . Si y=2, se proposicin, en este caso verdadera 3. P(z):: z+2 =10. proposicin falsa. Si z=6, se convierte convierte en en

12/7/12

CUANTIFICADORES Los cuantificadores son smbolos que nos permiten evaluar una funcin proposicional. CUANTIFICADOR UNIVERSAL: Se simboliza como x y se lee para todo. Al colocar este cuantificador delante de una funcin proposicional la convierte en una proposicin. Puede escribirse como: x : P(x) , x / P(x) , (x )[P(x)] Ejemplo: Sea P(x):: x-3=7. Podemos transformarla en una anteponiendo la frase para todo. proposicin

E.d: Para todo x : : x-3=7. O lo que es lo mismo, (x ) ( x - 3 = 7) ;

12/7/12

CUANTIFICADOR EXISTENCIAL: Se simboliza como y se lee existe por lo menos un. Al colocar este cuantificador delante de una funcin proposicional la convierte en una proposicin. Puede escribirse como: x : P(x) , x / P(x) , (x)[P(x)] Ejemplo: Sea P(x):: x-3=7. Podemos transformarla anteponiendo la frase existe un. E.d: en una proposicin

Existe por lo menos un x : : x-3=7. O lo que es lo mismo, (x)( x 3 = 7) ; Se lee: Existe por lo menos un x tal que x-3=7 Nota: Si P(x) es verdadera para un nico elemento de A, se usa el signo ! que se lee como existe un nico. Las proposiciones universales pueden aparecer negadas, como en el enunciado: "No todos son mdicos". En este caso la simbolizacin ser: ~ [(x)(Px)] donde Px es la funcin proposicional "x es medico" que toma valores dentro del conjunto de referencia formado por los hombres. 12/7/12

Las palabras "ningn", "ninguno", "nada", "nadie" corresponden tambin a enunciados universales con negaciones, pero de una manera distinta a las proposiciones anteriores. La proposicin "ninguno es medico" no equivale a la proposicin "no todos son mdicos" sino a la expresin "para todo x, x no es medico" que se simboliza (x) ~ (Px) . Las proposiciones existenciales pueden estar negadas, como por ejemplo "no es cierto que hay fantasmas" la cual se simboliza como ~ (x)(Fx) donde Fx simboliza la expresin "x es un fantasma". Anlogamente a lo que ocurre con los cuantificadores universales, las proposiciones existenciales pueden tener negaciones internas como "algo no es mortal" la cual se simboliza como (x) ~ (Fx) donde Fx simboliza la expresin "x es mortal". CONVERSIONES (EQUIVALENCIAS) [ x A: P(x)] ~ [ x A: ~ P(x)] [ x A: P(x)] ~ [ x A: ~ P(x)]

12/7/12

Cuatro modelos bsicos de enunciados de la lgica clsica: Enunciado Universalmente Afirmativo: x : P(x) [Todos los x son P] Enunciado Universalmente Negativo: (x) : ~ P(x) [Ningn x es P] Enunciado Particularmente Afirmativo: x : P(x) [Algn x es P] Enunciado Particularmente Negativo: x : ~ P(x) [Algn x no es P]

NEGACIN DE UN CUANTIFICADOR

DISTRIBUTIVIDAD DE LOS CUANTIFICADORES Sean P , Q frmulas no cuantificadas en x , entonces: (x)(P Q) [(x)(P) (x)(Q)] (x)(P Q) [(x)(P) (x)(Q)] (x)(P Q) [(x)(P) (x)(Q)] (x)(P Q) [(x)(P) (x)(Q)] (x)(PQ) [(x)(P)(x)(Q)]

12/7/12

EJEMPLO 1 Escribir con smbolos y cuantificadores, la proposicin: Todas las hormigas son insectos Solucin: Si definimos a: H(x): x es hormiga I(x): x es insecto : Conjunto de todos los insectos Entonces tenemos: ( x ) [H (x) I (x)] Nota 1: El conjunto U se denomina dominio de referencia, que en algunos casos se omite y el cuantificador universal se refiere a cada elemento de este conjunto. Nota 2: Se denomina conjunto de verdad de una funcin proposicional P(x), al subconjunto A del dominio U de la variable, tal que el conjunto A hace verdadera la proposicin P(x).
12/7/12

EJEMPLO 2 Escribir con smbolos y cuantificadores, la proposicin: Hay animales carnvoros Solucin: Si definimos a: A(x): x es animal C(x): x es carnvoro : Conjunto de todos los animales Entonces tenemos: ( x ) [A(x) C(x)] EJEMPLO 3 Hallar el conjunto de verdad de: P(x)2x 1 = 0 , donde es el conjunto de los naturales. Solucin Esta proposicin es falsa, ya que no existe ningn x tal que 2x 1 = 0 . 12/7/12

EJEMPLO 4 Escribir con smbolos y cuantificadores, la proposicin: Todos los gatos tienen cola Solucin Si definimos a: G(x): x es gato C(x): x tiene cola : Conjunto de todos los animales Entonces tenemos: (x ) [G(x)C(x)] EJEMPLO 5 Hallar el conjunto de verdad de: P(x) Q(x) , donde P(x) x 1 , Q(x) x < 10 . es el conjunto de los reales. Solucin S = {x / P(x) Q(x) es verdad} = {x / x 1 x <10} = {x / 1 x<10} 12/7/12

EJERCICIOS PROPUESTOS Hallar el valor de verdad de las siguientes proposiciones y luego negarlas. Considerar x, y R . a) x : x + 5 = 0 b) y, x : (x + y = 7 x y = 5) Negar la proposicin: Ningn hombre es mortal Simbolizar los siguientes enunciados c) Existe un nmero real; que sumado con cualquier nmero real, da por resultado dos. d) Todo nmero entero positivo elevado al cuadrado es no negativo.
12/7/12