SISTEMA DE APRENDIZAJE AUTOGESTIONADO ASISTIDO

PRODUCCIN DE MATERIALES DIDCTICOS DE LA ASIGNATURA RAZONAMIENTO LGICO

Dra. Rosa M. Puerta Castro Lder (e) del Sistema de Aprendizaje Autogestionado Asistido

Ing. Juana Lorenzo de Centeno Prof. Neida E. Gonzlez Chaparro Lic. Teresa C. Gmez de Sousa Prof. Alberto Ochoa Parada Especialistas de Contenido

Prof. Alberto Ochoa Parada Diseador Instruccional

Lic. Guillermina Indriago Especialista de Redaccin y Estilo

Prof. Alberto Ochoa Parada Diseador y Diagramador

PRODUCCIN GRFICA E IMPRESIN (NOMBRE DE LAS EMPRESAS) EL

PRESENTE MATERIAL SE ENCUENTRA EN PROCESO DE EVALUACIN FORMATIVA, AGRADECEMOS COMENTARIOS U OBSERVACIONES QUE PERMITAN LA OPTIMIZACIN DEL MISMO.

Todos los derechos reservados. Slo se admitir la reproduccin total o parcial de este material didctico con fines exclusivamente instruccionales y no comerciales. 2007 Universidad Nacional Experimental Politcnica de la Fuerza Armada (UNEFA) Av. La Estancia con Av. Caracas y Calle Holanda frente al Edificio Banaven (Cubo Negro), Chuao. Cdigo Postal 1061 Caracas, Venezuela http://www.aaa.unefa.edu.ve

NDICE DE CONTENIDO
Tpico Pg.
INTRODUCCIN ........................................................................................................4 UNIDAD N 1: LGICA PROPOSICIONAL ...............................................................5 LECTURA N 1: LECTURA N 2: LECTURA N 3: LECTURA N 4: LECTURA N 5: LECTURA N 6: LECTURA N 7: LECTURA N 8: LECTURA N 9: Proposiciones. .......................................................................5 Ms sobre Proposiciones.......................................................6 Conectivos u Operadores Lgicos. ........................................8 Valores de Verdad de los Operadores Lgicos......................12 Tablas de Verdad. .................................................................18 Tautologa, Contradiccin, Indeterminacin y Frmulas Equivalentes. .........................................................................20 Aplicaciones (Circuitos). ........................................................24 Cuantificadores......................................................................28 Negacin de los Cuantificadores. ..........................................30

LECTURA N 10: Conectores Lgicos y Lingsticos.........................................33 UNIDAD N 2: LEYES DE LA LGICA PROPOSICIONAL .......................................35 LECTURA N 11: Inferencia y Leyes de la Lgica. ............................................35 LECTURA N 12: Falacias. ................................................................................49 LECTURA N 13: Condicionales. .......................................................................52 UNIDAD N 3: DEMOSTRACIONES MATEMTICAS ...............................................58 LECTURA N 14: Demostraciones Matemticas................................................58 LECTURA N 15: Mtodo de Induccin Matemtica. .........................................69 LECTURA N 16: Algunas Funciones de las Demostraciones Matemticas ......73 UNIDAD N 4: TEORA DE CONJUNTOS .................................................................75 LECTURA N 17: Conceptos Bsicos. ...............................................................75 LECTURA N 18: Tipos de Conjuntos................................................................78 LECTURA N 19: Ms sobre Conjuntos Especiales...........................................81 LECTURA N 20: Representacin Grfica de Conjuntos ...................................85 LECTURA N 21: Relacin entre Conjuntos ......................................................86 LECTURA N 22: Otras Relaciones entre Conjuntos. ........................................88 LECTURA N 23: Operaciones entre Conjuntos. ...............................................90 LECTURA N 24: Aplicaciones de la Operaciones entre Conjuntos. ..................106 LECTURA N 25: Nmero de Elementos de un Conjunto. .................................109 BIBLIOGRAFA ....................................................................................................113

INTRODUCCIN
La Universidad Nacional Experimental Politcnica de la Fuerza Armada (UNEFA), te da la bienvenida al primer semestre de tu carrera y a la vez te ofrece este valioso recurso que contiene una seleccin de lecturas para la asignatura Razonamiento Lgico. La UNEFA con su poltica dirigida a formar egresados de excelencia acadmica, incorpora la asignatura Razonamiento Lgico en el inicio de la carrera de Ingeniera, TSU en Anlisis y Diseo, TSU en Agronoma, TSU Hidrocarburos y TSU en Construccin Naval; con el propsito de mejorar la forma de pensar a travs de herramientas lgicas, facilitando en el estudiante la formulacin, evaluacin y resolucin de problemas de ndole numrico a lo largo de su carrera, as como aquellos aspectos relacionados con su comunidad. El razonamiento lgico es una ciencia cuyo inicio se remonta siglos atrs, aunque desde siempre el ser humano inconscientemente lo ha utilizado, al organizar elementos, establecer patrones y encontrarle explicaciones a las cosas y hechos de la vida diaria. Por estas razones, Aristteles fue el primero en incursionar en el estudio de esta ciencia, se interes en sistematizar la lgica que usamos a diario. La lgica matemtica trata todo aquello que tiene sentido comn, que parece suceder de forma natural en la mente humana y se entiende a medida que se va estudiando y profundizando en ella, desarrolla la madurez matemtica de una forma diferente a lo que tradicionalmente se hace; adems le brinda la oportunidad de obtener mejores resultados y aprendizajes significativos en el mbito numrico. En el desarrollo de esta asignatura, sern evidenciados mltiples casos de la vida cotidiana que necesitan de la lgica para darle una correcta solucin a los problemas que a diario se presentan. En esta seleccin de lecturas, encontrars un resumen de los contenidos bsicos de los temas que componen la asignatura, los cuales te apoyarn en el logro de un aprendizaje de calidad. Durante la primera unidad, se trabajar con Lgica proposicional, en ella aprenders un lenguaje simblico, significativo, que te permitir establecer un novedoso lenguaje de comunicacin. En la segunda unidad se contemplan Las Leyes de la Lgica Proposicional, con cuales determinars los principios fundamentales inherentes al lenguaje y contenidos adquiridos en la unidad 1. La tercera unidad se refiere al tema de Demostraciones Matemticas, donde se plantean mtodos necesarios que permiten determinar lo que hace, que cierto razonamiento sea vlido o no. Se culmina con la cuarta unidad; ella contiene los temas relacionados a la Teora de Conjuntos, como una manera de formalizar la tendencia natural que tiene el ser humano de agrupar o reunir lo que ve en su entorno y la forma de relacionar estas agrupaciones.

UNIDAD 1 LGICA PROPOSICIONAL

LECTURA N 1: PROPOSICIONES
Tomada con fines instruccionales Britton, J., Bello, I. (2002). Matemtica Contempornea. Segunda edicin. (P. 59 61).Mxico.

El trmino lgica se deriva de la palabra griega logos, la cual significa razonamiento o discurso. Los antiguos griegos suelen ser considerados los iniciadores del estudio de los procesos del razonamiento humano. Los principios descubiertos por ellos fueron sistematizados, primero, por Aristteles (384-322 A.C); y el tipo de razonamiento aristotlico constituye la lgica tradicional que ha sido estudiada y enseada desde su poca hasta nuestros das. Un ejemplo sencillo de la lgica aristotlica es el siguiente. Todos los hombres son mortales. Scrates era un hombre. Por tanto, Scrates era mortal. Este es un tpico razonamiento conocido como silogismo. No obstante que el estudio moderno de la lgica simblica (que se trata en este captulo) se basa en las investigaciones de hombres como el matemtico alemn, Leibniz. (16471716), el simbolismo moderno y las operaciones de tipo algebraico fueron por primera vez aplicadas de manera sistemtica a la lgica, en la obra del matemtico ingls George Boole (1815-1864). El estudio de la lgica se desarroll con paso acelerado a partir del anlisis de Boole, y se ha logrado un considerable progreso respecto a la comprensin de la verdad lgica. Cada vez que se trata de resolver un problema, se toma parte en un debate, o se trata de llenar un crucigrama, se realiza una actividad mental llamada razonamiento lgico, el cual, por lo regular, se expresa en trminos de enunciados declarativos. En este captulo trataremos acerca de tales enunciados.

Proposiciones
En sta y en las siguientes secciones se estudiarn ciertos tipos de enunciados declarativos llamados proposiciones, as como la manera como pueden combinarse para llegar a conclusiones vlidas. En general, una proposicin es un enunciado declarativo que puede considerarse como falso o verdadero, pero no como ambas cosas al mismo tiempo. Esta capacidad de ser calificadas como falsas o verdaderas hace que las proposiciones difieran de las preguntas,

rdenes o exclamaciones. Se pueden hacer preguntas, dar rdenes y hacer exclamaciones exaltadas, pero slo las proposiciones pueden ser calificadas como falsas o verdaderas. Los siguientes enunciados son ejemplos de proposiciones. Ejemplo 1 a. Caracas es la capital de Venezuela. b. Dos es par y menor que veinte. c. En Florida hay cinco trillones de granos de arena. d. O estudias diariamente o repruebas este curso. e. Si dos es par, entonces 2+2 da como resultado un nmero par. Observa que la verdad o la falsedad de la primera proposicin, puede verificarse mediante un examen directo, en tanto que la tercera slo es cierta o falsa aunque no haya mtodos prcticos o inmediatos para determinarlo. En contraposicin con las proposiciones del ejemplo 1, los siguientes enunciados son ejemplos de no proposiciones. Ejemplo 2 a. b. c. d. e. Qu hora es? Prez para presidente! Hola Carlos! Cierra la puerta! Esta proposicin es falsa!

Los enunciados del ejemplo 2 no son proposiciones. Observe que si se supone que (e) es verdadera, entonces resulta ser falsa; por el contrario, si se cree que es falsa entonces es verdadera. De ah que tal enunciado no puede ser considerado como verdadero o falso, por lo que no se trata de una proposicin.

LECTURA N 2: MAS SOBRE PROPOSICIONES

Tomada con fines instruccionales Gmez, T., Gonzlez, (2007). Ms sobre Proposiciones. publicado (p.1). Caracas. N., Lorenzo, Artculo J. no

Para identificar una proposicin es importante hacer uso de un criterio que nos permita afirmar que sta es verdadera o falsa. Tomando en cuenta el ejemplo 1 sealado en la lectura anterior (Britton), puede observarse que se utilizan criterios histricos (ejemplo a.)

y aritmticos (ejemplo b. y e.). En general se pueden tomar cuenta criterios tales como: el qumico, aritmticos, botnicos, geogrficos, histricos, propiedades, caractersticas, entre otros.

REPRESENTACIN DE UNA PROPOSICIN

Cabe destacar que usualmente las proposiciones se pueden representar con letras minsculas, ejemplo: p, q, r, s, m,, a las que llamamos letras o variables proposicionales. Las proposiciones del ejemplo 1 se pueden representar de la siguiente forma: p = Caracas es la capital de Venezuela q = En Florida hay cinco trillones de granos de arena Sin embargo sta no es la nica notacin, algunos representan las proposiciones en letras minsculas acompaadas de subndices (p1, p2,..,pn). A fn de unificar la notacin, en este texto utilizaremos las letras minsculas sin subndices.

PROPOSICIONES SIMPLES Y COMPUESTAS:

Dos o ms proposiciones pueden unirse dando origen a una proposicin de estructura ms compleja, a las cuales se le denomina frmulas proposicionales, proposiciones moleculares o proposiciones compuestas. Los componentes de estas proposiciones se llaman proposiciones simples o atmicas (vistas en la lectura anterior, Britton). En el siguiente ejemplo, p es una proposicin simple al igual que q: p = Juan estudia en la UNEFA q = Karina estudia en la UNEFA, mientras que Juan estudia en la UNEFA y Karina estudia en la UNEFA es la proposicin compuesta p y q. Observa, que para formar la proposicin anterior se unen las proposiciones simples por medio de la conjuncin y, Otras formas como se pueden conectar las proposiciones son: la disyuncin (o): Juan va a la playa o Juan va al vila el condicional (si, entonces): si estudia, entonces aprueba el examen y el bicondicional (si y slo si):Un n es divisible por 2 si y slo si n es par. En muchos casos la formacin de las proposiciones compuestas amerita el uso de signos de agrupacin tales como: ( ), [ ] y { }.

Muchas veces conocemos una proposicin y necesitamos saber la proposicin contraria, en este caso estamos hablando de la negacin de una proposicin. Por ejemplo: p = Pedro es buen estudiante, la negacin de la proposicin p sera: no p = No es cierto que Pedro es buen estudiante A partir de ahora, los posibles valores de verdad de una proposicin se denotarn con la las letras: V para verdadero y F para falso. De este modo, la proposicin El hierro es un metal tiene un valor de verdad igual a V, en tanto que la proposicin, las hojas de los rboles son de vidrio tiene un valor de verdad igual a F.

LECTURA N 3: CONECTIVOS U OPERADORES LGICOS

Tomada con fines instruccionales Burgos, A. (1983). Iniciacin Lgica Matemtica. Ediciones Dcima edicin (p. 2-7). Caracas. a Vega la s.r.l.

CONECTIVAS
Denominaremos conectiva de una proposicin molecular, al elemento verbal o escrito que une a las proposiciones atmicas que forman aqulla. Por extensin, a la negacin de una proposicin tambin le llamaremos conectiva. Existen dos tipos de conectivas: las que ligan dos proposiciones atmicas o conectivas mltiples y las negaciones o conectivas singulares. Para el desarrollo del libro, slo necesitaremos de las seis conectivas siguientes: no, y, o, o.o , si entonces , si y slo si Ejemplos: a) No, los tres ngulos de un tringulo rectngulo son iguales. b) Jos estudia Matemticas y Jos estudia violn. c) Est nublado o hace fro. d) O el nmero natural n es par o el nmero natural n es impar. e) Si la nieve es negra, entonces el gato es un cuadrpedo. f) El tringulo tiene cuatro lados si y slo si 3 5 Observaciones: 1
a

Aunque la construccin gramatical de los ejemplos a) y b) no es la ms apropiada, a veces es preferible hacerlo as para evitar ambigedades.

2 f).

Ms adelante sern debidamente aclarados los ejemplos e) y

Si representamos las proposiciones atmicas con p y q, las proposiciones moleculares que sern objeto de nuestro estudio, son: a) no p, d) o p o q, b) p y q, e) si p entonces q, c) p o q, f) p si y slo si q anteriormente,

Para una mejor comprensin de las seis conectivas sealadas procederemos a continuacin a estudiarlas por separado.

La conectiva

no

o negacin: es la nica conectiva singular de las que vamos

a estudiar; la representacin del signo colocado encima de la letra proposicional, o bien con una coma en la parte superior derecha; por tanto si la letra proposicional es p, escribiremos:

p
y se leer no p Ejemplos:

o bien

p'

a) No Caracas es la capital de Francia. b) No la raz cuadrada de 2 es un nmero racional. Aunque en el lenguaje espaol ordinario, el no debe seguir al sujeto, en el lenguaje lgico se prefiere anteponerlo a la proposicin para evitar ambigedades.

La conectiva y o conjuncin copulativa: cuyo objeto es unir dos proposiciones, la representamos con el signo ; por tanto, si las proposiciones son p y q, escribiremos:

p q
y leeremos: p y q. La proposicin (2) es el producto lgico de las proposiciones p y q, y stos son sus factores. Ejemplos: a) Hace sol y est lloviendo b) El nmero 15 es divisible por 3 y por 5.

La conectiva

o o conjuncin disyuntiva inclusiva: denota alternativa y simultaneidad entre dos proposiciones, la representaremos con el signo ; por tanto, si las proposiciones son p y q, escribiremos :

p q
y leeremos p o q, o bien p o/y q.

La proposicin p q es la suma lgica de las proposiciones donde p y q son los

sumandos. Conviene aclarar que la proposicin (3) debe tomarse con uno de los significados siguientes: 1 Se verifica la proposicin p, pero no la q; 2 Se verifica la proposicin q, pero no la p; 3 Se verifican simultneamente las proposiciones p y q. Ejemplos: a) Jos se casa o Jos compra un paraguas. La proposicin molecular anterior, debe tomarse en el sentido de que Jos se dar por satisfecho de una de las tres formas siguientes: Casndose y no comprndose el paraguas Comprndose el paraguas y no casndose ; y Casndose y comprndose el paraguas. b) El nmero natural n es mltiplo de 3 o de 5. Esta proposicin debemos tomarla en el sentido de que el nmero n puede ser: Mltiplo de 3 pero no de 5 Mltiplo de 5 pero no de 3 ; y Mltiplo de 3 y de 5 simultneamente.

La conectiva

oo o conjuncin disyuntiva exclusiva, indica alternativa entre dos proposiciones p y q, la representaremos con el signo . La proposicin
molecular vendr representada, pues, en la forma:

y leeremos o p o q, o bien p o q, pero no ambos. La proposicin anterior es la suma booleana de las proposiciones p y q y stas son los sumandos. La proposicin (4) debe tomar p y q con uno de los dos significados siguientes: Se verifica p , pero no q . Se verifica q , pero no p . Ejemplos: a) O voy esta tarde al teatro o voy al cine.

10

Esta proposicin debe tomarse en el sentido de que si voy al teatro no voy al cine y de que si voy al cine no ir al teatro, pero de que ir a uno de estos espectculos. b) El nmero real o es racional o es irracional.

El significado de la proposicin anterior est bien claro, pues un nmero real puede ser racional o irracional, pero no ambas cosas a la vez.

La conectiva

s i. e ntonce s o condicional: se usa para obtener una proposicin molecular a partir de dos atmicas, sin pretender en ningn momento que el enunciado obtenido vaya a responder siempre a la idea gramatical ordinaria que se tiene sobre stos.
La conectiva condicional la representamos con el signo ; por tanto, la proposicin molecular correspondiente a las proposiciones p y q deber ser escrita en la forma:

p
Leeremos si p entonces q

En la proposicin anterior p es el antecedente y q el consecuente del condicional. Ejemplos: a) Si los elefantes vuelan, entonces la nieve es negra. b) Si los tringulos tienen cuatro lados, entonces Madrid es la capital de Espaa. Los ejemplos anteriores extraarn al lector desprevenido, pues les parecern (y estarn en lo cierto) enunciados incoherentes y desprovistos de todo significado; pero si revisa de nuevo la definicin de la conectiva en estudio, podr comprobar que dichos ejemplos son efectivamente proposiciones moleculares, independientemente de que sean verdaderas o falsas las proposiciones p y q, y de que entre stas exista o no dependencia.

La conectiva si y slo si o bicondicional: se usa (al igual que la anterior) para

obtener una proposicin molecular a partir de dos atmicas, prescindiendo de que el enunciado obtenido tenga o no sentido gramatical y de que entre las proposiciones atmicas componentes exista o no dependencias. An cuando, de acuerdo con la definicin, sta conectiva coincide con la anterior, al estudiar las tablas de verdad tendremos oportunidad de establecer las debidas diferencias entre ambas. La conectiva bicondicional la representaremos con el signo ; por tanto, la proposicin molecular correspondiente a las proposiciones p y q deber ser escrita de la forma:

p
Leeremos p si y slo si q.

En esta, p es el antecedente y q el consecuente del bicondicional.

11

Ejemplos: (a) Los gatos son vertebrados si, y slo si, Paris es la capital de Francia. (b) Los nmeros pares son divisibles por dos si, y slo si, los pentgonos tienen cuatro lados.

LECTURA N 4: VALORES DE VERDAD DE LOS OPERADORES LGICOS

Tomada con fines instruccionales Gmez, T., Gonzlez, N., Lorenzo J. (2007) Valores de verdad de los Operadores Lgicos. Artculo no publicado. (p.1-6). Caracas.

Dada la importancia de los conectivos sealados en la lectura anterior, es pertinente establecer los valores de verdad (v f) de cada proposicin compuesta (molecular o resultante) para cada conectivo. A tal efecto, se utiliza la Tabla de Verdad, la cual se construye partiendo de la valoracin de cada una de las proposiciones componentes (atmicas).

Negacin
Es til para estas lecturas, tener en cuenta que el signo utilizado para negar una proposicin es variable segn el autor. Presentamos a continuacin algunos signos utilizados para negar una proposicin. Distintas notaciones de la negacin p' ~p

No p

Dada una proposicin p, se denomina la negacin de p a otra proposicin denotada por p (se lee "no p") que le asigna el valor de verdad contrario al de p . Por ejemplo:

p: p:

Luis habla ingls No es cierto que Luis habla ingls

Por lo que nos resulta sencillo construir su tabla de verdad:

p
V F

p
F V

Observamos que Si p es V (verdadera entonces, la negacin le corresponde el valor de F (falsa) Si p es F entonces, la negacin le corresponde el valor de V

Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene otra, que es su negacin.

12

Ejemplo: La negacin de p : todos los peces viven en el ocano es

p : no es cierto que todos los peces viven en el ocano.

o bien

p : no todos los peces viven en el ocano.

o bien

p : Los peces no todos viven en el ocano.

Conjuncin
Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a la proposicin p q (se lee " p y q "), que establece que la conjuncin es verdadera slo si las dos proposiciones componentes son verdaderas. Cuando una de ellas no se cumple, es decir, es falsa, la proposicin resultante es falsa. A continuacin presentamos la tabla de verdad de la conjuncin p

q:

p
Si las dos son verdaderas Si por lo menos una de ellas es falsa V V F F

q
V F V F

p
V F F F

q
La conjuncin es verdadera La conjuncin es falsa

Ejemplo: Sea la proposicin molecular:

8 es mltiplo de 2 y 9 es un nmeroimpar
p q

p : 8 es mltiplo de 2;
q : 9 es un nmero impar
Por ser ambas verdaderas, la conjuncin entre ellas, es verdadera. Ejemplo: Sea la proposicin molecular: La fresa es una fruta y 3 es un nmero par. Esta conjuncin es falsa, pues:

p : La fresa es una fruta, es verdadera, mientras que

q : 3 es un nmero par, es falsa.
Por tanto, esta proposicin p simultneamente verdaderas.

q es falsa, ya que ambas proposiciones no pueden ser

13

Disyuncin Inclusiva:
Dadas dos proposiciones p y q, se denomina disyuncin inclusiva de estas proposiciones a la proposicin p q (se lee " p o q "), que establece que la disyuncin inclusiva es verdadera si al menos una de las dos proposiciones componentes es verdadera. Cuando todas ellas son falsas, la proposicin resultante es falsa. A continuacin presentamos la tabla de verdad de la disyuncin inclusiva p

q:

p
Si por lo menos una es verdadera Si las dos son falsas Ejemplo: Sea la proposicin molecular: V V F F

q
V F V F

p
V V V F

q
La disyuncin es verdadera Es falsa

El cielo es azul o el Centro Banaven lo llaman El Cubo Negro. Esta disyuncin es verdadera, pues:

p : El cielo es azul, es verdadera y

q : Centro Banaven lo llaman El Cubo Negro es verdadera, por tanto, esta proposicin p q es verdadera, ya que ambas proposiciones son
simultneamente verdaderas. Ejemplo: Sea la proposicin molecular: El nmero uno, es el elemento neutro de la suma o el nmero 44 es par. Esta disyuncin es verdadera, pues:

p : El nmero uno es el elemento neutro de la suma, es falsa y

q : el nmero 44 es par es verdadera, por tanto,
la proposicin p

q es verdadera, pues por lo menos una de ellas es verdadera

Ejemplo: Sea la proposicin molecular: Los Carnavales se celebran en el mes de Diciembre o La navidad es en el mes de Agosto. Esta disyuncin es falsa, pues:

p : Los Carnavales se celebran en el mes de Diciembre, es falsa y

q : La Navidad es en el mes de Agosto, es falsa, por tanto, la proposicin p

q es falsa, ya que las dos proposiciones son falsas.

La disyuncin exclusiva
Dadas dos proposiciones p y q, se denomina disyuncin exclusiva de estas proposiciones

a la proposicin p

q (se lee " o p o q "), la misma establece que la disyuncin 14

exclusiva es verdadera si slo una de las dos proposiciones componentes es verdadera. Cuando ambas proposiciones son verdaderas o ambas falsas, la proposicin resultante es falsa. A continuacin presentamos la tabla de verdad de la disyuncin exclusiva p

q:

p
V V F F Ejemplo: Sea la proposicin molecular:

q
V F V F

p
F V V F

O el nmero uno es el elemento neutro de la multiplicacin o el nmero 44 es par. Esta disyuncin exclusiva es falsa, pues:

p : El nmero uno, es el elemento neutro de la multiplicacin, es verdadera y

q : el nmero 44 es par es verdadera, por tanto, la proposicin p
Ejemplo: Sea la proposicin molecular: Los Carnavales se celebran en el primer trimestre del ao o La navidad es en el mes de Agosto. Esta disyuncin exclusiva es verdadera, pues:

q es falsa, ya

que ambas proposiciones son verdaderas y por definicin, slo una debe ser verdad.

p : Los Carnavales se celebran en el primer trimestre del ao, es verdadera y

q : La Navidad es en el mes de Agosto, es falsa, por tanto, la proposicin p q es verdadera, pues una y slo una de las dos proposiciones es verdadera. El Condicional
El condicional de las proposiciones " p y q " es la proposicin p cuya tabla de verdad es:

q (si p entonces q )

p
V V F F

q
V F V F

p
V F V V

15

La proposicin p se llama antecedente, y la proposicin q se llama consecuente del condicional. La tabla nos muestra que la implicacin slo es falsa si el antecedente es verdadero y el consecuente es falso. Ejemplo: Supongamos la implicacin R:

Si entreno,entoncesmeinscribo en la competencai
p q

El condicional R est compuesto de las proposic iones

p : entreno
q : me inscribo en la competencia
Nos interesa conocer la verdad o falsedad de la proposicin condicional R, en relacin a la verdad o falsedad de las proposiciones p y q . El enunciado puede pensarse como un compromiso, condicionado por p , y podemos asociar su verdad al cumplimiento del compromiso. Es evidente que si p es F, es decir, si no entreno, quedo liberado del compromiso y me inscriba o no en la competencia, el condicional es verdadero. Si p es verdadera, es decir si entreno, y no me inscribo en la competencia, el compromiso no se cumple y la proposicin R es falsa. Si p y q son verdaderas, entonces la proposicin R es verdadera pues el compromiso se cumple. Ejemplo: 1 = (1) 1 = 1 (F)

La proposicin resulta ser falsa por ser el antecedente verdadero, 1 = (1) y el consecuente (1 = 1) falso.

El Bicondicional
El si y slo si de las proposiciones p y q es la proposicin p q") cuya tabla de verdad es:

q (se lee "p si y slo si

p
V V F F

q
V F V F

p
V F F V

Si y slo si o el bicondicional slo es verdadera si ambas proposiciones tienen el mismo valor de verdad. El bicondicional puede definirse como la conjuncin de una implicacin y q puede obtenerse su recproca. De este modo, la tabla de valores de verdad de p mediante la tabla de p q p , como vemos: q

16

p
V V F F Ejemplo: Sea

q
V F V F

p
V F V V

q
V V F V
2

q
V F F V

R: a = b si y slo si a = b

El enunciado est compuesto por las proposiciones:

p : a = b;
q : a2 = b2
Este bicondicional Si p es F, es decir a a=b a = b es falso.
2 2 2 2 b, y q es V, es decir a = b . En los dems casos es V.

Hacer la tabla de verdad para este bicondicional

p
a=b
2

q
a=b
2

V V F F

V F V F

En las prximas lecturas trabajaremos con frmulas proposicionales, para ello es indispensable el uso de las prioridades de los conectivos y los signos de agrupacin, que listaremos a continuacin: Prioridad 1) Signos de agrupacin 2) La Negacin 3) La conjuncin, disyuncin inclusiva exclusiva la y , () ~p , [ ]

4) Condicional y Bicondicional

17

Esta tabla nos indica que: 1) Primero resolvemos las frmulas parciales que se encuentran entre parntesis, de adentro hacia fuera. 2) Luego resolvemos las negaciones 3) Despus los conectivos, conjuncin y disyuncin inclusiva o exclusiva 4) Por ltimo el condicional y/o bicondicional. Para la siguiente frmula: p

~ q

s r ( Prioridad 1)

Se resuelve primero el parntesis ms interno q Luego negamos el resultado de q Despus usamos el conectivo

r (Prioridad 2)

con p y el resultado anterior (Proridad 3)

Finalmente el resultado obtenido se resuelve con el condicional

p ~ q
2do.

r
r
1ero.

3ero. 4to.

LECTURA N 5: TABLAS DE VERDAD

Tomada con fines instruccionales Gmez, T., Gonzlez, N., Lorenzo J. Construccin de Tablas de Verdad. no publicado. (p.1-2). Caracas. (2007). Artculo

Para la construccin de la tabla, la dividimos en dos partes. La parte izquierda la llamaremos margen y a la derecha la llamaremos cuerpo. En el margen colocaremos los valores de verdad de las variables proposicionales que intervienen. El nmero de dichas componentes determina la cantidad de posibles combinaciones de valores de verdad que aparecern en la tabla. Este nmero total de combinaciones se calcula con la operacin 2n , donde la base indica los nicos dos valores que puede asumir una variable proposicional (V o F), y el exponente el nmero de variables proposicionales que intervienen, ejemplo:

18

En la proposicin

~p q ~

q , intervienen

p
V V F F

q V F V F

Posibilidades 1 2 3
ra

dos variables proposiciones (p y q), el nmero de combinaciones para construir la tabla sera 2n 22 4 , por lo tanto el margen queda como lo muestra la figura a la derecha

da ra ta

margen

El cuerpo se va formando con las proposiciones parciales hasta llegar a la proposicin compuesta final, es decir, se agregan tantas columnas como proposiciones atmicas se encuentren agrupadas (en parntesis), leyendo la frmula de izquierda a derecha para iniciar el cuerpo de la tabla, y respetando las prioridades de los conectivos y signos de agrupacin. Siguiendo el ejemplo anterior tenemos: q p ~ p proposicin ~ Primero agregamos al cuerpo de la tabla la V V F p V F F F V V F F V Luego agregamos al cuerpo de la tabla ,

~p

p V V F F ~p q V F V V

q V F V F

~p F F V V

~p q V F V V

Agregamos ~ q

p V V F F

q V F V F

~p F F V V

~q F V F V
y valoramos el conectivo

Y por ltimo, agregamos la frmula

~p
~ p
V F V V

q
q

~q
~q
F V F V

p
V V F F

q V F V F

~p F F V V

~p

q
F F F V

~q

19

margen

cuerpo

Ejemplo 1: Construir la tabla de verdad correspondiente la proposicin compuesta

r ~ p
Solucin:

Observe que la p roposicin posee 3 componentes (p, q y r), por lo que tiene 8 combinaciones 23 y se sigue el mismo procedimiento del ejemplo anterior para construir el margen y el cuerpo.

p q r
V V V V F F F F V V F F V V F F V F V F V F V F

p
V V F F V V V V

~ p
F F V V F F F F

r ~ p
F F V F F F F F

margen

cuerpo

Ejercicios. Construya la tabla de verdad para las siguientes proposiciones compuestas: 1. ~ p

2.

~ p ~q

~p

~q

~p

LECTURA N 6: TAUTOLOGA, CONTRADICCIN, INDETERMINACIN Y FRMULAS EQUIVALENTES.

Tomada con fines instruccionales Gallo, C. (1996). Matemticas para Estudiantes de Administracin y Economa. U.C.V. Ediciones de la Biblioteca. Tercera Edicin. (p. 31-36) Caracas.

Las frmulas proposicionales tambin pueden clasificarse, atendiendo a los valores de verdad que puede asumir. De acuerdo a este criterio, las frmulas proposicionales se clasifican en:

20

TAUTOLOGAS:
Diremos que una frmula es una tautologa, si y slo si, ella es siempre verdadera, no importa cules sean los valores de sus componentes.

Ejemplo: Comprobar que la frmula

~q

~ p es una tautologa

Para comprobarlo slo tenemos que construir su correspondiente tabla de verdad:

p q ~p ~q
V V F F V F F F F V F V

p
V F V V

~q
V F V V

~p

q
V V V V

~ q

~p

V V F V

Puede observarse que en la ltima columna los valores de verdad son todos V, en consecuencia, dicha frmula es una tautologa. Una tautologa es una proposicin verdadera formalmente; es decir, es siempre verdadera por su forma lgica, o sea, por la forma en que se relacionan sus proposiciones componentes, independientemente de los valores de verdad de stas. A la tautologa tambin universalmente verdadera. podemos llamarla principio lgico o proposicin

Como veremos ms adelante, las tautologas son sumamente tiles, precisamente porque no se da en ellas la falsedad en ninguna circunstancia.

CONTRADICCIN: Diremos que una frmula es una contradiccin, si y slo si, ella es siempre falsa, no importa cuales sean los valores de verdad de sus componentes.

Ejemplo: Comprobar que la frmula ~ p Construyamos la tabla de verdad:

p es una contradiccin.

21

p V V F F

q
V F V F

q
V V F V

q
V V V V

~ p

q
F F F F

En efecto, podemos observar que se trata de una contradiccin, ya que los valores de verdad de la ltima columna son todos F. La contradiccin es siempre falsa por su forma lgica, independientemente del valor de verdad de las proposiciones componentes. Una contradiccin es una proposicin universalmente falsa. Desde luego al negar una tautologa se obtiene una contradiccin y viceversa, al negar una contradiccin se obtiene una tautologa.

INDETERMINACIN: Diremos que una frmula es una indeterminacin, si y slo si, ella es verdadera en unos casos y falsa en otros, no importa en que proporcin.
Ejemplo: Comprobar que la frmula p

p es una indeterminacin

La tabla de verdad correspondiente es:

p q
V V F F V F V F

p
V F V V

q
V V V F

q
V F V F

En efecto, se trata de una indeterminacin porque al final de su tabla hemos obtenido valores V y F.

FRMULAS EQUIVALENTES: Dos frmula proposicionales decimos que son equivalentes, si y slo si, en ellas intervienen las mismas variables proposicionales y, en sus tablas de verdad, las columnas correspondientes a dichas frmulas son idnticas entre s. 22

Dadas dos frmulas proposicionales cualesquiera, designadas por P y Q , si ellas son equivalentes, escribimos P Q que se lee: la frmula P es equivalente a la frmula Q . Si tales frmulas no son equivalentes, entonces escribimos P que se lee la frmula P no es equivalente a la frmula Q Ejemplo: Comprobar cuales de las siguientes frmulas son equivalentes:

~p

~q

p ~q

~ p

Construyamos sus correspondientes tablas de verdad, las cuales resumiremos en una sola, porque en ellas participan las mismas variables proposicionales:

p q
V V F F V F V F

~p
F F V V

~q
F V F V

~p
V V F V

~q

~q
V V F V

~p
F F V F

Resulta evidente que las dos primeras frmulas tienen idnticas distribuciones de valores de verdad, diremos entonces que esas dos frmulas son equivalentes y lo escribimos, as

~p

~q

~q

Si dos frmulas P y Q son equivalentes, entonces decimos que P es expresable en trminos de los conectivos en Q y viceversa. Ejemplos 1.- Se verifica que p

~ ~ p ~ q , por lo tanto, podemos decir que la conjuncin q ~ p q ~ q en este caso, podemos decir que el p q q p , nos permite expresar q , que nos permite

es expresable en trminos de la negacin y de la disyuncin inclusiva. 2.- Tambin se verifica que p

condicional es expresable en trminos de la negacin y de la conjuncin. 3.- Una equivalencia importante es p

al bicondicional en trminos de la conjuncin y el condicional. 4.- Igualmente importante es la equivalencia, p q

~ p

expresar a la disyuncin exclusiva en trminos de la negacin y el bicondicional.

23

LECTURA N 7: APLICACIONES (Circuitos)

Tomada con fines instruccionales Gmez, T., Gonzlez, N., Lorenzo J. Aplicaciones (Circuitos). Artculo publicado. (p.1-3). Caracas. (2007). no

LGEBRA DE LA CONMUTACIN:
Una de las primeras aplicaciones no matemticas de la lgica simblica fue la que utilizaron como un auxiliar en el diseo de circuitos elctricos (Claude Shannon, 1937), Esta metodologa fue adoptada por los diseadores de computadoras, lo que permiti simplificar y abaratar los costos de las mismas. Esta metodologa es algunas veces llamada el lgebra de conmutacin. El lgebra de conmutacin es una de las hermanas gemelas de la lgica de predicados, ambas son distintas denominaciones de una misma lgebra, llamada booleana (George Boole, 1813-1864). Si se conoce a fondo una, tambin se conoce la otra. No se precisa por tanto, un conocimiento profundo de la tecnologa moderna para comprender el funcionamiento de la red de conmutacin de un computador. En el lgebra de la conmutacin aparecen elementos que presentan dos estados (abierto o cerrado, conectado o desconectado), como son los interruptores elctricos y los contactos electromagnticos. Un circuito consiste usualmente de conductores e interruptores que conectan un terminal Te de entrada y un terminal Ts de salida. Desde el punto de vista de la transmisin de corriente: si el estado del interruptor es abierto, se corta el circuito y se detiene el paso de la corriente. Si el interruptor esta en estado cerrado, la corriente fluye a travs del circuito. Asociamos al estado cerrado o conectado el valor uno (1) y al estado abierto o desconectado el valor cero (0). Estos valores del lgebra de conmutacin corresponden a los valores de certidumbre V y F de la lgica proposicional. En cuanto a los elementos del lgebra de conmutacin que corresponden a las proposiciones lgicas son los elementos biestables (interruptores) grficamente:

p Te Ts

La figura representa un interruptor que podemos hacer corresponder a una proposicin p de modo que cuando el interruptor est conectado (valor 1) la proposicin es verdadera y cuando el interruptor est desconectado (valor 0) la proposicin es falsa.

24

En general, si por un circuito pasa corriente (puede encender un bombillo) se considerara que la proposicin a la cual representa es verdadera. En consecuencia a la tautologa corresponder un cable sin interruptor y a una contradiccin corresponder un corte en el cable o conductor. Cuando se disponen dos interruptores en serie (uno a continuacin del otro) en un mismo circuito, la corriente circulara slo en el caso en que los dos estn conectados. Slo en el caso en que simultneamente valen 1, se encender el bombillo de control. Es evidente que este circuito corresponde exactamente a la conjuncin p q de dos proposiciones.

Comparando a cuatro posibles combinaciones de los estados de los interruptores con la tabla de verdad de la proposicin p q , tendremos que corresponde a: p q

p
V V F F

q
V F V F

q
V F F F

Circuito cerrado abierto abierto abierto

Los elementos de la conmutacin pueden conectarse uno arriba y otro abajo; se habla entonces de conexin en paralelo. Este caso bastar para que uno solo de los interruptores est conectado para que circule la corriente, as mismo: si ambos interruptores estn conectados circular la corriente (y podr encenderse el bombillo). Este circuito corresponde en lgica a la disyuncin p q de dos proposiciones. Grficamente:

p
q Corresponde a:

Lo verificamos con la elaboracin de la siguiente tabla:

p
V V F F

q
V F V F

p
V V V F

Circuito cerrado cerrado cerrado abierto

25

Es por estas correspondencias por lo que a la conexin en serie se le llama tambin conexin y ( ) y a la conexin en paralelo: conexin o ( ) . La negacin en el clculo de proposiciones, tiene su correspondiente en circuitos elctricos. En efecto, se puede disear un circuito de tal modo que al conectar un interruptor, automticamente se desconecten otros. Cuando al conectar un interruptor correspondiente a una proposicin p , se ocasiona que otro interruptor se desconecte, a este ltimo lo denotaremos por ~ p . Comparando la tabla de verdad de las proposiciones p y ~ p tenemos:

p
V F

~p F V

En general, toda proposicin compuesta tiene una equivalente que puede ser representada por un circuito. Ejemplos: 1.- Al construir una proposicin correspondiente a los siguientes circuitos. Es decir, encontrar una proposicin que sea verdadera cuando el circuito deje pasar corriente y falsa cuando el circuito no permita el paso de la corriente:

q
(A)

p
~p

En la parte de arriba del circuito los interruptores estn en serie, por lo tanto, (deben dejar pasar corriente los dos) la proposicin que corresponde es q p .

En la parte de abajo el interruptor indica la proposicin ~ p , como es paralelo, si arriba hay paso de corriente, ste puede estar conectado o no ya que igual se encendera el bombillo. Pero si alguno de los de arriba est desconectado, o los dos, este debe dejar pasar la corriente. Luego ambos interruptores: los de arriba y los de abajo, estn en paralelo entonces la proposicin equivalente al circuito (A) sera:

~p

2.- Al construir una proposicin correspondiente a los siguientes circuitos. Es decir, una proposicin que sea verdadera

p
(B) q

~p

26

En la parte primera parte del circuito los interruptores estn en paralelo, es decir la proposicin que corresponde es p q . Lu ego es te resultado va en serie con el interruptor ~ p , es decir la proposicin resultante es: p q ~ p . Ejercicios propuestos:

1 Construya una proposicin correspondiente a los siguientes circuitos. Es decir, halle en cada caso, una proposicin que sea verdadera cuando el circuito deje de pasar corriente y falsa cuando el circuito no permita el paso de la corriente. q (C) ~p

p p

(D)

~p

~p (E)

p
(F) ~r

2. Disee un circuito para cada una de las siguientes proposiciones: (a) p

(b) p ~ p

(c) (~ q ~ p (e) p

~ p r

(d) p ~ q

qI

~ ~q

27

LECTURA N 8: CUANTIFICADORES
Tomada con fines instruccionales Gallo, C. (1996). Matemticas para Estudiantes de Administracin y Economa. U.C.V. Ediciones de la Biblioteca. Tercera Edicin. (p. 92-94) Caracas.

CUANTIFICADORES
Los cuantificadores son smbolos utilizados para indicar la cantidad de elementos, de determinado conjunto, que hacen verdadera a una propiedad dada. Existen dos tipos de cuantificadores: el universal y el existencial.

Cuantificador Universal
El cuantificador universal se utiliza para indicar la totalidad de los elementos de un conjunto dado. El smbolo que lo representa es se lee: para todo As, cuando queremos indicar que todos los elementos de un determinado conjunto, digamos A, hacen verdadera a una propiedad P(x) , escribimos

A : P(x)

Esto significa que al aplicar P(x) a cada elemento xi del conjunto dado A, se constituye una proposicin P(xi ) que resulta verdadera y, en consecuencia, la conjuncin de todas esas proposiciones es, tambin, verdadera. Podemos entonces, afirmar que siendo

A
Se verifica la equivalencia

x1 , x2 ,...xi ,...xn

A : P(x)

P(x1 ) P(x2 ) ... P(xi ) .. . P(xn )

Cuando, por el contrario, queremos afirmar que ningn elemento de cierto conjunto, por ejemplo B, hace verdadera a la proposicin P(x) , entonces escribimos

B :~ P(x)

Dicho de otra manera, la anterior expresin significa que todos los elementos de B niegan a P(x) o, tambin, que es falsa.

Cuantificador Existencial
El cuantificador existencial se utiliza para indicar la existencia de por lo menos un elemento que hace verdadera a una propiedad dada. El smbolo que lo representa es: se lee existe por lo menos un

28

As, cuando queremos indicar que existe por lo menos un elemento perteneciente a un conjunto dado, digamos A, que hacen verdadera a cierta propiedad P(x) , escribimos:

A : P(x)

Esto significa que al aplicar P(x) a cada elemento xi del conjunto dado A, por lo menos una de las proposiciones

P(xi ) que se constituyen resultar verdadera y, en

consecuencia, la disyuncin inclusiva de todas ellas ser tambin verdadera As, considerando nuevamente el conjunto

A
Se verifica la equivalencia

x1 , x2 ,...xi ,...xn

A : P(x)

P(x1 ) P(x2 ) ...

P(xi ) ... P(xn )

Si, por el contrario, queremos expresar que no existe ningn elemento de cierto conjunto, por ejemplo B, que haga verdadera la propiedad P(x) , utilizaremos el smbolo

se lee no existe ningn y escribimos:

B : P(x)

Puede notarse que esta ltima expresin es equivalente a la dada en el caso de cuantificador universal, para indicar que ningn elemento de B hace verdadera a una propiedad P(x) . Por lo tanto, podemos decir que

B :~ P(x)

B : P(x)

Adems, debe observarse que negar que todos los elementos de cierto conjunto A, hacen verdadera una propiedad P(x) , puede escribirse, usando al cuantificador existencial, de la siguiente forma:

x
Entonces, podemos concluir que

A :~ P(x)

A : P(x)

A :~ P(x)

Ntese que esta ltima equivalencia nos indica que la negacin del cuantificador universal, puede ser escrita en trminos del cuantificador existencial, mientras que, la primera equivalencia mostrada nos indica que la negacin del cuantificador existencial, puede ser escrita en trminos del cuantificador universal. Es decir:

29

~ x

B : P(x) [

x B: P(x) x B

:~ P(x)

Es importante destacar, adems, que se cumple

A : P(x)

A : P(x)

Sin embargo, el recproco no es una implicacin. Es decir, el hecho de que algn elemento haga verdadera a cierta propiedad, no implica que todos los verifiquen. Por lo tanto

A : P(x)

A : P(x)

LECTURA N 9: NEGACIN DE LOS CUANTIFICADORES

Tomada con fines instruccionales Miller, Heeren, Homsby, Pearson. (2006). Matemticas Razonamiento y Aplicaciones. Editorial Pearson. Dcima Edicin. (p. 101-104). Mxico.

CUANTIFICADORES
Las palabras todo, cada uno, todos y ninguno se denominan cuantificadores universales, mientras que las palabras y frases como alguno, existe y para al menos uno se conoce como cuantificadores existenciales. Los cuantificadores son muy usados en matemticas para indicar cuntos casos existen de una situacin. Tenga cuidado cuando construya la negacin de una proposicin que incluya cuantificadores. Si una proposicin es verdadera, su negacin debe ser falsa, y viceversa. Considere la proposicin. Todas las nias en el grupo se llaman Mary. Muchas personas escribiran la negacin de esta proposicin como Ninguna nia en el grupo se llama Mary o De todas las nias en el grupo, ninguna se llama Mary. Pero esto no sera correcto. Para determinar el por qu, analice los tres grupos que se presentan a continuacin: Grupo I: Mary Jones, MarySmith, Mary Jackson

Grupo II: Mary Johnson, Betty Parker, Margaret Boyle Grupo III: Shannon d Hemecourt, Annie Ross, Patricia Gainey Estos grupos contienen todas las posibilidades que necesitan considerarse. En el grupo I, todas las nias se llaman Mary; en el grupo II, algunas nias tienen por nombre Mary (y algunas no), y en el grupo III, ninguna nia se llama Mary. Vea los valores de verdad en el

30

diagrama siguiente y tenga presente que alguna significa al menos una (y posiblemente todas). Valores de verdad aplicados a: (1) Todas las nias en el grupo se llaman Mary. (Dado) (2) Ninguna nia en el grupo se llama Mary. (Posible negacin) (3) De todas las nias en el grupo, ninguna se llama Mary. (Posible negacin) (4) Algunas nias en el grupo no se llaman Mary. (Posible negacin) Grupo I V F F Grupo II F F F Grupo III F V V Negacin

La negacin de la proposicin dada (1) debe tener valores de verdad contrario en todos los casos. Puede verse que las proposiciones (2) y (3) no satisfacen esta condicin (para el grupo II), pero la proposicin (4) s la cumple. Puede concluirse que la negacin correcta para: Todas las nias en el grupo se llaman Mary es Algunas nias en el grupo se llaman Mary. Otras formas de establecer la negacin son: No todas las nias en el grupo tienen por nombre Mary. No es el caso que todas las nias en el grupo se llamen Mary. Al menos una nia en el grupo no se llama Mary. La tabla siguiente puede usarse para generalizar el mtodo de determinar la negacin de una proposicin que incluya cuantificadores. Negacin de proposiciones con cuantificadores Proposicin Todos cumplen Algunos cumplen Negacin Algunos no cumplen. (De forma equivalente: no todos cumplen) Ninguno cumple. (De forma equivalente: todos no cumplen)

La negacin de una proposicin es la proposicin misma. Por ejemplo, la negacin en la columna Negacin son simplemente las proposiciones originales correspondientes en la columna Proposicin. Como un ejemplo, la negacin de: Algunos no cumplen es Todos cumplen. EJEMPLO 5. Escriba la negacin de cada proposicin. (a) Algunos perros tiene pulgas. Ya que algunos significa al menos uno, la proposicin Algunos perros tienen pulgas realmente es lo mismo que Al menos un perro tiene pulgas. La negacin de esto es: Ningn perro tiene pulgas.

31

(b) Algunos perros no tienen pulgas. Esta proposicin afirma que al menos un perro, en algn lugar, no tiene pulgas. La negacin de esto es: Todos los perros tienen pulgas. (c) Ningn perro tiene pulgas. La negacin es: Algunos perros tiene pulgas. Las diferentes relaciones entre los conjuntos especiales de nmeros pueden expresarse utilizando cuantificadores universales y existenciales. Anteriormente, ya habamos hablado de los nmeros naturales o de conteo, que constituyen los bloques de construccin del sistema de los nmeros reales. Los conjuntos de nmeros reales son estudiados en lgebra, y estos se resumen en el cuadro siguiente: Conjunto de nmeros reales. Nmeros naturales o de conteo 1,2,3,4,... Enteros no negativos (cardinales) Enteros

0,1,2,3,4,...

..., 3, 2, 1, 0,1,2,3,...

Nmeros racionales p / q | p y q son enterosy q 0 (Algunos ejemplos de nmeros racionales son:

5 ,

5 0 9 , , .

Cualquier nmero racional puede escribirse como un nmero decimal que termina, como 0.25, o como un nmero decimal que se repite, como 0.666). Nmeros reales

x | x es un nmeroquepuedeescribirsecomodecimal
x | x es un nmeroque no puedeescribirsecomoel cocientede enteros
3

Nmeros irracionales

(Algunos ejemplos de nmeros irracionales son 2 , 4 y . Una caracterstica de los nmeros irracionales e s que sus representaciones decimales nunca terminan y nunca se repiten, esto es, nunca llega un punto en que se repita un patrn de dgitos de ah en adelante.)

EJEMPLO 6. Verificamos si cada una de las proposiciones siguientes acerca de conjuntos de nmeros, que incluyen un cuantificador, es verdadera o falsa:

(a) Existe un entero no negativo que no es un nmero natural.

32

Puesto que existe tal nmero (es el 0), esta proposicin es verdadera. (b) Todo nmero entero es un nmero natural. Esta proposicin es falsa, ya que podemos encontrar al menos un entero que no es un nmero natural. Por ejemplo, -1 es un entero pero no es un nmero natural. (Hay un nmero infinito de selecciones que podramos haber hecho). (c) Todo nmero natural es un nmero racional. Como todo nmero natural puede escribirse como una fraccin de denominador 1, esta proposicin es verdadera. (d) Existe un nmero irracional que no es real. A fin de que sea un nmero irracional, un nmero tiene primero que ser real (vea el cuadro). Por lo tanto, como no podemos dar un nmero irracional que no sea real, esta proposicin es falsa. (Si hubisemos sido capaces de encontrar al menos uno, entonces el enunciado habra sido verdadero.)

LECTURA N 10: CONECTORES LGICOS Y LINGSTICOS

Tomada con fines instruccionales Paniagua, E., Snchez, J. Thomson, F. (2003). Lgica Proposicional. Ed. Thomson. (p. 12). Espaa.

CONSTRUCCIN DE ENUNCIADOS EN EL CLCULO PROPOSICIONAL

La traduccin del lenguaje natural al lenguaje formal no es un proceso mecnico. No hay reglas que nos indiquen de forma axiomtica y nica cmo debe realizarse dicha transformacin, slo nos podemos basar en una serie de reglas generales, las que ya hemos visto, en combinacin con la intuicin y la experiencia previa. En la tabla mostraremos las equivalencias ms utilizadas entre las conectivas lgicas y las lingsticas, Conectivas Lgicas Conectivas Lingsticas No es el caso de P No P No es cierto que P PyQ P pero Q P aunque Q PoQ Ya P ya Q ya ambas

P P
33

Q Q

Conectivas Lgicas

Conectivas Lingsticas Si P entonces Q P solo si Q Solo P si Q Es suficiente P para que Q Siempre que P entonces Q Es necesario Q para que P No P a menos que Q A no ser que Q no P P si y slo si Q P cuando y slo cuando Q P es condicin suficiente y necesaria para que Q

34

UNIDAD 2 LEYES DE LA LGICA PROPOSICIONAL

LECTURA N 11: INFERENCIA Y LEYES DE LA LGICA
Tomada con fines instruccionales Gallo, C. (1996). Matemticas para Estudiantes de Administracin y Economa. U.C.V. Ediciones de la Biblioteca. Tercera Edicin. (p. 51-67) Caracas.

INFERENCIA LGICA
La lgica nos suministra principios de razonamiento, es decir, nos establece una teora de la inferencia. Hacer inferencia consiste en obtener, a partir de un conjunto de proposiciones, llamadas premisas, que se aceptan como verdaderas, otra proposicin, llamada conclusin, que tambin ser verdadera. Las premisas pueden ser: a) verdades obtenidas de la experiencia, tal como ocurre en las ciencias fcticas, b) verdades presupuestas que son llamadas axiomas o c) verdades previamente demostradas, que son llamadas teoremas. Para poder llegar a la conclusin a partir de las premisas, es necesario utilizar una serie de reglas que llamamos reglas de inferencia. As, a todo este proceso de obtener una conclusin verdadera, a partir de premisas, que tambin lo son, utilizando reglas de inferencia, es lo que llamamos razonamiento deductivo. La lgica se encarga, entonces, de proporcionarnos los criterios que permiten establecer la validez de estos razonamientos. Tales criterios slo deben atender a la forma en que ellos se presentan, independientemente del contenido de las proposiciones que los constituyen. Por lo tanto, nuestro inters se centra en las reglas que podemos utilizar. Recordando que las tautologas son ciertas, no por el contenido de las proposiciones sino justamente por la forma en que se combinan las proposiciones, podemos darnos cuenta del muy importante papel que ellas van a jugar en la inferencia, precisamente por estar desprovistas de contenido emprico. LEYES DE LA LGICA Llamaremos ley de la lgica proposicional a toda forma tautolgica

35

Las tautologas o leyes de la lgica constituirn entonces la base terica que dan fundamento a las reglas de razonar correctamente, las cuales hemos llamado reglas de inferencia. Cada vez que razonamos correctamente estamos aplicando ciertas reglas que estn justificadas por leyes de la lgica. Es decir, cada ley lgica autoriza un acto de inferencia, el cual viene asociado a una regla. De acuerdo a esto, cada tautologa dar origen a una regla de inferencia y puesto que existen infinitas tautologas dispondremos de infinitas reglas de inferencia. Esto sera un grave inconveniente en el proceso deductivo, pues sera necesario verificar en cada paso cul regla de inferencia se ha utilizado y mientras mayor sea el nmero de estas reglas, ms difcil ser dicha verificacin. Afortunadamente slo un reducido nmero de reglas de inferencia es necesario en el razonamiento deductivo. El vnculo existente entre las leyes lgicas (tautologas) y las reglas de inferencia queda evidenciado en el hecho de que para que una inferencia sea correcta; es decir, para que tengamos derecho a afirmar que una conclusin es verdadera, partiendo de la verdad de una premisa, es necesario y suficiente que el condicional que se obtiene colocando como antecedente la conjuncin de todas las premisas, y como consecuente a la conclusin, resulte una tautologa, esto es, que constituya una implicacin. Para expresar simblicamente un razonamiento deductivo, hacemos lo siguiente: designamos a las premisas por P , P ,.....,P y a la conclusin por C y escribimos: 1 2 n

P1 P2 Pn C
Donde el smbolo , se lee luego.

As en definitiva tenemos que: Dado el razonamiento deductivo constituido por las premisas:

P1, P2 ,.....,Pn
y la conclusin: C decimos que dicho razonamiento es correcto o vlido cuando:

P1

P2

..... P n

Hemos dicho antes, que, a pesar de existir infinitas reglas de inferencia, slo unas pocas son necesarias en los razonamientos deductivos. Las ms importantes son:

36

Modus Ponendo Ponens (P.P.)

Su traduccin es mtodo que afirma afirmando y su forma

P P

Q Q

Cualquier razonamiento que tenga esta forma es vlido ya que se cumple:

P
Q
V F V F

Q P

P Q
V F F F

Q P P Q
V V V V

Lo cual es demostrable construyendo la tabla de verdad

P
V V F F

P
V F V V

Por eso, si un condicional es verdadero y tambin lo es el antecedente de dicho condicional, podemos obtener, como conclusin, que el consecuente del mismo, es verdadero. Ejemplo 1: Sea el razonamiento siguiente: Si el examen es muy largo, entonces los alumnos se cansan y dejan de pensar fcilmente. El examen es muy largo; luego, los alumnos se cansan y dejan de pensar fcilmente. Para expresarlo simblicamente, identificamos a las proposiciones que intervienen como sigue:

p : el examen es muy largo. q : los alumnos se cansan.

r : los alumnos dejan de pensar fcilmente.

De esta forma, el razonamiento dado lo podemos representar as:

1) p 2) p q

q r

De acuerdo al Modus Ponendo Ponens y asumiendo que las premisas 1) y 2) son, ambas, verdaderas, podemos concluir que la conjuncin q r : los alumnos se cansan y dejan de pensar fcilmente es, tambin, verdadera.

37

Modus Tollendo Tollens (T.T.)

Su traduccin es mtodo que niega negando y su forma

Q ~Q ~P

Cualquier razonamiento que tenga esta forma es vlido ya que se cumple:

~Q

~P

Lo cual es demostrable construyendo la tabla de verdad

P
V V F F

Q
V F V F

~P
F F V V

~Q
F V F V

P
V F V V

Q
F F F V

~Q

~Q
V V V V

~P

De esa tautologa (ley lgica) obtenemos la siguiente regla: si un condicional es verdadero y tambin lo es la negacin del consecuente de dicho condicional, podemos obtener, como conclusin, que la negacin del antecedente del mismo, es verdadera. Ejemplo 2: Sea el razonamiento siguiente: Si llueve, entonces no salgo de mi casa. Salgo de mi casa. Luego, no llueve. Identificamos a las proposiciones que intervienen as:

p : llueve. q : no salgo de mi casa.

Por lo tanto, la expresin simblica del razonamiento dado es como sigue:

q 1) p 2) ~ q ~ p
De acuerdo el Modus Tollendo Tollens y asumiendo que las premisas 1) y 2) son, ambas, verdaderas, podemos concluir que la proposicin

~ p : no llueve es, tambin, verdadera.

38

Modus Tollendo Ponens (T.P.)

Su traduccin es mtodo que afirma negando y su forma

P Q ~P Q

o bien

P Q ~Q P

Las correspondientes implicaciones son:

P Q

~P

~Q

El estudiante puede demostrar esas implicaciones, a manera de ejercicio, construyendo sus correspondientes tablas de verdad, al igual que puede hacerlo en los casos que siguen, donde sern omitidas tales demostraciones. De lo anterior obtenemos la siguiente regla: si una disyuncin inclusiva es verdadera y la negacin de una de sus componentes tambin lo es, entonces podemos obtener, como conclusin, que la otra componente de la disyuncin es verdadera. Ejemplo 3: Dado el razonamiento El agua hierve a 50C o a 100C. El agua no hierve a 50C. Luego, el agua hierve a 100C.

p : El agua hierve a 50C. q : El agua hierve a 100C.

As, la forma simblica del razonamiento dado es:

1) p q 2) ~ p q
En consecuencia si 1) y 2) son verdaderas, concluimos, de acuerdo al el Modus Tollendo Ponens que

q : El agua hierve a 100C es, tambin, verdadera.

Silogismo Hipottico (S.H.)
Su forma es:

P Q R Q P R

39

La implicacin correspondiente es:

De donde se obtiene la siguiente regla: si son verdaderos dos condicionales dados de tal forma que el consecuente de uno es el antecedente del otro, entonces podemos obtener, como conclusin, que el condicional cuyo antecedente es el antecedente del primero y cuyo consecuente es el consecuente del segundo, es verdadero. Ejemplo 4: Sea el siguiente razonamiento: Si un nmero entero termina en cero, entonces ese nmero es divisible por dos. Si el nmero es divisible por dos, entonces ese nmero es par. Luego, si un nmero entero termina en cero, entonces ese nmero es par. Hacemos la siguiente identificacin de las proposiciones que intervienen:

p : un nmero entero termina en cero. q : ese nmero es divisible por dos.

r : ese nmero es par.

As, la expresin simblica del razonamiento dado es como sigue:

1) p 2) q p

q r r

En consecuencia si 1) y 2) son verdaderas, concluimos, de acuerdo al silogismo hipottico que el condicional

r : si un nmero entero termina en cero, entonces ese nmero es par

es, tambin, verdadera.

Silogismo Disyuntivo (S.D.)

Su forma es:

P R Q S P Q R S
La implicacin correspondiente es:

La regla que obtenemos de esta implicacin es la siguiente: si dos condicionales son verdaderos y la disyuncin inclusiva formada por los antecedentes de esos condicionales,

40

tambin es verdadera, entonces podemos concluir que la disyuncin inclusiva formada por los consecuentes, de dichos condicionales, es verdadera. Ejemplo 5: Dado el razonamiento siguiente: Si n es un nmero entero par, entonces n es divisible por 2. Si n es un nmero entero que termina en cinco, entonces n es divisible por cinco. n es un nmero entero par o n termina en cinco. Luego, n es un nmero entero divisible por dos o divisible por cinco. Haciendo la identificacin de proposiciones tenemos:

p : n es un nmero entero par. q : n es divisible por dos.

r : n es un nmero entero que termina en cinco.

q : n es divisible por cinco.
As, la expresin simblica del razonamiento dado es como sigue:

1) p q 2) r s 3) p r q s
Por lo tanto, siendo 1) , 2) y 3) verdaderas, obtenemos como conclusin, de acuerdo al silogismo disyuntivo, que la proposicin q s : n es un nmero entero divisible por dos o divisible por cinco es, tambin, verdadera.

Doble Negacin (D.N.)

P ~ ~P
Cuya implicacin es:

~ ~P

Si una proposicin cualquiera es verdadera, podemos obtener, como conclusin, que su doble negacin tambin es verdadera. Ejemplo 6: Sea p : Juan estudia en la UNEFA ~ p : Juan no estudia en la UNEFA La proposicin: No es cierto que Juan no estudia en la UNEFA se escribe: ~ (~ p) el cual es equivalente a decir que: Juan estudia en la UNEFA Entonces, podemos decir,

~ (~ p)

41

~ p)

~(

Simplificacin (S)

P Q P

o bien

P Q Q

Si la conjuncin de dos proposiciones es verdadera, podemos obtener, como conclusin, que cualquiera de las proposiciones componentes es verdadera. Las correspondientes implicaciones que apoyan esta regla son:

P Q
Ejemplo 7:

o bien

Haciendo la simplificacin de proposiciones tenemos:

p : 8 es un nmero entero par y q : 8 es divisible por dos.

Podemos concluir con cualquiera ya que las dos son verdaderas

Adicin (A)

P P Q

La implicacin es:

Si una proposicin es verdadera, entonces se puede concluir que la disyuncin inclusiva de dicha proposicin con cualquier otra, tambin es verdadera. Ejemplo 8:

p : Pedro naci en La Guaira q : Pedro naci en Mrida

Si Pedro naci en La Guaira, podemos asegurar entonces que Pedro naci en La Guaira o en Mrida es decir:

Como la disyuncin inclusiva es cierta cuando por lo menos una de las proposiciones es cierta, aqu la premisa p : Pedro naci en La Guaira es cierta, podemos asegurar entonces: Pedro naci en La Guaira o en Mrida

LEYES DE EQUIVALENCIA
Hemos dicho que dos frmulas proposicionales son equivalentes, cuando en sus tablas de verdad las columnas correspondientes a cada frmula son idnticas. Adems, recordando que el conectivo lgico bicondicional genera una proposicin verdadera cuando las componentes tienen igual valor de verdad, podemos concluir fcilmente, que al conectar dos proposiciones equivalentes mediante el bicondicional, generamos una tautologa. Las tautologas obtenidas de esta manera las denominamos leyes de equivalencia. Estas leyes son tiles en los razonamientos deductivos, de la misma forma que las leyes lgicas

42

vistas con anterioridad y de cada una de ellas tambin se obtiene una regla de inferencia. En este sentido, en cualquier razonamiento deductivo podemos sustituir una proposicin por otra que le sea equivalente, lo cual no altera la conclusin. Las ms usuales son: LEY REPRESENTACIN

Identidad (I)
Idempotencia (Idem.)

P P P

P P P P P

Conmutatividad (Conm.)

P Q P Q P Q P Q

Q P Q Q R R Q R P P Q P Q ~P ~P R P ~Q ~Q Q R P P P Q R P P R (de R (de
respecto a respecto a ) )

Q P R

Asociatividad (Asoc.)

P Q P Q Q

P QR P

Distributividad (Distr.)

P P ~ P ~ P

Q R Q R Q Q

De Morgan (De M.)

Exportacin (Exp.)

P Q

Vistas las leyes lgicas y las respectivas reglas de inferencia, veamos ahora su uso, a travs de algunos ejemplos, en la demostracin formal de la validez de sus razonamientos. Ejemplo 9: Sea el razonamiento siguiente: Si n es divisible por ocho, entonces n es divisible por cuatro. Si n es divisible por cuatro, entonces n es un nmero par. n no es un nmero par. Luego n no es divisible por ocho. Identifiquemos a las proposiciones que intervienen, de la siguiente manera:

p : n es divisible por ocho. q : n es divisible por cuatro.

r : n es un nmero par.
43

As, la expresin simblica del razonamiento dado es:

a) p q r b) q c) ~ r ~ p
Para demostrar formalmente la validez de un razonamiento, se realiza exclusivamente el anlisis de su forma, independientemente del contenido de las proposiciones que lo constituyen, indicando las leyes lgicas que nos conducen y justifican a la conclusin. En el caso que nos ocupa, podemos observar que si aplicamos silogismo hipottico a las premisas a) y b) obtenemos:

b') p ~p
Todo lo anterior puede expresarse as:

y al aplicar Tollendo Tollens a b' ) y c) llegamos a la conclusin:

APLICANDO Enunciado
Silogismo Hipottico en a) y b) Modus Tollendo Tollens

P
a) p q b) q r b') p r c) ~ r ~p

Q
a) p b) q b' ) p

R
q r r

~Q

~P

b') p r c) ~ r ~p

De esa forma queda demostrado que el anterior razonamiento es vlido. Ejemplo 10: Sea el razonamiento siguiente: Si Sudfrica es un pas democrtico, entonces el pueblo es libre y el gobierno es elegido por las mayoras. Si Sudfrica no es un pas democrtico, entonces el gobierno sudafricano est impuesto. El pueblo no es libre o el gobierno no es elegido por las mayoras. Luego, el gobierno sudafricano est impuesto. Identificando a las proposiciones que intervienen de la siguiente manera:

p: q:

Sudfrica es un pas democrtico El pueblo es libre El gobierno es elegido por las mayoras

r:

44

s:

El gobierno sudafricano est impuesto

La forma simblica de este razonamiento es: Enunciado a) p b) ~ p Ley De Morgan a c) APLICANDO Tollendo Tollens a a) y c), a) p Ponendo Ponens a b) y c)

(q r) s c) ~ q ~ r

(q r)
b) ~ p

c) ~ q ~ r

c') ~ (q r ) c'' ) ~ p

c'' ) ~ p

Todo lo anterior queda expresado como sigue: a) p b) ~ p

(q r) q s
(De M., c) (T.T., a,c) (P.P.,b,c)

c) ~ q ~ r c') ~ (q r ) c'' ) ~ p

Por lo tanto, el razonamiento es vlido. Ejemplo 11: Sea un razonamiento expresado en forma simblica de la siguiente manera: Enunciado a) p q b) ~ p APLICANDO
Tolendo Tolens en: a) y b) Ponendo Ponens en: c) y b)

a) p q b) ~ p b) q

c) r

~q

c) r

~q r

b) q

~r

Dado que llegamos a ~ r , la cual contradice a la conclusin r , nos demuestra que el razonamiento planteado no es vlido. La validez de los razonamientos deductivos tambin es demostrable por medio del uso de las tablas de verdad, basta con demostrar la conjuncin de todas las premisas a travs de la construccin de la correspondiente tabla de verdad.

45

Los ejemplos que siguen nos ilustran esto. Ejemplo 12: Sea el razonamiento planteado en el ejemplo 9.

a) p q b) q r c) ~ r ~ p
El condicional correspondiente es:

p
La tabla de verdad respectiva es:

~r p

~p q q q
F F F F F F F V

q r

~r ~r

~p

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

~p
F F F F V V V V

~r
F V F V F V F V

p
V V F F V V V V

q
V F V V V F V V

V V V V V V V V

Como podemos observar, el condicional sealado resulta de una tautologa, lo cual nos indica que constituye una implicacin y, en consecuencia, nos demuestra que el razonamiento planteado es vlido. Ejemplo 13: Sea ahora el razonamiento, expresado en forma simblica del ejemplo 3. a) p b)

q ~p ~q r

c) r
Formemos el condicional

p q
La tabla de verdad correspondiente es:

~p

~q

46

p q
p
q r

~p
~p r

r
~q

~q

~p

~q

p q

~q

p q

V V V V F F F F

V V F F V V F F

V F V F V F V F

F F F F V V V V

F F V V F F V V

V V V V V V F F

F V V V F V V V

F F F F F V F F

V V V V V F V V

Podemos observar que no resulta una tautologa, este hecho nos demuestra que el condicional sealado no constituye una implicacin y, en consecuencia, que el razonamiento planteado no es vlido.

Ejercicios Propuestos:
11.1- Exprese simblicamente y diga si son vlidos o no, los razonamientos deductivos siguientes: a) Si n es divisible por 8, entonces n es divisible por 4. Si n es divisible por 4, entonces n es un nmero par. n no es un nmero par. Luego: n no es divisible entre 8. b) Si n es divisible por 12, entonces n es divisible por 6. Si n es divisible por 6, entonces n es divisible por 3. n no es divisible por 12. Luego: n no es divisible por 3. c) Si n es divisible por 3, entonces n es un nmero impar. n es un nmero par. Luego: n no es divisible por 3. d) Si n es menor o igual que 4 y m es menor o igual que 3, entonces n + m es menor o igual a 7. n + m es mayor que 7. Luego: n es mayor que 4 y m es mayor a 3. e) Si n es un nmero primo, entonces n no es divisible por 2.

47

Si n no es divisible por 2, entonces n no es par. Luego: n es un nmero primo. 11.2- Prueba las siguientes inferencias:

a) p r

~q q ~p

b) p p

q r q

c)

p r (q p) ~ r ~p

d )

p q r ~q r ~p

11.3- Aplicar las leyes de equivalencia a las siguientes proposiciones: a) p d) ~ p

~r s

s ~ s ~ (q

b) ~ p

~ r ~s
e) ( p ~ q)

c) ~ p ~ r

r)

~ (~ p

~ q)

11.4- Aplicando leyes de inferencia, las leyes de equivalencia y otras formas equivalentes del condicional, determina si las premisas siguientes nos conducen a la conclusin dada:

( a) Conclusin: Premisas: (i) ~ p (ii) ~ q (iii) ~ p (iv) s

~s

( b ) Conclusin: ~ (a Premisas: (i) c (ii)

b)

q t t ~t

~d

c ~a
~b

(iii) d

11.5 Qu conclusiones se puede sacar de cada una de las siguientes proposiciones:

q : No ocurre que el ncleo de un tomo no est cargado positivamente

r : No es cierto que el sol no es una estrella s : No es cierto que la mitad de 152 no es 76

48

LECTURA N 12. FALACIAS

Tomada con fines instruccionales Gmez, T., Gonzlez, N., Lorenzo J. (2007). Falacias. Artculo no publicado (p.1-3). Caracas.

Una falacia es un razonamiento aparentemente lgico que resulta independiente de la verdad de las premisas. En sentido estricto, una falacia lgica es la aplicacin incorrecta de un principio lgico vlido, o la aplicacin de un principio inexistente. Un razonamiento que contiene una falacia se denomina falaz y se considera errneo. La presencia de una falacia lgica en un razonamiento no implica necesariamente nada acerca de la veracidad de las premisas o de su conclusin: ambos pueden ser ciertos, pero el razonamiento no es vlido porque la conclusin no se deriva de las premisas usando los principios de inferencia presentados anteriormente. Ejemplo 1: 1. Si un objeto es de oro, su color es amarillo. 2. Este lpiz es de color amarillo. 3. Este lpiz es de oro. Este es un ejemplo de falacia por afirmacin del consecuente. Esta falacia tiene la forma:

P Q P

Q
(Falacia del Recproco)

Por definicin, un razonamiento es correcto, cuando sus premisas son verdaderas, entonces su conclusin es verdadera. En este caso, tenemos que las premisas son verdaderas y la conclusin falsa. Por tanto, el argumento es incorrecto. La manera de saberlo es empleando contraejemplos que lleven al lmite estas estructuras falaces. Otro tipo de falacia es la Falacia del Inverso, que tiene la forma:

P Q En este caso, niega el antecedente y concluye la negacin del consecuente. Este argumento no es vlido. ~P ~Q

49

Ejemplo 2: 1. Todos los rboles de pltano tiene hojas verdes 2. Esa planta no es un rbol de pltano 3. Por lo tanto esa planta no tiene las hojas verdes Existen diferentes tipos de falacias, formales y no formales, las cuales pueden ser consultadas en la siguiente referencia en INTERNET: http://es.wikipedia.org/wiki/Falacia Ejercicios Propuestos: 12.1- En los ejemplos que se dan a continuacin indique el mtodo de razonamiento vlido que se est utilizando: Modus Ponnendo Ponens (P.P.) Modus Tollendo Tollens (T.T.) Modus Tollendo Ponens (T.P.) Frmula Mtodo Frmula Mtodo

~M
1.

~S ~S

~M Q R S R)

~ P ~Q ~ ~Q 2. ~P P P P P ~Q ~Q Q Q R R

3.

~S ~ (Q

4.

P ~Q R ~P 5. ~ (Q R) P ~Q ~ ~Q 7. ~P P R ~Q ~ ~Q S 9. ~ P R S

6.

P ~R Q ~Q 8. P ~R ~P ~P Q Q

10.

(~ P R) (S ~ Q) S ~P R 11. S ~Q
50

12.2.- Para cada una de las siguientes premisas: a) Identifica en cada caso, las proposiciones que intervienen en el texto y construye la frmula proposicional correspondiente. b) Utilizando los mtodos de inferencia vistos hasta ahora, qu conclusin puedes sacar de cada uno de los conjuntos de premisas? i) Si Lus est en Maracaibo, entonces puede ir a baarse a orillas del lago. Lus est en Maracaibo.

ii) Si tiene luz propia, entonces el astro es una estrella. El astro no es una estrella. iii) Llueve o voy a la playa. No voy a la playa. iv) Si ella es adolescente, entonces cursa estudios de 2do. nivel. Ella no cursa estudios de 2do. nivel v) Son las diez de la noche en Caracas. Si son las diez de la noche en Caracas, la oficina de telfonos est cerrada. vi) Si voy a la Biblioteca, entonces voy a estudiar. Voy a la Biblioteca. vii) El nio duerme o est en la escuela. El nio no duerme. viii) Si un triangulo tiene un ngulo mayor que 90, entonces la suma de sus otros dos ngulos es menor que 90. La suma de dos ngulos de un tringulo no es menor que 90. ix) Si una planta no crece, entonces necesita ms agua o necesita ser abonada. La planta no crece. x) El bachiller estudia Ingeniera o estudia Mecnica Dental. El bachiller no estudia Ingeniera. 12.3.- Probar si el siguiente razonamiento es vlido. Si no se aprueba la constituyente entonces la Constitucin queda como estaba. Si la Constitucin queda como estaba entonces no podemos reelegir al presidente. Podemos reelegir al presidente o el referndum demorar seis meses. Pero el referndum no se demor seis meses. Por lo tanto la constituyente fue aprobada. 12.4.- Comprueba si el siguiente razonamiento es vlido. Si Alejandro tiene veinte aos, entonces Alejandro tiene la misma edad que Cecilia. Si Carlos tiene distinta edad que Alejandro, entonces Carlos tiene distinta edad que Cecilia. Alejandro tiene veinte aos y Carlos tiene la misma edad que Cecilia., Por tanto Carlos tiene la misma edad que Alejandro y Alejandro la misma que Cecilia. 12.5.- Determina si los argumentos siguientes son vlidos o son falacias: a) A Jess le gusta jugar bisbol. Si a Juana le gusta coser, entonces a Jess no le gusta jugar bisbol. Si a Juana no le gusta coser, entonces Andrs canta en la Coral Universitaria. Por lo tanto, Andrs canta en la Coral Universitaria.

51

b) Si la locura por los MP4 contina, entonces los MP3 seguirn siendo populares. Los PenDrive continan siendo los favoritos o los MP3 seguirn siendo populares. Los PenDrive no continan siendo los favoritos. Por lo tanto, la locura por los MP4 continuar. c) Todos los hombres fueron creados iguales. Todas las personas que han sido creadas iguales son mujeres. Por lo tanto, todos los hombres son mujeres. d) Si te tengo bajo mi piel, entonces ests en lo profundo de mi corazn. Si ests en lo profundo de mi corazn, entonces realmente no eres parte de m. Por lo tanto, si te tengo bajo mi piel, entonces realmente eres parte de m. 12.6.- Ubica y corrige los errores que encuentres en las siguientes deducciones: (1.) ~ T (2.) S (3.) (4.) (5.)

~R T R S

Premisa Premisa Premisa Premisa

Q Q ~ (T

P R)

De Morgan ( 1 ) T.P. ( 2,3) T.T. (3) , ( 6 ) T.P. (3),(7)

(6.) ~ S (7.) ~ ~ Q (8.) P

LECTURA N 13: CONDICIONALES

Tomada con fines instruccionales Miller, Heeren, Homsby, Pearson. (2006). Matemticas Razonamiento y Aplicaciones. Ed. Pearson. Dcima Edicin. (p. 101-104). Mxico.

NEGACIN DE UN CONDICIONAL
Suponga que alguien expresa la siguiente proposicin condicional: Si llueve, entonces llevar mi paraguas. Cundo estar mintiendo esta persona? El nico caso en el cual mentira sera cuando lloviera y la persona no llevara el paraguas. Suponga que p representa llueve y q representa llevar mi paraguas; usted podra sospechar que la proposicin es simblica

~q q . Esto es,

Es buena candidata para ser la negacin de p

~ p

p ~q
52

Sucede que ste es realmente el caso, como indica la tabla de verdad siguiente:

p
V V F F

q
V F V F

p
V F V V

~ p
F V F F

~q
F V F V

~q
F V F F

Negacin de p q La negacin de p q es p
Dado que:

~q

~ p

p ~q ~~ p q ~ p ~q
q , y al lado derecho de la misma se

al negar cada expresin tenemos,

Al lado izquierdo de la equivalencia anterior es : p le puede aplicar una de las leyes De Morgan:

p p

~p

~ (~ q) q

q ~ p

El ltimo rengln indica que una proposicin condicional, puede escribirse como una disyuncin

Como escribir una condicional como una disyuncin

p
Ejemplo 1:

q es equivalente a ~ p

Escriba la negacin de cada proposicin. (a) Si t lo construyes, l vendr. Si b representa T lo construyes. Y q representa l vendr, entonces la q . La negacin de proposicin dada puede escribirse simblicamente como b b q , como se mostr antes, b ~ q , de modo que la negacin de esta es proposicin es: T lo construyes y l no vendr

53

(b) Todos los perros tienen pulgas. Primero, debemos expresar esta proposicin dada en la forma si.entonces: Si es un perro, entonces tiene pulgas. Con base en nuestro anlisis anterior, la negacin es Es un perro y no tiene pulgas. Un error muy comn de los estudiantes es tratar de escribir la negacin de una proposicin condicional como otra proposicin condicional. Como se vio en el ejemplo 4, la negacin de una proposicin condicional se escribe como una conjuncin. Ejemplo 2: Escribe una proposicin equivalente para cada condicional, sin utilizar el conectivo si entonces. (a) Si los Tigres ganan el campeonato, entonces Aragua estar de fiesta. Puesto que la condicional p

es equivalente a ~ p

, sea p Los Tigres ganan La condicional se

el campeonato y q la proposicin Aragua estar de fiesta. expresar entonces como:

Los Tigres no ganan el campeonato o Aragua estar de fiesta. (b) Si es con Triple A entonces tiene que ser bueno ( p

q ).

Si p representa es con Triple A y q representa tiene que ser bueno, la condicional podra reescribirse como:

~p q
No es con Triple A o tiene que ser bueno

Ms sobre el condicional
La proposicin condicional, la cual presentamos en la seccin previa, es una de las ms importantes de todas las proposiciones compuestas. Muchas propiedades matemticas y teoremas son planteados en la forma si entonces. Dada su gran utilidad es necesario estudiar las proposiciones condicionales que se relacionan con enunciados y con la forma

p
Recproca:

Cualquier proposicin condicional est conformada por un antecedente y un consecuente. Si estos se intercambian, (el antecedente por el consecuente y viceversa) Si se niegan, o Las dos cosas a la vez (si se intercambian y se niegan), entonces

se forma una nueva proposicin condicional.

54

Suponga que empezamos con la proposicin directa Si t te quedas, entonces yo me voy. Si intercambiamos el antecedente (t te quedas) con el consecuente (yo me voy). Obtenemos la nueva proposicin condicional Si yo me voy, entonces t te quedas. Esta nueva condicional se llama recproca de la proposicin dada.

Inversa:
Si se niega tanto el antecedente como el consecuente, se obtiene la inversa de la proposicin dada: Si t no te quedas, entonces yo no me voy.

Contrapositiva:
Si el antecedente y el consecuente se intercambian y se niegan, se forma la contrapositiva de la proposicin dada: Si yo no me voy, entonces t no te quedas. Estas tres proposiciones relacionadas para la condicional q , se resumen a p continuacin. (Observa que la inversa es la contrapositiva de la recproca)

Proposiciones condicionales relacionadas Proposicin directa Recproca Inversa Contrapositiva Ejemplo 3: Dada la proposicin directa Si vivo en Caracas, entonces vivo en Venezuela, Determine cada una de las proposiciones que se indican: a) La recproca Sea p la proposicin Vivo en Caracas y q Vivo en Venezuela. Entonces la proposicin directa p q . La recproca, q p , sera Si vivo en Venezuela, entonces vivo en Caracas. Observe que en el caso de esta proposicin, su recproca no necesariamente es verdadera, an cuando la proposicin directa lo sea.

p q ~p ~q

q p ~q ~p

(Si p , entonces q .) (Si q , entonces p .) (Si no p , entonces no q .) (Si no q , entonces no p .)

55

b) La inversa La inversa p

q es ~ p

~ q . Para la proposicin dada la inversa es:

Si no vivo en Caracas, entonces no vivo en Venezuela, la cual, una vez ms, no es necesariamente verdadera. c) La Contrapositiva La contrapositiva ~ q

~ p sera

Si no vivo en Venezuela, entonces no vivo en Caracas. La contrapositiva, al igual que la proposicin directa es verdadera. El ejemplo 1 muestra que la recproca e inversa de una proposicin verdadera no tienen que ser verdaderas ellas mismas. Pueden ser verdaderas, pero no necesariamente lo son. La relacin entre los valores de verdad de las proposiciones directa, recproca, inversa y contrapositiva se muestra en la tabla de verdad siguiente:

Equivalentes Equivalentes

Directa Recproca

Inversa

Contrapositiva

p q
V V F F V F V F

p
V F V V

q
V V F V

~p
V V F V

~q

~q
V F V V

~p

Como lo muestra la tabla de verdad, la proposicin directa y la contrapositiva siempre tienen los mismos valores de verdad, lo cual hace posible reemplazar cualquier proposicin directa con su contrapositiva, sin que afecte el significado lgico. As mismo, la recproca y la inversa siempre tienen los mismos valores de verdad. Este anlisis se resume a continuacin: Equivalencia La proposicin directa y la contrapositiva son equivalentes entre s, mientras que la recproca y la inversa lo son entre s.

56

Ejemplo 4: Para la proposicin directa ~ p a) la recproca La recproca de ~ p b) La inversa La inversa es ~ ~ p c) La contrapositiva La contrapositiva es ~ q Ejercicios Propuestos: 13.1- Para cada proposicin, escriba : (a) Su Recproca (b) Su Inversa (c) Su Contraprositiva (tambin llamada Contrarecproca) i) Si una imagen vale ms que mil palabras, la grfica me ayudar a entenderlo. ii) Si l come carne, entonces l come cualquier tipo de comida iii) Si Carmen no cumple una promesa entonces, ella no es digna de confianza. iv) Si yo fuese nadadora y usted tambin, entonces competiramos juntos. 13.2- Tres personas A, B y C estaban conversando en el comedor de la UNEFA y dicen lo siguiente: A: Yo tengo 22 aos, dos menos que B y uno ms que C B: No soy el mas joven, C y yo tenemos 3 aos de diferencia y C tiene 25 C: Yo soy ms joven que A, A tiene 23 aos y B tiene 3 aos ms que A. Determine la edad de cada una de las personas, sabiendo que nicamente una de las afirmaciones que hace cada persona es falsa.

q , escriba cada una de las siguientes proposiciones.

q es q

~p.

~ q , que se simplifica como p

~q.

~ ~ p , que se simplifica como ~ q

p.

57

UNIDAD 3 DEMOSTRACIONES MATEMTICAS

LECTURA N 14: DEMOSTRACIONES MATEMTICAS
Tomada con fines instruccionales Gallo, C. (1996). Matemticas para Estudiantes de Administracin y Economa. U.C.V. Ediciones de la Biblioteca. Tercera Edicin. (p. 68-81) Caracas.

La matemtica es una ciencia que se apoya principalmente en el razonamiento deductivo. Su estructura se construye a partir de proposiciones que se aceptan como verdaderas (axiomas), de las cuales se deducen otras cuyas verdades es necesario demostrar (teoremas). La mayor parte de los teoremas que se presentan en matemtica tienen la forma si P , entonces Q , es decir, la forma de un condicional

En consecuencia, la demostracin de un teorema de esa forma consistir en demostrar, que tal condicional es siempre verdadero, es decir, que se trata de una implicacin

P
donde P es la hiptesis y Q la tesis.

MTODOS DE DEMOSTRACIN MATEMTICA

Q es un teorema; es decir, que constituye Si deseamos demostrar que el condicional P una implicacin, entonces de acuerdo con la definicin, debemos verificar que no es posible que se presente el caso de que siendo P verdadera, resulte Q falsa. Para esto, se puede, o comenzar por P o comenzar por Q . Si el anlisis comienza por el antecedente P , se dice que estamos siguiendo el mtodo directo y si se comienza por el consecuente Q , se dice que estamos siguiendo el mtodo indirecto.
En general, el proceso de demostracin consiste en encadenar, a partir de una proposicin inicial dada, una serie de proposiciones verdaderas y cuyas verdades han sido previamente demostradas, lo cual nos permite llegar a la verdad de otra proposicin, que es la conclusin.

Mtodo Directo
Para aplicar el mtodo directo, debemos comenzar a partir de P , existiendo dos posibilidades:

58

1. Si P es falsa, Q puede ser indistintamente, verdadera o falsa y, en ambos casos, se Q es verdadero. cumple que P 2. Si P es verdadera, existen, de nuevo dos posibilidades a) Que Q sea slo verdadera, con lo que resulta, igualmente, que P verdadero. b) Que Q sea falsa, el cual, es el nico caso en que P

Q es

Q es falso.

Por lo tanto, si el propsito es demostrar que P implica Q , el caso 2.b) no debe ser posible. Ahora bien, la posibilidad 1) no requiere de demostracin alguna, en consecuencia, nuestra atencin se centrar en la posibilidad 2.a). Podemos, entonces, decir que:

El mtodo directo consiste en partir de la verdad del antecedente y establecer la verdad del consecuente.
Habiendo dicho antes que el proceso de demostracin, en general, consiste en un encadenamiento de proposiciones, podemos representar al mtodo directo, esquemticamente, como sigue:

P P P1 P2 . . . Pn

P 1 P2 P3

Q Q

donde P , P ,, representan las proposiciones cuyas verdades han sido demostradas 1 2

Pn
previamente. Visto esquemticamente, podemos darnos cuenta que el mtodo directo es un razonamiento vlido, apoyado en las reglas Silogismo Hipottico y Ponendo Ponens. En ese sentido, ntese que el encadenamiento de proposiciones desde P hasta Q , es una aplicacin sucesiva del S.H., que nos permite plantear P manera resumida, el mtodo se esquematiza como sigue:

Q . Por lo tanto, de una

P P

Q Q

59

el cual, es un razonamiento vlido, de acuerdo al P.P. Ejemplo 1: Demostremos, por el mtodo directo, el siguiente teorema: Si a, b y c son nmeros naturales, tales que, a es divisor de b y b es divisor de c, entonces a es divisor de c. Usando el smbolo | para denotar la expresin divisor de, tendremos que lo que debemos demostrar es: [(a|b) (b|c)] (a|c)

De acuerdo al mtodo directo debemos partir de aceptar la verdad del antecedente. Es decir, aceptar qu (a|b) (b|c) es verdadera.

De ah se desprende qu: 1) a|b 2) b|c b = a a' (siendo a un nmero natural) c= b b' (siendo b un nmero natural)

Reemplazando 1) y 2) obtenemos 3) c = a a'

b'

Aplicando la propiedad asociativa de la multiplicacin, obtenemos 4) c = a

a' b'

Ahora bien, si tanto a como b son nmeros naturales, entonces el producto de ellos es tambin un nmero natural, que llamaremos c. Es decir: 5) c = a' b' Por lo tanto, reemplazando 5) en 4), obtenemos 6) c = a c' De esta ltima podemos concluir, por definicin, qu a|c De esta manera queda establecida la verdad del consecuente, que era lo que necesitbamos para demostrar la implicacin planteada, ya que, habamos partido de aceptar la verdad del antecedente. Ntese que con este ejemplo hemos ilustrado, adems, que el proceso de demostracin consiste en encadenar una serie de proposiciones, a partir de una proposicin inicial, hasta llegar a la conclusin. En este ejemplo partimos de aceptar la verdad del antecedente: [(a|b) (b|c)]

60

y a partir de all encadenamos seis proposiciones, hasta llegar a la conclusin, todas ellas conocidas, bien por axiomas, definiciones o teoremas previamente demostrados, hecho que nos autoriza a su utilizacin en nuestro proceso de demostracin. En forma esquemtica, el proceso de demostracin seguido anteriormente, es as: (a|b) [(a|b) (b|c) (b|c)] [ (b = a a' ) (c= b b' )], a,b son nmeros Nos. naturales. (c= b b' )] [c = a a'

[ (b = a a' ) [c = a a'

b' ]

b' ]

[c = a

a' b' ], propiedad asociativa

[c = a a' b' ] (c = a c' ) a|c

(c = a c' ), c es un nmero natural, tal que, c = a' b'

(a|c).

El estudiante puede elegir cualquiera de las formas presentadas, siempre y cuando, cada eslabn del encadenamiento de proposiciones, quede claramente justificado. A continuacin presentamos cuatro demostraciones donde se utiliza el mtodo directo, que terminan en una contradiccin por lo que debe existir un error en la demostracin. Ejemplo 2 a) Demostracin de que 1 equivale a 1 para lo cual iniciamos: Ahora, los convertimos en fracciones Aplicando la raz cuadrada en ambos lados obtenemos

1 1

1 1
1 1 1 i

Que equivale a

Pero i 1(nmero imaginario) y podemos sustituirlo, obteniendo Reordenando la ecuacin para eliminar las fracciones, obtenemos 2 2 Y ya que por definicin i = 1 y adems 1 1, tenemos como resultado

Esta demostracin no es vlida, ya que aplica mal el siguiente principio de las races cuadradas: x x y y

61

Este principio slo es correcto cuando tanto x como y son nmeros positivos. En la demostracin anterior, una de estas dos variables es un nmero negativo, lo que invalida toda la demostracin.

b) Demostracin de que 4 equivale a 2. Iniciamos con: Restamos a ambos lados de la ecuacin En un lado factorizamos usando la suma por su diferencia y en el otro lado se factoriza por 2 Cancelamos los trminos iguales a cada lado de la ecuacin (2 2) Nos queda como resultado c. Demostracin de que 1 < 0. Supongamos que Ahora tomamos el logaritmo en ambos lados de la desigualdad.Podemos hacerlo siempre que x > 0, porque los logaritmos crecen montonamente Si tenemos en cuenta que el logaritmo de 1 es 0, obtendremos Dividir por Ln (x) ambos lados de la inecuacin, da como resultado d) Demostracin de que 0 equivale a 1 A continuacin les damos los pasos que justifican esta demostracin, indique que propiedad de los nmeros reales se utilizan en cada paso. Adems indique donde est el error en la demostracin

4=4 4 4 = 4 -4 (2 2) * (2 + 2) = 2 (2 2) (2 + 2) = 2 4=2

x<1
Ln(x) < Ln(1)

Ln(x) < 0
1<0

0 = 0 0 0 ... 0 = 1 1 1 1 1 1 ... 0 = 1 1 1 1 1 1 1 0 = 1 0 0 0 ...

0 = 1

...

Se deja al lector para que indique la razn de la invalidez de las demostraciones b), c) y d).

Mtodo Indirecto
Supongamos, de nuevo, que deseamos demostrar que el condicional P teorema.

Q es un

Para aplicar el mtodo indirecto de demostracin, partimos de Q , existiendo dos posibilidades: 1. Si Q es verdadera, P puede ser indistintamente, verdadera o falsa y, en ambos Q es verdadero. casos, se cumple que P 2. Si Q es falsa, existen de nuevo, dos posibilidades: a) Que P sea slo falsa, con lo que resulta, igualmente, que P b) Que P sea verdadero, el cual, es el nico caso en que P

Q es verdadero. Q es falso.

62

Por lo tanto, si el propsito es demostrar que P implica Q , entonces el caso 2.b) no debe ser posible. La posibilidad 1) no requiere de demostracin, en consecuencia, nuestra atencin queda centrada en la posibilidad 2.a). Podemos, entonces, decir:

el mtodo indirecto consiste en partir de la falsedad del consecuente y establecer la falsedad del antecedente.
Visto de otra forma, si queremos demostrar que P equivalencia:

Q es un teorema, recordando la

~Q

~P
~ P es un teorema.

Bastara con demostrar que el condicional ~ Q

Esquemticamente, el proceso de demostracin, en el mtodo indirecto, lo representamos como sigue:

~Q ~ Q Q1 1 Q 1 Q2 Q2 Q3 . . . Qn ~ P ~P
Planteado as, es fcil observar que el mtodo indirecto, al igual que el directo, es un razonamiento vlido, apoyado en las reglas Silogismo Hipottico y Ponendo Ponens. El encadenamiento de proposiciones desde ~ Q hasta ~ P , es una aplicacin sucesiva del S.H., de forma que el esquema puede resumirse como sigue:

~Q ~Q

~P ~P

el cual es un razonamiento vlido, de acuerdo al P.P. Ejemplo 2: Demostraremos por el mtodo indirecto, que el condicional siguiente: Si a , b y c son nmeros naturales, tales que, a + c es menor que b + c, entonces a es menor que b, es un teorema.

63

Utilizando el smbolo < para denotar la expresin menor que, lo que debemos demostrar es: (a + c < b + c) a < b De acuerdo al mtodo indirecto debemos partir de negar el consecuente. Dado que dicho consecuente es a menor que b, su negacin sera a no es menor que b, lo cual, tambin podemos expresar: a es mayor o igual que b. Para denotar la expresin mayor o igual que usaremos el smbolo . De este modo, debemos partir de a b y concluir la falsedad del antecedente, es decir: a+c b+c Veamos entonces. Partiendo de a b y siendo c un nmero natural cualquiera, sabemos que, axiomticamente, es verdad que : a+c b+c As, queda establecida, inmediatamente, la falsedad del consecuente, y con ello se demuestra el teorema planteado originalmente. Ejemplo 3: Demostraremos, por el mtodo indirecto que, siendo a un nmero entero, el condicional siguiente: Si a es un nmero impar, entonces a es un nmero impar, es un teorema. De acuerdo al mtodo indirecto, debemos partir de plantear la negacin del consecuente, que en este caso resulta: a es un nmero par. As, por definicin de nmero par, siendo k un nmero entero cualquiera, podemos escribir: 1) a = 2k 2) a = (2k) 3) a = 4k
2 2 2 2 2

por lo tanto de donde

que tambin podemos escribir, de acuerdo con la propiedad asociativa de la multiplicacin de los nmeros enteros, as: 4) a = 2(2k ) Ahora bien, siendo k un nmero entero cualquiera, entonces 2k es tambin un nmero entero que llamaremos k, es decir, 5) k = 2k
2 2 2 2 2

sustituyendo 5) en 4) nos queda lo cual, por definicin, nos indica que a es par.
2

6) a = 2k

En conclusin, podemos observar que es la negacin, del antecedente del condicional originalmente planteado. A dicha conclusin hemos llegado, partiendo de la negacin del

64

consecuente del mismo condicional, lo cual nos demuestra que, en efecto, se trata de una implicacin. El proceso de demostracin, esquemticamente, es como sigue: 1. a b (a b) a+c b+c Aqu hemos demostrado (a b) que es equivalente a (a + c b + c) a b a+c b+c (a + c b + c) , axioma, c es N natural en los dos ejemplos anteriores, planteado

el cual fue el condicional planteado originalmente y ha quedado demostrado, usando el mtodo indirecto, que es un teorema. 2. a es un nmero par a es un nmero par a = 2k a = (2k) a = 4k
2 2 2 2 2 2 2 2

a = 2k, k es un entero (definicin de nmero par)

a = (2k)
2

2 2

a = 4k

a = 2(2k ), propiedad asociativa a = 2k, k es un entero, tal que k = 2k

2 2 2

a = 2(2k ) a = 2k
2

a es un nmero par.

a es un nmero par. Veamos as, que hemos demostrado Si a es un nmero par, entonces a es un nmero par. que equivale a Si a
2 2

es un nmero impar, entonces a es un nmero impar.

El cual fue el condicional originalmente planteado y ha quedado demostrado que es un teorema, utilizando el mtodo indirecto de demostracin.

Mtodo de Demostracin por Reduccin al Absurdo

Tambin es llamado mtodo de demostracin por contradiccin. Si deseamos demostrar Q es un teorema, podemos plantearnos, como punto de partida, que el condicional P que dicho condicional no sea en realidad un teorema.

65

Esto significa que Q puede ser falsa y P verdadera, es decir, que la conjuncin ~ Q P es verdadera. Iniciamos as el proceso de demostracin, tomando como hiptesis a la anterior conjuncin. Si en el encadenamiento de proposiciones llegamos alguna contradiccin, digamos R ~ R que es siempre falsa, tendremos que habremos demostrado

~Q P

R ~R
P
es, entonces, siempre falsa, lo cual nos demuestra que P

Esto significa que ~ Q

es siempre verdadera, es decir; P En resumen, diremos que

Q que es lo que queramos demostrar originalmente.

El mtodo de demostracin por reduccin al absurdo, consiste en partir de la negacin del consecuente y la afirmacin del antecedente y si en el proceso de demostracin llegamos a alguna contradiccin, esto nos demuestra que el condicional original es un teorema. Ejemplo 4: Para demostrar que el siguiente condicional es un teorema: Si m y n son nmeros enteros, tales que, m y n son ambos impares. Simbolizando a las proposiciones tenemos

m n es un nmero impar, entonces

p : m n es impar Q : m y n son, ambos, impares

Debemos demostrar, entonces que p

Q es un teorema. p

Para aplicar el mtodo por reduccin al absurdo debemos partir de ~ Q Es decir: m y n no son, ambos, impares y

m n es impar

As, si m y n no son, ambos impares, significa que por lo menos uno de ellos no lo es. Supongamos, entonces, que n sea par. Por definicin de nmero par ser: n = 2k donde k es un nmero entero cualquiera. Haciendo el producto de m y n obtenemos

m n = m (2k) lo cual, de acuerdo con la

propiedad conmutativa y asociativa de la multiplicacin de los nmeros enteros, podemos escribir, m n = 2(km) Dado que k y m son, ambos nmeros enteros, entonces su producto tambin es un nmero entero que llamaremos k. Es decir, k = km por lo tanto:

m n = 2k

66

Esto significa, por definicin, que afirma que

m n es un nmero par, lo cual, contradice a p que

m n es impar. Esta contradiccin nos demuestra, de acuerdo a lo explicado

anteriormente, que, en efecto

Utilizando un esquema de representacin semejante a los usados en los mtodos anteriores, la anterior demostracin podemos escribirla como sigue: m y n no son, ambos, impares y n es par n = 2k n = 2k

m n es impar entonces n es par (m

(definicin de N par)

y n son Enteros)

m n = m (2k) m n = 2(km) m n = 2k m n es par

m n es impar
.

m n = m (2k) m n = 2(km) m n = 2k m n es par

(propiedades conmutativa y Asociativa) (k es un entero, tal que, k = km)

Demostracin por Contraejemplo

Este mtodo nos permite demostrar que un condicional dado no es un teorema. Consiste en dar un contraejemplo, esto es, obtener al menos una posibilidad en que, siendo el antecedente verdadero, el consecuente resulte falso, lo cual, nos indica que el condicional puede ser falso y, en consecuencia, no es una implicacin, o sea, que P no implica Q

P
Ejemplo 5:

Demostrar, por contraejemplo, que el siguiente condicional no es un teorema: Si n es un nmero entero, tal que, n es divisible por 6 y por 4, entonces es divisible por 24 En smbolos, tal condicional es: [ (6|n) (4|n)] (24|n)

Basta un ejemplo contrario, para demostrar que no se trata de una implicacin. Para esto es til el caso del entero 12, el cual es divisible por 6 y por 4 y, sin embargo, no es divisible por 24. As, vemos que el nmero entero 12 hace verdadera (6|n) y hace falsa a 24|n, Esto nos demuestra que el condicional planteado originalmente, en realidad, no es un teorema. (4|n)

67

Ejercicios Propuestos: 14.1. Demuestra si los condicionales siguientes son o no teoremas: a) Si n es menor que 3 y m es menor que 6, entonces m son enteros) b) Si

m n es menor que 20. ( n y

m n es impar y n es impar, entonces m es impar.

c) Si a y b son pares, entonces a + b es par d) Si

m n es menor o igual a 22, entonces n es menor o igual que 5 y m es menor m n es

o igual que 4. ( n y m son enteros) e) Si n es menor o igual que 5 y m es menor o igual que 4, entonces menor o igual a 22. (n y m son naturales) f) Si

m n es menor que 20, entonces n es menor que 3 y m es menor que 6. ( n

y m son enteros) 14.2. Determina si los condicionales siguientes son teoremas. a) Si x e y son nmeros reales diferentes de cero, entonces x y es un nmero real diferente de cero. b) Si a y b son nmeros impares, entonces a b es impar. c) Si x es un nmero real diferente de cero, entonces x de cero. d) Si a es par, entonces a es par. 14.3 Resuelva los siguientes ejercicios y describe el mtodo utilizado: a.
2 1

es un nmero real diferente

2 no es un nmero racional b) Si a c byc by c by c d entonces a 0, entonces a c 0, entonces a c c b d bc b c

b c , entonces a b

b. Si n es un nmero entero mayor que 5, entonces 3n-10 es mayor que 5 c. Si a d. Si a e. Si a

68

LECTURA N 15: MTODO DE INDUCCIN MATEMTICA

Tomada con fines instruccionales Gmez, T., Gonzlez, N., Lorenzo (2007). Induccin Matemtica. Artculo publicado (p. 1-5). Caracas. J. no

Dada la sucesin de proposiciones: P , P , P ,, P , 1 2 3 n y supongamos demostrar que: a) La proposicin P1 es verdadera. b) Para todo k

N , si la proposicin Pk es verdadera, entonces Pk tambin lo es.

Entonces, podemos asegurar que P1, P2 , P3 ,, Pn , son verdaderas. Ejemplo 1: Demostrar por el mtodo de induccin matemtica que:

1 2 3 n

n(n 1) 2

Para demostrar la frmula anterior bastar con probar que las siguientes proposiciones:

P1, P2 , P3 ,, Pn , son verdaderas, donde Pn : 1 2 3 n n(n 1) (i) 2

Ahora bien: a) P1 es verdadera, puesto que para n 1, P1 : 1

1 (1 1) 2

b) Si suponemos ahora que para cualquier valor de k , Pk es verdadera, es decir, n k:

Pk : 1 2 3 k

k(k 1) 2

(ii)

Vamos a demostrar que, P es verdadera. k 1

En efecto, si a los dos miembros de la igualdad (ii) le sumamos k

1, tendremos:
1) ,

1 2 3 k )

(k 1

k(k ) 2

(k

Resolviendo el lado derecho de la ecuacin anterior, tenemos:

69

1 2 3 k )
Sacamos factor comn k

(k 1

k(k 1) 2

2(k

1)

1 en el lado derecho de la ecuacin y obtenemos:

(k 1 (k 1)(k 2 2)
(iii)

1 2 3 k )

1
Y observamos que la ecuacin anterior (iii) equivale a P , al sustituir n k 1

, en (i)

Pk 1 : 1 2 3 k ) Pk 1 : 1 2 3 k )

(k 1

(k 1) (k 1) 1 2 (k 1)(k 2 2)

(k 1

En resumen, demostramos que :

P1 es verdadera y para cualquier valor de k entero positivo, si Pk

Pk 1 es verdadera

es verdadera, entonces

Por lo tanto, por el mtodo de induccin matemtica queda demostrado que: se cumple :

P1, P2 , P3 ,, Pn , es verdadera , es decir, para cualquier valor de n entero positivo, Pn : 1 2 3 n n(n 1) 2

Ejemplo 2: Para demostrar por el mtodo de induccin matemtica que, para todo n se tiene que: 2 2n 1 .

n entero positivo,

Para demostrar la frmula anterior bastar con probar que las siguientes proposiciones:

P1, P2 , P3 ,, Pn , son verdaderas, donde Pn :

Ahora bien:

2n

2n

(i)

21

a) P1 es verdadera, puesto que para n 1, P1 2 : 2 4 es verdadera.

, es decir :

b) Si suponemos ahora que para cualquier valor de k , Pk es verdadera, es decir, para n k :

Pk :
1

2k

(ii)

Vamos a demostrar que, Pk es verdadera.

70

Como 2 es positivo, multiplicamos por 2 ambos miembros de la desigualdad y esta no se altera y nos queda:

2k 2k
1

1 2 2k 1 2 ,
2

Resolviendo las potencias de ambos lados de la desigualdad anterior, tenemos:

2k

(iii)

se cumple y observamos que la ecuacin anterior (iii) equivale a Pk 1 , al sustituir n , en (i)

k 1

Pk 1 : Pk 1 :

2 2

1 1

2(k 2k

1 1 ) , 2

es decir

En resumen, demostramos que:

P1 es verdadera y para cualquier valor de k entero positivo, si Pk

Pk 1 es verdadera

es verdadera, entonces

Por lo tanto, por el mtodo de induccin matemtica queda demostrado que: se cumple :

P1, P2 , P3 ,, Pn , es verdadera , es decir, para cualquier valor de n entero positivo, Pn :

2n

2n

es verdadera.

Ejercicios Propuestos: 15.115.2Demostrar que 1

3 5 7 ...

2n 1

n2 para cualquier nmero n N

Probar que la suma de los cuadrados de los primeros nmeros naturales es

n n 1 2n 1 , es decir, probar que: 6 12

15.3-

2 2 3 2 . .. n2 1 1.2

nn

1 2n 1 6 n n 1

Demostrar que

1 1 1 . .. nn 1 2.3 3.4

15.4-

Demostrar que 1

32

52

...

2n 1 2

n 4n2 1 3

15.5-

Demostrar si las siguientes proposiciones son verdaderas para cualquier valor de n

2:
2

a) 1

2 2 32

...

n 12

71

n 3

12

22

32

... n2

b) 1

23

33

...

n 13

n 4

13

23

33 ... n3

15.6-

Sabiendo que

el nmero combinatorio est definido por:

n k

n! , si n k !k!

0 k
n k a

n y k y n naturales , demostrar las siguientes frmulas:

n n b
n

a)

k n
n k 0

b)

a k bn k (frmula del binomio de Newton sabiendo que, la

suma de los nmeros a1, a2 ,...,an viene dada por:

i ai i 1 i

a 1

a2 ... an

El smbolo

n i 1

ai se le llama sumatoria.

15.7- Demostrar que si el tringulo rectngulo ABC de lados a y b e hipotenusa c, tiene un rea de

c2 , entonces, el tringulo es issceles. 4

72

LECTURA N 16: ALGUNAS FUNCIONES DE LAS DEMOSTRACIONES MATEMTICAS

Tomada con fines instruccionales Gmez, T., Gonzlez, N., Lorenzo J. (2007). Funciones de las Demostraciones Matemticas. Artculo no publicado (p.1-2). Caracas.

Para qu las demostraciones matemticas? Qu aporta una demostracin a la formacin intelectual de un individuo? Para responder estas preguntas, nos pasearemos por algunos enfoques sobre las funciones de las demostraciones, ya que la funcin que se nos viene inmediatamente a la mente, es la de verificacin de un resultado (tesis), partiendo de unos datos iniciales (hiptesis). Hemos encontrado que sta no es la nica funcin de las demostraciones. A continuacin daremos algunos enfoques de autores, sobre este tema. Bell citado por Ibez (2001), considera la iluminacin y la sistematizacin como una de las funciones de una demostracin y define: La iluminacin: se espera que una buena demostracin proporciona ideas de por qu es cierta. La sistematizacin: organizacin de un sistema deductivo de la teora (axiomas, teoremas y otros). De igual manera, otro autor De Villiers (1993) destaca la funcin de explicacin e insiste en la funcin de sistematizacin, pues la demostracin integra conceptos, afirmaciones y teoremas en s, explicando su estructura axiomtica y ayudando a las aplicaciones, tanto dentro como fuera de las matemticas. Este autor considera, adems, las funciones de descubrimiento, ya que con este trabajo intelectual en ocasiones se pueden llegar a nuevos resultados. Tambin incluye la funcin de comunicacin, como una manera de expresar los resultados ante otros profesionales, estudiantes, lo que permite un anlisis crtico de aciertos y desaciertos. Siguiendo a los autores anteriores, Hanna (2000) incorpora la funcin de construccin de una teora emprica, la exploracin de un significado de una definicin o la consecuencia de una suposicin y la incorporacin de un nuevo conocimiento hecho a una nueva estructuracin. Otro autor, Reid (2002) propuso cinco dimensiones de una demostracin, entre las que se destacan la necesidad, la iluminacin y la comprensin. La necesidad la define como la funcin de la demostracin y la valora como explicacin, exploracin y verificacin.

73

Tomando en cuenta lo expuesto por los autores, se quiere contribuir a la formacin de un individuo de una manera ms integradora, de tal manera que el individuo aplique en la prctica el saber, la necesidad de articular la realidad con la teora, para comprender de forma ms exacta como, por medio de sus conocimientos, es posible describir procesos de dicha realidad. Presentamos a continuacin un esquema donde resume algunas de las funciones ms importante del por que de una demostracin, lo cual nos puede llevar a responder cualesquiera de las dos preguntas iniciadas en esta lectura. FUNCIONES DE UNA DEMOSTRACIN CONSTRUCCIN FORMACIN INTELECTUAL DEL INDIVIDUO VERIFICACIN

COMUNICACIN

EXPLICACIN

DESCUBRIMIENTO

SISTEMATIZACIN

ILUMINACIN

74

UNIDAD 4 TEORA DE CONJUNTOS

LECTURA N 17: CONCEPTOS BSICOS
Tomada con fines instruccionales Gallo, C. (1996). Matemticas para Estudiantes de Administracin y Economa. U.C.V. Ediciones de la Biblioteca. Tercera Edicin. (p. 87-91). Caracas.

La teora que nos ocupa en este captulo, est construida sobre la base de conceptos, los cuales, por ser intuitivos y comprensibles, no es necesario definirlos formalmente. Sabemos que en la realidad existen cosas, objetos, entes, elementos, que constituyen unidades completamente identificables, que pueden ser tangibles o no. A la vez, esos, elementos, son agrupables, de acuerdo a cualquier tipo de criterio, conformando lo que conocemos como conjunto. Por lo tanto, decimos que los elementos pertenecen a conjuntos. Es a partir de estos tres conceptos: elemento, pertenencia y conjunto, que se desarrolla la teora que estudiaremos a continuacin. Es importante destacar que, aun cuando no demos definiciones formales para los conceptos antes mencionados, ellos deben ser plenamente identificables, con el objeto de lograr un desarrollo terico formal. En este sentido, se hace necesario disponer de un adecuado sistema de representacin o identificacin.

NOTACIN
Los conjuntos sern identificados con letras maysculas, tales como: A, B, C, D, etc. Mientras que los elementos se identificarn con letras minsculas, a menos que ellos sean, a su vez, conjuntos, como por ejemplo a, b, c, d, etc. Vale la pena sealar que lo usual es utilizar las primeras letras del abecedario (a, b, c,) para denotar elementos que estn perfectamente determinados y reservar las ltimas (, x, y, z) para elementos genricos o indeterminados. Adems, en el caso de la notacin para conjuntos, se reservan las letras maysculas: N, Z, Q, R y C, para los llamados conjuntos de los nmeros: Naturales, Enteros, Racionales, Reales y Complejos, respectivamente. Tales conjuntos son tratados de manera especfica ms adelante en la sesin: Conjuntos Numricos, sin embargo, nos permitiremos utilizarlos, en diversos ejemplos, asumiendo que los estudiantes estn familiarizados con

75

ellos debido a sus estudios previos. Slo debemos destacar aqu una diferencia de notacin que usaremos, desde este momento, en relacin al conjunto de los nmeros naturales. Ella se refiere a que cuando usemos la letra N nos estaremos refiriendo a los nmeros naturales incluido el cero, mientras que cuando usamos la notacin N referiremos a los naturales a partir del uno, es decir sin el cero.
*

nos

Los conjuntos deben expresarse escribiendo los elementos que los constituyen encerrados entre llaves. Por ejemplo, para expresar al conjunto formados por las cinco primeras letras del alfabeto, al cual, denotaremos con la letra A, podemos escribir:

A
RELACIN DE PERTENENCIA

a, b, c, d, e

La relacin que se establece entre elementos y conjuntos es la llamada relacin de pertenencia. Hemos dicho antes que los elementos pertenecen a conjuntos, por lo tanto, enunciaremos con frecuencia proposiciones tales como: el elemento a pertenece al conjunto A la cual expresaremos mediante

a a
la cual, leeremos a no pertenece a A.

A A A, mientras que n A.

que se lee a pertenece a A. Su negacin la escribiremos

As, de acuerdo al ejemplo anterior tenemos que c

Es importante, para mayor claridad y precisin de nuestras expresiones tener presente lo siguiente: 1) Cada conjunto debe determinarse claramente, sin ambigedad. De forma tal, que pueda establecerse, sin lugar a dudas, si un elemento especfico pertenece o no a un conjunto determinado. 2) Los elementos de un conjunto deben ser distintos entre si. Ningn elemento debe estar repetido y en caso de que esto ocurra, se le considera una sola vez. 3) No importa el orden en que se escriben los elementos de un conjunto. Cambiar el orden de colocacin de los elementos dentro de un conjunto no significa que dicho conjunto ha cambiado.

DETERMINACIN DE CONJUNTOS
En general, todos los conjuntos pueden determinarse de dos formas extensin o por comprensin. diferentes por

Por Extensin
Diremos que un conjunto est determinado por extensin si detallamos o enumeramos todos y cada uno de los elementos que pertenecen a dicho conjunto.

76

Por ejemplo:

A
Por Comprensin

15, 30, 45

Diremos que un conjunto est determinado por comprensin si damos una propiedad, o propiedades, que caracterizan a sus elementos, y solo a ellos, tal que nos permita establecer, inequvocamente, si cierto elemento pertenece, o no, a dicho conjunto. Por ejemplo:

nmeros naturales menores que 50 y mltiplosde 3 y de 5

Un conjunto que posea un nmero finito de elementos, en general, puede ser expresado de las dos formas. El conjunto A, de los ejemplos anteriores, es el mismo en ambos casos, determinado primero por extensin y luego por comprensin. Sin embargo, los conjuntos que poseen infinitos elementos, slo pueden ser determinados por comprensin. En la determinacin de conjuntos por comprensin se usan con frecuencia smbolos que simplifican las expresiones. As, el conjunto A, que venimos utilizando como ejemplo, puede escribirse

x:x

50

3| x

5| x

Donde el smbolo : se lee tal que. En las definiciones de los conceptos que siguen a continuacin, as como en el enunciado de propiedades, teoremas y sus respectivas demostraciones, se utilizar una forma general de determinacin de los conjuntos por comprensin, en la cual, se escribir el smbolo P(x) que representa una propiedad relativa a un elemento indeterminado x. As, por ejemplo, si queremos referirnos a los nmeros pares, entonces es p(x): x es par Ahora bien, es importante destacar que el enunciado x es par no es una proposicin. Tal enunciado se convierte en una proposicin cuando se especifica el elemento x, ya que slo as podremos calificarla de verdadera o falsa. De esa manera, para cada asignacin de un valor a x, obtenemos una proposicin. En el caso del ejemplo presentado tenemos que: p(4): 4 es par p(7): 7 es par (V) (F)

77

Entonces, cuando queremos expresar de manera general a un cierto conjunto, digamos A, determinado por comprensin, como el conjunto de elementos x que satisfacen una cierta propiedad, digamos P(x), escribimos

A
En consecuencia, para un elemento dado

x : P(x)

a , dado, diremos que:

a a P(x) : x
En consecuencia, 30 falsa.

A A N

P( a) es V P(a) es F x 50 3 | x 5| x
A, por ser P(10)

Nuevamente tomando el caso del conjunto A de los ejemplos anteriores, tenemos que es

A, ya que, P(30) es verdadera, mientras que 10

En general, todos los conjuntos pueden ser determinados por comprensin. Es decir, para cualquier conjunto pueden enunciarse propiedades que caracterizan a los elementos que los conforman, de tal forma que tales enunciados al ser aplicados o referirse a elementos especficos, segn hemos visto, constituyen proposiciones que cuando son verdaderas nos establecen que el elemento en cuestin pertenece al conjunto de que se trate y cuando son falsas nos establecen lo contrario. Vemos as, que las proposiciones juegan un papel bsico en la definicin de los conjuntos y por, lo tanto, la Lgica Proposicional constituye un apoyo fundamental en el desarrollo de la Teora de Conjuntos.

LECTURA N 18: TIPOS DE CONJUNTOS

Tomada con fines instruccionales Kleiman, A. y de Kleiman, E. (1972). Conjuntos. Aplicaciones Matemticas a la Administracin. Editorial Limusa Wiley. Primera edicin. (p. 87-91). Caracas.

CONJUNTOS ESPECIALES Conjunto universal

En el anlisis de una situacin particular, hay un conjunto o coleccin fija de elementos que se denomina conjunto universal y se denota por la letra griega (omega). Dicho conjunto , consta de todos los elementos a los que se pueda referir esa situacin. Es algo as como la fuente de todos los elementos que forman parte de los conjuntos sobre los que vamos a trabajar. Hay dos circunstancias que se deben tener en cuenta cuando se trata de elegir el conjunto universal:

78

1. El conjunto universal no es nico; depende del problema que se est considerando y puede cambiar segn la situacin particular de que trate; 2. An para un mismo problema el conjunto universal no est definido en forma nica; podemos elegirlo a nuestra conveniencia con relativa libertad. Veamos algunos ejemplos: Ejemplo 1: si los conjuntos a considerar son los urlogos, dermatlogos, pediatras y cirujanos, el universo ms adecuado es el conjunto de los mdicos. Ejemplo 2: para un problema determinado nos interesa pensar en el conjunto de todos los libros de Sistemas y Procedimientos. Este conjunto puede estar referido a algn conjunto universal, que seleccionaremos de acuerdo con nuestras necesidades. Por ejemplo, puede ser el conjunto de los libros de la biblioteca de esta Facultad, o el conjunto de los libros de esta Universidad, o el conjunto de los libros del tema Sistemas y Procedimientos, editados en cualquier idioma o el conjunto de todos los libros que existen en esta ciudad, etc. Note que tenemos libertad para fijar , y nicamente debemos tomar en cuenta nuestra conveniencia especfica. Ejemplo 3: sea el conjunto de los alumnos con calificacin promedio de ocho o ms puntos. El conjunto universal puede ser, segn el estudio o situacin que se est considerando: i) los alumnos del grupo 106; ii) el conjunto de los alumnos de esta Facultad; iii) el conjunto de alumnos de la Universidad; iv) el conjunto de todos los alumnos de escuelas de esta ciudad, etctera. Esa relativa libertad de eleccin a que hemos hecho referencia no debe interpretarse en el sentido de que es un conjunto impreciso o de naturaleza variables. Al analizar una situacin determinada una vez que se ha decidido cul es el conjunto universal , ese conjunto permanece fijo y todos los dems conjuntos mencionados en la misma discusin se forman con elementos de ese .

Conjunto vaco
Aunque a primera vista parezca extrao, resulta conveniente hablar acerca de conjuntos sin elementos. Un conjunto que no posee elementos se denomina conjunto vaco o conjunto nulo, y se lo designa por el smbolo o por . Por ejemplo, los siguientes son conjuntos vacos:

A B C

x : x es una personade msde 200aosde edad y : y es un ocanode agua dulce z : z es el conjuntode los nmerosnaturalesmayoresque5 y , menores que 6
- 1, w es un nmeroentero .
es distinto de 0 y de 0 . En efecto:

D w: w2

Es importante advertir que i)

es un conjunto sin elementos;

79

ii)

0 es un conjunto con un solo elemento, el nmero 0;

iii) 0 es un nmero y no un conjunto Muchas veces se define un conjunto vaco recurriendo a un par de condiciones mutuamente contradictorias, tales como:

M N

m: m es un burrocon alas n : n es un ser viviente con 6 narices .

Conjuntos Finitos e Infinitos

El nmero de elementos de un conjunto no vaco, puede ser finito o infinito. Es finito cuando se puede listar exhaustivamente sus elementos en algn orden, y en consecuencia contarlos uno a uno hasta alcanzar el ltimo. En caso contrario, si el conjunto no posee un ltimo elemento se dice que es un conjunto infinito. Ejemplos de conjuntos finitos son: los empleados de una empresa, los peridicos de un pas, los proveedores de la industria de la construccin, etc. Ejemplos de conjuntos infinitos: el conjunto de los enteros positivos, el nmero de rectas que pasan por un punto, etctera. Estos conjuntos son infinitos porque no es posible listar todos sus elementos y enumerar explcitamente la totalidad de ellos. El proceso de conteo de los elementos nunca termina para un conjunto infinito. La notacin para el conjunto de los nmeros naturales (enteros positivos) es la siguiente:

1, 2, 3, 4, 5, 6,... , es decir que se listan algunos de los elementos del

conjunto seguidos de puntos suspensivos (que equivalen al etc), y que reemplazan a los elementos no listados. Esta forma de notacin se emplea a menudo, pero no es muy satisfactoria desde el punto de vista lgico. En sentido estricto el mtodo de listado o de enumeracin, es inaplicable a conjuntos infinitos. Para especificar correctamente un conjunto infinito se debe citar alguna propiedad definitoria, es decir especificarlo por comprensin. Los conjuntos infinitos se presentan en muy diversos problemas concretos. Por ejemplo, en el control estadstico de calidad, los analistas del proceso de produccin pueden considerar que la mquina bajo observacin genera un flujo continuo e infinito de productos. Un ejemplo usual en el desarrollo de este tema es el del conjunto de los granos de arena de la playa de Acapulco. No obstante que el nmero de elemento de ese es inmenso, no deja de ser un conjunto finito.

80

LECTURA N 19: MAS SOBRE CONJUNTOS ESPECIALES

Tomada con fines instruccionales Gallo, C. (1996). Matemticas para Estudiantes de Administracin y Economa. U.C.V. Ediciones de la Biblioteca. Tercera Edicin. (p. 94-99). Caracas.

CONJUNTO UNIVERSAL
Llamamos Conjunto Universal o Conjunto Referencial aquel conjunto, al cual, pertenecen todos los elementos de una situacin dada o de inters. Partiendo de este concepto, est claro que el conjunto universal o referencial no es nico, sino que depende de la situacin en particular que se est tratando. Para denotar al conjunto universal se utiliza la letra mayscula U, o bien el smbolo (letra griega mayscula omega). El conjunto universal establece una referencia (tambin se le dice universo), delimita las reas de trabajo, es decir, establece las fronteras. Por ejemplo, si nos planteamos una investigacin estadstica sobre la educacin, no es lo mismo que el universo sea el conjunto de todos los estudiantes de la Universidad Central de Venezuela en un ao determinado, que el de los estudiantes de todas las universidades venezolanas o que el de todas las universidades latinoamericanas. Tal delimitacin depende del objetivo especfico que se persiga con la investigacin. Siendo consecuentes con nuestra intencin de evidenciar la equivalencia existente entre el lenguaje utilizado en Teora de conjuntos y el utilizado en Lgica Proposicional, veamos como se manifiesta dicha equivalencia en el caso de la definicin dada para el conjunto Universal. Supongamos que A sea un conjunto dado, tal que:

x : P(x)

De acuerdo con la definicin dada, al conjunto universal, o referencial, U, pertenecen todos los elementos de la situacin de que se trate. Esto es, a U lo conforma tanto los elementos de A , como los que no pertenecen a A . Estando A definida a travs de P(x) , entonces a U pertenecen aquellos elementos que hacen verdadera a P(x) y tambin pertenecen los que la hacen falsa. Esto quiere decir que al conjunto universal U lo podemos definir por comprensin de la siguiente manera:

x : P(x) ~ P(x)

Podemos observar que cualquier x, de la situacin de que se trate, har verdadera a P(x) ~ P(x) . En otras palabras, la disyuncin inclusiva P(x) ~ P(x)

es siempre verdadera. Vemos as, que el conjunto universal se define a travs de una tautologa.

81

CONJUNTO VACIO
Llamamos Conjunto Vaco a aquel conjunto que no tiene elementos. Para denotar al conjunto vaco utilizamos el smbolo (letra griega mayscula phi). Al conjunto vaco tambin lo podemos definir a travs de proposiciones. Dado que a l no pertenece ningn elemento, entonces cualquier enunciado que no pueda ser verdadero para ningn elemento, definir al vaco. En el caso que ningn x hace verdadera a

P(x)
Por lo tanto

~ P(x)

x : P(x)

~ P(x)

Vemos as, que el conjunto vaco puede ser definido a travs del enunciado de cualquier contradiccin. El conjunto vaco es nico, esto es, no existen conjuntos vacos diferentes entre s. Para todas las situaciones de que se trate, los conjuntos que no tengan elementos, son iguales entre s, y tienen en el llamado conjunto vaco a su representante. Esta importante afirmacin, sobre la unicidad del vaco, ser formalmente demostrada mas adelante, una vez que hayamos estudiado la relacin de inclusin y la propiedad antisimtrica de dicha relacin, la cual, constituye el instrumento de demostracin. Ejemplo Sea el conjunto

A
Esto es

x: x

7x 3 0 0

Podemos observar que ningn nmero entero hace verdadera a 7x 3

x
Es decir, A

Z : 7x

Por lo tanto, el conjunto A no tiene elementos y decimos que es vaco.

CONJUNTO UNITARIO
Llamaremos Conjunto Unitario a aquel conjunto, al cual pertenece un solo elemento. Ejemplo Sea el conjunto

x: x

82

De acuerdo a como ha sido definido A, a l pertenecen los nmeros enteros que son, simultneamente mayores que 3 y menores que 5, lo cual, es slo satisfecho por el entero 4 y de ah que digamos que A es un conjunto unitario. Aprovechamos este ejemplo para plantear que, en general, cuando tengamos expresiones tales como

b b , suele escribirse de una forma ms sencilla

Donde a y b son nmeros tales que a como la siguiente:

La cual, leemos x es mayor que a y menor b y nos indica, igual a la de arriba, los nmeros x que satisfacen, a la vez, que sean mayores que a y menores que b. Expresado de otra forma, se refiere a los nmeros comprendidos entre a y b. As, el conjunto A , del ejemplo, tambin puede escribirse como sigue:

x: x Z

3 x 5

Podemos observar que el nico valor de x entero que hace verdadera a la proposicin es 4. Luego, decimos que A es

Habiendo dado la definicin para conjunto unitario, es importante destacar, ahora, la diferencia entre las siguientes notaciones:

a,

a,

La primera se refiere al elemento a. La segunda se refiere al conjunto unitario cuyo nico elemento es a y la tercera se refiere al conjunto de conjuntos, tambin unitario, cuyo nico elemento es el conjunto a . Ejercicios: 1.- Determinar por extensin los siguientes conjuntos:

A B C D E F

x : x 2n 1 x : x 2n x: x Z x: x 2n 1 x
2

n N* n N* 25 x 3 n N
*

x x 10 50 x

x: x N x: x N*

2x 8 0 2 11

2.- Diga cuales de las siguientes expresiones son verdaderas, justificando sus respuestas: a) a

b) a,b

, a,b

c) a, a

d) a,b,

a, c, a,b

e) a, a,b,

a,b,b, c a

f) a,b,

b, a, c

c
83

3.- Traducir en palabras lo que significan las expresiones siguientes: a) A b) B c) C

x: x N
x: x Q

x: x N

x 6 1 x N 2 5 4x 6 0 3 r : r es una recta r a r : r es una recta r a

d) Siendo a una recta del plano: H e) Siendo a una recta del plano: M f) E g) F

x: x N x: x N

2 2x 3 11 x Z

4.- Expresar simblicamente los siguientes conjuntos: a) El conjunto de los nmeros naturales pares b) El conjunto de las soluciones reales de la ecuacin x
3

2x 2

x 2 0

c) El conjunto de nmeros naturales que satisfacen la relacin:

16 10x 78 3
5.- Expresar por comprensin los conjuntos siguientes:

A B C D

1,3,5, 7,9,11,13,15 1, 4,9,16, 25,36 1, 2,3,5, 7,11,13,17,19, 23 1, 2, 4,8,16,32, 64

6.- Si a es un elemento del conjunto B y B es un elemento del conjunto C , se puede concluir que a es un elemento de C ? 7.- Diga cules de los siguientes conjuntos son vacos:

A B
C

x : x es impar y divisible por 2 x:x Z

x: x R

x 3 3
x2 10 2x 10

84

LECTURA N 20: REPRESENTACIN GRFICA DE CONJUNTOS

Tomada con fines instruccionales Burgos, A. (1971). Iniciacin a la Matemtica Moderna. Selecciones Cientficas. Tercera Edicin. (p. 26). Madrid.

DIAGRAMA DE VENN.
Con objeto de hacer ms intuitivas las cuestiones relativas a conjuntos es aconsejable usar unos esquemas llamados diagramas de Venn; en ellos, los elementos del conjunto universal U se representan grficamente por puntos de un cuadrado (o rectngulo) y los subconjuntos por puntos de crculos contenidos en el cuadrado. Es de observar que tanto U como los subconjuntos pueden ser finitos o infinitos en este ltimo caso puede incluso ser U el conjunto de todos los puntos del cuadrado y los subconjuntos estar integrados por todos los puntos de los crculos. Interesa sealar tambin que, mientras no se advierta lo contrario, los elementos no los representaremos por puntos de los diferentes contornos (circunferencias y permetro del cuadrado). Ejemplo: En la figura adjunta se ha representado en un diagrama de Venn, el conjunto universal. U = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, }
1 A

U
B

2 5 6 3

7 8 9
C

12

10 11

y los subconjuntos: A = { 2, 3, 4, 5, 6 }

B = { 5, 6, 7, 8 }

C = { 10, 11 }

85

LECTURA N 21: RELACIN ENTRE CONJUNTOS

Tomada con fines instruccionales Gmez, T., Gonzlez, N., Lorenzo J. (2007). Igualdad e Inclusin entre Conjuntos. Artculo no publicado (p.1). Caracas.

RELACIN DE IGUALDAD
Dos conjuntos A y B son iguales si cumplen dos condiciones esenciales: que todo elemento de A pertenece a B, e inversamente, que todo elemento de B pertenece a A. Cuando los conjuntos A y B son iguales escribiremos A B y si no son iguales se escribe A

B . Veamos algunos ejemplos:

a) Los conjuntos:

A
B

4, 5, 7, 12 y
8 ,5, 49,12 son iguales ya contiene los mismos elementos. Recuerde 2 8 2 4 y 49 7
.

que

b) Los conjuntos:

x : x es un nmero entero negativomayor que

7, 6, 5, 4, 3, 2, 1

son iguales, ya que an cuando estn expresados en forma diferente, el primero por comprensin y el segundo por extensin, contienen los mismos elementos. c) Los conjuntos:

5, 4, 7, 5, 7 12 y

4, 5, 7, 12 son iguales. El primer conjunto tiene los

mismos elementos del segundo, ya que los elementos que se repiten se toman en cuenta una sola vez. d) Los conjuntos 12, 5,

4, 7, y

4, 5, 7, 12 son iguales, no importa el orden en

el cual se escriben los elementos. e) Los conjuntos:

4, 5, 7, 12 y

4, 5, 6, 7, 12 no son iguales porque no poseen los mismos

elementos. El segundo conjunto contiene a 6, mientras que el primero no.

86

RELACIN DE INCLUSIN
Esta relacin se denota por el signo se lee incluido o contenido en y se dice que un conjunto A est incluido en el conjunto B cuando todos los elementos de A pertenecen a B, esta definicin se puede escribir formalmente utilizando la simbologa que se conoce hasta ahora, de la siguiente forma:

A
otra forma de leer A Por el contrario, A B.

B es A es subconjunto de B. B cuando existe por lo menos un elemento de A que no pertenece a

Es importante sealar que si todos los elementos de un conjunto A pertenecen tambin a un conjunto B, pero no todos los elementos del conjunto B pertenecen a A, es decir, A B , entonces se dice que A es un subconjunto propio de B y que la inclusin es estricta, esto se denota de la siguiente forma:

A
Propiedades de la Inclusin:
1. Para cualquier conjunto B, se tiene que:

B.

2. Propiedad Reflexiva. Todo conjunto es subconjunto de si mismo, es decir:

A, en efecto,

(x)

A , se tiene, por supuesto, que x

3. Propiedad Antisimtrica. Si un conjunto esta incluido en otro y viceversa entonces los conjuntos son iguales, es decir:

A
observe que: A

B A x B

A y B

A A

B. x B x A entonces todos

los elementos de A estn en B y todos los elementos de B estn en A. 4. Propiedad Transitiva. Considere tres conjuntos A, B y C uno contenido dentro del otro, es decir:

A
Esto implica:

A A

C por lo tanto la propiedad queda enunciada as: B y B C A C

87

LECTURA N 22: OTRAS RELACIONES ENTRE CONJUNTOS

Tomada con fines instruccionales Burgos, A. (1971). Iniciacin a la Matemtica Moderna. Selecciones Cientficas. Tercera Edicin. (p. 23-24). Madrid.

CONJUNTOS DISYUNTOS.
Se dice que dos conjuntos A y B son disyuntos si no tienen elementos comunes. En cambio, llamaremos solapados a los conjuntos que, sin estar uno incluido en el otro, tienen elementos comunes. Ejemplos: a) Si A = { 1, 3, 5, 7 } y B = { 2, 4, 6 } , A y B son disyuntos. b) Si A = { 1, 2, 3, 4, 5, 6 } y B = { 5, 6, 7, 8 } , A y B son solapados. c) Si A es el conjunto de los nmeros pares y B el de los impares, A y B son disyuntos. Observe los siguientes pares de conjuntos: M N M N

Fig. 1.

O1
Fig. 2. M N

O2

Fig. 3.
A

88

B A

O2 O1

Fig. 4 d) A y B son disyuntos en las figuras 1 y 2 e) A y B son solapados en las figuras 3 y 4 Observando la figura 5, donde I es el conjunto de puntos del circulo O, C el conjunto de puntos de la circunferencia del circulo O y E es el conjunto de puntos exteriores a la circunferencia;

I O

FIG. 5. Fig. 5 f) I y C son solapados.

g) I y E son disyuntos. h) E y C son disyuntos.

89

LECTURA N 23: OPERACIONES ENTRE CONJUNTOS

Tomada con fines instruccionales Gmez, T., Gonzlez, N., Lorenzo, J. (2007). Igualdad e Inclusin entre Conjuntos. Artculo no publicado (p.1). Caracas.

Las operaciones entre conjuntos son formas especficas de combinar conjuntos para formar otros conjuntos. Estas operaciones junto con sus propiedades constituyen un sistema lgico de construccin y conducen a la teora de conjunto como un lgebra, o sea como un sistema matemtico. En particular, se tratan las operaciones de interseccin, unin, diferencia y complementacin, las cuales pueden ser representadas a travs de los diagramas de Venn. A menudo se piensa que las operaciones entre conjuntos son tiles estrictamente en el campo formal de las matemticas, sin embargo, estas combinaciones se utilizan de forma casi inconsciente en la vida real para tomar decisiones en determinadas situaciones, una muestra de esto es el siguiente ejemplo: Una estudiante de la UNEFA est decidiendo cual de dos libros va a comprar para el curso de Razonamiento Lgico, para ello revisa la tabla de contenido y la compara con su programa. El programa de Razonamiento Lgico es el siguiente: Unidad 1: LGICA PROPOSICIONAL (a) Proposiciones, (b) Conectivos Lgicos, (c) Tablas de Verdad, (d) Tautologas y contradicciones Unidad 2: LEYES DE LA LGICA : (e) Leyes de Inferencia, (f) Leyes de Equivalencia, (n) Falacias Unidad 3: DEMOSTRACIONES MATEMTICAS (g) Mtodos Deductivos, (h) Mtodos Inductivos Unidad 4: TEORA DE CONJUNTOS (i) Conceptos bsicos, (j) Diagramas de Venn, (k) Operaciones entre conjuntos, (m) Relaciones entre conjuntos

En cada uno de los libros identificaremos con la letra correspondiente a cada tema. La tabla de contenidos de los libros es la siguiente:

90

LIBRO 1 ( a ) Proposiciones ( b ) Conectivos lgicos ( c ) Tablas de Verdad ( d ) Tautologas y contradicciones ( e) Leyes de Equivalencia ( f ) Leyes de Inferencia ( i ) Conjuntos: Conceptos Bsicos ( k ) Operaciones entre conjuntos ( m ) Relacin entre conjuntos

LIBRO 2 ( a ) Proposiciones ( b ) Conectivos lgicos ( c ) Tablas de Verdad ( g ) Mtodo Deductivo ( h ) Mtodo Inductivo ( i ) Conjuntos: Conceptos Bsicos ( k ) Operaciones entre conjuntos ( j ) Diagramas de Venn

Ahora, para tomar una decisin, la estudiante se hace las siguientes preguntas: 1. Cules son los contenidos que tienen en comn los libros? 2. Cules son los contenidos no comunes entre los libros? 3. Cules contenidos del programa no se encuentran en ninguno de los libros? 4. Sera necesario comprar ambos libros? Para tomar una decisin sobre cul sera el mejor libro, para comprarlo, vamos tratar de responder estas preguntas usando las operaciones entre conjuntos, que sern definidas a continuacin: 1) Definimos el conjunto universal: Para este caso, el universo al cual nos queremos referir es el contenido programtico de la materia Razonamiento Lgico. El conjunto universal lo representaremos por las letras de cada uno de los temas y lo representamos en el siguiente rectngulo:

n f m d e i k a c b h g j

91

INTERSECCIN
En el ejemplo anterior suponga que tomamos el contenido de cada libro como un conjunto. Los contenidos del libro 1 forman el conjunto A a, b, c, d, e, f , i, k, , los

m
contenidos del libro 2 forman el conjunto B

a, b, c, g, h, i, j, k

y el programa de la

ctedra el conjunto universal

a, b, c, d, e,

f , n, g, h, i, j, k, m , entonces observe

que, los contenidos que coinciden entre los libros son " a" , " b" , " c" , "

" k" , este es

i" , y
un nuevo conjunto y se llama conjunto interseccin, grficamente se visualiza de la forma siguiente:

n f m d e i k a c b h g j

Observe que grficamente cada conjunto recibe un rayado o marca particular que los diferencia y que la interseccin es la zona doblemente rayada o marcada. La interseccin se simboliza por queda escrita de la siguiente forma: , en este caso la operacin A interceptado con B

a, b, c, i, k

En general la interseccin de conjuntos se define como:

Sean A y B subconjuntos del conjunto universal, llamaremos interseccin de A con B al conjunto de todos los elementos comunes a ambos conjuntos, y se especfica por comprensin como sigue: A B x /x A x B
Propiedades de la interseccin.

1) Propiedad Conmutativa, es decir: En efecto:

B B

x/x

A x

x B A B A

x/x B

92

2) Propiedad Asociativa, es decir: A En efecto:

B B x

C A x C x C C B

B C

x/x

x/x A yx B x/x A

Propiedades de la interseccin y de la inclusin. 1) Un conjunto esta contenido en otros dos si, y solo si, esta contenido en la interseccin de ambos, es decir:

X
En efecto, todo x

A y X x A y

B x

X B

A x A

B B A B x B B X A y X B X A B

Directo. Comenzaremos por probar que: X

A y X

Luego: Recproco.

X
A X B B

A
x

B.
A y

Vamos a probar ahora que X

En efecto, todo: x Luego:

A y

2) Un conjunto est con contenido en otro si, y slo si, la interseccin de ambos es igual al primero de los conjuntos, es decir:

B A. Esta se conoce como Propiedad de Conformidad. A B B A B A.

Directo. Comenzaremos por probar que: En efecto, todo: x

x A. x A x A

Inversamente, como A Luego: A

B, todo

B A

Reciproco. Probaremos ahora que: A Ahora bien, si x

A
A

B A x A B.

En efecto, como la hiptesis se sigue que A

B, todo x

B B
A

Luego: A

Consecuencias. Puesto que para todo conjunto A se tiene:

A,

A y

En virtud de la segunda propiedad, se tendrn las siguientes nuevas propiedades conocidas como dem potencia 3)

4) A

93

5) A

Dejamos como ejercicio al lector la demostracin de la siguiente propiedad: 6) A

UNIN
La unin de conjuntos se simboliza por se define como:

Sean A y B subconjuntos del conjunto universal, llamaremos unin de A con B al conjunto de los elementos del conjunto universal que pertenecen por lo menos a uno de los subconjuntos A y B, y se especfica por comprensin como sigue: A B x ./x A x B
En el ejemplo que tratamos al inicio de esta lectura podemos encontrar que para los conjuntos:

a, b, c, d, e, f , i, k, m A B

a, b, c, g, h, i, j, k

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

grficamente;

n f m d e i k a c b h g j

Para la unin la solucin mostrada en el diagrama de Venn siempre ser toda la zona que se encuentre rayada o marcada.

Propiedades de la Unin:
1). Propiedad conmutativa: A En efecto:

B B

x/x A x/ x B

x B x A B A

94

2). Propiedad asociativa: A B En efecto:

C A A A B

B C x C x C C A B C B

x/x x/ x

x/x A

x B x

Propiedades de la Unin y de la Inclusin:

1). Dos conjuntos estn incluidos en otro si, y slo si, la unin de aquellos est contenida en ste:

y B A

X B

B X X,

X A B X

Directo. Comenzaremos por probar que:

X y X

En efecto, por estar:

A
Se tiene entonces, (a) Si x

y B

X , si x A , tambin x por lo tanto para todo x A X , entonces x A B y x X. A x

Luego

B,

A
(b) Si x

X. A B, X , entonces

X , si x B
A x

B , tambin x
B y x X.

por lo tanto para todo x

Luego

X.
B X A X y B X queda a cargo del

La demostracin del Reciproco A lector.

2). Un conjunto est con cotenido en otro si, y slo si, la unin de ambos es igual al segundo de los conjuntos:

A A

B B

A B B . Se conoce como la Propiedad de Conformidad A B B

Directo. Comenzaremos por probar que:

95

En efecto, todo

x
Pero como A por lo tanto

A x

B ( por definicin)

B , para todo x

A se tiene x B ,

B (i) x A B B (ii)
A B B

Por otro lado, para todo

x B
y, por tanto,

Por lo tanto, por (i) y (ii) que:

La demostracin del reciproco A

B B

B queda a cargo del lector.

Visto las propiedades anteriores se concluye que para todo conjunto A se tiene:

A,

En virtud de esta propiedad 2 se tendrn las siguientes nuevas propiedades conocidas como dem potencia: 3) 4) 5)

A A A A A B A B A A
.

Dejamos a cargo al lector la deduccin de la siguiente propiedad 6)

Propiedad de la Interseccin y de la Unin:

1). Propiedad Distributiva: a.b.-

A A A A

B B A A

C C B B

A A A A

B B

A C A C

2). Propiedad de Absorcin: a.b.-

Demostrar la propiedad (2.a): A Directo. Todo x

B y

A x A B x A

x A

96

Se deja al lector la demostracin del Recproco: Si x

B,

Las relaciones de (1.a) y (2.a) nos permiten probar fcilmente la certeza de la relacin (2.b), pues, en efecto:

COMPLEMENTACIN
La palabra complementacin nos trae la idea de completar algo, es decir, es aquella otra parte que tiene lo que le hace falta a una parte ya dada o existente. Para definir el complemento de un conjunto, es necesario primeramente establecer el conjunto respecto al cual se determinar la operacin de complementacin, es decir, el conjunto de referencia, el cual es variable. Una vez ms centremos la atencin en el ejemplo dado al inicio de la lectura, y observemos las diferentes situaciones para establecer el conjunto de referencia y el complemento: 1Cuando el conjunto de referencia es el Universo

Siendo el conjunto de referencia

a, b, c, d, e,
:

f , n, g, h, i, j, k, m , suponga que se

desea encontrar el complemento de A A

1. El complemento de A es

n, g, h, j

(son los elementos que le faltan a A para ser

2. El complemento de A 3. El complemento de A

B es n B es d, e, f , g, h, j, m, n

2-. Cuando el conjunto de referencia es otro conjunto u operacin entre dos o ms subconjuntos del Universo. Suponga que se desea encontrar el complemento de A, si los conjuntos de referencia son: a) A

B B

a, b, c, d, e, f , g, h, i, j, k, m , el complemento de A g, h, j
es

b)

a, b, c, i, , el complemento de A es k
de un conjunto, supongamos A, se simboliza por A' , Ac y A ,

La complementacin

tambin se utiliza C A , est ltima notacin es funcional debido a que indica el conjunto de referencia y el conjunto al cual se le determinar el complemento, en este caso se lee complemento de A respecto al conjunto universo. Recuerde que no siempre el conjunto de referencia es el conjunto universal.

97

En esta lectura tomaremos la notacin C A y para cada uno de los casos sealados arriba la operacin complemento queda simbolizada de la siguiente forma: Cuando el conjunto de referencia es el Universo Cuando el conjunto de referencia es otro conjunto u operacin entre dos o ms subconjuntos del Universo
A B A B

CA CA CA B B

C A C A
B

En general la complementacin de conjuntos se define respecto al conjunto universal y lo haremos como sigue: Si A es un subconjunto del conjunto universal, llamaremos complemento de A al conjunto formado por los elementos de que no pertenece a A; y se especfica por comprensin como sigue:

CA

/x

Es importante notar que la notacin P ' utilizada para simbolizar complementacin es muy parecida a la notacin p ' para simbolizar la negacin de una proposicin, sin embargo, recuerde que un caso se aplica para conjunto y en otros para proposiciones, tenga cuidado de confundirlas.

Propiedades de la complementacin:
1). El conjunto A interceptado con su complemento es el conjunto vaco:

A CA
En efecto, si:

A CA

x A

C A,

es decir:

x A

A,

lo cual es absurdo. Luego, ningn

x pertenece al conjunto A

C A y, por tanto

A CA

(2). La unin de A con su complemento es el conjunto universal A C A

La deduccin de esta propiedad es bastante similar a la anterior, por lo cual la dejamos a cargo del lector.

98

3). El complemento del conjunto vaco es el conjunto universal :

C
En efecto:

x/x

4). El complemento del conjunto universal es el conjunto vaco :

C
La deduccin de esta propiedad es bastante similar a la anterior, por lo cual la dejamos a cargo del lector

o 5). El complemento del complemento de un conjunto es el conjunto :

CCA
En efecto:

Esta `propiedad se conoce como involucin o doble complementacin

CC A A

x/x B CB

x CA CA

6). A est incluido en B si y solo si el complemento de B est incluido en el complemento de A :

CB

CA A B CB CA

Directo. Comenzaremos por probar que: En efecto, todo Pero como A Luego

x B, CA

CB x B

x x

B, A x CA

CB

Se deja la comprobacin del recproco C B

CA

B a cargo del lector

99

Leyes de Morgan
7). El complemento de la interseccin es la unin de los complementos:

CA CA B

CA

CB

x/x

A
C

x/x x/x

x x

A CA

x CB

CB CA CB

8). El complemento de la unin es la interseccin de los complementos

CA

CA

CB

La deduccin de esta propiedad es bastante similar a la anterior, por lo cual la dejamos a cargo del lector

DIFERENCIA
La diferencia entre conjunto se denota por A B y en el ejemplo inicial de la lectura se puede observar que A B d, e, f , m , como habr visto esta operacin se refiere al conjunto formado por aquellos elementos que estn en A pero no en B, grficamente representa la zona rayada como se muestra en el siguiente diagrama de Venn.

n f m d

A B k a c b e i h g j

Si quisiramos obtener B A esto seran los elementos de B que no estn en A , es decir, B A g, h, j , es importante observar en este punto que la diferencia de conjuntos no cumple con la propiedad conmutativa, es decir A

B A . Grficamente

representa la zona rayada como se muestra en el siguiente diagrama de Venn:

100

n f m d

A B k a c b e i h g j

En general la diferencia de conjuntos se puede definir como:

Sean A y B subconjuntos del conjunto universal, llamaremos diferencia de A con B al conjunto de todos los elementos que se encuentran en A (sustraendo) y no en B (minuendo) , y se especfica por comprensin como sigue: A B x /x A x B

Propiedades de la diferencia
1). La diferencia de A B es igual a la interseccin de A con el complemento de B:

A B
En efecto:

CB

A A B x /x
x/x A

x B
x CB A CB

La igualdad (1) nos pone de manifiesto la relacin de dependencia que existe entre la operacin diferencia y las de interseccin y complementacin (ver la prxima operacin), sealndonos de paso la posibilidad de adoptar dicha igualdad (1) como definicin de diferencia. 2). La diferencia de A A es igual al conjunto vaco:

A A
En efecto: A

CA

3). La diferencia entre un conjunto dado y el conjunto vaco es igual al conjunto dado:

En efecto:

101

4). La diferencia entre el conjunto vaco y un conjunto dado es igual al conjunto vaco:

A
En efecto:

CA

(ver propiedad 1)

5). La diferencia entre el conjunto universal y un conjunto dado es igual a complemento del conjunto dado: A CA En efecto:

CA

CA

6). La diferencia entre un conjunto dado y el conjunto universal es igual al conjunto vaco:

A
En efecto:

7). El complemento de la diferencia es igual a la unin del complemento de A con B:

C A
En efecto:

B CA

CA CB

B CA CCB CA B

C A

8). Leyes de Morgan: (a) En efecto:

A
B

B
D

D
A

A B
CB D

A D
A CB CD x/x A x CB x CD

x/x A xx/xA
y x/x (b) En efecto:

x B x B

A B
D

x D
A

D A B
CB

A B A
D A

A D D
CB CD A CB A CD

A
B

A B

A D

(9) La diferencia de A B es igual al complemento de B menos el complemento de A:

102

A B
En efecto:

CB

CA

A B

x/x A
x/x CA x/x CB

B
x x CB CA CB CA

(10)

A B
En efecto:

B D A

D x/x x/x B D A B A x B A B A x

A B

x D D

(11)

B D
A

A B
B D

A
A A

D
CB D A A D CB A B D A D .

En efecto:

CB

B
(12)

A B

A A A B A
A A B

En efecto: (13)

A A B
B

A D A
CD CD

A
A

B D
B D

En efecto:

A A A

B B

CD A

CD

A
(14) (15) Propiedad Distributiva:

B A

D A. B D A B A D

A B

SUMA BOOLEANA O DIFERENCIA SIMETRICA

La Suma Booleana o tambin llamada diferencia simtrica de dos conjuntos cualesquiera A y B, se simboliza por el signo + y y la suma booleana de A con B queda escrita de la forma siguiente: A B.

103

En general la suma booleana se define como: Sean A y B subcojuntos del conjunto universal, llamaremos suma booleana o diferencia simtrica de A con B al conjunto de todos los elementos que se encuentran en la unin de A con B a excepcin de los que estn en la interseccin de A con B, y se especifica por comprensin como sigue:

/x

De acuerdo a la definicin anterior tenemos la igualdad

A B

Recordando el ejemplo inicial de esta lectura, en el cual

A
A
Ejemplos: a) Si A

a, b, c, d, e, f , i, k, m y B
B

a, b, c, g, h, i, j, k

, entonces

d, e, f , g, h, j, m

1, 2, 3, 4, 5 y
B

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

B
B

A B 1, 2, 3, 4 y A B

B A

b) Si A

6, 7, 8 , B A 4 1, 2, 3, 3, 4, 5 , 1, 2, 6, 1, 2, 6 6, 7, 8 1, 2, 3, 4, 6, 7, 8

c) Si A

1, 2, 3, 4, 5, 6 y
B

A B

B A

Propiedades de la Suma Booleana o Diferencia Simtrica:

1). A

En efecto: A

B A

A B A B B A

B A A B B A

A B B A

B B.

A B

B B
2). A 3). A

A B

A A

4). A En efecto: 5). C A

CA A B A B A CA A A CB B B A A CA

6). Propiedad Conmutativa: 7). Propiedad Asociativa:

B C

A B

C
104

8). Propiedad Distributiva: 9). A 10). A 11). A

A
D

B C
CA B D

A
B

B
C

A C

B B B

D C D

A A A

B CD B

CD A CB C D

Ejercicios:
1. Si

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

0,1,2,3,4,9 , B

2,3,4,5,6 y D

3,4,5,7, , se 9

pide: determinar las operaciones siguientes y representar en un da digrama de Venn los conjuntos y dicha operaciones: (a)

A B D

D A B A

(b) A

(c) C D
A B

CA
D

2. Utilizando diagramas de Venn verificar la relacin:

D B A

3. Utilizando las definiciones y propiedades verifique la igualdad A

4. Si es el conjunto de los empleados de un ministerio, en el que supondremos no hay viudos-as ni divorciados-as, A, B, D, E y F respectivamente, son los conjuntos de hombres casados, hombres solteros, empleados (hombres o mujeres) con ttulo universitario, mujeres casadas y mujeres solteras. Se pide: (a) Completa la siguiente representacin grfica de cada uno de estos conjuntos:

Solteros Hombres

(b)

Expresar como una operacin los siguientes enunciados: b. 1.- Todos los hombres sin ttulo b. 2.- Todos los empleados solteros, casadas y casados sin ttulo b. 3.- El conjunto vaco

(c)

Expresar con palabras la operacin entre conjunto:

105

c.1.- A C

c.2.- A

c.3.- A

c.4. C A
D

B.

LECTURA N 24: APLICACIONES DE LAS OPERACIONES ENTRE CONJUNTOS

Tomada con fines instruccionales Gmez, T., Gonzlez, N., Lorenzo, J. (2007). Aplicaciones de las Operaciones entre Conjuntos. Artculo no publicado (p.1-3). Caracas.

En los siguientes ejercicios se evidencia la utilidad que tienen las operaciones de conjuntos para resolver situaciones de la vida cotidiana, proporcionando a cada individuo que la utiliza el ejercicio mental que se requiere para obtener la habilidad en la resolucin de problemas, ejercitando de esta forma la observacin, la cual nos permite extraer informacin necesaria y ms an relacionarlas de forma coherente para llegar a la solucin de las situaciones que se plantean como problemas o mas bien como retos. Problema 1: A un grupo de estudiantes de la UNEFA, quienes tienen por actividad complementaria visitar diferentes lugares del pas, se les pregunta acerca de su gusto para visitar los siguientes parques nacionales: Sierra de San Lus (Edo. Falcn), Sierra Nevada (Edo. Mrida) y Mochima (En Sucre), a cada grupo de respuesta lo identificaremos con una letra al lado, la informacin obtenida es la siguiente: a) A 33 estudiantes slo les gusta El Parque Nacional Sierra de San Lus i. A 15 estudiantes les gusta los Parques Nacionales Sierra de San Lus y Mochima les gusta los Sierra Nevada y

b) (b) A 32 estudiantes slo les gusta El c) A 14 estudiantes Parque Nacional Sierra Nevada Parques Nacionales Mochima

i. A 28 estudiantes slo les gusta El d) A 5 estudiantes les gusta por igual los Parque Nacional Mochima Tres i. A 11 estudiantes les gusta los Parques e) A 7 estudiantes no les gusta ninguno Nacionales Sierra de San Lus y Sierra de estos Parques Nacionales Nevada Utilizando esta informacin sobre las preferencias de los estudiantes por los Parques Nacionales, responde las siguientes preguntas: a) Cul es el nmero total de estudiantes encuestados? b) A cuntos estudiantes le gustara El Parque Nacional Mochima? c) A cuntos estudiantes les gustara dos de estos Parques?

106

Respuestas: A simple vista parece fcil responder a la primera pregunta sumando las ocho cifras dadas para cada grupo de respuesta, pero no es cierto, este procedimiento no basta, pues algunas respuestas estn solapadas, obsrvelo en la siguiente figura:

h Sierra de San Luis a d e g f Mochima c Los solapamientos (intersecciones) entre unos gustos y otros estn representados por las siguientes letras: d, e, f y g .

b Sierra Nevada

Entonces, consideremos que los 33 estudiantes a quienes les gusta El Parque Sierra de San Luis no deben ser colocados dentro de la regin identificada con a, pero si deben ser distribuidos en las regiones a, d, e y g, de tal forma que sea consistente con la informacin dada. Como en un principio, no sabemos como distribuir a los 33 estudiantes a quienes les gusta El Parque Sierra de San Lus, buscamos la informacin ms fcil de manejar.

En este caso tomaremos el nmero ms pequeo en la lista 5 estudiantes a quienes les gustan los tres lugares este grupo de alumnos deben ser colocados en la regin g (interseccin de los tres conjuntos) y los 7 a los que no les gusta ninguno se ubican en la regin h, como muestra el diagrama al lado derecho de este prrafo

7 h

Sierra de San Lus a d

e 5 g b

Mochima c f

Sierra Nevada

Por lo tanto los 11 a quienes les gusta Sierra de San Lus y Sierra Nevada deben ir en las regiones d y g. Como la regin g ya contiene 5 estudiantes es fcil conocer que en d hay 6, restando 11 5 = 6. Como hay 15 estudiantes a quienes les gusta Sierra de San Lus y Mochima (regiones e y g) y conocemos cuantos hay en g, obtenemos e

restando 15- 5 = 10, hay 10 estudiantes en la regin g. Mediante razonamientos similares,

107

a cada regin se le asignan de forma correcta los nmeros correspondientes, como se muestra en el siguiente diagrama de Venn:

7 h

Sierra de San Luis 10 e 12 5 a 6 g d 12 b

Mochima 4 c 9 f

f (Sierra Nevada y Mochima) = 14 g = 14 5 = 9 a (nicamente Sierra de San Lus)= 33- d g - e = 12 b (nicamente Sierra Nevada)= 32- d g - f = 12 c (nicamente Mochima)= 28 - g - e - f= 4

Sierra Nevada

Ahora podemos responder a cada una de las preguntas planteadas originalmente: a) Cul es el nmero total de estudiantes encuestados? Puesto cada estudiante en la encuesta fue colocado en exactamente en una regin de la figura 19, el nmero total de estudiantes encuestados es la suma de los nmeros en cada regin: a + b + c + d + e + f + g + h = 12 + 11 + 7 + 6 + 10 + 9 + 5 + 7 = 65 Se encuestaron a 65 estudiantes. b) A cuntos estudiantes le gustara nicamente El Parque Nacional Mochima? Un estudiante a quien slo le gusta Mochima, no le gusta Sierra Nevada ni Sierra de San lus, este tipo de estudiante se encuentra en la regin c, donde se observa que slo a 4 estudiantes les El Parque Nacional Mochima. c) A cuntos estudiantes les gustara dos de estos Parques? A los estudiantes de las regiones d, e y f les gusta exactamente dos parques, si sumamos los nmeros en cada regin obtenemos: 10 + 6 + 9 = 25 estudiantes. Comentario sobre las respuestas: En el problema que se acaba de resolver se observa que para la respuesta de cada una de las preguntas se utilizaron las operaciones entre conjuntos, lo cual muestra la importancia de manejar las definiciones y conceptos de dichas operaciones. Para la primera pregunta se aplic la unin como una operacin de conjunto como sigue Sierra deSan Sierra Mochima . Para la

Lus

Nevada

segunda pregunta se evidencia la operacin de diferencia de conjuntos quedando de la forma Mochima S SierraNevada ierradeSan

Lus

. Y en para la tercera pregunta la operacin utilizada fue la interseccin y unin de conjuntos, como sigue:
SierradeSan Lus Sierra Nevada Sierra Nevada Mochim a SierradeSan Lus Mochima

108

Problema 2: El Coordinador del ciclo bsico de ingeniera de la UNEFA aplic una encuesta en el primer y segundo semestre para conocer el avance de sus alumnos en el rea numrica: Fundamentos de Matemtica, Razonamiento Lgico y Geometra Analtica. Los resultados fueron los siguientes:

a) 4300 estudiantes slo han aprobado matemticas I c) 5800 estudiantes slo han aprobado Razonamiento lgico e) 6500 estudiantes slo han aprobado Geometra Analtica g) 1900 Matemticas y Razonamiento lgico

b) 2500 matemticas I analtica d) 2800 razonamiento analtica f)

y geometra y geometra

2010 alumnos aprobaron las tres

h) 956 alumnos no aprobaron ninguna de las materias

Utilizando esta informacin, responda las siguientes preguntas: a) Cul es el nmero total de estudiantes encuestados? b) Cuntos estudiantes aprobaron Fundamentos de Matemtica? c) Cuntos estudiantes aprobaron dos de estas materias? d) Qu tipo de decisiones puedes tomar con esta informacin

LECTURA N 25: NMERO DE ELEMENTOS DE UN CONJUNTO

Tomada con fines instruccionales Gmez, T., Gonzlez, N., Lorenzo J. (2007). Nmero de Elementos de un Conjunto. Artculo no publicado (p.3). Caracas.

En lecturas anteriores se han resuelto ejercicios del quehacer diario, mostrando la aplicabilidad de las operaciones entre conjuntos, y cuya resolucin se realiza por simple inspeccin de la informacin dada, por supuesto, con el apoyo de diagramas de Venn y en otros casos con tablas y otros, pero sin disponer de una frmula que permita, en todo caso, determinar nmero de elementos de un conjunto o de varios conjuntos y de los conjuntos resultantes de las operaciones establecidas entre los mismos. La notacin para nmero de elementos de un conjunto es la siguiente: n( conjunto).

109

Por ejemplo: n(B), n A

B , nA

B y se lee nmero de elementos del conjunto A,

nmero de elementos del conjunto A interceptado con el conjunto B, y nmero de elementos del conjunto A unido con el conjunto B, respectivamente. Para determinar el nmero de elementos de la unin de dos conjuntos se usa la siguiente frmula:

nA

nA

nB

nA

B (I)

Es importante sealar que al calcular el nmero de elementos de la unin de dos conjuntos A y B, cuando contamos el nmero de elementos en A, n(A) y el nmero de elementos en B, n(B), y los sumamos, el nmero de elementos de la interseccin, n A B , se ha contado dos veces, una vez cuando contamos n(A)y otra vez cuando contamos el n(B), ya que esos elementos pertenecen a ambos conjuntos, por lo que en la frmula se restan una vez. Con el nmero de elementos de la unin de A con B, nos estamos refiriendo al nmero de elementos que estn en A o en B En caso de que los dos conjuntos sean disjuntos la frmula quedara:

nA
Ya que la A Ejemplo N 1: Sea el conjunto universal

B B

nA 0.

nB

, luego n A

a, b, c, d, e,

f , n, g, h, i, j, k, m

y sean los conjuntos

a, b, c, d, e, f , i, k, m , B nA nB
9 + 8 = 17,

a, b, c, g, h, i, j, k y C

n , entonces observa que:

estamos contando dos veces los elementos comunes que son n A

B = 5, luego hay

que restarlos para tener el nmero de elementos real de la unin de A con B. que seran 12.

nA

nA

nB

nA

B = 9 + 8 - 5= 12

Vamos a calcular ahora el nmero de elementos de A unin C,

nA
el n A

C nA

nA

nC

nA

C = 9 + 1 + 0 =10

n C , debido a que A y C son conjuntos disjuntos

La frmula dada para dos conjuntos puede ser generalizada para tres conjuntos de la siguiente manera:

nA

nA

nB

nC

nA

nA

nB

nA

C (II)

Cuando hablamos de n A A o en B, o en C.

C nos referimos al nmero de elementos que estn en

Procedemos a realizar el clculo del nmero de elementos de la unin de tres conjuntos, de manera anloga al realizado para el nmero de elementos de la unin entre dos conjuntos, a saber: primero contamos los elementos de cada conjunto, y luego los

110

sumamos ( n A

nB

n C ). Restamos a la suma anterior el nmero de elementos que

se han contado dos veces, los cuales son:

nA nA

B ,nA B

C , y nB C nB

C , es decir C ,

nA

sin embargo debemos incorporar la interseccin de los tres conjuntos A, B y B, ya que esos elementos se incorporaron tres veces cuando se realiz la suma de:

nA nA
Ejemplo N2: Sean los conjuntos:

nB B

nC nA B C nB C ,

y posteriormente se descontaron tres veces cuando efectuamos

por lo que debemos sumar A

C una vez.

3, 2, 1, 1,5,7 , B

4, 1, 2, 3, 5, 7,9 y C

6, 3, 1,1,3,7 .

De manera directa se obtienen los siguientes conjuntos:

A B A B
De lo anterior tenemos:

1 ,5,7 , C 1,7

A C
y

3, 1 ,1,7 , A B C

B C

1 ,3,7 ,

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

n(A)=6, n(B)=7, n(C)=6, n A

3, n A

4, n B

3, n A

2,

reemplazaremos estos valores en la ecuacin II y tenemos:

nA A B
Ejercicios:

B C

6 7 6 3 4 3 2 11, 6, 4, 3, 2, 1,1,2,3,5,7,9 , que son 11.

este valor puede ser comprobado si contamos los elementos de

1. En una encuesta realizada a 2.000 personas para saber sus preferencias por tres teatros de Caracas, se obtuvieron los siguientes resultados: 580 personas asistan al Teatro Nacional 840 personas asistan al Teatro Municipal 920 personas asistan al Teatro Teresa Carreo 260 personas asistan al Teatro Nacional y al Teatro Municipal

220 personas asistan al Teatro Nacional y al Teatro Teresa Carreo 300 personas asistan al Teatro Municipal y al Teatro Teresa Carreo

111

100 personas asistan al Teatro Nacional, Carreo Se pregunta:

Teatro Municipal y al Teatro Teresa

a) Cuntas personas asisten al Teatro Nacional o al Teatro Municipal, o al Teatro Teresa Carreo? b) Cuntas personas no van a ninguno de los tres teatros?

112

BIBLIOGRAFA
Britton, J., Bello, I. (2002). Matemtica Contempornea. Segunda edicin. Mxico. Burgos, A. (1971). Iniciacin a la Matemtica Moderna. Selecciones Cientficas. Tercera Edicin. Caracas Burgos, A. (1983). Iniciacin a la Lgica Matemtica. Ediciones Vega s.r.l. Dcima edicin. Madrid. Gallo, C. (1996). Matemticas para Estudiantes de Administracin y Economa. U.C.V. Ediciones de la Biblioteca. Tercera Edicin. Caracas. Gmez, T., Gonzlez, N., Lorenzo, J. (2007). Valores de verdad de los Operadores Lgicos. Artculo no publicado. Caracas. Gmez, T., Gonzlez, N., Lorenzo, J. (2007). Aplicaciones (Circuitos). Artculo no publicado. Caracas. Gmez, T., Gonzlez, N., Lorenzo, J. (2007). Aplicaciones de las Operaciones entre Conjuntos. Artculo no publicado. Caracas. Gmez, T., Gonzlez, N., Lorenzo, J. (2007). Construccin de tablas de verdad. Artculo no publicado. Caracas. Gmez, T., Gonzlez, N., Lorenzo, J. (2007). Falacias. Artculo no publicado. Caracas. Gmez, T., Gonzlez, N., Lorenzo, J. (2007). Igualdad e Inclusin entre Conjuntos. Artculo no publicado. Caracas. Gmez, T., Gonzlez, N., Lorenzo, J. (2007). Igualdad e Inclusin entre Conjuntos. Artculo no publicado. Caracas. Gmez, T., Gonzlez, N., Lorenzo, J. (2007). Induccin Matemtica. Artculo no publicado. Caracas. Gmez, T., Gonzlez, N., Lorenzo, J. (2007). Ms sobre Proposiciones. Artculo no publicado. Caracas. Gmez, T., Gonzlez, N., Lorenzo, J. (2007). Nmero de Elementos de un Conjunto. Artculo no publicado. Caracas. Kleiman, A. y De Kleiman, E. (1972). Conjuntos. Aplicaciones Matemticas a la Administracin. Editorial Limusa Wiley. Primera edicin. Caracas. Miller, Heeren, Homsby, Pearson. (2006). Matemticas Razonamiento y Aplicaciones. Editorial Pearson. Dcima Edicin. Mxico. Paniagua, E., Snchez, J., Thomson, F. (2003). Lgica Proposicional. Espaa.

113