UNIVERSIDAD DE LAS REGIONES AUTONOMAS DE LA COSTA CARIBE NICARAGUENSE (URACCAN)

MODULO DE

ESTRUCTURA DISCRETA

CARRERA:

INFORMATICA ADMINISTRATIVA

Marzo del 2010, URACCAN Recinto Bluefields.

Plan temtico de la asignatura Estructura Discreta. I. Proposiciones y Conectivos Lgicos. 1.1- proposiciones y conectivos lgicos (de proposiciones oracionales) 1.1.1- La negacin 1.1.2- La conjuncin 1.1.3- La Disyuncin 1.1.4 La implicacin II. Variantes del condicional. 2.1 Variantes del condicional 2.1.1 Bicondicional 2.2. Tablas de Verdad 2.3. Tautologa 2.4 Contradiccin 2.5 Implicacin Tautolgica 2.6- Equivalencia Tautolgica 2.7.- Tablas de Tautologas Lgicas 2.7. - Ejercicios III. Teora Oracional de la Inferencia. 3.1 Teora Oracional de la Inferencia 3.1.1 Conceptos Fundamentales - Premisas - Argumento - Conclusin 3.2 Inferir o Deduccin 3.3 Mtodos de Prueba 3.3.1 Prueba Directa 3.3.2 Prueba Condicional 3.3.3 Prueba Indirecta 3.4 Validez o Invalidez 3.4.1 Validez o Invalidez del argumento 3.5 Consistencia de un Sistema de premisas 3.5.1 consistencia

3.5.2 Ejercicios de Inferencia 3.5.3 Ejercicios (ValidezConsistencia) IV- Formas Proposicionales y Cuantificadores. 4.1Formas proposicionales y cuantificadores 4.1.1 Formas proposicionales 4.1.2 Cuantificadores 4.1.2.1 Cuantificador Universal 4.1.2.2 Cuantificador Existencial 4.1.3.- Representacin de proposiciones generales. Negacin de formas proposicionales cuantificadas. V. Teora de conjuntos. 5.1 Conjunto y Formas Proposicionales 5.1.1 Mtodo por Extensin 5.1.2 Mtodo por Comprensin 5.2. Relaciones entre conjuntos 5.3. Operaciones con conjuntos 5.4- Leyes de Operaciones con conjuntos 5.5 Ejercicios

PRIMERA UNIDAD: LOGICA DEL PENSAMIENTO INTRODUCCIN: En nuestro devenir diario, al expresar nuestras ideas, para argumentar, justificar lgicamente o realizar razonamiento, hacemos uso de nuestro lenguaje, rico en expresiones (nombre, oraciones, etc.) pero a la vez vago y confuso. Uno de los principales propsitos de este tema es el de iniciar al estudiante una forma de pensamiento que propicie el esmero y la precisin. Hay muchos modos de aprender a usar con precisin el lenguaje y las ideas, nuestro mtodo se basar en el estudio de la lgica. La lgica, como toda ciencia, est regida por ciertas leyes y normas de trabajo, las cuales nos servirn para indicarnos la manera correcta de proceder. Los primeros pasos de la lgica se remonta al siglo IV A.C., con la exploracin aristotlica de las formas expresivas e inferencia les (lgica) internalizadas en el lenguaje de la vida diaria, hasta Leibnitz en el siglo XVII. Durante este periodo no desarrollo lo suficiente, debido al fracaso en relacionar la lgica como teora de la inferencia con la clase de razonamiento deductivo que se usan continuamente en matemticas. No fue sino hasta fines del siglo XIX y comienzo del XX que se establecieron relaciones sistemticas entre la lgica y las matemticas, principalmente entre las obras de Freg, Peano y Russel. A pesar del alcance de sus investigaciones, slo en aos recientes ha sido formulada una teora completamente explicita de la inferencia, adecuada para manejar todos los casos de razonamientos deductivos, en matemticas y en las ciencias empricas. Es grande el nmero de personas que han contribuido a estos desarrollo recientes, pero quizs los ms prominentes han sido, Kurt Godel, David Hibert y Alfredo Tarski. En los ltimos aos de su desarrollo, la lgica ha llegado a los circuitos lgicos de los cerebros electrnicos, este hecho es un espectacular indicio de su influencia. No obstante, sera un error pensar que la teora de la inferencia, tiene validez solamente en lo que respecta a contextos cientficos.

La teora se aplica tanto a actuaciones en tribunales como a anlisis filosficos de las verdades eternas. En realidad, no es demasiado pretender que la teora de la inferencia lgica atae seria deliberacin humana. Para nuestro estudio la lgica matemtica ser la disciplina que trata de mtodos de razonamiento en un nivel elemental, es decir que en esta unidad estudiaremos la lgica proporcionando reglas y tcnicas para determinar si es o no vlido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad.

TEMATICA: Proposiciones y Conectivos Lgicos. A OBJETIVOS GENERALES DE UNIDAD: 1. Analizar proposiciones oracionales y expresar en lenguajes simblico haciendo uso de los conectivos. 2. Aplicar las propiedades de las proposiciones y conectivos lgicos de la construccin de tabla de verdad para su interpretacin simblica. a) PROPOSICIONES: 1. Definicin, Notacin y Formulacin OBJETIVOS a.1 Diferenciar proposiciones lgicas de simples frases mediante su definicin. a.2 Formular y denotar proposiciones lgicas, utilizando el respectivo simbolismo matemtico. a.3 Elaborar tablas de verdad, utilizando el respectivo simbolismo matemtico.

PROPOSICIONES: El objeto de estudio de la lgica, son las proposiciones y ciertas relaciones entre ellas, que constituyen las reglas del razonamiento vlido. Comenzaremos, pues, nuestro estudio, con la discusin del concepto de proposicin. Entendemos por proposicin o enunciado lgico, toda expresin u oracin de la cual es posible decir, en un momento y lugar dado, si es verdadera o falsa pero no ambos. Hay expresiones o enunciados que no representan proposiciones lgicas Vgr. Que bonito es el estadio Glorias Costenas! Adis pronto estar de regreso hola Buenos das! etc. A la calidad de verdadera o falsa que posee una proposicin le llamamos su valor de verdad. El valor de verdad de una proposicin la simbolizaremos con V, cuando sea verdadera y F cuando sea falsa. En el lenguaje simblico, usaremos letras minsculas para designar proposiciones. Por ej. a, b, c, d etc. Ejemplos: r : Rubn Daro escribi el libro titulado Azul. . . . . V t : Todos los gatos son amarillos. s : . . . . . . . . F . . . . V

dos ms dos es igual a cuatro

. . . .

a : Lisandro Chvez Alfaro escribi Los monos de San Telmos V De la primera y tercera afirmaciones podemos decir que su valor de verdad es verdadero, no as de la segunda expresin donde este es falso.

EJERCICIOS: 1. Determine cuales de los siguientes enunciados son proposiciones y cules no. La proposicin encontrada dentelas correctamente.

El producto Nacional Bruto fue superior a 500 millones de crdobas en 1980. Los estibadores del muelle municipal ganan menos de C$ 20 al da. Qu lindo es Corn Island! Por qu se matriculan en la carrera de informtica administrativas de matemticas? Qu esperas de esta carrera? Prstame tu lapicero. El 2% de 40 es 8. La intuicin es un buen sustituto de la razn. Lo tomas o lo dejas? Un tringulo equiltero tiene sus tres lados iguales. Cmo ests? El nmero uno no es primo. BICU y URACCAN son universidades de la costa Caribe de Nicaragua La URACCAN se fund en 1991 SEAR significa Sistema Educativo Autonmico Regional Viva Nicaragua! El profesor Arturo Jos Valdez fue reconocido como Hijo dilecto de Bluefields Qu hermosas son las playas del Bluff! Cinco menos siete es menos dos Cero es mayor que cien negativo La estadstica es la ciencia de la recopilacin, clasificacin, presentacin e interpretacin de datos. La URACCAN tiene tres recinto Bluefields, Nueva Guinea y Bilwi La suma de dos nmeros enteros impares es un nmero entero par Una ciudad limpia no es la que ms se barre sino la que menos se ensucia

La lectura es un hbito que debes practicar Una fraccin est compuesta por un numerador y un denominador

Proposiciones simples y compuestas De acuerdo a su estructura, las proposiciones se clasifican en simples y compuestas. Son proposiciones simples las que no pueden descomponerse en otras y compuestas aquellas que resultan de la conexin de dos o ms proposiciones simples. Por ej: Sandino naci en Niquinomo y Daro en Metapa. Resulta de conectar las proposiciones simples Sandino naci en Niquinomo y Daro naci en Metapa

Lizandro Chvez Alfaro naci en Bluefields y Las proposiciones compuestas estn formadas por dos o ms proposiciones simples unidas mediante una expresin que se conoce con el nombre de conectivo lgico, los conectivos lgicos empleados son; y, , si...entonces, si y solo si. No, no es cierto que Ejercicios: 1. Sealar si la proposicin es simple con una S y las compuestas con una C y escribir a la par cual es el conectivo lgico empleado.

La msica es muy suave o la puerta est cerrada. A las focas no les crece el pelo. A este perro grande le gusta cazar gatos. Si z > 10 entonces x+z >10 y y+z > 10. Nicaragua est al norte de Costa Rica y Costa Rica al Norte de Panam. Mi asignatura preferida es Estructura Discreta. Esta preposicin es compuesta, si y solo si se puede descomponer en otras preposiciones. Si Lus es un buen jugador, entonces participar en el partido del lunes. El bote cruzo la barra o se lo tragaron las olas.

Si la clase de matemtica ya ha empezado, entonces llego tarde. La comida ser hoy a las tres en punto. El gran oso negro andaba perezosamente por el camino de abajo. La msica es muy suave o la puerta est cerrada. x+y = y +x. A este perro grande le gusta cazar gatos. Este no es mi da feliz. Ha llegado el invierno y los das son ms cortos. Muchos grmenes no son bacterias tierra cerca de sitios hmedos. Si hay fallas en las grandes masas rocosas, entonces es posible que ocurran terremotos. Este nmero es mayor que dos o es igual a dos. Si es un nmero positivo entonces es mayor que cero. Este chico es mi hermano y yo soy su hermana. Mi puntuacin es alta o recibir una calificacin baja. Si usted se da prisa entonces llegar a tiempo. Si x>0 entonces y =2. Si x +y = 2 entonces z> 0. X =0 o y = 1 Si x =1 o z = 2 entonces y> 1. Las palabras esdrjulas tienen su slaba tnica en la tercera slaba. Las palabras agudas se acentan siempre que terminen en cualquier bocal, en n o s. Una slaba tnica lleva la mayor fuerza de voz y las tonas la menor fuerza de voz. Hay palabras formadas por una slaba entonces son palabras monoslabas. El acento ortogrfico es el que se pinta y el prosdico no se pinta. Si me dispongo a estudiar concienzudamente entonces tendr xito en mis calificaciones y mis padres se sentirn honrado. Los costeos necesitan de buenos profesionales. Aristteles y Platn fueron filsofos griegos.

b) CONECTIVOS LGICOS Y PROPOSICIONES COMPUESTAS OBJETIVOS b.1 Diferenciar entre los distintos conectivos lgicos a partir de su definicin y notacin. b.2 Construir las tablas de verdad de cada uno de los conectivos lgicos, reconociendo las caractersticas propias de cada conectivo. b.3 Determinar valores de verdad de proposiciones compuestas mediante la construccin de tablas de verdad y siguiendo las caractersticas de cada conectivo lgico que se incluya en la proposicin compuesta. b1. Conjuncin: definicin y tabla de verdad b.1.1 OPERADOR AND (Y) Conjuncin. Dos proposiciones (enunciado lgicos) cualesquiera se puede

combinar por medio de la partcula gramatical y para formar un nuevo enunciado compuesto que se llama la conjuncin de los enunciados. Su smbolo es: Se le conoce como la multiplicacin lgica (en la matemtica booleana): Cuando conectamos dos proposiciones simples simblicamente se denota por p q (lase p y q) Ejemplo: sea p: q: Entonces 2 es un nmero primo 2 es un nmero par 2 es un nmero primo y 2 es un nmero par

p q significa

tambin podra decirse: 2 es un nmero primo y es un nmero par El valor de verdad de p q es verdadero slo si ambas proposiciones p y q son verdaderas, y falsa en cualquier otro caso. Ejemplo: La proposicin p q del ejemplo anterior es verdadera porque: p: 2 es un nmero primo es verdadero

q:

2 es un nmero par

es verdadero

TABLA DE VERDAD PARA LA CONJUNCION ES LA SIGUIENTE p q pq V V V V F F F V F F F F Nota: Es importante observar que, para dos proposiciones simples distintas p y q, hay 4 combinaciones para los valores de verdad de p y q que puedan tomar simultneamente. La conjuncin se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Ejemplos.
a) Estoy en clase y recibo estructura discreta. (el conectivo es y)

Si denotamos la proposicin compuesta anterior, recibo estructura discreta. e: estoy en clases r : recibo estructura discreta

e: estoy en clase,

r:

Entonces la expresin ser e r : equivale decir: Estoy en clase y recibo estructura discreta. e r er V V V V F F F V F F F F b) Sea el siguiente enunciado El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batera Sean: p: El coche enciende. q: Tiene gasolina el tanque. r: Tiene corriente la batera.

De tal manera que la representacin del enunciado anterior usando simbologa lgica es as p = q r Su tabla de verdad es como sigue: q V V F F r V F V F p V F F F

El valor de q es V significa que el tanque tiene gasolina, r es V significa que la batera tiene corriente y p = q r es V significa que el coche puede encender. Se puede notar que si q o r son F, implica que el auto no tiene gasolina o bien que la batera no tiene corriente y por lo tanto no puede encender. El operador siguiente: en la teora de conjuntos equivale a la operacin de

interseccin , por ello se le puede representar como lo muestra la figura

Tambin tiene representacin circuital con interruptores como aparece en la figura 1.

Si los dos interruptores estn cerrados (indicando verdadero o 1 lgico) la lmpara se enciende de lo contrario no.

Figura No 1 Circuito con interruptores que representa la funcin lgica Conjuncin (AND) p r NEGACIN DE PROPOSICIN Negacin. La negacin de una proposicin cualquiera se obtiene modificando la proposicin original, anteponindole la partcula no es cierto que o simplemente no. . . cuando su construccin gramatical sea posible.

En el lenguaje simblico la negacin de la proposicin p se denota por p (lase no p). El valor de verdad de p es el opuesto del valor de verdad de p, esto es si p es V p ser F, y viceversa. Ejemplo 1 p: Managua es la capital de Nicaragua La negacin de p se escribe como p: No ocurre que Managua es la capital de Nicaragua o ms fcil como p: Managua no es la capital de Nicaragua Ejemplo 2 p: se calcul con 1, 000,000 de dgitos decimales en 1954 la negacin de p es la proposicin p: no se calcul con 1, 000,000 de dgitos decimales en 1954. p: es verdadera puesto que p es falsa ya que se calcul con 1, 000,000 de dgitos decimales en 1973. Podemos resumir esta definicin en la siguiente tabla, llamada tabla de verdad p p V F F V asigna a cada proposicin p la proposicin p. Entonces, Nota: El operador es un operador unitario sobre las proposiciones Tambin, la negacin tiene expresin en la teora de conjuntos y es el denominado complemento, cuyo diagrama de Venn es:

En trminos de circuito su representacin ser, como aparece en la siguiente figura , Cuando se cierra p la red se apaga y si p se abre la red se enciende.

EJERCICIOS:
A.

Simbolizar las proposiciones siguientes, completamente,

utilizando el smbolo lgico correspondiente para los trminos de enlace. Indicar la proposicin simple que corresponde a cada letra.

Juan vive en nuestra calle y Pedro en la manzana contigua. Los discos antiguos de Jos son buenos pero los modernos son todava mejores. Meti la nariz y ya sac tajada. El sol desaparece detrs de las nubes y en seguida El reactor se elevaba a nuestra vista y dejaba tras s una

empieza a refrescar. fina estela blanca.

Juana tiene trece aos y Rosa dos ms, entonces Rosa tiene quince aos. Jorge es alto y Andy es bajo. La estrella de mar es un equinodermo y los erizos de mar Hoy es da treinta y maana ser primero.

son tambin equinodermos.

El juego ha empezado y llegaremos tarde. En el hemisferio Sur, Julio no es un mes de verano. Los tubos de nen no son incandescentes. No ocurre que a todos los ingresos les correspondan impuestos proporcionales. Marte no est tan cercano al Sol como la Tierra.

Texas no es el mayor estado en los Estados Unidos. No ocurre que todos los lquidos hiervan a la misma temperatura. John Quincy Adams no fue el segundo Presidente de los Estados unidos. No todos los grmenes son bacterias. No ocurre que la ortiga de mar sea una planta. Luisa no es una persona alta. las proposiciones

B. Escriba la expresin en palabras usando correspondientes. p: Leo recibe Habilidades de Lenguaje q: Leo recibe Estructura Discreta r : Est lloviendo s : Hace calor t : Hay huracn

p q ____________________________________________ r s ____________________________________________ r t s ____________________________________________ ( s t ) _____________________________________ p r _____________________________________________ r s ______________________________________________ t r s ___________________________________________ ___ _______

C. Represente simblicamente la proposicin compuesta _. p: Estudio Estructura Discreta _. q: Comprendo lo que me explican

_. r: Dedico el tiempo necesario a mi autoestudio

Estudio Estructura Discreta y Comprendo lo que me explican _______ No Comprendo lo que me explican y necesario a mi autoestudio. _______ Dedico el tiempo

No dedico el tiempo necesario a mi autoestudio y Comprendo lo que me explican _________ No Estudio Estructura Discreta y no Dedico el tiempo necesario a mi autoestudio y Comprendo lo que me explican ________

No Comprendo lo que me explican _______ No es cierto que no Comprendo lo que me explican _______ No es cierto que no Dedico el tiempo necesario a mi autoestudio y no Estudio Estructura Discreta y Comprendo lo que me explican.

b.1.2. OPERADOR OR (O) Disyuncin: Dos enunciado cualesquiera se pueden combinar mediante la partcula gramatical o (en sentido no exclusivo, como en la proposicin llover maana o pasado maana) para formar un nuevo enunciado compuesto que se llama disyuncin de los enunciados previos. Simblicamente se denota la disyuncin de dos enunciados p o q (lase p o q). Ejemplo: Sean p : l estudi francs en la universidad q : l vivi en Francia Entonces p q es el enunciado vivi en Francia El valor de verdad del enunciado compuesto p q es verdadero siempre, excepto cuando ambos p, q son falsos. l estudi francs en la universidad o l por p q

Ejemplo: Sean p : 2 + 5 =4 q

(F)

: Bluefields es la capital de Nicaragua (F)

La proposicin p q es falsa porque ambas proposiciones son falsas. Ejemplo 1 r s : Nicaragua est al norte de Costa Rica (V) : 3 es un numero negativo (F)

La proposicin r s es verdadera dada que una de ellas es verdadera. Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se indica por medio de los siguientes smbolos: {, + , }. Se conoce como la suma lgica en el lgebra Boleana. En trminos literales se comporta como y/o Ejemplo 2 Sea el siguiente enunciado Una persona puede entrar al cine si compra su boleto u obtiene un pase. Dnde. p: Entra al cine. q: Compra su boleto. r: Obtiene un pase. De tal manera que la representacin del enunciado anterior usando simbologa lgica es p = q r Su tabla de verdad es como sigue: q V V F F r V F V F p V V V F

La nica manera en la que no puede ingresar al cine p es f, es que no compre su boleto (q es f) y que no obtenga un pase (r es f).

Ejemplo 3

m:

Ir al estadio si juega Santa f o me invitan

Compuesta por las proposiciones: p : Juega Santa F q : Me invitan al estadio

Se obtiene la proposicin compuesta cuya notacin es .m: p v q

La tabla de verdad correspondiente es: p V V F F q V F V F m V V V F

En cualquier caso la operacin OR o la disyuncin se asimila a la operacin Unin entre conjuntos, por ello en diagrama de Venn se representa, as:

. Diagrama de Venn de una Disyuncin p q Y en circuito de conmutacin, as:

De tal suerte que es suficiente con que uno de los dos interruptores este cerrado para obtener un 1 lgico, es decir que sea V, para que la lmpara encienda

Figura No 2. Representacin circuital de una disyuncin (OR) p v q En las expresiones que incluyen algunos o todos los operadores , y , en la ausencia de parntesis, primero se evala despus y luego . Esta convencin se conoce como precedencia del operador. En lgebra la precedencia del operador indican que se evalan * y / antes que + y Ejemplo 4 Suponga que p : es falsa (F) q : es verdadera ( V )

r: es falsa (F) Determine si la proposicin p q r Solucin Primero se evala p que es verdadera Despus se evala q r que es falsa. Por ltimo se evala p q r que es verdadera EJERCICIOS:
A.

es falsa o verdadera

Simbolizar completamente las proposiciones siguientes, utilizando

el smbolo que corresponde a cada trmino de enlace. Indicar la proposicin simple sustituida por letra minscula.

El rea del tringulo ABC es igual al rea del tringulo DEF, o el rea del tringulo ABC es menor que el rea del tringulo DEF. _________

Tomar parte en el salto de altura o correr media milla. Tomar parte en la representacin o ayudar en el vestuario. __________ El bote cruz la barra o se lo tragaron las olas.

_________

____________

Hemos de llegar all antes, u otro recibir el empleo. La Juan B. A la aguja ser par est gastada o o la grabacin para es un mala. puesto es criba en

____________ ______________ reelegido de cada destinado nuevo.___________ expresi n simblica palabr as las proposi cione s indicadas. p: El c lima est indu stri as cambi an do s: Hay con trol sobre l as gran des

q: Hay muchas deforestaciones invierno r: La tierra se est calentando secando * ( p q) u :

t : Est lloviendo ms en verano que en

u : Son muchos los ros que se estn

________________________________________________________ * t r : ___________________________________________________________ * s ( r p) ________________________________________________________ * p u : ________________________________________________________ sruq :_______________________________________________________________ __________________________________________________________ C. Form ul e su propi a ex pre sin simb lica si n re pe tir las del ejercici o a nterior usa nd o las letra s que repres enta cada pr opos icin sim ple y es criba en cada lne a el signific ado de la proposi cin c om pues ta . _______________________________________________________________ _______________________________________________________________ _______________________________________________________________ _______________________________________________________________ _______________________________________________________________ _______________________________________________________________ _______________________________________________________________ _______________________________________________________________ _______________________________________________________________ _______________________________________________________________ _______________________________________________________________ :

_______________________________________________________________ _______________________________________________________________ _______________________________________________________________ _______________________________________________________________ _________________________ D. Represente simblicamente la proposicin compuesta.

El clim a est cambi an do o no ocurre qu e h ay con trol en l as grand es indu stri as ___ ____ No es cierto qu e est lloviendo ms en verano que en invierno y Son muchos los ros que se estn secando ______________ La tierra no se est calentando o son muchos los ros que se estn secando y hay muchas deforestaciones _____________ Est lloviendo ms en verano que en invierno y no es cierto que la tierra se est calentando y el clim a est cambiand o ___ ____ ___ El cl ima est cambi an do y hay control sob re las g rand es

indu stri as o hay muchas deforestaciones y est lloviendo ms en verano que en invierno __________

b.1.4. PROPOSICIONES CONDICIONALES: Definicin y tabla de verdad Si p y q son proposiciones, la proposicin proposicin condicional y se denota por p q Se lee Si p entonces q (1) si p entonces q se llama

La proposicin p se llama hiptesis (o antecedente) y la proposicin q recibe el nombre de conclusin (o consecuente) Ejemplo.1 El decano de la escuela anunci que Si el departamento de matemticas obtiene $40,000 adicionales, entonces contratar un nuevo acadmico. (2)

La afirmacin establece que con la condicin de que acadmico. condicional. Si se define Este tipo de proposicin se conoce

el departamento de como proposicin

matemticas obtiene $40,000 adicionales, entonces contratar un nuevo

p: El departamento de matemticas obtiene $40,000 adicionales p: El departamento de matemticas contrata un nuevo acadmico Entonces la proposicin (2) toma la forma (1). La hiptesis es la afirmacin El departamento de matemticas obtiene $40,000 adicionales y la conclusin es la afirmacin El departamento de matemticas contrata un nuevo acadmico Cul es el valor de verdad para la afirmacin del decano (1)? Primero suponga que el departamento de matemticas obtiene $40,000 adicionales. Si de hechos contrata otro acadmico, la afirmacin del decano es verdadera entonces p q es verdadera cuando ambas son verdaderas.

Por otra parte si el departamento de matemticas obtiene $40,000 adicionales y no contrata un nuevo acadmico, el decano est equivocado y p q es falso cuando p es verdadero y q falso. Ahora considere que el departamento de matemticas no obtiene $40,000

adicionales. En este caso, el departamento de matemticas puede o no contratar el acadmico. Por supuesto, no se considerara falsa la afirmacin del decano. As, si el departamento de matemticas no obtiene los $40,000 la afirmacin del decano debe ser verdadera, sin importar si el departamento contrata o no otro acadmico es decir si p es falsa entonces verdadera para q verdadera o falsa. Este anlisis motiva la siguiente definicin: El valor de verdadero de la proposicin condicional p q est definido por la siguiente tabla de verdad. p V V F F q V F V F pq V F V V p q es

En las expresiones que incluyen a los operadores lgicos , , y , el operador condicional evala al final cuando no se especifica por medio de signo de agrupacin. Ejemplo.2 p q r se interpreta como ( p q ) ( r ) Suponiendo que p es verdadera q es falsa y r verdadera encuentre el valor de verdad de cada proposicin. a

pq r

p q r

p (q r)

p (q r) a

Primero se evala p q y al final se evala . p q Es falsa. Por lo tanto p q r es verdadera.

b c d

) ) )

p q es verdadero r es falso. Al evaluar p q r resulta falso. q r Resulta verdadero luego p ( q r ) es verdadero. q r Es verdadero tenemos entonces que p ( q r ) es verdadero.

Algunas afirmaciones pueden escribirse como proposiciones condicionales. Ejemplo: 3 Mara ser una buena estudiante si estudia mucho La hiptesis es una clusula que sigue a si equivalente es: Si Mara estudia mucho, entonces ser una buena estudiante Ejemplo: 4 ; entonces una formulacin

Juan toma clculo slo si est en 2o , 3o o 4o ao de la universidad La afirmacin significa que para que Juan tome clculo debe estar en 2o , 3o o 4o ao de la universidad. En particular, si est en 1o no puede tomar clculo. A s, se concluye que si toma clculo, entonces est en 2o , 3o o 4o ao. Por lo tanto, una formulacin equivalente sera: Si Juan toma clculo, entonces est en 2o , 3o o 4o ao Observe que Si Juan est en 2o , 3o o 4o ao, entonces toma clculo, no es una formulacin equivalente. Si Juan est en 2o , 3o o 4o ao, puede o no tomar clculo. Es decir que aunque sea elegible tomar clculo, puede decidir no tomarlo. La formulacin si p entonces q hace hincapi en la hiptesis mientras que la formulacin p slo si q resalta la conclusin; la diferencia es nada ms de estilo

Ejemplo: 5 Cuando cantas, me duelen los odos En este contexto equivalente es: Si cantas, me duelen los odos. Ejemplo: 6 Una condicin necesaria para que los Cachorros ganen la Serie Mundial es que contraten a un pitcher suplente diestro Una condicin necesaria es slo eso: una condicin que se necesita para lograr un resultado particular. La condicin no garantiza el resultado; pero si no se cumple, el resultado no se lograr. Aqu, la afirmacin significa que si los Cachorros ganan la Serie Mundial, podemos estar seguros de que contrataron un pitcher suplente diestro, ya que sin ese contrato no habran ganado. As, una formulacin equivalente es: Si los Cachorros ganan la Serie Mundial, entonces contrataron un pitcher suplente diestro La conclusin expresa una condicin necesaria. Observe que Si los Cachorros contratan un pitcher diestro, entonces ellos ganan la Serie Mundial No es una formulacin equi9valente. Contratar un pitcher suplente diestro no es garanta de que ganarn la Serie Mundial. Sin embargo, no contratarlo garantiza que no ganarn la Serie Mundial. Ejemplo: 7 Una condicin suficiente para que Mara visite Corn Island es ir a la playa Brig Bay el adverbio cuando equivale a si, luego la formulacin

De manera similar al ejemplo anterior, una condicin suficiente es una condicin que basta para garantizar un resultado particular. Si la condicin no se cumple, el resultado puede lograrse de otra forma o tal vez no se logre; pero si la condicin se cumple, el resultado est garantizado. Aqu, para asegurar que Mara visite Corn Island, basta con que vaya a la playa Brig Bay. (Sin duda, hay otras formas de asegurar que Mara Visite Corn Islan; podra ir a Picny Center). As, una formulacin equivalente a la afirmacin en cuestin es: Si Mara va a la playa Brig Bay, entonces visita Corn Island La hiptesis expresa una condicin suficiente Observe que Si Mara visita Corn Island, entonces va a la playa Brig Bay No es una formulacin equivalente. Como se observ hay otras maneras de asegurar que Mara visite Corn Island que ir a la playa Brig Bay. Ejemplo: 8 Sea p :1 2 q : 4 8

Entonces p es falsa y q es verdadera por lo tanto p q es verdadera, q p es falsa Este ejemplo muestra que la proposicin p q es verdadera mientras que q p es falsa. La proposicin q p se llama la recproca de la proposicin p q . As, una proposicin condicional puede ser verdadera mientras que su recproca es falsa. Ejemplo: 9 Escriba la siguiente proposicin condicional y su recproca en smbolo y en palabra adems encuentre su valor de verdad. Adems suponga que aunque no reciba beca siempre va a la universidad. Si Jess recibe una beca, entonces ir a la universidad Sea p : Jess recibe una beca

q : Jess va a la universidad La proposicin se escribe en smbolo p q . Como la hiptesis es falsa. La proposicin condicional es verdadera. La recproca de la proposicin es Si Jess va a la universidad, entonces recibe una beca. La recproca se escribe en smbolo como q p . Puesto que la hiptesis q es verdadera y la conclusin es falsa, recproca es falsa. EJERCICIOS
A.

Simbolizar las proposiciones siguientes, utilizando los smbolos

correspondientes para los trminos de enlace. Sealar la proposicin simple representada por letra minscula.

Si hace suficiente fro, entonces el lago se helar. Si las luces estn encendidas, entonces la familia lvarez est encasa. Si dos pulsaciones se atraviesan, continan conservando la forma original. Si pierde usted el autobs, entonces tendr que andar. Si usted se dirige hacia el norte, entonces llegar a Canad maana. Si es un cido, entonces contiene el elemento Si dos y tres son cinco, entonces tres y dos son cinco. Si x es igual a dos, entonces x ms uno es igual a Si hoy es siete, entonces el viernes es nueve.

tres. joven. B.

hidrgeno.

Si su produccin crece, entonces Juan podr estabilizar el precio. Si Juana es ms joven entonces Antonia es ms vieja. Si Antonia es ms vieja entonces Luisa es ms En los siguientes ejercicios restablezca cada proposicin en la

forma de una proposicin condicional buscando su expresin

equivalente y escriba para cada ejercicio su recproca.

Jos pasar el examen de estructura discreta si estudia mucho. Rosa se graduar si tiene crditos por 160 horas trimestre. Una condicin necesaria para que Fernando compre computadora es que obtenga $800. una

Una condicin suficiente para que Kenia tome curso de logaritmos es que apruebe matemticas discretas. Cuando se fabriquen mejores automviles, Buick los fabricar. La audiencia se dominar si el maestro de ceremonias da un sermn. Si la red se cae, entonces Daro no puede entrar a Internet encuentre el valor de siguientes ejercicios verdad para cada proposicin en los

C. Suponiendo que p y r son falsa y que q y s son verdaderas

p q ____ ____

p q _____

( p q ) _____

( p q) ( q r )

( p q ) r __
_____

p ( q r ) ___

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

[ ( p q ) ( q r ) ] ( s q )
_________

_______

[ (s r) (s q)] [(p s) (q v r)] _________ [s ( (r s) q )] p _______ (p p ) [(r s) ( r q)] _______ [ ( s r ) (r s )] [ ( s s ) (q r ) ] ________

b.1.5. DOBLE IMPLICACIN O BICONDICIONAL: Definicin y tabla de verdad. Una proposicin compuesta til es p si y slo si q se considera verdadera precisamente cuando p y q tiene el mismo valor de verdad (es decir, si p y q son ambas verdadera o ambas falsas)

Sean p y q

dos proposiciones entonces se puede indicar la proposicin

bicondicional de la siguiente manera: p q Se lee p si slo si q

El valor de verdad de la proposicin p q se define por la siguiente tabla de verdad:

q V V V V F F F V V Una alternativa de establecer p si y slo si F F V q es p es una condicin necesaria y suficiente para q Ejemplo1 Sea p : 1 5 , q : 2 7 puesto que ambas p y q son verdaderas la

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

proposicin p q Es verdadera. En este momento ya se pueden representar con notacin lgica enunciados ms complejos. Ejemplo1 Del enunciado hallar la condicin de verdad: Si tengo dinero, entonces, pagar el semestre; o, no pago el semestre y voy a Europa. Si y solo s, si voy a Europa, entonces, tengo dinero. Est compuesto por tres proposiciones que son: .p: .q: r: Tengo dinero Pagar el semestre Ir a Europa

La notacin correspondiente es:

z: p V V V V F F F F q V V F F V V F F

[(pq)( q r )] (r p) r pq q r r p q F V V V V F F V V V V V F V V V F F F V F V V V F F F V V V V V V V F V F V F V

(pq)( q r ) V V V F V V V V

z V V V F F V F V

La tabla de verdad que presenta est proposicin dando cuenta de su veracidad, como se puede observar hasta no resolver el corchete, no se puede hacer la doble implicacin. Primero se desarrollan los dos parntesis redondos por estar dentro del corchete y posteriormente se resuelve la disyuncin. Simultneamente se ha podido resolver la implicacin, o se puede hacer luego. Resuelto todo esto ahora, si se procede a encontrar el valor de la bicondicional. En algunos ejercicios aparecer el smbolo el que se leer equivalente a Ejemplo 3. Sea el siguiente enunciado Si no pago la luz, entonces me cortarn la es

corriente elctrica. Y Si pago la luz, entonces me quedar sin dinero o pedir prestado. Y Si me quedo sin dinero y pido prestado, entonces no podr pagar la deuda, si solo si soy desorganizado Donde: p: Pago la luz. q: Me cortarn la corriente elctrica. r: Me quedar sin dinero. s: Pedir prestado. t: Pagar la deuda. w: Soy desorganizado. ( p q ) [ p ( r s ) ] [( r s ) t ] w

La tabla de verdad debe realizarla a modo de ejercicio

EJERCICIOS COMBINADOS. A. Simbolizar las proposiciones siguientes compuestas

sustituyendo las proposiciones simples por letras minsculas. 1. Necesito ponerme las gafas o esta luz es dbil. Sea n =Necesito ponerme las gafas e =Esta luz es dbil, Entonces la proposicin queda simbolizada en la forma : n v e 1. Los patitos no se transforman en cisnes.
2. Daba tres pasos hacia la derecha, entonces iba dos pasos hacia

adelante. 3. Estos problemas no son fciles para m. 4. Si suena el timbre, entonces es hora de empezar la clase. 5. tarde. 6. 7. 8.
B.

Si la clase de Qumica ya ha empezado entonces llego Una parte de la Luna no se ve desde la Tierra. Antonio ir al teatro o ir al cine. Las rosas son rojas y las violetas son azules. 9. Si Brasil est en Sudamrica entonces est en el hemisferio Sur. Traducir al lenguaje corriente las siguientes proposiciones y

sustituya en otras que tengan la misma forma. (Utilizar el mismo trmino de enlace y sustituir las letras con proposiciones simples. Especificar cul es el valor de verdad de la proposicin compuesta. Sea p : Laguna de Perla est al sur de Bluefields. F q : Rosita se ubica al oeste de Bilwi. V r : El Wala gallo es un baile de la cultura Garfuna. V s : La regin Zelaya se dividi en RAAS Y RAAN en 1985. F t : SEAR significa Sistema Educativo Autonmico Regional. V
1. t r :

4. (r p ) (s t ) 5. q s t p 6. q ( s r ) t ( p q )

2. t r s p 3. p s

7. p (r (t q ))
8. ( (r p ) (s t ) )

13. ( p s ) ( p s ) ( s p ) 14. (q t ) (t q ) 15.

9. (( p s ) p s ) 10. p (q s) r t 11. ( p q ) (q p) 12. ( s t ) ( s t ) (t s )

[ ( p s) (q t )] [ (q t ) ( p s)]

C.

Cada una de las proposiciones siguientes es compuesta.

Primero indicar cules son los trminos de enlace de cada proposicin. Despus escribir separadamente las proposiciones simples que se encuentran en cada una de las proposiciones compuestas. 1. Juan es el segundo y Toms es el cuarto. 2. 3.
5.

Jaime es el ganador o Lus es el ganador. Jos no es el ganador. 4. Si Toms es el ganador entonces l tendr la medalla. Si Toms no es el ganador entonces debe colocarse en Los Alpes son montaas jvenes y los Apalaches son 7. Las araas no son insectos. 8. Si las araas son insectos entonces han de tener seis patas. 9. Si un material se calienta entonces se dilata. 10.Muchos planetas son o demasiado clidos para que vivan seres como nosotros o demasiado fros para que vivan seres como nosotros
D. Simbolizar

segundo lugar.
6.

montaas viejas.

las

proposiciones

matemticas

siguientes

sustituyendo las proposiciones atmicas por letras maysculas. Recurdese que es la negacin de =.
1.

Si x =y entonces x =2
2. Si y 2 entonces y>1. 3. Si x 2 o x 3 entonces x = 1.

6.

x + y = 2 y y = 1

7. x + y + z = 2 o x + y = 10 8. si x y y y z entonces

x z
4. Si

x +y =3 entonces y + x = 3.

9. si x + y z y z 1 = 1 10 Si x y, entonces x 1 y x

entonces x+y 1
5.

Si x y =2 entonces y x 2. 2.

c) TAUTOLOGIA Y CONTRADICCION: OBJETIVOS: Diferenciar entre una tautologa y una contradiccin, utilizando las tablas de verdad. E. 1 Tautologa. Tautologa, es aquella proposicin (compuesta) que es cierta para todos los valores de verdad de sus variables. Ejemplo:

[( p q) ( q r ) ] ( p r )
p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F V V V V qr V F V V V F V V pr V F V F V V V V
ab V F F F V F V V

( a b) c
V V V V V V V V

Ntese que en las tautologas para todos los valores de verdad el resultado de la proposicin es siempre verdadero ( v ). Las tautologas son muy importantes en lgica matemtica ya que se consideran leyes en las cuales es posible apoyarse para realizar demostraciones.

C. 2. Contradiccin Una contradiccin es aquella proposicin que siempre es falsa para todos los valores de verdad, una de las ms usadas y ms sencilla es p . Como lo p muestra su correspondiente tabla de verdad. Por ejemplo p: La puerta es verde. La proposicin p equivale a decir que La puerta es verde y la puerta no es p verde. El valor de verdad de la proposicin siempre es falso por tanto es una contradiccin. p p V F F V c.3 Contingencia Se le llama contingencia a aquella proposicin donde los valores de verdad no son todos falsos, ni son todos verdaderos. Ejemplo: p p F F

[( p q) ( p r )] ( q r )
p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F F F F F pr V F V F F F F F qr V F V V V F V V

[ a b] [ a b] c
V F V V V V V V V V V V V F V V

EJERCICIOSSean a, b y c proposiciones distintas. Determnese por medio de tablas de verdad cules son tautologas, cules contradiccin y cules contingencia.
1. a (-a b) 2. -(a v b) (b v a) 3. a (a v b) v c 4. ( a v b ) -b 5. (a b) (b a ) 6. f ( a b) b 7. (a b) (a v c) 8. (a b ) (a b ) v c 9. a v (- a b) v (-a -b) 10. j (a -a) ((b v c) v b) 11. -(a b) (-a v b)

12. 13. 14.

( p q ) ( p q )

( p q ) ( p q )

[ ( p q ) ( q r ) ] ( p r ) 15. [ ( p q ) ( q r ) ] ( p r ) [ ( p q ) ( q r ) ] ( p r ) [( p q) ( p r )] ( q r ) [ p ( p q) ] q [ q ( p q ) ] p [ p ( p q ) ] q [( p q) ( q r ) ] ( p r ) [ p ( q r ) ] [( p q) r ]

16. 17. 18. 19. 20. 21. 22.

II Unidad: Variante de la condicional De una condicional p q pueden obtenerse otras condicionales mediante un arreglo realizado sobre la condicional original, ya sea afirmando o negando algunas de sus partes. La proposicin p q, se puede leer como sigue: a. p implica q. b. p es suficiente para q. c. p slo si q. d. q es necesario para p. Dada la condicional p q, tenemos: a) q p llamada reciproca o conversa. b) p q llamada inversa o contraria. c) q p llamada contrarrecproca o contrapositiva. Ejemplo: Sea la condicional p q: Si un triangulo es equiltero, entonces es issceles La recproca es q p: Si un tringulo es issceles, entonces es equiltero La inversa es p q: Si un tringulo no es equiltero, entonces no es issceles La contrapositiva es q p: Si un tringulo no es issceles, entonces no es equiltero Por supuesto no es lo mismo decir que Todo tringulo equiltero es issceles que decir Todo tringulo issceles es equiltero. Este ejemplo ilustra el hecho de que la verdad de una implicacin no implica la verdad de su recproca. Muchas de las falacias ms comunes resultan de la confusin de una implicacin y su recproca. Bicondicional (Doble implicacin): Un enunciado de la forma p si, y solamente si, q se llama bicondicional, doble implicacin o coimplicacin. Simblicamente se representa por p q.

Ejemplo: Sea p: Tringulo equiltero; q: Tringulo equingulo. Un triangulo es equiltero si, y solamente si, es equingulo p q Las proposiciones compuesta p q se puede leer de las siguientes formas: 1. p si y solo si q. 2. p es equivalente a q. 3. p implica q y q implica p. 4. p es condicin necesaria y suficiente para q. Ejemplos: 1. Un triangulo es equiltero, si y solo si, es equingulo 2. Un triangulo equiltero es equivalente a un triangulo equingulo
3.

Si un triangulo es equiltero, es equingulo y si es equingulo, es equiltero

4. Una condicin necesaria y suficiente para que un triangulo sea equiltero es que sea equingulo, o tambin: Que un triangulo sea equiltero es condicin necesaria y suficiente para que sea equingulo. El valor de verdad de la bicondicional es verdadero nicamente cuando ambas proposiciones p y q tienen el mismo valor de verdad. Tabla de verdad del bicondicional p V V F F q Pq V V F F V F F V

La proposicin p q puede definirse como la proposicin (p q)^(q p), si sabemos que p q es verdadera, el valor de verdad de cualquiera de su componentes determina el valor de verdad de la otra, ej: Si p q es verdadera y sabemos que p es falsa, podemos afirmar que q es tambin falsa, y viceversa. La implicacin, por otra parte, establece una conexin ms dbil entre sus componentes: Si p q es verdadera y sabemos que p es verdadera, podemos afirmar que q es verdadera; pero si p es falsa, no podemos determinar el valor de verdad de q. Pasos para construir una tabla de verdad:

1.

Deben incluirse todas las posibles combinaciones de los valores de verdad de las proposiciones simples componente (2n para el caso de n proposiciones simples), sin repetir ninguna.

2.

En caso de que la proposicin compuesta incluya signos de agrupacin, debe procederse primero con las ms interiores y sucesivamente con las de mayor complejidad.

3.

Convencin: los conectivos y dominan sobre v e ^, y estos, a su vez, dominan al modificador .

Ejemplos: 1. Represente simblicamente la proposicin: a. Si llueve maana y no se repara el techo, la casa se inundar. r: llueve maana q: Se repara el techo s: La casa se inundar r V V V V F F F F
2.

(r ^ q) s

q V V F F V V F F

s q (r ^ q) (r ^ q) s V F F V F F F V V V V V F V V F V F F V F F F V V V F V F V F V

Represente simblicamente la proposicin:

a.

La cosecha sobrevivir, si y solo si se construyen zanjas de riego; y si la cosecha no sobrevive, los campesinos tendrn que emigrar. c: La cosecha sobrevivir z: Se construyen zanjas de riego e: Los campesinos emigrarn (c z) ^ (c e)

Elabore la tabla de verdad Tautologa. Tautologa, es aquella proposicin (compuesta) que es cierta para todos los valores de verdad de sus variables.

Contradiccin Una contradiccin es aquella proposicin que siempre es falsa para todos los valores de verdad, una de las ms usadas y ms sencilla es p . Como lo p muestra su correspondiente tabla de verdad. Contingencia Se le llama contingencia a aquella proposicin donde los valores de verdad no son todos falsos, ni son todos verdaderos. Implicacin Tautolgica: Dadas dos proposiciones p, q (no necesariamente simples), decimos que p implica tautolgicamente a q, si la proposicin p q es una tautologa. Equivalencia Tautolgica: Dadas dos proposiciones p, q (no necesariamente simples), decimos que p y q son tautolgicamente equivalente si p q es una tautologa. Las implicaciones y equivalencias tautolgicas juegan un papel

fundamental en la llamada teora oracional de la inferencia, que es objeto de estudio en la siguiente unidad. Ellas constituyen, precisamente, las reglas de razonamientos a que nos hemos referidos al comienzo del captulo, y por esa razn son tambin llamadas leyes de inferencia o reglas de inferencia.

TABLAS DE TAUTOLOGAS TILES Implicaciones tautolgicas Ley de la separacin Modus Tollendo Tollens Modus Tollendo Ponens Ley de la simplificacin Ley de la Adjuncin Ley del silogismo Hipottico Ley de la exportacin Ley de la importacin Ley del Absurdo Ley de la adicin Ley de monotona para Disyuncin Ley de monotona para Conjuncin Equivalencias Tautolgicas Ley de la doble Negacin Ley de la Contraposicin Leyes de Morgan Leyes conmutativas Leyes asociativas Leyes de Idempotencia Leyes Distributivas Ley de equivalencia para p ( p) (p q) ( q p) (p ^ q) p v q (p v q) p ^ q p^qq^p pvqqvp p ^ (q ^ r) (p ^ q)^ r p v (q v r) (p v q)v r pvpp p^pp p ^ (q v r) (p ^ q) v (p ^ r) p v (q ^ r) (p v q) ^ (p v r) la (p q) (p v q) (p^(p q)) q (q ^ (p q)) p p ^ (p v q) q (p ^ q) p p^qp^q ((p q)^(q r))(p r) ((p ^ q) r) (p (q r)) (p (q r)) ((p ^ q) r) (p (q ^ q)) p ppvq (p q)(p v r q v r) (p q)(p ^ r q ^ r)

Implicacin y Disyuncin Ley de la Negacin para la Implicacin (p q) p ^ q Una ley para oraciones (p q) ((p q)^(q p)) bicondicionales Ley del tercero Excluido Ley de contradiccin (p q) ((p ^ q)v (p ^ q)) p v p (p ^ p)

III Unidad: Teora oracional de la inferencia En la unidad anterior estudiamos los conceptos bsicos de la lgica matemtica, tales como: Proposiciones, conectivos lgicos, tablas de verdad, tautologa y en especial hemos estudiado de manera exhaustiva la implicacin

tautolgica. Este concepto ser la herramienta principal en la exposicin del concepto de inferencia. Para ello empezaremos por definir algunos conceptos fundamentales:
a. Premisa: Es la proposicin que se prueba de antemano o que se da

como cierta, la cual sirve de base a un argumento.

b. Argumento: Es el razonamiento empleado para demostrar que una

proposicin se sigue o no de un nmero finito de premisas dadas.

c. Conclusin: Es la proposicin inferida a partir de un numero finito de

premisas dadas.
d. Inferir o deducir: Es el razonar sacando de una o ms proposiciones

dadas una proposicin nueva. Inferencia o deduccin: Para entender mejor la idea de inferencia empezaremos por presentarla como la exposicin detallada de la forma de realizar un juego. El juego tiene la siguiente forma: Comenzamos con un nmero determinado de frmulas, que llamamos premisas. El objeto del juego consiste en aplicar las reglas de manera que se obtenga alguna otra frmula dada (la conclusin dada). El nmero de premisas dadas corresponden a la posicin inicial de un jugador en el juego. Por una sucesin de jugadas (cada jugada esta sancionada por una regla) llegamos a la posicin del triunfo: La conclusin propuesta. Para evitar jugadas tontas debemos aprender a ejecutar jugadas pertinentes, que en nuestro caso serian, las leyes de la inferencia. Toda la teora oracional de la inferencia la podemos resumir de la manera siguiente: q se sigue lgicamente de p si q est tautolgicamente implicada por p. Esto pudiera interpretarse en una forma sencilla as; de premisas verdaderas se obtienen slo conclusiones que son verdaderas

As que, para determinar si en virtud de las propiedades lgicas de los conectivos oracionales, una conclusin dada se sigue lgicamente de un nmero de premisas dadas, necesitamos solamente construir la tabla de verdad correspondiente y ver si la conjuncin de las premisas implica tautolgicamente a la conclusin. Por ejemplo, supngase que deseamos saber si la conclusin Esta sustancia contiene oxigeno se sigue lgicamente de las dos premisas: 1) esta sustancia contiene hidrgeno o contiene oxgeno. 2) Esta sustancia no contiene hidrgeno. Sean: p: Esta sustancia contiene hidrgeno. q: Esta sustancia contiene oxgeno. El planteamiento sera: Premisa 1: p v q Premisa 2: p___ Conclusin: q Para decir si el argumento es vlido, esto es, si la conclusin dada se sigue lgicamente de las premisas, necesitamos determinar si la conjuncin (p v q) ^ p implica tautolgicamente a q. Para esta tarea construimos la siguiente tabla de verdad. p q P q V V V F F V F F V V V F F F V V F F V F V V V V v p (p v q) ^ p ((p v q) ^ p) q

Observamos que ((p v q) ^ p) implica tautolgicamente a q. Concluimos que el argumento es vlido, esto es, que la conclusin es una consecuencia lgica de las premisas. Sin embargo hay dos buenas razones para desarrollar una teora de la inferencia oracional, que no consista simplemente en construir una tabla compacta de verdad para comprobar la validez de un argumento. Estas son: a. Lo tedioso de construir una tabla de verdad cuando est involucrado un gran nmero de proposiciones simples. b. El mtodo de la tabla directa de verdad no nos permite descubrir las conexiones intermedias que nos conllevan a afirmar que la conclusin es una consecuencia lgica de las premisas. Mtodos de Prueba: prueba directa, prueba condicional, prueba indirecta (o por reduccin al absurdo). Prueba Directa: Todo problema de inferencia consta de dos elementos fundamentales: Las premisas y la conclusin. A la conjuncin de todas las premisas de un problema dado le llamaremos sistema de premisas, y, en general, denotaremos un sistema P as: P= p1 ^ p2 ^ p3 ^ ^ pn, donde p1,..pn son las premisas del sistema. Decimos que una conclusin p se sigue lgicamente (se infiere, se deduce) de un sistema de premisas P, si la implicacin P p, es una tautologa, o, de manera equivalente, si P implica tautolgicamente a p. Mediante el uso de la tabla de verdad se puede establecer una conclusin y para esto desarrollaremos un mtodo alternativo para conseguir el mismo propsito. El mtodo puede ser descrito de la manera siguiente: La demostracin de que una conclusin p es consecuencia de un sistema de premisas P= p1 ^ p2 ^ p3 ^ ^ pn se presenta como una cadena de proposiciones, la ultima de la cuales es precisamente la conclusin p, y, cada

proposicin de la secuencia, es implicada tautolgicamente por una o ms de las proposiciones que la preceden (de ah la importancia de las equivalencias implicaciones tautolgicas). Los primeros trminos de la secuencia de proposiciones son, precisamente, las premisas del sistema. El hecho de que una proposicin cualquiera de la secuencia sea implicada tautolgicamente por una o ms de las proposiciones precedentes, se establece recurriendo a las implicaciones y/o equivalencias tautolgicas presentada en el capitulo anterior; es precisamente por esta razn, que las implicaciones y equivalencias tautolgica son llamadas Leyes de inferencia. Ilustraremos la aplicacin del mtodo, en el ejemplo que sigue: Supongamos que se nos dan como premisas, las siguientes proposiciones: a v b, a c, b d, c; y se nos pide establecer, como conclusin, la proposicin d. La secuencia de proposiciones podra ser: 1) a v b 2) a c 3) b d 4) __c_____
5) a

(2,4) c ^ (a c) a Modus tollendo tollens; a es implicada

tautolgicamente por a c y c. 6) b (1,5) a ^ (a v b) b Modus tollendo ponens; b es implicado

tautolgicamente por a y a v b. 7) d (3,6) b ^ (b d) d Ley de separacin; d es implicada

tautolgicamente por b y b d. Debe notarse que cada uno de los pasos intermedios de la cadena o secuencia de proposiciones que nos lleva a establecer la conclusin, es el resultado de la sustitucin de una o ms de las proposiciones precedentes en alguna implicacin o equivalencia tautolgica anteriormente establecida. Los nmeros

a la derecha de cada proposicin, indican las lneas usadas en la inferencia inmediata. No existe un procedimiento mecnico que indique qu leyes de inferencia deben ser empleadas en cada etapa de una deduccin, o qu camino ser el ms corto para llegar a la conclusin deseada. En este sentido, la nica gua es la prctica y la familiaridad con las leyes de inferencia. Para concluir esta seccin, debemos sealar que, an cuando no ha sido formalmente establecido, es posible demostrar que el mtodo descrito constituye efectivamente una demostracin de que la conclusin es implicada tautolgicamente por la conjuncin de las premisas. Prueba condicional: El mtodo de la prueba condicional es otro de los mtodos existentes para resolver problemas de inferencia. Es usado en aquellos casos en los cuales la conclusin resulta ser una implicacin o una expresin equivalente a esta, es decir, p q p v q etc. Dado un sistema de premisas P= ( p1 ^ p2 ^ p3 ^ ^ pn ) donde p1, p2 , p3 pn son las premisas del sistema y una conclusin (implicacin o equivalente), r s tenemos que probar que el sistema de premisas P, implica tautolgicamente a la conclusin r s, es decir, P (r s)(P ^ r) s, con lo cual podemos ver que el sistema de premisas en conjuncin con el antecedente de la conclusin deben implicar tautolgicamente al consecuente de la misma, si P (r s) es tautologa. Dado esto, podemos deducir el siguiente mtodo de trabajo: Teniendo un cierto sistema de premisas y una conclusin, la cual es una implicacin o expresin equivalente se toma el antecedente de la conclusin como nueva premisa y en conjuncin con el sistema de premisas se deriva el consecuente, como si estuviera usando el mtodo de prueba directa. Ejemplos 1: 1) s v o

2) s e

3) m Conclusin: e m Solucin: 4) e (Premisa condicional) 5) s (2,4)MTT 6) o 7) m (1,5)MTP (3,6)MTT

Hemos llegado a inferir el consecuente m, a partir de la conjuncin del antecedente y el sistema de premisas, por tanto podemos afirmar que e m se sigue lgicamente de 1,2 y 3. En otras palabras, lo que hemos hecho es establecer la siguiente implicacin tautolgica: [(s v o)^(s e)^(o m)^ e] m la cual es equivalente tambin a [(s v o)^(s e)^(o m)] (e m). Ejemplo 2: 1) a (b v c) 2) b a 3) d c Conclusin: a v d a v d a d 4) a Premisa condicional (Tomamos como nueva premisa el

antecedente de la conclusin) 5) b v c 6) b 7) c (1,4)Ley de separacin (2,4)MTT (5,6)MTP

8) d

(3,7)MTT

9) a d Por prueba condicional.

Es usual poner como ltima lnea de la derivacin la conclusin buscada, indicando el mtodo de prueba empleado. Prueba indirecta (Reduccin al absurdo): El mtodo de prueba indirecta o de reduccin al absurdo es de gran importancia a nivel de todas las ramas de las matemticas, en especial en la lgica, para demostrar que la conclusin se infiere de un cierto sistema de premisas, o sea, que la conclusin es implicada tautolgicamente a partir de la conjuncin de las premisas dadas. En este mtodo de trabajo se trata de encontrar una contradiccin o sea algo de la forma (p ^ p) y por medio de la ley de contradiccin poder ver que el conjunto de premisas implica tautolgicamente a la conclusin. Sea P= ( p1 ^ p2 ^ p3 ^ ^ pn ) un sistema de premisas donde p1, p2 , p3 pn, son las premisas dadas y sea c la conclusin, entonces si la negacin de la conclusin en conjuncin con P implican una contradiccin nos dar como resultado lo deseado, o sea, P implicando tautolgicamente a c. Escrito simblicamente, es lo siguiente: [(P ^ c) (p ^ p)] (P ^ c) P v c P c En base a esta explicacin lgica, podemos establecer el siguiente mtodo de trabajo: Dado un sistema de premisas P y una conclusin c, tomamos como una nueva premisa la negacin de la conclusin, c, y por medios de las leyes de inferencia ya conocidas, llegar a obtener una contradiccin, obtenido este resultado, podemos afirmar entonces que la conclusin es inferida a partir de P o bien que P implica tautolgicamente a c. Ejemplo 1:
1) a b

2) d a

3) b v d Conclusin: b 4) b (Tomamos como nueva premisa la negacin de la conclusin) 5) d 6) a 7) b (3,4)MTP (2,5)Ley de separacin (1,6)Ley de separacin

8) b ^ b Contradiccin (4,7)Ley de adjuncin Hemos llegado a infer la contradiccin b ^ b a partir de la conjuncin del sistema de premisas y la negacin de la conclusin, por tanto podemos afirmar que b se sigue lgicamente de 1,2 y 3 en otras palabras lo que hemos hecho es establecer la siguiente implicacin tautolgica. [(a b) ^ (d a) ^ (b v d) ^ b] (b ^ b). Ahora segn el anlisis anterior sobre la prueba indirecta podemos escribir: [(a b) ^ (d a) ^ (b v d)] b. Nota: La contradiccin no necesariamente tiene que darse con la conclusin, puede darse con cualquier proposicin y siempre podremos afirmar nuestra conclusin. Supongamos que el ejemplo (1) hubisemos obtenido la contradiccin d ^ d, entonces inmediatamente podramos afirmar que b se sigue lgicamente del sistema de premisas 1,2 y 3. Ejemplo 2: 1) b v c 2) c s 3) s a Conclusin: a v b 4) (a v b) a ^ b Negacin de la conclusin

5) a Ley de la simplificacin 6) b Ley de la simplificacin 7) s 8) c 9) b (3,5)MTT (2,7)MTT (1,8)MTP

10) b ^ b (6,9) Contradiccin 11) a v b Por prueba indirecta VALIDEZ O INVLIDEZ DEL ARGUMENTO: Si la conclusin propuesta puede derivarse lgicamente del sistema de premisas, esto es, si la conjuncin de las premisas implica tautolgicamente a la conclusin, decimos que el argumento es vlido; de otra manera, diremos que el argumento es invlido. De la definicin misma de invalidez, es posible obtener un procedimiento que nos permita verificar cundo un argumento es invlido. Si un argumento es invlido, la implicacin que tiene por antecedente a la conjuncin de las premisas, y por consecuente con la supuesta conclusin, no es una tautologa. Al no ser una tautologa, al menos una de las lneas de la tabla de verdad correspondiente, tendr una F en la columna final. Como una implicacin solo es falsa cuando el antecedente es verdadero y el consecuente es falso, debe existir (al menos) una combinacin de los valores de verdad de las proposiciones simples del sistema que hace V al antecedente de la implicacin (la conjuncin de las premisas), y F al consecuente (la conclusin). El razonamiento anterior nos permite ahora establecer el procedimiento para verificar la invalidez de un argumento. Una interpretacin de un sistema de premisas, es cualquier asignacin de valores de verdad a las proposiciones simples del sistema. Un argumento es invlido, si existe una interpretacin del sistema que hace (simultneamente) verdadera a las premisas y falsa a la conclusin.

Ejemplo 1: Considere el siguiente razonamiento (verbal): Si voy a mi primera clase maana, debo levantarme temprano. Si voy a la fiesta, me acostar tarde. En consecuencia, o no voy a la fiesta esta noche, o no voy a mi primera clase maana.

Sean: p: Voy a mi primera clase maana. t: Debo levantarme temprano. n: Voy a la fiesta esta noche. a: Me acostar tarde La representacin simblica de las premisas seran: pt na Conclusin: n v p Afirmamos que la conclusin n v p no se sigue lgicamente de las premisas dadas; por ello, construyamos la siguiente interpretacin del sistema: p: V n: V a: V t: V Con esta asignacin de valores de verdad, las premisas resultan verdaderas: pt V V Que la conclusin resulta falsa: n F F v p F V n a V V V

Consecuentemente, no es posible que la conjuncin de las premisas implique tautolgicamente a la conclusin. El argumento es invlido. Consistencia de un sistema de premisas: Consistencia: Un sistema de premisa se llama consistente, si no es posible derivar de l una contradiccin. Un sistema se llama inconsistente, si no es consistente. En las aplicaciones de la lgica simblica, los sistemas inconsistentes carecen de inters, debido a que, como veremos inmediatamente, de un sistema inconsistente es posible derivar cualquier proposicin, tenga esta o no relacin alguna con los trminos y las premisas del sistema original: Sea P = ( p1 ^ p2 ^ p3 ^ ^ pn ) un sistema de premisas p1, p2 , p3 pn el cual es inconsistente. De acuerdo a la definicin de inconsistencia dada arriba, esto significa que es posible derivar una contradiccin, digamos q ^ q a partir de P, o sea, que:
1. P q ^ q es una tautologa

2. q ^ q r

es una tautologa.

En consecuencia, de (1) y (2), y la ley del Silogismo Hipottico, podemos asegurar que P r es una tautologa, lo que equivale a afirmar que la conclusin r, se sigue lgicamente del sistema de premisas P. En consecuencia es deseable, antes de proceder a obtener conclusiones a partir de un sistema de premisas dado, determinar si el sistema es o no consistente. De manera concreta, se plantea el problema de cmo determinar si el sistema es consistente, (El problema de cmo determinar si el sistema es inconsistente, est resuelto en la misma definicin; basta verificar que es posible derivar alguna contradiccin del sistema dado, por los mtodos usuales de inferencia.) Elaborando las ideas de la definicin, podemos obtener un procedimiento que nos permita verificar la consistencia de un sistema: Si un sistema P es consistente, de acuerdo a la definicin, no es posible derivar una contradiccin de P, y consecuentemente, podemos afirmar que P c no

es una tautologa (aqu c representa cualquier contradiccin). Si P c no es una tautologa, su tabla de verdad deber tener (al menos) una entrada F en la ltima columna. Dado que c es una contradiccin (y por tanto, F para cualquier combinacin de valores de verdad de las proposiciones simple del sistema), la nica forma en que P c puede resultar F, es que exista alguna combinacin de valores de verdad de las proposiciones simples del sistema, que haga V, a P (la conjuncin de las premisas del sistema). Este, precisamente, es el criterio que buscamos, para establecer la consistencia de P. Un sistema de premisas P = ( p1 ^ p2 ^ p3 ^ ^ pn ) es consistente, si existe una interpretacin de P que haga (simultneamente) verdaderas a las premisas del sistema. Ejemplos: 1. Investigue la consistencia o inconsistencia del siguiente sistema de premisas: 1) a v b 2) a c 3) b d 4) c Solucin: Es consistente por que todos los resultados son verdaderos. a: F b: V c: F d: V

2. Investigue la consistencia o inconsistencia del siguiente sistema de premisas: 1) p q 2) q r 3) r v s 4) p s 5) s

Solucin: El sistema es inconsistente debido a que la premisa p s es falsa.

s: F r: F Tratamos de derivar una contradiccin: 1) p q 2) q r 3) r v s 4) p s 5) s Solucin: 6) p 7) q

8) r 9) s

q: F p: F

(4,5)MTT (1,6) Definicin de bicondicional (2,7) ley de la separacin (3,8)MTP

10) s ^ s (5,9) >Contradiccin. El sistema es inconsistente, pues es posible derivar de l una contradiccin. Observacin: Un error muy frecuente entre principiantes, es el de confundir los conceptos de validez e invalidez, con los de consistencia e inconsistencia (posiblemente debido a que el anlisis de ambas propiedades, requiere la construccin de interpretaciones). A fin de evitar esta confusin, debe tener presente que la consistencia e inconsistencia de un sistema, es una propiedad exclusiva del sistema, independientemente de cualquier posible conclusin. En tanto que, la validez e invalidez es una propiedad de un argumento, esto es, un sistema de premisas ms una conclusin.

Ejercicios: I. En los siguientes ejercicios derive la conclusin a partir de las premisas dadas. a. 1) p
2) q s

b. 1) q p v r 2) t p ^ q 3) t Conclusin: r d. 1) p s 2) s v r 3) (t v r) Conclusin: p 1) p q 2) q r 3) r v s 4) s Conclusin: p

3) p s Conclusin: q c.

e. 1) p q 2) r s 3) q ^ s t 4) t Conclusin: p v r

f. 1) r v h d ^ s 2) d p 3) p Conclusin: r

II.

Transcriba los siguientes argumentos a notacin simblica y en cada caso, derive la conclusin a partir de las premisas. a. Si pierdo el bus, perder la entrevista. Si pierdo la entrevista, no volver a mi casa. Si no consigo trabajo, debo volver a mi casa. Por lo tanto, si pierdo el bus, conseguir trabajo. b. Si Juan cometi el crimen, entonces estaba en la casa de la vctima y sali antes de las once. Si sali antes de las once, los vieron los vecinos. Pero ningn vecino lo vio. Por tanto, Juan no cometi el crimen.
c. Si voy esta noche a la fiesta, me acostar tarde. Si voy a mi primera

clase maana, debo levantarme temprano. Pero no me es posible acostarme tarde y levantarme temprano. Luego, si voy esta noche a la fiesta, no ir maana a mi primera clase. d. Si llueve maana, usar mi capote si les remendaron las mangas. Maana llover y a mi capote le remendaron las mangas. En consecuencia, maana usar mi capote.
e. Si la investigacin contina, entonces ser encontrada nueva evidencia.

Si se encuentra nueva evidencia, entonces varios funcionarios estn implicados. Si varios funcionarios estn implicados, los diarios seguirn publicando el caso. Si la continuacin de la investigacin implica que los diarios seguirn publicando el caso, entonces el encuentro de nueva evidencia implica que la investigacin contina. De hecho, la investigacin no contina. En consecuencia, no se ha encontrado nueva evidencia.

III.

Investigue la validez o invalidez de los siguientes argumentos. a.

1) s d

b. 1) a b 2) c d 3) a v c Conclusin: b ^ d

2) s l Conclusin: d v l

c. 1) p l 2) l n 3) n Conclusin: p

d. 1) s d 2) d p 3) p c 4) v s 5) d Conclusin: p

IV.

Investigue la consistencia e inconsistencia de los siguientes sistemas de premisas. a.

1) (q v p)

c. 1) a b 2) b c 3) c v d 4) a d 1) p q 2) q r 3) r v s q d. 1) v l 2) l b 3) b v m 4) m 5) d

2) p v r 3) q r b.

IV Unidad: CUANTIFICADORES Dada una forma proposicional, puede suceder que sta se convierta en una proposicin verdadera para todos solamente para algunos valores de los posibles valores de la variable, la variable, o para ninguno de estos

valores, como veremos en los siguientes ejemplos: En stos y todos los ejemplo del captulo que contengan formas

proposicionales relativas a las propiedades de los nmeros, se entender que la variable asume valores en los nmeros reales.
2 Sea p x : x 0. Cualquiera que sea la constante individual (nmero real) que

sustituyamos en x, la proposicin que resulta es V, luego px es V para todo valor de x Sea q x : 2 x + 3 = 7, q x resulta verdadera si sustituimos x por la constante individual 2, y falsa si sustituimos x por cualquier otro valor. Es decir que existen valores de x que hacen V a q x. Sea rx : x + 5 x. cualquiera que sea el valor de x , r x es F en este caso no existen valores de x que hagan V a rx . La experiencia ha demostrado que resulta necesario disponer de un simbolismo especial para representar estas situaciones. Estas representaciones la haremos por medio de dos smbolos lgicos llamados cuantificadores. CUANTIFICADOR UNIVERSAL: Indicamos el hecho de que una forma proposicional ( digamos px ) es V para cualquier valor de la variable x, mediante la expresin para todo x px es verdadera o para cualquier x , px es verdadera, o ms sencillamente para todo x, px y lo expresamos simblicamente como x , p x . El smbolo se llama cuantificador universal, y se lee para todo CUANTIFICADOR EXISTENCIAL: proposicional Indicamos el hecho de que una forma

( digamos q x ) es V para algunos valores de la variable x

mediante la expresin existen valores que hacen V a q

o simplemente

existen x, q x y lo representaremos simblicamente como x , q x . El smbolo se llama cuantificador existencial y se lee existe . Si una forma proposicional rx no se satisface para ningn valor de x, podemos expresar este hecho de dos manera equivalentes, mediante el empleo de los cuantificadores ya introducidos: podemos decir no existen x que satisfaga a r
x,

que se representara por [ x , rx ] , o podemos afirmar para cualquier valor de x, la negacin rx es V , representado por x , r x . El educando debe observar que una forma proposicional, precedida de un cuantificador es una proposicin puesto que podemos decir si es V o F Considere los siguientes ejemplos: Sea s x : x 5 , y considere la expresin x , s x Esta es una proposicin falsa,

que afirma que todo nmero real es mayor que 5. Sea t x : x 1 x y considere la expresin x , t x . Esta es una proposicin V,

que afirma que existen nmero reales que satisfacen la condicin x 1 x Cuantificar correctamente una forma proposicional es establecer cul de las posibilidades consideradas es la alternativa correcta para la forma proposicional dada. Se ilustrar este procedimiento en los ejemplos que siguen: Cuantificar correctamente las siguientes formas proposicionales: a) p x : x 2 Solucin
a) Puesto que existen valores de x que hacen V a p
x

b) q x : x + 1 x

2 c) rx : x 0

( p x es falso para x

=1) la cuantificacin correcta de px ser x , p x .

b) Observemos que si que si x = 1 , q x es V ya que 1 + 1 1 , as que x , p x

es una proposicin V ; pero su cuantificacin correcta

ser

x , qx

puesto que cualquiera que sea el valor de x, la forma proposicional q originar siempre proposiciones V.
c) Ningn valor de x hacen V a r
x

, la cuantificacin correcta de r

ser

[ x , rx ]

o x , rx

Es necesario un anlisis ms detallado para cuantificar correctamente formas proposicionales compuestas, esto es, formas proposicionales que resultan de conectar otras formas proposicionales mediante los conectivos y modificadores que se dio a comienzo de esta unidad. Veamos algunos ejemplos: Sean las formas proposicionales correctamente: a) p x , Solucin a) p x es V para algunos valores de x, y F para otros. La cuantificacin correcta es : x , p x b) rx es V para cualquier valor de x. La cuantificacin correcta es: x , rx c) rx representa la forma proposicional valor de x. luego [ x , rx ] , o x ,( rx ) x , rx d) q x px representa la forma proposicional cualquier valor de x
x 3 x 2 .Vemos que

p x : x 2 , q x : x 3 , rx : x = x cuantifique

b) rx ,

c) rx ,

d) q x px

e) p x qx

f) rx p x

xx

rx

es F para cualquier

que satisfaga el antecedente tambin satisfar al

consecuente , por otra parte, cualquier valor de x que haga F a q x , har V a la implicacin q x px luego, x , q x px

a) En p x qx ; p x representa la forma proposicional x 2 (negar que

x 2 equivale a afirmar que x 2 ). Luego p x qx representa la forma proposicional (x 2) ( x 3 ) . Para que la conjuncin sea V debe ser simultneamente V sus componentes. Puesto que no hay valores que sean simultneamente menores o iguales que 2 y mayores que 3 , su cuantificacin correcta ser [ x px q x ] .
b) En rx p x

rx representa la forma proposicional x x . Cualquiera

que sea x rx es F. luego, para cualquier x, el antecedente de la implicacin correcta . Ejercicios:

I.

rx p x es F. luego, x , rx p x es la cuantificacin

Dada la forma proposicional px y la coleccin U donde la variable x asuma sus valores. Encontrar en cada caso las constantes individuales que hagan V a px.

px : x es un numero primo px : x es un mltiplo de 3 px : x es un divisor de 10 px : px : px : px : px : px : px : x2 1 = 0 x2 + 1 = 0 x 2 x 12 x 6 x es multiplo de 2 y 3 x es un numero negativo x es el cuadrado de 3

U = {1,2,3,4,...,50} U = {1,2,3,4,...,28} U = {1,2,3,4,...,60} U = { 1,1} U = {1,2,3,4} U= U=

{ 4,2,1,1,3} { 6,7,8,9,10}

U = {1,2,3,..., 20} 1 1 5 U = 3,2, , ,1, 2 3 4 U = { 0,1,2,...,10}

II.

Sean las formas proposicionales definidas sobre R.

px : x 3

q x : x x + 1

rx : x 0 obtenga p x , q x , rx y cuantifique

correctamente.
1. 2. 3.

px qx rx

8. 9. 10. 11.

p x rx p x rx q x rx q x rx p x rx

4. p x 5.

qx

12. 13.

6. rx 7. p x qx III.

rx p x

14. q x p x rx p x : x 2 0 ; q x : x 2 = 16 ;

Sean las siguientes formas proposicionales

rx : x = 2 definidas en los nmeros reales. Cuantifique correctamente: 1. px 5. p x qx rx 9. p x qx 13.

q x p x qx 2. qx 6. p x rx 10. q x rx 14.

p x rx q x 3. rx 7. 8 p x qx p x qx 11 p x qx 12. px rx . formas proposicionales

4. p x
IV.

Sean

a x : x + 1 = 0 ; bx : ( x 1) 2 0 ; ex : x = 1

definidas sobre los nmeros reales. Cuantifique correctamente.

1 2 3 4 5

ax bx ex bx a x bx ex

6. 7. 8. 9. 10.

a x bx ex a x bx bx a x ex bx a x bx cx

11. 12. 13. 14.

bx a x bx a x bx bx cx bx ec a x bx cx bx V. Supongamos que las formas proposicionales siguientes estn dadas en los nmeros reales. Diga cuales estn cuantificadas correctamente y cuales son verdaderas. 1. x : ( x + 1) 0 2. x : ( x + 1) 2 0 3.. x : x + 1 = x
2

4. 5. 6.

[ x : 2 x ] x : 1*1 0 x : 1 * 1 0

7. 8. 9.

[ x : x x ] x : x 2 1 = 0 x : x2 1

REPRESENTACIONES SIMBOLICAS DE PROPOSICIONES GENERALES Llamamos proposicin general, a toda proposicin que expresa una relacin de inclusin o exclusin (total o parcial), entre dos o ms clases de objetos. Por ej. todos los matemticos son inteligentes Que expresa la relacin de inclusin total, de la clase de los matemticos en las clases de las personas inteligente, o algunas mujeres son bonitas, que expresa la inclusin parcial de la clase de las mujeres en la clase de las mujeres bonitas, o finalmente Ningn estudiante es vago que expresa la exclusin total de la clase de los estudiantes de la clase de los individuos vagos. La representacin simblica de proposiciones generales es ms adecuada para muchos propsitos, mediante el empleo de formas proposicionales y cuantificadores. De hecho, la inclusin en la lgica simblica del estudio de predicados y cuantificadores, responde a la necesidad de expresar, en lenguaje simblico, razonamientos en los que intervienen proposiciones generales, como las que aparecen en la introduccin de estas seccin. Ilustraremos el modo de proceder en las proposiciones generales referidas anteriormente usando cuantificadores y formas proposicionales. * Todos los matemticos son inteligentes. mx : x es matemtico, ix : x es

inteligente esta expresin la podemos escribir a la forma cualquiera que sea x, si x es matemtico, entonces x es inteligente. Expresada de la segunda manera, es claro que la representacin simblica ser * Algunas mujeres son bonitas: mx : x es mujer x : m x ix

bx : x es bonita podemos

transcribir la proposicin existen x, tal que x es mujer y x es bonita la representacin simblica ser x : mx bx * Ningn estudiante es vago ex : x es estudiante vx : x es vago. La

transcripcin sera cualquiera que sea x, si x es estudiante, entonces x no es vago. La representacin simblica sera x : ex vx

EJERCICIOS I. Transcriba en forma simblica usando cuantificadores y formas

proposicionales adecuadas las siguientes formas proposicionales. Todos los hombres son mortales. Todos los nios que no van al cine van a la playa. Algunos mdicos que toman caf son ingeniero. Hay mdicos que saben hablar chino. No todas las aves vuelan. Nadie que estudia fracasa. Todos los mdicos son abstemios. Ningn nicaragense es jugador de billar. No hay ningn ingeniero que tome caf. Algunas mujeres bonitas son tambin inteligentes. No es cierto que todos los hondureos hablen griego. Todo cristiano consciente es honesto.

V UNIDAD: TEORIA DE CONJUNTOS OBJETIVOS:

Introducir al estudio de la teora de conjuntos. Establecer las diversas formas de definir un conjunto, aplicndolas en la formulacin simbologa de conjuntos. matemtica para su expresin por comprensin. Determinar los conjuntos utilizando las formas cuantificadoras y Conocer los axiomas ms comunes en la teora de conjuntos. Distinguir los conjuntos por su extensin clasificndolos por sus caractersticas en finitos e infinitos. Establecer las relaciones de conjuntos iguales. Reconocer los diferentes tipos de conjuntos diferencindolos por sus respectivas caractersticas. Graficar conjuntos utilizando los diagramas de D`Venn Euler. Ejercitar las diferentes operaciones que se establecen entre conjuntos

CONCEPTOS FUNDAMENTALES Introduccin a la teora de conjuntos Objetivos: Establecer las diversas formas de definir un conjunto, aplicndolas en la formulacin de conjuntos Rama de las matemticas a las que el matemtico Georg Ferdinand Ludwing Philipp Cantor es el padre de la Teora de Conjuntos, dio su primer tratamiento formal en 1870. El concepto de conjunto es uno de los ms fundamentales en matemticas, incluso ms que la operacin de contar, pues se puede encontrar implcita o explcitamente, en todas las ramas de las matemticas puras y aplicadas. En su forma explcita, los principios y terminologa de los conjuntos se utilizan para construir proposiciones matemticas ms claras y precisas y para explicar conceptos abstractos como el infinito En el ao 1874, apareci el primer trabajo revolucionario de Cantor sobre la Teora de conjuntos.

Definiciones Es una coleccin de objetos bien definidos y diferenciables entre si que se llaman elementos. Representacin Suelen emplearse letras maysculas para los conjuntos y minsculas para los elementos. Pertenencia de un elemento x a un conjunto A se denota : x A El contenido de un conjunto se representa:
Por extensin: encerrando todos sus elementos entre llaves. Ej :

A={1,2,3,4...}
Por

comprensin:

mostrando

entre

llaves

sus

propiedades

caractersticas. Ej : A={ xN | 1 x 4 }
Mediante Diagramas de Venn: Los diagramas de Venn son

regiones del plano que simbolizan conjuntos. No tienen valor demostrativo salvo para refutar con un contraejemplo. Tamao o Cardinalidad El tamao de un conjunto A es su n de elementos y se denota entre barras: |A| Si un conjunto tiene elementos se dice que es: - infinito numerable si aplicacin biyectiva entre el conjunto y N. - infinito no numerable en caso contrario. Ej : R ( porque decimales) Subconjunto Definicin Un conjunto A es subconjunto de otro conjunto B, si todo elemento de A es tambin un elemento de B.

Si adems existe algn elemento de B no pertenecientes a A, se dice que A es subconjunto propio de B. Ojo ! : AB no excluye la posibilidad de que AB, esta, es una informacin que ignoramos. Representacin A subconjunto de B : A B , o B A A subconjunto. propio de B : A B , o B A (ntese como desaparece la lnea de igual al excluirse tal posibilidad) Propiedades de la relacin
reflexiva (cumple la relacin consigo mismo) : AA anti simtrica (no simtrica) : si AB y BA A=B transitiva (B hace de intermediario) : si AB y BC AC

Se considera que todo conjunto no vaco tiene como subconjunto al nulo y a si mismo. Las expresiones xA y {x}A son equivalentes, ambas expresiones significan que el conjunto que tiene a x como nico elemento es subconjunto de A. Un conjunto es una coleccin bien definida de objetos de cualquier clase Determinacin de un conjunto Hay dos formas de determinar conjuntos. Por extensin Forma Tabular Se dice que un conjunto es determinado por extensin (o enumeracin), cuando se da una lista que comprende a todos los elementos del conjunto y slo a ellos. Ejemplo: A = { a, e, i, o, u } B = { 0, 2, 4, 6, 8 } C = { c, o, n, j, u, t, s } En un conjunto determinado por extensin no se repite un mismo elemento.

Por comprensin Forma Constructiva Se dice que un conjunto es determinado por comprensin, cuando se da una propiedad que la cumpla en todos los elementos del conjunto y slo a ellos. Ejemplo: A = {x/x es una vocal} B = {x/x es un nmero par menor que 10} C = {x/x es una letra de la palabra conjuntos} Vamos a mostrarte un cuadro comparativo de determinacin de conjuntos Por extensin A = { a, e, i, o, u } B = { 0, 2, 4, 6, 8 } C = { c, o, n, j, u, t, s } D = { 1, 3, 5, 7, 9 } Por comprensin A = { x/x es una vocal } B = { x/x es un nmero par menor que 10 } C = { x/x es una letra de la palabra conjuntos } D = { x/x es un nmero impar menor que 10 }

E = { b, c, d, f, g, h, j, . . . } E = { x/x es una consonante } Conjuntos finitos Un conjunto es finito si consta de un cierto nmero de elementos distintos, es decir si al contar los diferentes elementos del conjunto el proceso de contar puede acabar. En caso contrario, el conjunto es infinito. Ejemplo: M = { x / x es un ro de la tierra } Conjunto finito N = { 0, 1, 2, 3, 4, 5, 6, 7, 8, ... } Conjunto infinito P = { x / x es un pas de la tierra } Conjunto finito V = { 3, 6, 9, 12, 15, 18, 21, 24, 27, ... } Conjunto infinito. Igualdad de conjuntos Se dice que 2 conjuntos A y B son iguales cuando ambos tienen los mismos elementos, es decir si cada elemento de A pertenece a B y si cada elemento que pertenece a B pertenece tambin a A. La igualdad se denota A = B. En la igualdad, el orden de los elementos de cada conjunto no importa.

Ejemplo A = {1, 2, 3, 4} B = {3, 4, 1, 2} A=B Conjunto vaco Es un conjunto que carece de elementos. Se suele llamarle conjunto nulo, y se le denota por el smbolo o { }. Ejemplo A = { Los perros que vuelan } A={} A= C = {1, 2, 3, 3, 4, 1} D = {1, 2, 2, 3, 4, 4,} C=D E = {vocal de la palabra mundo} F = {u, o} E=F

B = { x / x es un mes que tiene 53 das} B = { } B = C = { x / x3 = 8 y x es impar } D = { x / x es un da de 90 horas } C={} C= D={} D=

Conjunto unitario Es todo conjunto que est formado por un slo y nico elemento. Ejemplo A={5} B = {nmeros pares entre 6 y 10} = {8} C = {la capital del Per} = {Lima} D = {x / 2x = 6} = {3} Conjunto universal Es el conjunto que contiene a todos los elementos del discurso. Es un trmino relativo. Se le denota por la letra U.

Ejemplo:

Sean los conjuntos: D = { monos }

A = { aves } B = { peces } C = { conejos }

Existe otro conjunto que incluye a los conjuntos A, B, C y D. Es U = {animales} Grficamente se representa por un rectngulo tal como se observa a continuacin.

Sean los conjuntos: E = { mujeres } F = { hombres }

Existe otro conjunto que incluye a los conjuntos E y F. Es U = {seres humanos Grficamente se representa por un rectngulo tal como se observa a continuacin.

Conjunto potencia La familia de todos los subconjuntos de un conjunto M se llama Conjunto Potencia de M. Se le denota como 2m .

Ejemplo a) M = { 1, 2 } 2m = { {1}, {2}, {1, 2}, } b) M = { 1, 2, 3 } 2m = { {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}, } El conjunto M tiene 2 elementos entonces 22 = 4 elementos El conjunto M tiene 3 elementos entonces 23 = 8 elementos

Si un conjunto M es finito con "n" elementos, entonces su conjunto potencia 2M tendr 2n elementos. Conjuntos disjuntos Si dos conjuntos A y B no tienen ningn elemento comn entonces A y B son disjuntos. Ejemplo: Conjuntos disjuntos A = { 2, 4, 6 } B = { 1, 3, 5 } A y B son disjuntos. C = { x/x es una letra del alfabeto } DIAGRAMA DE VENN A cada conjunto se le considera encerrado dentro de una curva (plana) cerrada. Los elementos del conjunto considerado pueden ser especficamente dibujados o pueden quedar (implcitamente) sobreentendidos. Los diagramas son empleados, para representar tanto a los conjuntos como a sus operaciones, y constituyen una poderosa herramienta geomtrica, desprovista de validez lgica. A continuacin representaremos algunos conjuntos y verificaremos algunas igualdades (las intersecciones de dos o ms conjuntos quedan caracterizados por el rayado mltiple). Conjuntos no disjuntos M = { o, p, q, r, s } N = { s, t, v, u } M y N no son disjuntos. P = { x/x es una letra de la palabra aritmtica }

Unin de conjuntos La unin de los conjuntos A y B es el conjunto formado por todos los elementos que pertenecen a A o a B o a ambos. Se denota: A U B. La unin de conjuntos se define como: A U B = {x / x A o x B} En forma grfica:

Cuando no tienen

Cuando tienen algunos Cuando todos los elementos de un conjunto conjunto pertenecen a otro

elementos comunes elementos comunes

Ejemplo. 1. Dados los conjuntos: A = { 0, 1, 2, 3, 4, 5 }, B = { 0, 2, 4 } y C = { 5, 6, 8 }, efectuar y construir los diagramas respectivos: a) A U C b) BUC c) AUB

Tenemos: a) A = { 0, 1, 2, 3, 4, 5 } y C = { 5, 6, 8 } A U C = { 0, 1, 2, 3, 4, , 6, 8 }

Representacin grfica de la unin de conjuntos AyC b) B = { 0, 2, 4 } y C = { 5, 6, 8 } B U C = { 0, 2, 4, 5, 6, 8 }

Representacin grfica de la unin de conjuntos B y C c) A = { 0, 1, 2, 3, 4, 5 } y B = { 0, 2, 4 } A U B = { , 1, , 3, , 5 }

Representacin conjuntos A y B Interseccin de conjunto

grfica

de

la

unin

de

Se define la interseccin de dos conjuntos A y B al conjunto de elementos que son comunes a A y B. Se denota por A B, que se lee: A interseccin B. La interseccin de A y B tambin se puede definir: A B = { x / x A y x B } y mediante un diagrama de Venn-Euler:

Cuando tienen elementos comunes Ejemplo

Cuando no tienen

Cuando todos los elementos de un conjunto conjunto pertenecen a otro

elementos comunes

1. Dados los conjuntos: A = { 0, 1, 2, 3, 4, 5 }, B = { 3, 5, 7 } y C = { 2, 4 }, efectuar y construir los diagramas respectivos: a) A C Tenemos: a) A = { 0, 1, 2, 3, 4, 5 } y C = { 2, 4 } A C={ , } b) B C c) A B

Representacin conjuntos A y C b) B = { 3, 5, 7 } y C = { 2, 4 }

grfica

de

la

interseccin

de

B C = { }

Representacin conjuntos B y C c) A = { 0, 1, 2, 3, 4, 5 } y B = { 3, 5, 7 } A B = { , }

grfica

de

la

interseccin

de

Representacin grfica de la interseccin de conjuntos A y B Diferencia de conjuntos Se denomina diferencia de dos conjuntos A y B al conjunto formado por todos los elementos de A pero que no pertenecen a B. La diferencia se denota por: A - B que se lee: A diferencia B o A menos B. Se define la diferencia de dos conjuntos tambin como: A - B = {x / x A y x B} Mediante un diagrama de Venn - Euler:

Cuando no tienen

Cuando tienen

Cuando todos los elementos

de un elementos comunes elementos comunes conjunto pertenecen a otro conjunto

Ejemplo 1. Dados los conjuntos: A = { a, b, c, d, e }, B = { a, e } y C = { d, f, g }, efectuar y construir los diagramas respectivos: a) A-C b) B-C c) A-B

Tenemos: a) A = { a, b, c, d, e } y C = { d, f, g } A - C = { a, b, c, e }

Representacin grfica de la diferencia de conjuntos AyC

b) B = { a, e } y C = { d, f, g } B - C = { a, e }

Representacin grfica de la diferencia de conjuntos ByC

c) A = { a, b, c, d, e } y B = { a, e } A - B = { b, c, d }

Representacin conjuntos A y B Complemento de un conjunto

grfica

de

la

diferencia

de

Si un conjunto A es subconjunto de otro conjunto universal U, al conjunto A' formado por todos los elementos de U pero no de A, se llama complemento de A con respecto a U. Simblicamente se expresa: A' = { x/x U y x A } Ejemplo

Sean U = { m, a, r, t, e } si A = { t, e } Su complemento de A es: A' = { m, a, r} En forma grfica

Sean U = {letras de la palabra aritmtica} y B= {vocales de la palabra vida} Determinado por extensin tenemos que U = {a, r, i, t, m, e, c} luego B = {i, a} Su complemento de B es: B' = {r, t, m, e, c}. Cul sera su forma grfica?.

Operaciones con tres conjuntos En un diagrama de Venn, las posiciones relativas de tres conjuntos pueden ser muy variadas. A modo de ejemplo, doce de ellas se presentan en el siguiente cuadro

La ltima disposicin es la ms general porque abarca todos los casos posibles (da lugar a la mayor cantidad de colores): Elementos que no pertenecen a ningn conjunto, excepto al universal (regin gris); Elementos que pertenecen a un solo conjunto (regiones roja, amarilla y azul); Elementos que pertenecen a dos conjuntos (regiones anaranjada, verde y violeta); Elementos que pertenecen a los tres conjuntos (regin marrn).

Es decir, la disposicin ms general es la que define ocho regiones. En ninguna otra se llega a esta cantidad. [La disposicin 5, por ejemplo, tiene siete. Si los elementos de tres conjuntos pueden ser ubicados en el diagrama 5, tambin podrn ser ubicados en el diagrama 12: una regin (la anaranjada) quedar vaca.] EJERCICIOS DE CONJUNTOS 1. Utilizando los mtodos por extensin y por comprensin determine los conjuntos siguientes: a) Conjunto de nmeros naturales menores que 10. b) Conjunto de los departamentos de Nicaragua.
c)

Conjunto de letras de la palabra cuaderno.

2. Leer los siguientes conjuntos:

a)

{ x / x z} { x / x N x Z} {x / x {x / x
es recta de un plano dado 1,2,3,4

b)
c) d) e)

} }

{x / x {

y x {2,4,6}

es nicaragense y x es mayor de 60 aos.

}
f)

{x / x

es hondureo y x es varn.

3. Determine por comprensin los conjuntos siguientes: a) b) c)

d)

Conjunto de los nmeros enteros positivos mayores Conjunto de las fracciones positivas. Conjunto de todos los nicaragenses. Conjunto de todos los animales y de todos los

que 100.

vegetales. 3. Determinar por extensin un conjunto de sillas del aula. 4. Determinar por comprensin el conjunto de los cuerpos que como el vidrio, el agua pura, dejan pasar la luz a travs de ellos. 5. De los siguientes conjuntos decir cules se pueden determinar completamente por extensin y cules no. a. Los nmeros. b. Los nmeros naturales mayores que 20 y menores que 1 500. c. El conjunto de las hojas de un rbol grande. d. EL conjunto de todas las palabras que se han dichodicho. e. El conjunto de los nmeros pares. f. El conjunto de las letras de este libro. 6. Dar ejemplos de conjuntos que existan actualmente en el aula de clase y determinarlos por comprensin y por extensin si es posible. 7. De las siguientes afirmaciones sealar las que son correctas y decir por qu son incorrectas las dems i. ii. 8. El conjunto de los granos de un saco de arroz no se puede determinar Determinar un conjunto por comprensin es hallar la propiedad que tienen sus elementos y slo ellos. Sea A = {1,2,3,4, ,5} ; B= {8,9,10,11} ; C= { 2,4,6,8,10} 3 A? 7 A? 10 A?

por extensin porque nadie tiene la paciencia de contarlos uno por uno.

3 B?

7 B?

10 B? 4 A y B?

3 C? 7 C?

9. Cundo se dice que dos conjuntos son iguales? 10. Se tiene un conjunto de cuatro botellas. Cuntos subconjuntos de una

botella se pueden formar? Cuntos de dos? Cuntos de tres? Y cuntos de cuatro? 11. Dividir el conjunto de alumnos del curso en subconjuntos de apellidos,

barrios, edades, etc. 12. Son iguales los conjuntos de letras de las dos frases siguientes?: Polycarpa Salavarrieta _ Yace por salvar la Patria. 13. De estas dos afirmaciones una es falsa Cul ? y Por qu? a) Dos conjuntos iguales son un mismo conjunto expresado de dos modos distintos b) El conjunto E es igual al conjunto F. pues todos los elementos de E pertenece tambin a F. 14. Dos conjuntos iguales son siempre coordinables? 15. Dos conjuntos coordinables son siempre iguales? 16. Si el conjunto de sombreros es coordinable con el conjunto de alumnos y el conjunto de alumnos es coordinable con el conjunto de sillas. Son coordinables los conjuntos sillas y de sombreros? Por qu? 17. Si A B y B C siempre es verdad que A C? 18. Qu es la interseccin de dos conjuntos?

19. Si A es el conjunto de todos los cuadrilteros y B el conjunto de todos los poligonal regulares, cul es la interseccin de estos dos conjuntos?

20. Si A es el conjunto de puntos de una recta y B es el conjunto de puntos de una circunferencia, cul es el conjunto interseccin? Distinguir los tres casos: la recta corta circunferencia, la toca o no la toca. 21. A es el conjunto de nmeros pares. y B es el conjunto de mltiplos de 5 menores que 100. Cul es la interseccin (A B)? 22. A es el conjunto de bienes del Estado y B es el conjunto de automviles. Cul es conjunto interseccin (A B)?

23. A= B=

Escribir el conjunto:

{ {

nmeros pares menores que 20 } . mltiplos de 3

} } } ; con el conjunto

C = (A B)= {

24. Cul es el conjunto interseccin de A = { +, z, *, , c B = { a,%, +, z, ,*} 25. Qu es la reunin de dos conjuntos?

26. Cul es el conjunto reunin de mltiplos de 3 y mltiplos de 4 menores que 24? 27 Mostrar grficamente que (A B) C A (B C). 28 Mostrar grficamente que (A B) C A (B C) 29 Qu es el conjunto vaco? 30 Qu es el conjunto lleno o referencial? 31 Sombrear en los grficos los conjuntos (A B) C.; A U (BUC); A B) C; A (B C) 32 SI A B, entonces B A? Ilustrar grficamente la respuesta. 33 Es correcto decir que A A? Por qu? 34 Es correcto decir que A A? Por qu? 35 Es correcto decir que A = A? Por qu? 36 Si A B, entonces B A? 37 Si A B y B C, entonces cmo son A y C? Escribirlo. 38 Si A B y B C, entonces cmo son A y C? Escribirlo 39 Si A = B y B = C, entonces cmo son A y C? Escribirlo. .

40 cundo son verdaderas las relaciones A B y B A? 41 Si A B, a qu es igual A B? La misma pregunta si A . Igual pregunta si B A. Ilustrar las respuestas con grficos. 42 Si A B, a qu es igual A B? Igual pregunta si B A. Grficos. 43 Se llama suma o agregacin de dos conjuntos al conjunto de todos los elementos del uno aumentado de todos los elementos del otro. Esta operacin se indica con el signo + de modo que A + B se lee: A agregado a B, o bien: A ms B. Segn esto, si A B, a qu es igual A B? 44 Si A B = comparar A B con A+B. 45 Si A B comparar A B, con A + B. 46 Si A B = cmo son A y B? 47. S i a X, b Y, X Z, Y Z. a) Es cierto que a Z? b) Es cierto que a Y? c) Es cierto que b Z? 48. Si U =

0, 1, 2, 3, 4, 5, 6, 7, 8, 9

} ; es el conjunto de los dgitos de nuestro }

sistema decimal y A= B=

{ {

0, 1, 2, 3, 4, 5 2, 3, 4, 5

C= D=

4, 5, 6, 7

};

6, 7, 8, 9

Determnense y represntense grficamente: a) A B b) A D e) C A f) B D i) C U j) A U m) (A B)' n) (B A)'

c) B C d) B A e) B

g) A k) B'

o) (U Q)'

h) C'

49. Redactar los smbolos y explicar su significado: a) x S b) 1/2 Z c) x T d) S= e) b T f) A' 50. Sabiendo que: N = conjunto de nmeros naturales. Z = conjuntos de los enteros. Q = conjunto de los nmeros racionales. E = conjunto de los enteros no negativo. a) Si x E y x N, qu nmeros debe ser x? b) Si x Z, debe ser verdad que x N? c) Si x Z,. Debe ser verdad que x N?

d) Si x c Z, puede ser verdad que x N? 51. Dados: A= { 1, 2, 3, 4,5 B=

} {

C= { 4, 5,6 2, 4 ,6...,

E= F=

{ {}

3, 4,5,

1, 2, 3

D=

Es B un subconjunto de A? De C? Cules de los conjuntos dados son finitos? Enumerar los elementos de A B.

Qu conjunto es B C? Enumerar los elementos de B C. Es F un subconjunto de C? Puede, la unin de dos conjuntos no vacos, ser un conjunto vaco? h) Puede, la interseccin de dos conjuntos no vacos, ser un conjunto vaco? i) 4 A? Es cierto que 2 E? j) Si x A y x B x (A U B)? k) Si x A y x B x (A B)? Cules de estos conjuntos son finitos? Cules infinito? Cul es el nmero de elementos en B? En E? Tiene D un elemento que sea mayor de todos? ) Es E un conjunto vaco? Dar una regla que describa D. p) 5 C ?, 5 D Son, dos cualesquiera de esos conjuntos, conjuntos iguales? Qu se entiende por el smbolo ? Son todos los elementos de B tambin elementos de C?

52. Si U =

a, b, c, d, e, f, g, h, i, j

A= { c, d, e, f

B= { e, f, g, h, i

53. Sabiendo que: N = conjunto de nmeros naturales. Z = conjunto de los enteros. Q = conjunto de los nmeros racionales. E = conjunto de los enteros no negativos. a) Si x E y x N, qu nmeros debe ser x? b) Si x Z, debe ser verdad que x N? c) Si x Z,. Debe ser verdad que x N?

d) Si x c Z, puede ser verdad que x N? 54. Si U =

a, b, c, d, e, f, g, h, i, j

A= { c, d, e, f

B= { e, f, g, h, i

Determine los conjuntos siguientes: A B , A' B, B, A B' A' B ; (A B)' ; 55. Si U = A U A B , A' B', (A B)', A , A U, A B, A'

1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13

A=

2, 3, 4 5, 6, 7

B= { 5, 6, 7,8

C= { 6, 7, 8 ,9 ,10

Determine los conjuntos siguientes: a) A B C b) A B C 56. A= B= Si U = c) A ( B C ) d) A ( B C )

a, b, c, d, e, f, g, h, i, j, k, 1, m, n, p. q, r, s

} }

{ {

b, c, d, e, f, g. h, i f, g, h, i, j, k. I, m

C = { e. f, i, e, m, n, p, q

D= { d, e, f, g, m, n, p, r

Determine los conjuntos siguientes: a) (A B) (C D) c) b) (A B)' (C D)' (A B) (C D)

d) (A B)' (C D)' 57. Determine los conjuntos siguientes: A B , A' B, B, A' B ; (A B)' ; 58. Si U = A U A B , A' B', (A B)', A , A U, A B, A'

1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13

A=

2, 3, 4 5, 6, 7

B= { 5, 6, 7,8

C= { 6, 7, 8 ,9 ,10

Determine los conjuntos siguientes: a) A B C b) A B C Preguntas 1. Cules son los elementos de: El conjunto de los das de la semana El conjunto de las estaciones del ao Los nmeros impares positivos c) A ( B C ) d) A ( B C )

{ {
menores de 18

} } {
que 20

}
Los nmeros pares mayor que 10 y menor

{ {

}
Los nmeros primos menores de 15

}
2. Colocar V F segn lo afirmado sean verdadero o falso 6 { 2, 4, 5, 6, 9 } ____ p, q, y } _____ Per { pases de Europa }______ Amazonas { ros de Amrica } _____ y { o, p, q, x }_____ x { o,

3. Cules de los siguientes conjuntos son: vacos, unitarios, finitos, infinitos? A = { x / x es da de la semana}___________ B = { vocales de la palabra vals}___________ C = { 1, 3, 5, 7, 9, . . . . .}__________ D = { x / x es un habitante de la luna}____________ E = { x N / x < 15}_____________

F = { x N y 5 < x < 5 }____________ G = { x N y x > 15}______________ H = { x N y x = x}__________________ I = { x / x es presidente del Ocano Pacfico}______________ J = { x / x es nmero de cabellos total de los habitantes del Per } ____________

4. Englobe la respuesta correcta para las siguientes proposiciones A = {x/x es pas fronterizo con Per} El conjunto est por... Comprensin Extensin Tabular B = {x/x es una vocal de Internet} El conjunto es... Unitario. Infinito. Finito. Los que representan conjuntos disjuntos son... A = {e, m, a, i, l} y B = {c, o, r, e} C = {3, 6, 9} y D = {4, 8, 12} E = {2, 4, 8} y F = {3, 4, 5} La unin de conjuntos de A = {c, h, a, t} y B = {c, h, a, r, l} A U B = {c, h, a} A U B = {a, c, h, l, r, t} A U B = {l, r, t} La interseccin de conjuntos de A = {n, e, w, s} y B = {n, o, t, i, c, a} Es un conjunto vaco

Es un conjunto unitario Es un conjunto universal

La diferencia de conjuntos de A = {c, h, a, t} y B = {c, h, a, r, l} A - B = { c, h, a } A - B = { r, l } A-B={t} Si U = {letras de la palabra evaluacin} y A = {vocal de la palabra internet}. El complemento de A es A' = {n, t, r} A' = {a, c, l, n, o, u, v} A' = {v, a, l, u, c}