You are on page 1of 114

SISTEMA DE APRENDIZAJE AUTOGESTIONADO ASISTIDO

ELPRESENTE MATERIAL SE ENCUENTRA EN PROCESO DE EVALUACIÓN
FORMATIVA, AGRADECEMOS COMENTARIOS U OBSERVACIONES QUE PERMITAN
LA OPTIMIZACIÓN DEL MISMO.

Todos los derechos reservados.
Sólo se admitirá la reproducción total o parcial de este material didáctico con fines exclusivamente
instruccionales y no comerciales.

2007 Universidad Nacional Experimental Politécnica de la Fuerza Armada (UNEFA)

Av. La Estancia con Av. Caracas y Calle Holanda frente al Edificio Banaven (Cubo Negro), Chuao.
Código Postal 1061
Caracas, Venezuela

http://www.aaa.unefa.edu.ve

Producción Gráfica e Impresión
(Nombre de las empresas)

2

ÍNDICE DE CONTENIDO

Tópico Pág.
INTRODUCCIÓN ......................................................................................................... 4
UNIDAD Nº 1: LÓGICA PROPOSICIONAL................................................................ 5
LECTURA Nº 1: Proposiciones. ....................................................................... 5
LECTURA Nº 2: Más sobre Proposiciones....................................................... 6
LECTURA Nº 3: Conectivos u Operadores Lógicos. ........................................ 8
LECTURA Nº 4: Valores de Verdad de los Operadores Lógicos. .................... 12
LECTURA Nº 5: Tablas de Verdad................................................................... 18
LECTURA Nº 6: Tautología, Contradicción, Indeterminación y Fórmulas
Equivalentes. ......................................................................... 20
LECTURA Nº 7: Aplicaciones (Circuitos). ........................................................ 24
LECTURA Nº 8: Cuantificadores. ..................................................................... 28
LECTURA Nº 9: Negación de los Cuantificadores. .......................................... 30
LECTURA Nº 10: Conectores Lógicos y Lingüísticos......................................... 33
UNIDAD Nº 2: LEYES DE LA LÓGICA PROPOSICIONAL ....................................... 35
LECTURA Nº 11: Inferencia y Leyes de la Lógica. ............................................ 35
LECTURA Nº 12: Falacias.................................................................................. 49
LECTURA Nº 13: Condicionales. ....................................................................... 52
UNIDAD Nº 3: DEMOSTRACIONES MATEMÁTICAS ............................................... 58
LECTURA Nº 14: Demostraciones Matemáticas................................................ 58
LECTURA Nº 15: Método de Inducción Matemática. ......................................... 69
LECTURA Nº 16: Algunas Funciones de las Demostraciones Matemáticas...... 73
UNIDAD Nº 4: TEORÍA DE CONJUNTOS.................................................................. 75
LECTURA Nº 17: Conceptos Básicos. ............................................................... 75
LECTURA Nº 18: Tipos de Conjuntos. ............................................................... 78
LECTURA Nº 19: Más sobre Conjuntos Especiales........................................... 81
LECTURA Nº 20: Representación Gráfica de Conjuntos ................................... 85
LECTURA Nº 21: Relación 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: Número de Elementos de un Conjunto. ................................. 109
BIBLIOGRAFÍA ..................................................................................................... 113

3

El razonamiento lógico es una ciencia cuyo inicio se remonta siglos atrás. La UNEFA con su política dirigida a formar egresados de excelencia académica. en ella aprenderás un lenguaje simbólico. facilitando en el estudiante la formulación. TSU en Análisis y Diseño. 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. encontrarás un resumen de los contenidos básicos de los temas que componen la asignatura. La tercera unidad se refiere al tema de Demostraciones Matemáticas. 4 . La lógica matemática trata todo aquello que tiene sentido común. Por estas razones. significativo. establecer patrones y encontrarle explicaciones a las cosas y hechos de la vida diaria. que parece suceder de forma natural en la mente humana y se entiende a medida que se va estudiando y profundizando en ella. donde se plantean métodos necesarios que permiten determinar lo que hace. INTRODUCCIÓN La Universidad Nacional Experimental Politécnica de la Fuerza Armada (UNEFA). Se culmina con la cuarta unidad. aunque desde siempre el ser humano inconscientemente lo ha utilizado. así como aquellos aspectos relacionados con su comunidad. al organizar elementos. TSU Hidrocarburos y TSU en Construcción Naval. con cuales determinarás los principios fundamentales inherentes al lenguaje y contenidos adquiridos en la unidad 1. que cierto razonamiento sea válido o no. TSU en Agronomía. ella contiene los temas relacionados a la Teoría de Conjuntos. que te permitirá establecer un novedoso lenguaje de comunicación. Durante la primera unidad. desarrolla la madurez matemática de una forma diferente a lo que tradicionalmente se hace. Aristóteles fue el primero en incursionar en el estudio de esta ciencia. En el desarrollo de esta asignatura. En la segunda unidad se contemplan Las Leyes de la Lógica Proposicional. con el propósito de mejorar la forma de pensar a través de herramientas lógicas. te da la bienvenida al primer semestre de tu carrera y a la vez te ofrece este valioso recurso que contiene una selección de lecturas para la asignatura Razonamiento Lógico. se trabajará con Lógica proposicional. En esta selección de lecturas. se interesó en sistematizar la lógica que usamos a diario. los cuales te apoyarán en el logro de un aprendizaje de calidad. incorpora la asignatura Razonamiento Lógico en el inicio de la carrera de Ingeniería. evaluación y resolución de problemas de índole numérico a lo largo de su carrera. serán evidenciados múltiples casos de la vida cotidiana que necesitan de la lógica para darle una correcta solución a los problemas que a diario se presentan. además le brinda la oportunidad de obtener mejores resultados y aprendizajes significativos en el ámbito numérico.

Sócrates era mortal. I. pero no como ambas cosas al mismo tiempo. Sócrates era un hombre. y el tipo de razonamiento aristotélico constituye la lógica tradicional que ha sido estudiada y enseñada desde su época hasta nuestros días.México. El término “lógica se deriva de la palabra griega logos. por Aristóteles (384-322 A. Bello.C). una proposición es un enunciado declarativo que puede considerarse como falso o verdadero. Cada vez que se trata de resolver un problema. Todos los hombres son mortales. Matemática Contemporánea. (P. Este es un típico razonamiento conocido como silogismo. El estudio de la lógica se desarrolló con paso acelerado a partir del análisis de Boole. En este capítulo trataremos acerca de tales enunciados. se expresa en términos de enunciados declarativos. Proposiciones En ésta y en las siguientes secciones se estudiarán ciertos tipos de enunciados declarativos llamados proposiciones. así como la manera como pueden combinarse para llegar a conclusiones válidas. la cual significa razonamiento o discurso. Segunda edición. 5 . (1647- 1716). Leibniz. (2002). Un ejemplo sencillo de la lógica aristotélica es el siguiente.. se toma parte en un debate. Por tanto. En general. No obstante que el estudio moderno de la lógica simbólica (que se trata en este capítulo) se basa en las investigaciones de hombres como el matemático alemán. y se ha logrado un considerable progreso respecto a la comprensión de la verdad lógica. el cual. Esta capacidad de ser calificadas como falsas o verdaderas hace que las proposiciones difieran de las preguntas. primero. por lo regular. el simbolismo moderno y las operaciones de tipo algebraico fueron por primera vez aplicadas de manera sistemática a la lógica. Los principios descubiertos por ellos fueron sistematizados. J. UNIDAD 1 LÓGICA PROPOSICIONAL LECTURA N° 1: PROPOSICIONES Tomada con fines instruccionales Britton. 59 - 61). o se trata de llenar un crucigrama. en la obra del matemático inglés George Boole (1815-1864). se realiza una actividad mental llamada razonamiento lógico. Los antiguos griegos suelen ser considerados los iniciadores del estudio de los procesos del razonamiento humano.

Para identificar una proposición es importante hacer uso de un criterio que nos permita afirmar que ésta es verdadera o falsa. puede verificarse mediante un examen directo.. c. b. ¡Hola Carlos! d. Si dos es par. O estudias diariamente o repruebas este curso. J. González. Se pueden hacer preguntas.) 6 . T. si se cree que es falsa entonces es verdadera. (2007).órdenes o exclamaciones. En contraposición con las proposiciones del ejemplo 1. Caracas es la capital de Venezuela. De ahí que tal enunciado no puede ser considerado como verdadero o falso. ¡Esta proposición es falsa! Los enunciados del ejemplo 2 no son proposiciones. LECTURA N° 2: MAS SOBRE PROPOSICIONES Tomada con fines instruccionales Gómez. ¡Cierra la puerta! e. e. En Florida hay cinco trillones de granos de arena. Caracas. Lorenzo. Tomando en cuenta el ejemplo 1 señalado en la lectura anterior (Britton). Observe que si se supone que (e) es verdadera. por el contrario. Ejemplo 2 a. por lo que no se trata de una proposición. pero sólo las proposiciones pueden ser calificadas como falsas o verdaderas. Los siguientes enunciados son ejemplos de proposiciones. ¡Pérez para presidente! c.. Ejemplo 1 a. en tanto que la tercera sólo es cierta o falsa aunque no haya métodos prácticos o inmediatos para determinarlo. N. entonces resulta ser falsa. puede observarse que se utilizan criterios históricos (ejemplo a. entonces 2+2 da como resultado un número par. Observa que la verdad o la falsedad de la primera proposición. d. Artículo no publicado (p. Dos es par y menor que veinte. ¿Qué hora es? b.1). Más sobre Proposiciones. dar órdenes y hacer exclamaciones exaltadas. los siguientes enunciados son ejemplos de no proposiciones.

características. p es una proposición simple al igual que q: p = Juan estudia en la UNEFA q = Karina estudia en la UNEFA. botánicos. mientras que Juan estudia en la UNEFA y Karina estudia en la UNEFA es la proposición compuesta p y q. En muchos casos la formación de las proposiciones compuestas amerita el uso de signos de agrupación tales como: ( ). Britton).. Observa. y e. Otras formas como se pueden conectar las proposiciones son: la disyunción (o): “Juan va a la playa o Juan va al Ávila” el condicional (si. entre otros. r. aritméticos. p2. [ ] y { }.pn).. en este texto utilizaremos las letras minúsculas sin subíndices. históricos. entonces): si estudia..y aritméticos (ejemplo b. A fín de unificar la notación. geográficos. ejemplo: p. proposiciones moleculares o proposiciones compuestas.…. Los componentes de estas proposiciones se llaman proposiciones simples o atómicas (vistas en la lectura anterior. 7 . REPRESENTACIÓN DE UNA PROPOSICIÓN Cabe destacar que usualmente las proposiciones se pueden representar con letras minúsculas. En el siguiente ejemplo. s. propiedades. entonces aprueba el examen y el bicondicional (si y sólo si):Un n es divisible por 2 si y sólo si n es par.). 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 notación. algunos representan las proposiciones en letras minúsculas acompañadas de subíndices (p1. m. a las que llamamos letras o variables proposicionales. que para formar la proposición anterior se unen las proposiciones simples por medio de la conjunción “y”. En general se pueden tomar cuenta criterios tales como: el químico. a las cuales se le denomina fórmulas proposicionales. q. PROPOSICIONES SIMPLES Y COMPUESTAS: Dos o más proposiciones pueden unirse dando origen a una proposición de estructura más compleja.

(1983). a la negación de una proposición también le llamaremos conectiva. LECTURA N° 3: CONECTIVOS U OPERADORES LÓGICOS Tomada con fines instruccionales Burgos. al elemento verbal o escrito que une a las proposiciones atómicas que forman aquélla. Ediciones Vega s. c) Está nublado o hace frío. Iniciación a la Lógica Matemática.r. sólo necesitaremos de las seis conectivas siguientes: “no”. 8 . “las hojas de los árboles son de vidrio” tiene un valor de verdad igual a F. Existen dos tipos de conectivas: las que ligan dos proposiciones atómicas o conectivas múltiples y las negaciones o conectivas singulares. CONECTIVAS Denominaremos conectiva de una proposición molecular. Por extensión. e) Si la nieve es negra. A. “o…. “si y sólo si” Ejemplos: a) No. f) El triángulo tiene cuatro lados si y sólo si 3 × 5 = 9 Observaciones: 1a Aunque la construcción gramatical de los ejemplos a) y b) no es la más apropiada. Caracas. Por ejemplo: p = Pedro es buen estudiante. la proposición “El hierro es un metal” tiene un valor de verdad igual a V. 2-7). entonces el gato es un cuadrúpedo. “o”. “y”. la negación de la proposición p sería: no p = No es cierto que Pedro es buen estudiante A partir de ahora. Para el desarrollo del libro. los posibles valores de verdad de una proposición se denotarán con la las letras: V para verdadero y F para falso. en tanto que la proposición. De este modo.o” . b) José estudia Matemáticas y José estudia violín. en este caso estamos hablando de la negación de una proposición.l. a veces es preferible hacerlo así para evitar ambigüedades. d) O el número natural n es par o el número natural n es impar. Décima edición (p.Muchas veces conocemos una proposición y necesitamos saber la proposición contraria. los tres ángulos de un triángulo rectángulo son iguales. “si … entonces” .

o bien con una coma en la parte superior derecha. o bien p o/y q. La proposición (2) es el producto lógico de las proposiciones p y q. en el lenguaje lógico se prefiere anteponerlo a la proposición para evitar ambigüedades. La conectiva “y” o conjunción copulativa: cuyo objeto es unir dos proposiciones. La conectiva “o” o conjunción disyuntiva inclusiva: denota alternativa y simultaneidad entre dos proposiciones. por tanto. b) No la raíz cuadrada de 2 es un número racional. por tanto. procederemos a continuación a estudiarlas por separado. y éstos son sus factores. la representación del signo “–” colocado encima de la letra proposicional. La conectiva “no” o negación: es la única conectiva singular de las que vamos a estudiar. si las proposiciones son p y q. la representaremos con el signo “ ∨ ”. c) p o q. d) o p o q. f) p si y sólo si q Para una mejor comprensión de las seis conectivas señaladas anteriormente. Aunque en el lenguaje español ordinario. son: a) no p. si las proposiciones son p y q. escribiremos : p∨q y leeremos p o q. b) p y q. Si representamos las proposiciones atómicas con p y q. escribiremos: p o bien p' y se leerá no p Ejemplos: a) No Caracas es la capital de Francia.2a Más adelante serán debidamente aclarados los ejemplos e) y f). por tanto si la letra proposicional es p. las proposiciones moleculares que serán objeto de nuestro estudio. 9 . Ejemplos: a) Hace sol y está lloviendo b) El número 15 es divisible por 3 y por 5. el no debe seguir al sujeto. escribiremos: p∧q y leeremos: p y q. la representamos con el signo ∧ . e) si p entonces q.

y • Múltiplo de 3 y de 5 simultáneamente. La proposición (4) debe tomar p y q con uno de los dos significados siguientes: • Se verifica p . 10 . La proposición molecular anterior. La conectiva “o…o” o conjunción disyuntiva exclusiva. 2° Se verifica la proposición q. pero no la p. pero no la q. La proposición anterior es la suma booleana de las proposiciones p y q y éstas son los sumandos. Conviene aclarar que la proposición (3) debe tomarse con uno de los significados siguientes: 1° Se verifica la proposición p. pues. La proposición molecular vendrá representada. • Se verifica q . b) El número natural n es múltiplo de 3 o de 5. en la forma: p∨q y leeremos o p o q. debe tomarse en el sentido de que José se dará por satisfecho de una de las tres formas siguientes: • Casándose y no comprándose el paraguas • Comprándose el paraguas y no casándose . pero no p .La proposición p ∨ q es la suma lógica de las proposiciones donde p y q son los sumandos. 3° Se verifican simultáneamente las proposiciones p y q. Ejemplos: a) O voy esta tarde al teatro o voy al cine. Ejemplos: a) José se casa o José compra un paraguas. indica alternativa entre dos proposiciones p y q. Esta proposición debemos tomarla en el sentido de que el número n puede ser: • Múltiplo de 3 pero no de 5 • Múltiplo de 5 pero no de 3 . pero no ambos. pero no q . o bien p o q. la representaremos con el signo “ ∨ ”. y • Casándose y comprándose el paraguas.

sin pretender en ningún momento que el enunciado obtenido vaya a responder siempre a la idea gramatical ordinaria que se tiene sobre éstos. La conectiva bicondicional la representaremos con el signo “ ↔ ”. de acuerdo con la definición. por tanto. Los ejemplos anteriores extrañarán al lector desprevenido. la proposición molecular correspondiente a las proposiciones p y q deberá ser escrita en la forma: p→q Leeremos si p entonces q En la proposición anterior p es el antecedente y q el consecuente del condicional. entonces la nieve es negra. La conectiva condicional la representamos con el signo “ → ”. p es el antecedente y q el consecuente del bicondicional. pues un número real puede ser racional o irracional. El significado de la proposición anterior está bien claro. pero si revisa de nuevo la definición de la conectiva en estudio. Ejemplos: a) Si los elefantes vuelan. podrá comprobar que dichos ejemplos son efectivamente proposiciones moleculares. b) El número real α o es racional o es irracional. Esta proposición 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.entonces” o condicional: se usa para obtener una proposición molecular a partir de dos atómicas. b) Si los triángulos tienen cuatro lados. La conectiva “si…. por tanto. al estudiar las tablas de verdad tendremos oportunidad de establecer las debidas diferencias entre ambas. pero no ambas cosas a la vez. pero de que iré a uno de estos espectáculos. y de que entre éstas exista o no dependencia. entonces Madrid es la capital de España. ésta conectiva coincide con la anterior. la proposición molecular correspondiente a las proposiciones p y q deberá ser escrita de la forma: p↔q Leeremos p si y sólo si q. Aún cuando. En esta. prescindiendo de que el enunciado obtenido tenga o no sentido gramatical y de que entre las proposiciones atómicas componentes exista o no dependencias. 11 . independientemente de que sean verdaderas o falsas las proposiciones p y q. La conectiva “si y sólo si” o bicondicional: se usa (al igual que la anterior) para obtener una proposición molecular a partir de dos atómicas. pues les parecerán (y estarán en lo cierto) enunciados incoherentes y desprovistos de todo significado.

se utiliza la Tabla de Verdad. Presentamos a continuación algunos signos utilizados para negar una proposición. la negación le corresponde el valor de F (falsa) F V Si p es F entonces. (p. 12 . Negación Es útil para estas lecturas. (2007) Valores de verdad de los Operadores Lógicos.1-6). Artículo no publicado.. Dada la importancia de los conectivos señalados en la lectura anterior. Paris es la capital de Francia.Ejemplos: (a) Los gatos son vertebrados si. Lorenzo J. y sólo si. que es su negación. A tal efecto. Por ejemplo: p: Luis habla inglés p: No es cierto que Luis habla inglés Por lo que nos resulta sencillo construir su tabla de verdad: p p Observamos que V F Si p es V (verdadera entonces. (b) Los números pares son divisibles por dos si. los pentágonos tienen cuatro lados. LECTURA N° 4: VALORES DE VERDAD DE LOS OPERADORES LÓGICOS Tomada con fines instruccionales Gómez. se denomina la negación de p a otra proposición denotada por p (se lee "no p") que le asigna el valor de verdad contrario al de p . N. la cual se construye partiendo de la valoración de cada una de las proposiciones componentes (atómicas). pues a partir de una proposición se obtiene otra. es pertinente establecer los valores de verdad (v ó f) de cada proposición compuesta (molecular o resultante) para cada conectivo. la negación le corresponde el valor de V Se trata de una operación unitaria. González.. y sólo si. Caracas. Distintas notaciones de la negación No p p p' ~p ¬p −p Dada una proposición p. tener en cuenta que el signo utilizado para negar una proposición es variable según el autor. T.

Por tanto. 13 . es verdadera. se denomina conjunción de estas proposiciones a la proposición p ∧ q (se lee " p y q "). es falsa. pues: p : La fresa es una fruta. A continuación presentamos la tabla de verdad de la conjunción p ∧ q : p q p∧q Si las dos son verdaderas V V V La conjunción es verdadera V F F Si por lo menos una de F V F La conjunción es falsa ellas es falsa F F F Ejemplo: Sea la proposición molecular: 8 es múltiplo de 2 {y 9 es un número impar 1 4 4 4 2 4 4 43 1 4 4 42 4 4 43 p ∧ q p : 8 es múltiplo de 2. Ejemplo: Sea la proposición molecular: La fresa es una fruta y 3 es un número par. la proposición resultante es falsa. o bien p : Los peces no todos viven en el océano. ya que ambas proposiciones no pueden ser simultáneamente verdaderas. esta proposición p ∧ q es falsa. mientras que q : 3 es un número par. que establece que la conjunción es verdadera sólo si las dos proposiciones componentes son verdaderas. Cuando una de ellas no se cumple.Ejemplo: La negación de p : todos los peces viven en el océano es p : no es cierto que todos los peces viven en el océano. o bien p : no todos los peces viven en el océano. Conjunción Dadas dos proposiciones p y q. es decir. es verdadera. la conjunción entre ellas. Esta conjunción es falsa. es falsa. q : 9 es un número impar Por ser ambas verdaderas.

Esta disyunción es falsa. pues: p : El cielo es azul. es falsa y q : La Navidad es en el mes de Agosto. se denomina disyunción inclusiva de estas proposiciones a la proposición p ∨ q (se lee " p o q "). es el elemento neutro de la suma o el número 44 es par. Cuando todas ellas son falsas. pues: p : Los Carnavales se celebran en el mes de Diciembre. por tanto.Disyunción Inclusiva: Dadas dos proposiciones p y q. por tanto. pues por lo menos una de ellas es verdadera Ejemplo: Sea la proposición molecular: Los Carnavales se celebran en el mes de Diciembre o La navidad es en el mes de Agosto. La disyunción exclusiva Dadas dos proposiciones p y q. la proposición p ∨ q es falsa. pues: p : El número uno es el elemento neutro de la suma. Esta disyunción es verdadera. Esta disyunción es verdadera. Ejemplo: Sea la proposición molecular: El número uno. es falsa y q : el número 44 es par es verdadera. A continuación presentamos la tabla de verdad de la disyunción inclusiva p ∨ q : p q p∨q V V V Si por lo menos una es La disyunción es V F V verdadera verdadera F V V Si las dos son falsas F F F Es falsa Ejemplo: Sea la proposición molecular: El cielo es azul o el Centro Banaven lo llaman El Cubo Negro. es verdadera y q : Centro Banaven lo llaman El Cubo Negro es verdadera. ya que ambas proposiciones son simultáneamente verdaderas. la misma establece que la disyunción 14 . por tanto. ya que las dos proposiciones son falsas. que establece que la disyunción inclusiva es verdadera si al menos una de las dos proposiciones componentes es verdadera. se denomina disyunción exclusiva de estas proposiciones a la proposición p ∨ q (se lee " o p o q "). es falsa. la proposición resultante es falsa. la proposición p ∨ q es verdadera. esta proposición p ∨ q es verdadera.

Esta disyunción exclusiva es verdadera. Cuando ambas proposiciones son verdaderas o ambas falsas. por tanto. pues: p : Los Carnavales se celebran en el primer trimestre del año. por tanto. es el elemento neutro de la multiplicación. es falsa. El Condicional El condicional de las proposiciones " p y q " es la proposición p → q (si p entonces q ) cuya tabla de verdad es: p q p→q V V V V F F F V V F F V 15 . la proposición p ∨ q es falsa. es verdadera y q : el número 44 es par es verdadera. sólo una debe ser verdad. pues una y sólo una de las dos proposiciones es verdadera. pues: p : El número uno. la proposición resultante es falsa. la proposición p ∨ q es verdadera. Ejemplo: Sea la proposición molecular: Los Carnavales se celebran en el primer trimestre del año o La navidad es en el mes de Agosto. es verdadera y q : La Navidad es en el mes de Agosto.exclusiva es verdadera si sólo una de las dos proposiciones componentes es verdadera. ya que ambas proposiciones son verdaderas y por definición. Esta disyunción exclusiva es falsa. A continuación presentamos la tabla de verdad de la disyunción exclusiva p ∨ q : p q p∨ q V V F V F V F V V F F F Ejemplo: Sea la proposición molecular: O el número uno es el elemento neutro de la multiplicación o el número 44 es par.

El bicondicional puede definirse como la conjunción de una implicación y su recíproca. en relación a la verdad o falsedad de las proposiciones p y q . el compromiso no se cumple y la proposición R es falsa. si no entreno. De este modo. es decir. 1 4 2 43 me 2 4 3 entonces inscribo en la competencia 1 4 4 4 4 4 2 4 4 4 4 43 p → q El condicional R está compuesto de las proposiciones p : entreno q : me inscribo en la competencia Nos interesa conocer la verdad o falsedad de la proposición condicional R. la tabla de valores de verdad de p ↔ q puede obtenerse mediante la tabla de ( p → q ) ∧ (q → p ) . condicionado por p . el condicional es verdadero. como vemos: 16 . y la proposición q se llama consecuente del condicional. quedo liberado del compromiso y me inscriba o no en la competencia. y podemos asociar su verdad al cumplimiento del compromiso. Si p y q son verdaderas. 1² = (–1)² y el consecuente (1 = –1) falso. Ejemplo: Supongamos la implicación R: Si 1 4entreno. Si p es verdadera.La proposición p se llama antecedente. El enunciado puede pensarse como un compromiso. y no me inscribo en la competencia. El Bicondicional El si y sólo si de las proposiciones p y q es la proposición p ↔ q (se lee "p si y sólo si q") cuya tabla de verdad es: p q p↔q V V V V F F F V F F F V Si y sólo si o el bicondicional sólo es verdadera si ambas proposiciones tienen el mismo valor de verdad. Es evidente que si p es F. Ejemplo: 1² = (–1)² → 1 = –1 (F) La proposición resulta ser falsa por ser el antecedente verdadero. entonces la proposición R es verdadera pues el compromiso se cumple. es decir si entreno. La tabla nos muestra que la implicación sólo es falsa si el antecedente es verdadero y el consecuente es falso.

Hacer la tabla de verdad para este bicondicional p q 2 2 p↔q a=b a=b V V V F F V F F En las próximas lecturas trabajaremos con fórmulas proposicionales. ∨ disyunción inclusiva y exclusiva 4) Condicional y Bicondicional → . la ∧ . q : a2 = b2 Este bicondicional a = b ↔ a2 = b2 es falso. Si p es F. para ello es indispensable el uso de las prioridades de los conectivos y los signos de agrupación. y q es V. ∨ . p q p→q q→ p ( p → q ) ∧ (q → p ) V V V V V V F F V F F V V F F F F V V V Ejemplo: Sea R: a = b si y sólo si a2 = b2 El enunciado está compuesto por las proposiciones: p : a = b. es decir a ≠ b. que listaremos a continuación: Prioridad 1) Signos de agrupación () [ ] 2) La Negación ~p 3) La conjunción. En los demás casos es V. ↔ 17 . es decir a2 = b2.

conjunción y disyunción inclusiva o exclusiva 4) Por último el condicional y/o bicondicional. 2do. 3ero. El número de dichas componentes determina la cantidad de posibles combinaciones de valores de verdad que aparecerán en la tabla. la dividimos en dos partes. 2) Luego resolvemos las negaciones 3) Después los conectivos. T. La parte izquierda la llamaremos margen y a la derecha la llamaremos cuerpo. y el exponente el número de variables proposicionales que intervienen.. Lorenzo J. de adentro hacia fuera. Para la siguiente fórmula: ( p ∧ ~ (q ∨ r )) → s • Se resuelve primero el paréntesis más interno (q ∨ r ) ( Prioridad 1) • Luego negamos el resultado de (q ∨ r ) (Prioridad 2) • Después usamos el conectivo ∧ con p y el resultado anterior (Proridad 3) • Finalmente el resultado obtenido se resuelve con el condicional ( p ∧ ~ (q ∨ r )) → s 1ero. González. En el margen colocaremos los valores de verdad de las variables proposicionales que intervienen.1-2).Esta tabla nos indica que: 1) Primero resolvemos las fórmulas parciales que se encuentran entre paréntesis. Artículo no publicado. donde la base indica los únicos dos valores que puede asumir una variable proposicional (V o F).. ejemplo: 18 . (2007). N. Para la construcción de la tabla. Caracas. 4to. (p. LECTURA N° 5: TABLAS DE VERDAD Tomada con fines instruccionales Gómez. Este número total de combinaciones se calcula con la operación 2 n . Construcción de Tablas de Verdad.

p q ~p ~ p∨q (~ p ∨ q ) V V F V V F F F F V V V F F V V Agregamos ~ q p q ~p ~ p∨q ~q V V F V F V F F F V F V V V F F F V V V • Y por último. leyendo la fórmula de izquierda a derecha para iniciar el cuerpo de la tabla. por lo tanto el margen queda V F 2da como lo muestra la figura a la derecha F V 3ra F F 4ta margen El cuerpo se va formando con las proposiciones parciales hasta llegar a la proposición compuesta final. y respetando las prioridades de los conectivos y signos de agrupación.En la proposición (~ p ∨ q ) ∧ ~ q . se agregan tantas columnas como proposiciones atómicas se encuentren agrupadas (en paréntesis). intervienen p q Posibilidades dos variables proposiciones (p y q). es decir. Siguiendo el ejemplo anterior tenemos: • Primero agregamos al cuerpo de la tabla la p q ~p proposición ~ p V V F V F F F V V F F V • Luego agregamos al cuerpo de la tabla . el número de combinaciones para construir la tabla sería V V 1ra 2 n = 2 2 = 4 . agregamos la fórmula (~ p ∨ q ) ∧ ~ q y valoramos el conectivo ∧ p q ~p ~ p∨q ~q (~ p ∨ q)∧ ~ q V V F V F F V F F F V F F V V V F F F F V V V V 19 margen cuerpo .

De acuerdo a este criterio. p q r p→q ~ ( p → q) r ∧ ~ ( p → q) V V V V F F V V F V F F V F V F V V V F F F V F F V V V F F F V F V F F F F V V F F F F F V F F margen cuerpo Ejercicios. 31-36) Caracas. U. atendiendo a los valores de verdad que puede asumir. CONTRADICCIÓN.Ejemplo 1: Construir la tabla de verdad correspondiente la proposición compuesta r ∧ ~ ( p → q) Solución: Observe que la proposición posee 3 componentes (p. [~ p ∨ ~ q ] → [~ p ∧ (~ q ↔ ~ p )] LECTURA N° 6: TAUTOLOGÍA. ~ [ p → (q ∧ r )] . Las fórmulas proposicionales también pueden clasificarse. (1996). 2. C. INDETERMINACIÓN Y FÓRMULAS EQUIVALENTES. Tomada con fines instruccionales Gallo.C. por lo que tiene 8 ( ) combinaciones 23 y se sigue el mismo procedimiento del ejemplo anterior para construir el margen y el cuerpo.V. las fórmulas proposicionales se clasifican en: 20 . q y r). (p. Matemáticas para Estudiantes de Administración y Economía. Tercera Edición. Construya la tabla de verdad para las siguientes proposiciones compuestas: 1. Ediciones de la Biblioteca.

no importa cuales sean los valores de verdad de sus componentes. Una tautología es una proposición verdadera formalmente. CONTRADICCIÓN: Diremos que una fórmula es una contradicción. las tautologías son sumamente útiles. Ejemplo: Comprobar que la fórmula ~ [ p → (q → p )] es una contradicción. no importa cuáles sean los valores de sus componentes. por la forma en que se relacionan sus proposiciones componentes. A la tautología también podemos llamarla principio lógico o proposición universalmente verdadera. independientemente de los valores de verdad de éstas. o sea. Construyamos la tabla de verdad: 21 . si y sólo si.TAUTOLOGÍAS: Diremos que una fórmula es una tautología. dicha fórmula es una tautología. precisamente porque no se da en ellas la falsedad en ninguna circunstancia. en consecuencia. es siempre verdadera por su forma lógica. es decir. si y sólo si. ella es siempre verdadera. Ejemplo: Comprobar que la fórmula ( p → q ) → (~ q →~ p ) es una tautología Para comprobarlo sólo tenemos que construir su correspondiente tabla de verdad: p q ~ p ~q p→q ~ q →~ p ( p → q ) → (~ q → ~ p ) V V F F V V V V F F V F F V F V V F V V V F F V V V V V Puede observarse que en la última columna los valores de verdad son todos V. ella es siempre falsa. Como veremos más adelante.

Desde luego al negar una tautología se obtiene una contradicción y viceversa. Una contradicción es una proposición universalmente falsa. se trata de una indeterminación porque al final de su tabla hemos obtenido valores V y F. las columnas correspondientes a dichas fórmulas son idénticas entre sí. p q q→ p [ p → (q → p )] ~ [ p → (q → p )] V V V V F V F V V F F V F V F F F V V F En efecto. FÓRMULAS EQUIVALENTES: Dos fórmula proposicionales decimos que son equivalentes. Ejemplo: Comprobar que la fórmula ( p → q ) ∧ (q ∨ p ) es una indeterminación La tabla de verdad correspondiente es: p q p→q q∨ p ( p → q ) ∧ (q ∨ p ) V V V V V V F F V F F V V V V F F V F F En efecto. independientemente del valor de verdad de las proposiciones componentes. en ellas intervienen las mismas variables proposicionales y. 22 . INDETERMINACIÓN: Diremos que una fórmula es una indeterminación. ya que los valores de verdad de la última columna son todos F. La contradicción es siempre falsa por su forma lógica. no importa en que proporción. en sus tablas de verdad. al negar una contradicción se obtiene una tautología. si y sólo si. ella es verdadera en unos casos y falsa en otros. podemos observar que se trata de una contradicción. si y sólo si.

Dadas dos fórmulas proposicionales cualesquiera, designadas por P y Q , si ellas son
equivalentes, escribimos P ≡ Q
que se lee: “la fórmula P es equivalente a la fórmula Q ”.
Si tales fórmulas no son equivalentes, entonces escribimos P ≡ Q
que se lee “la fórmula P no es equivalente a la fórmula Q ”
Ejemplo:
Comprobar cuales de las siguientes fórmulas son equivalentes:
~ p →~ q p∨ ~ q ~ p∧q
Construyamos sus correspondientes tablas de verdad, las cuales resumiremos en una
sola, porque en ellas participan las mismas variables proposicionales:

p q ~ p ~q ~ p →~ q p∨ ~ q ~ p∧q
V V F F V V F
V F F V V V F
F V V F F F V
F F V V V V F

Resulta evidente que las dos primeras fórmulas tienen idénticas distribuciones de valores
de verdad, diremos entonces que esas dos fórmulas son equivalentes y lo escribimos, así
~ p →~ q ≡ p∨ ~ q
Si dos fórmulas P y Q son equivalentes, entonces decimos que P es expresable en
términos de los conectivos en Q y viceversa.
Ejemplos
1.- Se verifica que ( p ∧ q ) ≡ ~ (~ p ∨ ~ q ) , por lo tanto, podemos decir que la conjunción
es expresable en términos de la negación y de la disyunción inclusiva.
2.- También se verifica que ( p → q ) ≡ ~ ( p ∧ ~ q ) en este caso, podemos decir que el
condicional es expresable en términos de la negación y de la conjunción.
3.- Una equivalencia importante es ( p ↔ q ) ≡ [( p → q ) ∧ (q → p )] , nos permite expresar
al bicondicional en términos de la conjunción y el condicional.
4.- Igualmente importante es la equivalencia, ( p ∨ q ) ≡ ~ ( p ↔ q ) , que nos permite
expresar a la disyunción exclusiva en términos de la negación y el bicondicional.

23

LECTURA N° 7: APLICACIONES (Circuitos)
Tomada con fines instruccionales

Gómez, T., González, N., Lorenzo J. (2007).
Aplicaciones (Circuitos). Artículo no publicado.
(p.1-3). Caracas.

ÁLGEBRA DE LA CONMUTACIÓN:
Una de las primeras aplicaciones no matemáticas de la lógica simbólica fue la que
utilizaron como un auxiliar en el diseño de circuitos eléctricos (Claude Shannon, 1937),
Esta metodología fue adoptada por los diseñadores de computadoras, lo que permitió
simplificar y abaratar los costos de las mismas. Esta metodología es algunas veces
llamada “el álgebra de conmutación”.
El álgebra de conmutación es una de las “hermanas gemelas” de la lógica de predicados,
ambas son distintas denominaciones de una misma álgebra, llamada booleana (George
Boole, 1813-1864).
Si se conoce a fondo una, también se conoce la otra. No se precisa por tanto, un
conocimiento profundo de la tecnología moderna para comprender el funcionamiento de la
“red de conmutación” de un computador.
En el álgebra de la conmutación aparecen elementos que presentan dos estados (“abierto”
o “cerrado”, “conectado” o “desconectado”), como son los interruptores eléctricos y los
contactos electromagnéticos.
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 transmisión 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 través 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 conmutación corresponden a los valores de
certidumbre V y F de la lógica proposicional.
En cuanto a los elementos del álgebra de conmutación que corresponden a las
proposiciones lógicas son los elementos biestables (interruptores) gráficamente:
p

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

24

En general, si por un circuito pasa corriente (puede encender un bombillo) se considerara
que la proposición a la cual representa es verdadera.
En consecuencia a la tautología corresponderá un cable sin interruptor y a una
contradicción corresponderá un corte en el cable o conductor.
Cuando se disponen dos interruptores en serie
(uno a continuación del otro) en un mismo
circuito, la corriente circulara sólo en el caso en
p q que los dos estén conectados. Sólo en el caso
en que simultáneamente valen 1, se encenderá
el bombillo de control. Es evidente que este
circuito corresponde exactamente a la
conjunción p ∧ q de dos proposiciones.
Comparando a cuatro posibles combinaciones de los estados de los interruptores con la
tabla de verdad de la proposición p ∧ q , tendremos que corresponde a: p ∧ q

p q p∧q Circuito
V V V cerrado
V F F abierto
F V F abierto
F F F abierto
Los elementos de la conmutación pueden conectarse uno arriba y otro abajo; se habla
entonces de conexión en paralelo. Este caso bastará para que uno solo de los
interruptores esté conectado para que circule la corriente, así mismo: si ambos
interruptores están conectados circulará la corriente (y podrá encenderse el bombillo).
Este circuito corresponde en lógica
a la disyunción p ∨ q de dos p
proposiciones. Gráficamente:
q

Corresponde a: p∨q

Lo verificamos con la elaboración de la siguiente tabla:

p q p∨q Circuito
V V V cerrado
V F V cerrado
F V V cerrado
F F F abierto

25

. automáticamente se desconecten otros. Ejemplos: 1. encontrar una proposición que sea verdadera cuando el circuito deje pasar corriente y falsa cuando el circuito no permita el paso de la corriente: q En la parte de arriba del circuito los p interruptores están en serie. a este último lo denotaremos por ~ p . se puede diseñar un circuito de tal modo que al conectar un interruptor. Es decir. este debe dejar pasar la corriente. una proposición que sea verdadera p ~p (B) q 26 . Es decir. están en paralelo entonces la proposición equivalente al circuito (A) sería: (q ∧ p ) ∨ ~ p 2.Al construir una proposición correspondiente a los siguientes circuitos. tiene su correspondiente en circuitos eléctricos. Luego ambos interruptores: los de arriba y los de abajo.. se ocasiona que otro interruptor se desconecte. o los dos. En la parte de abajo el interruptor indica la proposición ~ p .Es por estas correspondencias por lo que a la conexión en serie se le llama también “conexión y ( ∧ )” y a la conexión en paralelo: “conexión o ( ∨ ) ”. por lo tanto.Al construir una proposición correspondiente a los siguientes circuitos. Comparando la tabla de verdad de las proposiciones p y ~ p tenemos: p ~p V F F V En general. (deben dejar pasar corriente (A) ~p los dos) la proposición que corresponde es q ∧ p . como es paralelo. La negación en el cálculo de proposiciones. toda proposición compuesta tiene una equivalente que puede ser representada por un circuito. éste puede estar conectado o no ya que igual se encendería el bombillo. En efecto. si arriba hay paso de corriente. Pero si alguno de los de arriba está desconectado. Cuando al conectar un interruptor correspondiente a una proposición p .

En la parte primera parte del circuito los interruptores están en paralelo. es decir la proposición que corresponde es p ∨ q . Luego este resultado va en serie con el interruptor ~ p . halle en cada caso. Es decir. Ejercicios propuestos: 1 Construya una proposición correspondiente a los siguientes circuitos. Diseñe un circuito para cada una de las siguientes proposiciones: (a) p ∧ p (b) p∨ ~ p (c) ((~ q ∧ ~ p )∨ ~ ( p ∧ q ) (d) ( p ∧ ~ q ) ∧ ( p ∨ q ) I (e) ( p ∨ q ) ∧ ~ (~ q ∨ r ) 27 . q ~p ֿֿ (C) p p (D) p ~p q p q ~ p ֿֿ q (E) p p q p ~r (F) ֿֿ p r 2. una proposición que sea verdadera cuando el circuito deje de pasar corriente y falsa cuando el circuito no permita el paso de la corriente. es decir la proposición resultante es: ( p ∨ q )∧ ~ p .

Cuantificador Universal El cuantificador universal se utiliza para indicar la totalidad de los elementos de un conjunto dado.. por el contrario. Ediciones de la Biblioteca.. de determinado conjunto. también. C.. queremos afirmar que ningún elemento de cierto conjunto. LECTURA N° 8: CUANTIFICADORES Tomada con fines instruccionales Gallo. entonces escribimos ∀x ∈ B :~ P( x) Dicho de otra manera.V. digamos A.. Podemos entonces. U.. escribimos ∀x ∈ A : P( x) Esto significa que al aplicar P (x) a cada elemento xi del conjunto dado A. CUANTIFICADORES Los cuantificadores son símbolos utilizados para indicar la cantidad de elementos. hace verdadera a la proposición P (x) . El símbolo que lo representa es: “ ∃ ” se lee “existe por lo menos un” 28 . x 2 . la conjunción de todas esas proposiciones es. hacen verdadera a una propiedad P (x) . que hacen verdadera a una propiedad dada.. también. en consecuencia. 92-94) Caracas. cuando queremos indicar que todos los elementos de un determinado conjunto. Matemáticas para Estudiantes de Administración y Economía. 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 símbolo que lo representa es ∀ se lee: “para todo“ Así.xi . por ejemplo B. ∧ P( xi ) ∧ .. (1996). ∧ P( xn )] Cuando... se constituye una proposición P ( xi ) que resulta verdadera y.C. Tercera Edición. la anterior expresión significa que todos los elementos de B niegan a P (x) o. verdadera. afirmar que siendo A = {x1 . que es falsa. Existen dos tipos de cuantificadores: el universal y el existencial. (p.x n } Se verifica la equivalencia [∀x ∈ A : P( x)] ≡ [P( x1 ) ∧ P( x2 ) ∧ .

por el contrario. podemos decir que [∀x ∈ B :~ P( x)] ≡ [∃x ∈ B : P( x)] Además. considerando nuevamente el conjunto A = {x1 ..xi . debe observarse que negar que todos los elementos de cierto conjunto A. hacen verdadera una propiedad P( x) . digamos A.. utilizaremos el símbolo ∃ se lee “no existe ningún” y escribimos: ∃ x ∈ B : P ( x) Puede notarse que esta última expresión es equivalente a la dada en el caso de cuantificador universal.. de la siguiente forma: ∃x ∈ A :~ P( x) Entonces.. puede escribirse. para indicar que ningún elemento de B hace verdadera a una propiedad P( x) .x n } Se verifica la equivalencia [∃x ∈ A : P( x)] ≡ [P( x1 ) ∨ P( x2 ) ∨ .. ∨ P( xi ) ∨ . usando al cuantificador existencial. x 2 .. que hacen verdadera a cierta propiedad P( x) . Es decir: 29 . la disyunción inclusiva de todas ellas será también verdadera Así. escribimos: ∃x ∈ A : P( x) Esto significa que al aplicar P( x) a cada elemento xi del conjunto dado A. queremos expresar que no existe ningún elemento de cierto conjunto.. ∨ P( xn )] Si. podemos concluir que ~ [∀x ∈ A : P ( x)] ≡ [∃x ∈ A :~ P ( x)] Nótese que esta última equivalencia nos indica que la negación del cuantificador universal.. la primera equivalencia mostrada nos indica que la negación del cuantificador existencial. puede ser escrita en términos del cuantificador universal. mientras que. Por lo tanto. por lo menos una de las proposiciones P ( xi ) que se constituyen resultará verdadera y. en consecuencia. puede ser escrita en términos del cuantificador existencial.. por ejemplo B.Así. cuando queremos indicar que existe por lo menos un elemento perteneciente a un conjunto dado.. que haga verdadera la propiedad P( x) .

Annie Ross. CUANTIFICADORES Las palabras “todo”. todas las niñas se llaman Mary. ~ [∃x ∈ B : P ( x)] ≡[ ∃ x ∈ B : P ( x) ] ≡ [∀x ∈ B :~ P ( x)] Es importante destacar. en el grupo II. el recíproco no es una implicación. ninguna se llama Mary”. 101-104). además. Homsby. (p. Margaret Boyle Grupo III: Shannon d’ Hemecourt. “cada uno”. “todos” y “ninguno” se denominan cuantificadores universales. Muchas personas escribirían la negación de esta proposición como “Ninguna niña en el grupo se llama Mary” o “De todas las niñas en el grupo. En el grupo I. Mary Jackson Grupo II: Mary Johnson. Si una proposición es verdadera. ninguna niña se llama Mary. Heeren. analice los tres grupos que se presentan a continuación: Grupo I: Mary Jones. Vea los valores de verdad en el 30 . su negación debe ser falsa. el hecho de que algún elemento haga verdadera a cierta propiedad. algunas niñas tienen por nombre Mary (y algunas no). Patricia Gainey Estos grupos contienen todas las posibilidades que necesitan considerarse. Es decir. Considere la proposición. Los cuantificadores son muy usados en matemáticas para indicar cuántos casos existen de una situación. mientras que las palabras y frases como “alguno”. Para determinar el por qué. MarySmith. Pearson. que se cumple [∀x ∈ A : P( x)] ⇒ [∃x ∈ A : P( x)] Sin embargo. (2006). Pero esto no sería correcto. Todas las niñas en el grupo se llaman Mary. Décima Edición. Por lo tanto [∃x ∈ A : P( x)] ⇒ [∀x ∈ A : P( x)] LECTURA N° 9: NEGACIÓN DE LOS CUANTIFICADORES Tomada con fines instruccionales Miller. Tenga cuidado cuando construya la negación de una proposición que incluya cuantificadores. “existe” y “para al menos uno” se conoce como cuantificadores existenciales. México. Editorial Pearson. Betty Parker. no implica que todos los verifiquen. y en el grupo III. Matemáticas Razonamiento y Aplicaciones. y viceversa.

F F V (Posible negación) (4) Algunas niñas en el grupo no se llaman Mary. la proposición “Algunos perros tienen pulgas” realmente es lo mismo que “Al menos un perro tiene pulgas”. (De forma equivalente: no todos cumplen) Algunos cumplen Ninguno cumple. Como un ejemplo. (Posible negación) (3) De todas las niñas en el Negación grupo. La negación de esto es: “Ningún perro tiene pulgas”. la negación de: “ Algunos no cumplen” es “Todos cumplen”. (a) Algunos perros tiene pulgas. (Dado) (2) Ninguna niña en el grupo se V F F llama Mary. Por ejemplo. 31 . No es el caso que todas las niñas en el grupo se llamen Mary. ninguna se llama Mary. Otras formas de establecer la negación son: No todas las niñas en el grupo tienen por nombre Mary. pero la proposición (4) sí la cumple. (De forma equivalente: todos no cumplen) La negación de una proposición es la proposición misma. Puede verse que las proposiciones (2) y (3) no satisfacen esta condición (para el grupo II). Puede concluirse que la negación correcta para: “Todas las niñas en el grupo se llaman Mary” es “Algunas niñas en el grupo se llaman Mary”. la negación en la columna “Negación” son simplemente las proposiciones originales correspondientes en la columna “Proposición”. Escriba la negación de cada proposición. Valores de verdad aplicados a: Grupo I Grupo II Grupo III (1) Todas las niñas en el grupo F V F se llaman Mary. EJEMPLO 5.diagrama siguiente y tenga presente que “alguna” significa “al menos una (y posiblemente todas)”. Ya que algunos significa “al menos uno”. (Posible F V V negación) La negación de la proposición dada (1) debe tener valores de verdad contrario en todos los casos. Al menos una niña en el grupo no se llama Mary. Negación de proposiciones con cuantificadores Proposición Negación Todos cumplen Algunos no cumplen. La tabla siguiente puede usarse para generalizar el método de determinar la negación de una proposición que incluya cuantificadores.

Verificamos si cada una de las proposiciones siguientes acerca de conjuntos de números..1. nunca llega un punto en que se repita un patrón de dígitos de ahí en adelante. como 0. Una característica de los números irracionales e s que sus representaciones decimales nunca terminan y nunca se repiten. Números reales { x | x es un número que puede escribirse como decimal} ⎧ x | x es un número que no puede escribirse como el ⎫ Números irracionales ⎨ ⎬ ⎩cociente de enteros ⎭ (Algunos ejemplos de números irracionales son 2 . La negación de esto es: “Todos los perros tienen pulgas”...1.2. no tiene pulgas.−1.666…).3. La negación es: “Algunos perros tiene pulgas”.2.(b) Algunos perros no tienen pulgas..25.) EJEMPLO 6. Anteriormente...4. Los conjuntos de números reales son estudiados en álgebra.3.} Números racionales {p / q | p y q son enteros y q ≠ 0} (Algunos ejemplos de números racionales son: 3 .0. que constituyen los bloques de construcción” del sistema de los números reales..0 .5.. Números naturales o de conteo {1. (c) Ningún perro tiene pulgas.−2.} Enteros{. y estos se resumen en el cuadro siguiente: Conjunto de números reales. Las diferentes relaciones entre los conjuntos especiales de números pueden expresarse utilizando cuantificadores universales y existenciales.4. −7 .−3.. esto es. que incluyen un cuantificador. en algún lugar.} Enteros no negativos (cardinales) { 0.2. como 0. Esta proposición afirma que al menos un perro.3. o como un número decimal que se repite. 3 4 y π . es verdadera o falsa: (a) Existe un entero no negativo que no es un número natural. 32 .... ya habíamos hablado de los números naturales o de conteo. 5 9 Cualquier número racional puede escribirse como un número decimal que termina.

esta proposición es verdadera. (Hay un número infinito de selecciones que podríamos haber hecho). Thomson. 12). las que ya hemos visto. ya que podemos encontrar al menos un entero que no es un número natural. (b) Todo número entero es un número natural. F. Puesto que existe tal número (es el 0). A fin de que sea un número irracional.. (p. esta proposición es falsa. en combinación con la intuición y la experiencia previa. entonces el enunciado habría sido verdadero. Thomson. (Si hubiésemos sido capaces de encontrar al menos uno.) LECTURA N° 10: CONECTORES LÓGICOS Y LINGÜÍSTICOS Tomada con fines instruccionales Paniagua. No hay reglas que nos indiquen de forma axiomática y única cómo debe realizarse dicha transformación. Conectivas Lógicas Conectivas Lingüísticas No es el caso de P ¬P No P No es cierto que P P yQ P∧Q P pero Q P aunque Q P oQ P∨Q Ya P ya Q ya ambas 33 . En la tabla mostraremos las equivalencias más utilizadas entre las conectivas lógicas y las lingüísticas. Como todo número natural puede escribirse como una fracción de denominador 1. Esta proposición es falsa. como no podemos dar un número irracional que no sea real. Por lo tanto. Sánchez. (d) Existe un número irracional que no es real. Ed. CONSTRUCCIÓN DE ENUNCIADOS EN EL CÁLCULO PROPOSICIONAL La traducción del lenguaje natural al lenguaje formal no es un proceso mecánico. -1 es un entero pero no es un número natural. un número tiene primero que ser real (vea el cuadro). esta proposición es verdadera. sólo nos podemos basar en una serie de reglas generales. (c) Todo número natural es un número racional. Por ejemplo. España. E. (2003). Lógica Proposicional. J.

Conectivas Lógicas Conectivas Lingüísticas Si P entonces Q P solo si Q Solo P si Q Es suficiente P para que Q P→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 sólo si Q P↔Q P cuando y sólo cuando Q P es condición suficiente y necesaria para que Q 34 .

llamada conclusión. independientemente del contenido de las proposiciones que los constituyen. Matemáticas para Estudiantes de Administración y Economía. (1996). que se aceptan como verdaderas. Hacer inferencia consiste en obtener. Por lo tanto. de proporcionarnos los criterios que permiten establecer la validez de estos razonamientos. U. llamadas premisas. a partir de premisas. Así. que son llamadas teoremas. otra proposición. Las premisas pueden ser: a) verdades obtenidas de la experiencia.V. es decir. (p. que también lo son. Tales criterios sólo deben atender a la forma en que ellos se presentan. utilizando reglas de inferencia. Tercera Edición. no por el contenido de las proposiciones sino justamente por la forma en que se combinan las proposiciones. LEYES DE LA LÓGICA Llamaremos ley de la lógica proposicional a toda forma tautológica 35 . C. UNIDAD 2 LEYES DE LA LÓGICA PROPOSICIONAL LECTURA N° 11: INFERENCIA Y LEYES DE LA LÓGICA Tomada con fines instruccionales Gallo. Ediciones de la Biblioteca. Recordando que las tautologías son ciertas. a partir de un conjunto de proposiciones. es necesario utilizar una serie de reglas que llamamos reglas de inferencia. INFERENCIA LÓGICA La lógica nos suministra principios de razonamiento.C. que también será verdadera. es lo que llamamos razonamiento deductivo. Para poder llegar a la conclusión a partir de las premisas. entonces. b) verdades presupuestas que son llamadas axiomas o c) verdades previamente demostradas. tal como ocurre en las ciencias fácticas. podemos darnos cuenta del muy importante papel que ellas van a jugar en la inferencia. precisamente por estar desprovistas de contenido empírico. La lógica se encarga. 51-67) Caracas. a todo este proceso de obtener una conclusión verdadera. nuestro interés se centra en las reglas que podemos utilizar. nos establece una teoría de la inferencia.

. Pn y la conclusión: C decimos que dicho razonamiento es correcto o válido cuando: (P1 ∧ P2 ∧ . más difícil será dicha verificación. Así en definitiva tenemos que: Dado el razonamiento deductivo constituido por las premisas: P1 .. hacemos lo siguiente: designamos a las premisas por P1 . pues sería necesario verificar en cada paso cuál regla de inferencia se ha utilizado y mientras mayor sea el número de estas reglas... resulte una tautología. que constituya una implicación.. Es decir.. para que tengamos derecho a afirmar que una conclusión es verdadera. y como consecuente a la conclusión. De acuerdo a esto. Para expresar simbólicamente un razonamiento deductivo... El vínculo existente entre las leyes lógicas (tautologías) y las reglas de inferencia queda evidenciado en el hecho de que para que una inferencia sea correcta.. ∧ Pn ) ⇒ C Hemos dicho antes. el cual viene asociado a una regla. a pesar de existir infinitas reglas de inferencia. cada ley lógica autoriza un acto de inferencia.Las tautologías o leyes de la lógica constituirán entonces la base teórica que dan fundamento a las reglas de razonar correctamente.. cada tautología dará origen a una regla de inferencia y puesto que existen infinitas tautologías dispondremos de infinitas reglas de inferencia. P2 .. esto es. es decir. Pn y a la conclusión por C y escribimos: P1 P2 Μ Pn ∴C Donde el símbolo ∴ . que. se lee “luego”.. sólo unas pocas son necesarias en los razonamientos deductivos. las cuales hemos llamado reglas de inferencia.. partiendo de la verdad de una premisa.. P2 . Las más importantes son: 36 . es necesario y suficiente que el condicional que se obtiene colocando como antecedente la conjunción de todas las premisas. Afortunadamente sólo un reducido número de reglas de inferencia es necesario en el razonamiento deductivo.. Esto sería un grave inconveniente en el proceso deductivo. Cada vez que razonamos correctamente estamos aplicando ciertas reglas que están justificadas por leyes de la lógica..

) Su traducción es “método que afirma afirmando” y su forma P→Q P ∴Q Cualquier razonamiento que tenga esta forma es válido ya que se cumple: [(P → Q ) ∧ P] ⇒ Q Lo cual es demostrable construyendo la tabla de verdad P Q P→Q (P → Q ) ∧ P [(P → Q ) ∧ P] ⇒ Q V V V V V V F F F V F V V F V F F V F V Por eso. verdadera.Modus Ponendo Ponens (P. De esta forma. identificamos a las proposiciones que intervienen como sigue: p : “el examen es muy largo”. El examen es muy largo. verdaderas. podemos concluir que la conjunción q ∧ r : “los alumnos se cansan y dejan de pensar fácilmente” es. es verdadero. q : “los alumnos se cansan”. si un condicional es verdadero y también lo es el antecedente de dicho condicional.P. Ejemplo 1: Sea el razonamiento siguiente: Si el examen es muy largo. también. entonces los alumnos se cansan y dejan de pensar fácilmente. que el consecuente del mismo. luego. podemos obtener. r : “los alumnos dejan de pensar fácilmente”. como conclusión. el razonamiento dado lo podemos representar así: 1) p → (q ∧ r ) 2) p ∴q ∧ r De acuerdo al Modus Ponendo Ponens y asumiendo que las premisas 1) y 2) son. ambas. Para expresarlo simbólicamente. 37 . los alumnos se cansan y dejan de pensar fácilmente.

podemos concluir que la proposición ~ p : “no llueve” es. no llueve.T. 38 . Identificamos a las proposiciones que intervienen así: p : “llueve”. como conclusión. que la negación del antecedente del mismo. Luego. verdaderas. también. podemos obtener.Modus Tollendo Tollens (T. ambas. es verdadera. Salgo de mi casa. entonces no salgo de mi casa. verdadera. Por lo tanto. q : “no salgo de mi casa”. Ejemplo 2: Sea el razonamiento siguiente: Si llueve. la expresión simbólica del razonamiento dado es como sigue: 1) p → q 2) ~ q ∴~ p De acuerdo el Modus Tollendo Tollens y asumiendo que las premisas 1) y 2) son.) Su traducción es “método que niega negando” y su forma P→Q ~Q ∴~ P Cualquier razonamiento que tenga esta forma es válido ya que se cumple: [(P → Q ) ∧ ~ Q] ⇒ ~ P Lo cual es demostrable construyendo la tabla de verdad P Q ~P ~Q P→Q (P → Q ) ∧ ~ Q [(P → Q ) ∧ ~ Q] ⇒ ~ P V V F F V F V V F F V F F V F V V F V F V F F V V V V V De esa tautología (ley lógica) obtenemos la siguiente regla: si un condicional es verdadero y también lo es la negación del consecuente de dicho condicional.

De lo anterior obtenemos la siguiente regla: si una disyunción inclusiva es verdadera y la negación de una de sus componentes también lo es. donde serán omitidas tales demostraciones. entonces podemos obtener. como conclusión.) Su forma es: P→Q Q→R ∴P → R 39 . El agua no hierve a 50°C.Modus Tollendo Ponens (T. construyendo sus correspondientes tablas de verdad. verdadera. concluimos. que la otra componente de la disyunción es verdadera.P. Luego. q : “El agua hierve a 100°C”.H.) Su traducción es “método que afirma negando” y su forma P∨Q P∨Q ~P o bien ~Q ∴Q ∴P Las correspondientes implicaciones son: [(P ∨ Q ) ∧ ~ P ] ⇒ Q y [(P ∨ Q ) ∧ ~ Q] ⇒ P El estudiante puede demostrar esas implicaciones. a manera de ejercicio. Ejemplo 3: Dado el razonamiento El agua hierve a 50°C o a 100°C. Silogismo Hipotético (S. la forma simbólica del razonamiento dado es: 1) p ∨ q 2) ~ p ∴q En consecuencia si 1) y 2) son verdaderas. p : “El agua hierve a 50°C”. Así. también. el agua hierve a 100°C. al igual que puede hacerlo en los casos que siguen. de acuerdo al el Modus Tollendo Ponens que q : “El agua hierve a 100°C” es.

La implicación correspondiente es: [(P → Q ) ∧ (Q → R )] ⇒ (P → R ) 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. la expresión simbólica del razonamiento dado es como sigue: 1) p → q 2) q → r ∴p→r En consecuencia si 1) y 2) son verdaderas. Si el número es divisible por dos. entonces ese número es par. 40 . q : “ese número es divisible por dos”. concluimos. Luego. entonces podemos obtener. entonces ese número es par. verdadera. Ejemplo 4: Sea el siguiente razonamiento: Si un número entero termina en cero. entonces ese número es divisible por dos. Silogismo Disyuntivo (S. r : “ese número es par”.) Su forma es: P→R Q→S P∨Q ∴R ∨ S La implicación correspondiente es: [(P → R ) ∧ (Q → S ) ∧ (P ∨ Q )] ⇒ (R ∨ S ) La regla que obtenemos de esta implicación es la siguiente: si dos condicionales son verdaderos y la disyunción inclusiva formada por los antecedentes de esos condicionales. entonces ese número es par” es. como conclusión. es verdadero.D. también. si un número entero termina en cero. de acuerdo al silogismo hipotético que el condicional p → r : si un número entero termina en cero. que el condicional cuyo antecedente es el antecedente del primero y cuyo consecuente es el consecuente del segundo. Hacemos la siguiente identificación de las proposiciones que intervienen: p : “un número entero termina en cero”. Así.

Haciendo la identificación de proposiciones tenemos: p : “n es un número entero par”. Ejemplo 6: Sea p : Juan estudia en la UNEFA ~ p : ” Juan no estudia en la UNEFA “ La proposición: “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. Si n es un número entero que termina en cinco. ~ (~ p) ≡ p y p ≡ ~ (~ p) 41 . es verdadera. como conclusión.) P ∴~ (~ P ) Cuya implicación es: P ⇒ ~ (~ P ) Si una proposición cualquiera es verdadera. verdadera. q : “n es divisible por cinco”. podemos decir. Ejemplo 5: Dado el razonamiento siguiente: Si n es un número entero par. entonces n es divisible por cinco. de dichos condicionales.también es verdadera. obtenemos como conclusión. Doble Negación (D. r : “n es un número entero que termina en cinco”. n es un número entero par o n termina en cinco. también. Así. 2) y 3) verdaderas. de acuerdo al silogismo disyuntivo. que su doble negación también es verdadera. q : “n es divisible por dos”. entonces podemos concluir que la disyunción inclusiva formada por los consecuentes. Luego. n es un número entero divisible por dos o divisible por cinco. entonces n es divisible por 2. que la proposición q ∨ s : “n es un número entero divisible por dos o divisible por cinco” es. podemos obtener. siendo 1) . la expresión simbólica del razonamiento dado es como sigue: 1) p → q 2) r → s 3) p ∨ r ∴q ∨ s Por lo tanto.N.

podemos asegurar entonces que Pedro nació en La Guaira o en Mérida es decir: p ⇒ ( p ∨ q) Como la disyunción inclusiva es cierta cuando por lo menos una de las proposiciones es cierta. podemos obtener. como conclusión. también es verdadera. que cualquiera de las proposiciones componentes es verdadera. de la misma forma que las leyes lógicas 42 . Las tautologías obtenidas de esta manera las denominamos leyes de equivalencia. recordando que el conectivo lógico bicondicional genera una proposición verdadera cuando las componentes tienen igual valor de verdad. cuando en sus tablas de verdad las columnas correspondientes a cada fórmula son idénticas.Simplificación (S) P∧Q P∧Q o bien ∴P ∴Q Si la conjunción de dos proposiciones es verdadera. generamos una tautología. Podemos concluir con cualquiera ya que las dos son verdaderas Adición (A) P ⇒ (P ∨ Q ) P La implicación es: ∴P ∨ Q Si una proposición es verdadera. aquí la premisa p : “Pedro nació en La Guaira” es cierta. podemos asegurar entonces: “Pedro nació en La Guaira o en Mérida” LEYES DE EQUIVALENCIA Hemos dicho que dos fórmulas proposicionales son equivalentes. Las correspondientes implicaciones que apoyan esta regla son: (P ∧ Q ) ⇒ P o bien (P ∧ Q ) ⇒ Q Ejemplo 7: Haciendo la simplificación de proposiciones tenemos: p : “8 es un número entero par” y q : “8 es divisible por dos”. Además. podemos concluir fácilmente. Estas leyes son útiles en los razonamientos deductivos. entonces se puede concluir que la disyunción inclusiva de dicha proposición con cualquier otra. Ejemplo 8: p : “Pedro nació en La Guaira” q : “Pedro nació en Mérida “ Si Pedro nació en La Guaira. que al conectar dos proposiciones equivalentes mediante el bicondicional.

) [P ∧ (Q ∨ R )] ≡ [(P ∧ Q ) ∨ (P ∧ R ) (de ∧ respecto a ∨ ) [P ∨ (Q ∧ R )] ≡ [(P ∨ Q ) ∧ (P ∨ R ) (de ∨ respecto a ∧ ) De Morgan (De M.) [(P ∧ Q ) → R] ≡ [P → (Q → R )] Vistas las leyes lógicas y las respectivas reglas de inferencia. entonces n es divisible por cuatro. Si n es divisible por cuatro. 43 . n no es un número par. lo cual no altera la conclusión. de la siguiente manera: p : “n es divisible por ocho”.) [(P ∧ Q ) ∧ R] ≡ [P ∧ (Q ∧ R )] [(P ∨ Q ) ∨ R] ≡ [P ∨ (Q ∨ R )] [(P ∨ Q ) ∨ R] ≡ [P ∨ (Q ∨ R )] Distributividad (Distr. entonces n es un número par. a través de algunos ejemplos. q : “n es divisible por cuatro”.) (P ∨ Q ) ≡ (Q ∨ P ) (P ∨ Q ) ≡ (Q ∨ P ) (P ≡ Q ) ≡ (Q ≡ P ) Asociatividad (Asoc. en cualquier razonamiento deductivo podemos sustituir una proposición por otra que le sea equivalente. Identifiquemos a las proposiciones que intervienen.) [~ (P ∧ Q )] ≡ [(~ P ∨ ~ Q )] [~ (P ∨ Q )] ≡ [(~ P ∧ ~ Q )] Exportación (Exp. veamos ahora su uso.vistas con anterioridad y de cada una de ellas también se obtiene una regla de inferencia. Luego n no es divisible por ocho. en la demostración formal de la validez de sus razonamientos. r : “n es un número par”. Las más usuales son: LEY REPRESENTACIÓN Identidad (I) P≡P Idempotencia (Idem. Ejemplo 9: Sea el razonamiento siguiente: Si n es divisible por ocho. En este sentido.) P∧P≡P P∨P≡ P Conmutatividad (P ∧ Q ) ≡ (Q ∧ P ) (Conm.

entonces el gobierno sudafricano está impuesto. El pueblo no es libre o el gobierno no es elegido por las mayorías. Luego. se realiza exclusivamente el análisis de su forma. entonces el pueblo es libre y el gobierno es elegido por las mayorías. independientemente del contenido de las proposiciones que lo constituyen. indicando las leyes lógicas que nos conducen y justifican a la conclusión. podemos observar que si aplicamos silogismo hipotético a las premisas a) y b) obtenemos: b' ) p → r y al aplicar Tollendo Tollens a b' ) y c) llegamos a la conclusión: ~ p Todo lo anterior puede expresarse así: APLICANDO Enunciado Silogismo Hipotético en a) y b) Modus Tollendo Tollens [(P → Q ) ∧ (Q → R )] ⇒ (P → R ) [(P → Q ) ∧ ~ Q] ⇒ ~ P a) p → q a) p → q b' ) p → r b) q → r b) q → r c) ~ r b' ) p → r b' ) p → r ∴~ p c) ~ r ∴~ p De esa forma queda demostrado que el anterior razonamiento es válido. En el caso que nos ocupa. Ejemplo 10: Sea el razonamiento siguiente: Si Sudáfrica es un país democrático. el gobierno sudafricano está impuesto. Si Sudáfrica no es un país democrático.Así. la expresión simbólica del razonamiento dado es: a) p → q b) q → r c) ~r ∴~ p Para demostrar formalmente la validez de un razonamiento. Identificando a las proposiciones que intervienen de la siguiente manera: p: “Sudáfrica es un país democrático” q: “El pueblo es libre” r: “El gobierno es elegido por las mayorías” 44 .

b) y c’’) a) p → (q ∧ r ) a) p → (q ∧ r ) b) ~ p → s b) ~ p→s c) ~ q ∨ ~ r c) ~ q ∨ ~ r c' ) ~ (q ∧ r) c' ' ) ~ p ∴s c' ' ) ~ p ∴s Todo lo anterior queda expresado como sigue: a) p → (q ∧ r ) b) ~ p → s c) ~ q ∨ ~ r c' ) ~ (q ∧ r) (De M.b.P. c) c' ' ) ~ p (T. s: “El gobierno sudafricano está impuesto” La forma simbólica de este razonamiento es: APLICANDO Enunciado Ley De Morgan a Tollendo Tollens a Ponendo Ponens a c) a) y c’). la cual contradice a la conclusión r .. a. basta con demostrar la conjunción de todas las premisas a través de la construcción de la correspondiente tabla de verdad..T. Ejemplo 11: Sea un razonamiento expresado en forma simbólica de la siguiente manera: APLICANDO Enunciado Tolendo Tolens en: a) y b) Ponendo Ponens en: c) y b’) a) p ∨ q a) p ∨ q b) ~ p b) ~ p c) r → ~ q c) r → ~ q b’) q b’) q ∴r ∴~ r Dado que llegamos a ~ r . el razonamiento es válido. nos demuestra que el razonamiento planteado no es válido.c’) ∴s (P.. 45 . La validez de los razonamientos deductivos también es demostrable por medio del uso de las tablas de verdad.c’’) Por lo tanto.

expresado en forma simbólica del ejemplo 3. en consecuencia. a) p → q b) q → r c) ~r ∴~ p El condicional correspondiente es: [( p → q ) ∧ (q → r ) ∧ ~ r ] →~ p La tabla de verdad respectiva es: [( p → q ) ∧ (q → r ) ∧ ~ r ] →~ p p q r ~p ~r p→q q→r (p → q ) ∧ (q → r ) ∧ ~ r V V V F F V V F V V V F F V V F F V V F V F F F V F V V F F F V F V F V F V V V F V V F V F V F V V V F F V F F V V F V V F V F F F V V V V V V Como podemos observar. el condicional señalado resulta de una tautología. nos demuestra que el razonamiento planteado es válido. a) p ∨ q b) ~p c) r → ~ q ∴r Formemos el condicional [( p ∨ q ) ∧ (~ p ) ∧ (r →~ q )] → r La tabla de verdad correspondiente es: 46 . lo cual nos indica que constituye una implicación y.Los ejemplos que siguen nos ilustran esto. Ejemplo 12: Sea el razonamiento planteado en el ejemplo 9. Ejemplo 13: Sea ahora el razonamiento.

e) Si n es un número primo. entonces n es un número par. entonces n es divisible por 3. d) Si n es menor o igual que 4 y m es menor o igual que 3. que el razonamiento planteado no es válido. en consecuencia. Si n no es divisible por 2. entonces n no es divisible por 2.1. n no es un número par. Luego: n es mayor que 4 y m es mayor a 3.Exprese simbólicamente y diga si son válidos o no. este hecho nos demuestra que el condicional señalado no constituye una implicación y. Luego: n no es divisible por 3. n no es divisible por 12. entonces n no es par. entonces n es divisible por 6. Luego: n no es divisible por 3. los razonamientos deductivos siguientes: a) Si n es divisible por 8. c) Si n es divisible por 3. 47 . Ejercicios Propuestos: 11. [( p ∨ q ) ∧ (~ p ) ∧ (r →~ q )] → r p q r ~p ~q p∨q r →~ q ( p ∨ q ) ∧ (~ p ) ∧ (r →~ q ) V V V F F V F F V V V F F F V V F V V F V F V V V F V V F F F V V V F V F V V V F V F F V F V F V F V V V F F F V V V F V F V F F F V V F V F V Podemos observar que no resulta una tautología. entonces n es un número impar. entonces n + m es menor o igual a 7. n + m es mayor que 7. Si n es divisible por 4. b) Si n es divisible por 12. entonces n es divisible por 4. Luego: n no es divisible entre 8. Si n es divisible por 6. n es un número par.

determina si las premisas siguientes nos conducen a la conclusión dada: ( a) Conclusión: ~ s ( b ) Conclusión: ~ (a ∨ b) Premisas: Premisas: (i) ~ ( p ∧ q ) (ii) ~ q → t (i) c ∧ ~ d (iii) ~ p → t (ii) c →~ a (iv) s → ~ t (iii) d ∨ ~ b 11.3.5 ¿Qué conclusiones se puede sacar de cada una de las siguientes proposiciones: q : “ No ocurre que el núcleo 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 . las leyes de equivalencia y otras formas equivalentes del condicional.Aplicar las leyes de equivalencia a las siguientes proposiciones: a) p ∨ (~ r ∧ s ) b) ~ p ∧ ~ (r ∨ ~ s ) c) ~ ( p ∧ ~ r ) ∨ s d) ~ ( p ∨ s ) ∨ (~ s ∨ ~ ( q ∨ r ) ) e) ( p ∧ ~ q)∨ ~ (~ p∨ ~ q) 11.2. 11.Prueba las siguientes inferencias: a) p → ~ q b) p → q c) p d p →q r↔q p∧r r ) r →~ q ∴q ∴r → ~ p r (q ∨ p) → ~ r ∴~ p ∴~ p 11.Aplicando leyes de inferencia. Luego: n es un número primo.4.

Una falacia es un razonamiento aparentemente lógico que resulta independiente de la verdad de las premisas. cuando sus premisas son verdaderas. Por tanto. Este lápiz es de oro. La manera de saberlo es empleando contraejemplos que lleven al límite estas estructuras falaces. el argumento es incorrecto. que tiene la forma: P → Q En este caso. Si un objeto es de oro. Un razonamiento que contiene una falacia se denomina falaz y se considera erróneo.1-3). Artículo no publicado (p. Caracas. LECTURA N° 12. Falacias. González. 3. un razonamiento es correcto. niega el antecedente y concluye la negación del consecuente. una falacia lógica es la aplicación incorrecta de un principio lógico válido. tenemos que las premisas son verdaderas y la conclusión falsa. Este lápiz es de color amarillo. 2. Ejemplo 1: 1. La presencia de una falacia lógica en un razonamiento no implica necesariamente nada acerca de la veracidad de las premisas o de su conclusión: ambos pueden ser ciertos. En este caso. Este es un ejemplo de falacia por afirmación del consecuente. Lorenzo J. (2007). o la aplicación de un principio inexistente.. Esta falacia tiene la forma: P→Q Q (Falacia del Recíproco) ∴P Por definición. su color es amarillo. T. ~P Este argumento no es válido. pero el razonamiento no es válido porque la conclusión no se deriva de las premisas usando los principios de inferencia presentados anteriormente. Otro tipo de falacia es la Falacia del Inverso. FALACIAS Tomada con fines instruccionales Gómez.. entonces su conclusión es verdadera. N. En sentido estricto. ∴~ Q 49 .

∴ S∧ ~ Q 50 .P.Ejemplo 2: 1. 4.) Fórmula Método Fórmula Método ~ M →~ S ~ P∨ ~ Q ~M ~ (~ Q ) 1. Esa planta no es un árbol de plátano 3.) Modus Tollendo Ponens (T.) Modus Tollendo Tollens (T. formales y no formales. Todos los árboles de plátano tiene hojas verdes 2. 8. 10.wikipedia. 2.T.En los ejemplos que se dan a continuación indique el método de razonamiento válido que se está utilizando: Modus Ponnendo Ponens (P. las cuales pueden ser consultadas en la siguiente referencia en INTERNET: http://es. ∴~ S ∴~ P Q∧R→S P ~S P →~ Q 3. ∴~ (P ∧ R ) ∴Q (~ P ∨ R) → ( S ∧ ~ Q) ~ P∨R 11. Por lo tanto esa planta no tiene las hojas verdes Existen diferentes tipos de falacias. ∴~ (Q ∧ R) ∴R P →~ Q (P ∧ ~ R ) ∨ Q ~ (~ Q ) ~Q 7.1. ∴~ P ∴ (P ∧ ~ R ) (P ∧ R ) → (~ Q ∨ S ) ~ P→Q ~ (~ Q ∨ S ) ~P 9.P. ∴~ (Q ∧ R ) ∴~ Q P ∨ ~ (Q ∧ R ) P∧Q → R ~P P∧Q 5.org/wiki/Falacia Ejercicios Propuestos: 12. 6.

entonces cursa estudios de 2do.4. entonces necesita más agua o necesita ser abonada.Probar si el siguiente razonamiento es válido. Alejandro tiene veinte años y Carlos tiene la misma edad que Cecilia. entonces puede ir a bañarse a orillas del lago.2. la oficina de teléfonos está cerrada. entonces Andrés canta en la Coral Universitaria. Si Carlos tiene distinta edad que Alejandro. Si son las diez de la noche en Caracas. entonces Alejandro tiene la misma edad que Cecilia.Para cada una de las siguientes premisas: a) Identifica en cada caso.12.. Por lo tanto la constituyente fue aprobada.. Si a Juana no le gusta coser. las proposiciones que intervienen en el texto y construye la fórmula proposicional correspondiente. b) Utilizando los métodos de inferencia vistos hasta ahora.5. iv) Si ella es adolescente.. 12. entonces la suma de sus otros dos ángulos es menor que 90°.. entonces voy a estudiar. 12. Voy a la Biblioteca. La suma de dos ángulos de un triángulo no es menor que 90°. Luís está en Maracaibo. Por lo tanto. Si Alejandro tiene veinte años. Podemos reelegir al presidente o el referéndum demorará seis meses. nivel v) Son las diez de la noche en Caracas.3. ix) Si una planta no crece. La planta no crece. No voy a la playa. x) El bachiller estudia Ingeniería o estudia Mecánica Dental. 12. vii) El niño duerme o está en la escuela. entonces el astro es una estrella.Determina si los argumentos siguientes son válidos o son falacias: a) A Jesús le gusta jugar béisbol. Si la Constitución queda como estaba entonces no podemos reelegir al presidente. entonces Carlos tiene distinta edad que Cecilia. Pero el referéndum no se demoró seis meses.. El niño no duerme. Andrés canta en la Coral Universitaria. entonces a Jesús no le gusta jugar béisbol. Si a Juana le gusta coser. ¿qué conclusión puedes sacar de cada uno de los conjuntos de premisas? i) Si Luís está en Maracaibo. iii) Llueve o voy a la playa. nivel. El bachiller no estudia Ingeniería. 51 . El astro no es una estrella. vi) Si voy a la Biblioteca.Comprueba si el siguiente razonamiento es válido. viii) Si un triangulo tiene un ángulo mayor que 90°. Si no se aprueba la constituyente entonces la Constitución queda como estaba. ii) Si tiene luz propia. Por tanto Carlos tiene la misma edad que Alejandro y Alejandro la misma que Cecilia. Ella no cursa estudios de 2do.

entonces los MP3 seguirán siendo populares. NEGACIÓN DE UN CONDICIONAL Suponga que alguien expresa la siguiente proposición condicional: “Si llueve. ~ ( p → q) ≡ p ∧ ~ q 52 .T. entonces realmente eres parte de mí. entonces estás en lo profundo de mi corazón. Esto es. (2006). b) Si la locura por los MP4 continúa.) ~ (T ∧ R ) De Morgan ( 1 ) (6.) P T. todos los hombres son mujeres.) ~ S T. Pearson.3) (7.) Q → S Premisa (4.) S → T ∨ R Premisa (3. Matemáticas Razonamiento y Aplicaciones. (p. Ed. 12.6. (3) . Homsby. Por lo tanto. Décima Edición. Si estás en lo profundo de mi corazón. ( 6 ) (8. Suponga que p representa “llueve” y q representa “llevaré mi paraguas”.Ubica y corrige los errores que encuentres en las siguientes deducciones: (1. entonces llevaré mi paraguas.(7) LECTURA N° 13: CONDICIONALES Tomada con fines instruccionales Miller. 101-104). México.) ~ T ∨ ~ R Premisa (2. Por lo tanto. la locura por los MP4 continuará.) ~ ~ Q T.) Q ∨ P Premisa (5.. entonces realmente no eres parte de mí. Todas las personas que han sido creadas iguales son mujeres. Los PenDrive no continúan siendo los favoritos. Pearson. usted podría sospechar que la proposición es simbólica p∧ ~ q Es buena candidata para ser la negación de p → q . Heeren. d) Si te tengo bajo mi piel. Los PenDrive continúan siendo los favoritos o los MP3 seguirán siendo populares.P. si te tengo bajo mi piel. c) Todos los hombres fueron creados iguales. Por lo tanto.” ¿Cuándo estará mintiendo esta persona? El único caso en el cual mentiría sería cuando lloviera y la persona no llevara el paraguas. ( 2. (3).P.

de modo que la negación de esta proposición es: Tú lo construyes y él no vendrá 53 . (a) Si tú lo construyes. como indica la tabla de verdad siguiente: p q p→q ~ ( p → q) ~q p∧ ~ q V V V F F F V F F V V V F V V F F F F F V F V F ≡ Negación de p → q La negación de p → q es p ∧ ~ q Dado que: ~ ( p → q ) ≡ p∧ ~ q al negar cada expresión tenemos. Y q representa “él vendrá”.Sucede que éste es realmente el caso. es b ∧ ~ q . y al lado derecho de la misma se le puede aplicar una de las leyes De Morgan: p → q ≡ ~ p ∨ ~ (~ q) p → q ≡~ p∨ q El último renglón indica que una proposición condicional. entonces la proposición dada puede escribirse simbólicamente como b → q . él vendrá. La negación de b → q . como se mostró antes. ~ [~ ( p → q )] ≡ ~ ( p ∧ ~ q ) Al lado izquierdo de la equivalencia anterior es : p → q . Si b representa “Tú lo construyes”. puede escribirse como una disyunción Como escribir una condicional como una disyunción p → q es equivalente a ~ p ∨ q Ejemplo 1: Escriba la negación de cada proposición.

Si p representa “es con Triple A“ y q representa “tiene que ser bueno”. la cual presentamos en la sección previa. la negación de una proposición condicional se escribe como una conjunción. (b) Todos los perros tienen pulgas. Si estos se intercambian. Puesto que la condicional p → q es equivalente a ~ p ∨ q . (b) Si es con Triple A entonces tiene que ser bueno ( p → q ). Como se vio en el ejemplo 4. Ejemplo 2: Escribe una proposición equivalente para cada condicional. entonces Aragua estará de fiesta. Si se niegan. es una de las más importantes de todas las proposiciones compuestas. o . la condicional podría reescribirse como: ~ p∨ q No es con Triple A o tiene que ser bueno Más sobre el condicional La proposición condicional. Las dos cosas a la vez (si se intercambian y se niegan).entonces: Si es un perro. entonces se forma una nueva proposición condicional. entonces tiene pulgas. debemos expresar esta proposición dada en la forma si…. (el antecedente por el consecuente y viceversa) . sea p “Los Tigres ganan el campeonato” y q la proposición “Aragua estará de fiesta”. la negación es Es un perro y no tiene pulgas. Primero. Muchas propiedades matemáticas y teoremas son planteados en la forma si … entonces. sin utilizar el conectivo si … entonces. Con base en nuestro análisis anterior. La condicional se expresará entonces como: Los Tigres no ganan el campeonato o Aragua estará de fiesta. (a) Si los Tigres ganan el campeonato. Dada su gran utilidad es necesario estudiar las proposiciones condicionales que se relacionan con enunciados y con la forma p→q Recíproca: Cualquier proposición condicional está conformada por un antecedente y un consecuente. 54 . . Un error muy común de los estudiantes es tratar de escribir la negación de una proposición condicional como otra proposición condicional.

entonces q . sería Si vivo en Venezuela. Observe que en el caso de esta proposición. entonces tú te quedas. Determine cada una de las proposiciones que se indican: a) La recíproca Sea p la proposición “Vivo en Caracas” y q “Vivo en Venezuela”.) Inversa ~ p →~ q (Si no p . Entonces la proposición directa p → q . entonces no q . Esta nueva condicional se llama recíproca de la proposición dada. entonces no p . entonces tú no te quedas. Inversa: Si se niega tanto el antecedente como el consecuente.) Recíproca q→ p (Si q . Obtenemos la nueva proposición condicional Si yo me voy. Estas tres proposiciones relacionadas para la condicional p → q . La recíproca.) Ejemplo 3: Dada la proposición directa Si vivo en Caracas. su recíproca no necesariamente es verdadera. aún cuando la proposición directa lo sea. Si intercambiamos el antecedente (“tú te quedas”) con el consecuente (“yo me voy”). se obtiene la inversa de la proposición dada: Si tú no te quedas.) Contrapositiva ~ q →~ p (Si no q . Contrapositiva: Si el antecedente y el consecuente se intercambian y se niegan. entonces yo no me voy. 55 . entonces yo me voy.Suponga que empezamos con la proposición directa Si tú te quedas. entonces vivo en Venezuela. se resumen a continuación. entonces vivo en Caracas. se forma la contrapositiva de la proposición dada: Si yo no me voy. (Observa que la inversa es la contrapositiva de la recíproca) Proposiciones condicionales relacionadas Proposición directa p→q (Si p . entonces p . q → p .

b) La inversa La inversa p → q es ~ p → ~ q . la proposición directa y la contrapositiva siempre tienen los mismos valores de verdad. Pueden ser verdaderas. lo cual hace posible reemplazar cualquier proposición directa con su contrapositiva. c) La Contrapositiva La contrapositiva ~ q →~ p sería Si no vivo en Venezuela. El ejemplo 1 muestra que la recíproca e inversa de una proposición verdadera no tienen que ser verdaderas ellas mismas. mientras que la recíproca y la inversa lo son entre sí. la recíproca y la inversa siempre tienen los mismos valores de verdad. no es necesariamente verdadera. la cual. recíproca. Este análisis se resume a continuación: Equivalencia La proposición directa y la contrapositiva son equivalentes entre sí. pero no necesariamente lo son. una vez más. al igual que la proposición directa es verdadera. sin que afecte el significado lógico. entonces no vivo en Venezuela. entonces no vivo en Caracas. 56 . Así mismo. inversa y contrapositiva se muestra en la tabla de verdad siguiente: Equivalentes Equivalentes Directa Recíproca Inversa Contrapositiva p q p→q q→ p ~ p →~ q ~ q →~ p V V V V V V V F F V V F F V V F F V F F V V V V Como lo muestra la tabla de verdad. La relación entre los valores de verdad de las proposiciones directa. Para la proposición dada la inversa es: Si no vivo en Caracas. La contrapositiva.

la gráfica me ayudará a entenderlo. escriba cada una de las siguientes proposiciones. que se simplifica como p → ~ q . ii) Si él come carne. entonces él come cualquier tipo de comida iii) Si Carmen no cumple una promesa entonces. Ejercicios Propuestos: 13. dos menos que B y uno más que C B: No soy el mas joven. Determine la edad de cada una de las personas. b) La inversa La inversa es ~ (~ p ) → ~ q .Tres personas A. escriba : (a) Su Recíproca (b) Su Inversa (c) Su Contraprositiva (también llamada Contrarecíproca) i) Si una imagen vale más que mil palabras.Ejemplo 4: Para la proposición directa ~ p → q . B y C estaban conversando en el comedor de la UNEFA y dicen lo siguiente: A: Yo tengo 22 años. A tiene 23 años y B tiene 3 años más que A.2. 13. ella no es digna de confianza.1.Para cada proposición. que se simplifica como ~ q → p . entonces competiríamos juntos. c) La contrapositiva La contrapositiva es ~ q → ~ (~ p ) . sabiendo que únicamente una de las afirmaciones que hace cada persona es falsa. C y yo tenemos 3 años de diferencia y C tiene 25 C: Yo soy más joven que A. 57 . iv) Si yo fuese nadadora y usted también. a) la recíproca La recíproca de ~ p → q es q → ~ p .

La mayor parte de los teoremas que se presentan en matemática tienen la forma “si P . una serie de proposiciones verdaderas y cuyas verdades han sido previamente demostradas. es decir. que se trata de una implicación P⇒Q donde P es la hipótesis y Q la tesis. entonces Q ”. UNIDAD 3 DEMOSTRACIONES MATEMÁTICAS LECTURA N° 14: DEMOSTRACIONES MATEMÁTICAS Tomada con fines instruccionales Gallo.V. existiendo dos posibilidades: 58 . Método Directo Para aplicar el método directo. el proceso de demostración consiste en encadenar. MÉTODOS DE DEMOSTRACIÓN MATEMÁTICA Si deseamos demostrar que el condicional P → Q es un teorema. a partir de una proposición inicial dada. 68-81) Caracas. debemos comenzar a partir de P . La matemática es una ciencia que se apoya principalmente en el razonamiento deductivo. C. es decir. de las cuales se deducen otras cuyas verdades es necesario demostrar (teoremas).C. la forma de un condicional P→Q En consecuencia. o comenzar por P o comenzar por Q . la demostración de un teorema de esa forma consistirá en demostrar. que constituye una implicación. que es la conclusión. Tercera Edición. Su estructura se construye a partir de proposiciones que se aceptan como verdaderas (axiomas). se dice que estamos siguiendo el método directo y si se comienza por el consecuente Q . (p. es decir. se dice que estamos siguiendo el método indirecto. U. resulte Q falsa. (1996). entonces de acuerdo con la definición. Matemáticas para Estudiantes de Administración y Economía. debemos verificar que no es posible que se presente el caso de que siendo P verdadera. Si el análisis comienza por el antecedente P . que tal condicional es siempre verdadero. Ediciones de la Biblioteca. se puede. En general. lo cual nos permite llegar a la verdad de otra proposición. Para esto.

con lo que resulta.H. consiste en un encadenamiento de proposiciones. nuestra atención se centrará en la posibilidad 2. Visto esquemáticamente. el método se esquematiza como sigue: P P⇒Q ∴Q 59 . existen. se cumple que P → Q es verdadero. de nuevo dos posibilidades a) Que Q sea sólo verdadera. el cual.. esquemáticamente. verdadera o falsa y. b) Que Q sea falsa. P2 . como sigue: P P ⇒ P1 P1 ⇒ P2 P2 ⇒ P3 . .b) no debe ser posible.1.a). en ambos casos. igualmente. 2. Κ . decir que: El método directo consiste en partir de la verdad del antecedente y establecer la verdad del consecuente. que nos permite plantear P ⇒ Q . el caso 2. entonces. Si P es verdadera. si el propósito es demostrar que P implica Q . podemos darnos cuenta que el método directo es un razonamiento válido. Q puede ser indistintamente. Habiendo dicho antes que el proceso de demostración. nótese que el encadenamiento de proposiciones desde P hasta Q . la posibilidad 1) no requiere de demostración alguna. Por lo tanto. Ahora bien. que P → Q es verdadero. podemos representar al método directo. En ese sentido. en consecuencia. Pn representan las proposiciones cuyas verdades han sido demostradas previamente. de una manera resumida. es una aplicación sucesiva del S. Pn ⇒ Q ∴Q donde P1 . en general. apoyado en las reglas Silogismo Hipotético y Ponendo Ponens. Por lo tanto. Si P es falsa. es el único caso en que P → Q es falso. . Podemos.

De ahí se desprende qué: 1) a|b ⇒ b = a ⋅ a' (siendo a’ un número natural) 2) b|c ⇒ c= b ⋅ b' (siendo b’ un número natural) Reemplazando 1) y 2) obtenemos 3) c = (a ⋅ a') ⋅ b' Aplicando la propiedad asociativa de la multiplicación. reemplazando 5) en 4). Nótese que con este ejemplo hemos ilustrado. entonces el producto de ellos es también un número natural. entonces a es divisor de c”.el cual. Usando el símbolo “ | ” para denotar la expresión “divisor de”. tales que. aceptar qué (a|b) ∧ (b|c) es verdadera. a partir de una proposición inicial. de acuerdo al P. además. es un razonamiento válido. hasta llegar a la conclusión. que llamaremos c’. el siguiente teorema: “Si a. por el método directo. habíamos partido de aceptar la verdad del antecedente. obtenemos 6) c = a ⋅ c' De esta última podemos concluir. ya que. a es divisor de b y b es divisor de c. tendremos que lo que debemos demostrar es: [(a|b) ∧ (b|c)] ⇒ (a|c) De acuerdo al método directo debemos partir de aceptar la verdad del antecedente. que el proceso de demostración consiste en encadenar una serie de proposiciones. que era lo que necesitábamos para demostrar la implicación planteada. En este ejemplo partimos de aceptar la verdad del antecedente: [(a|b) ∧ (b|c)] 60 . Es decir. Ejemplo 1: Demostremos. qué a|c De esta manera queda establecida la verdad del consecuente. obtenemos 4) c = a ⋅ (a' ⋅ b') Ahora bien.P. si tanto a’ como b’ son números naturales. por definición. Es decir: 5) c’ = a' ⋅ b' Por lo tanto. b y c son números naturales.

los convertimos en fracciones 1 −1 = −1 1 Aplicando la raíz cuadrada en ambos lados obtenemos 1 −1 = −1 1 Que equivale a 1 −1 = −1 1 Pero i = − 1 (número imaginario) y 1 i = podemos sustituirlo. naturales. obteniendo i 1 Reordenando la ecuación para eliminar las fracciones. ∴ a|c El estudiante puede elegir cualquiera de las formas presentadas. obtenemos Y ya que por definición i 2 = − 1 y además 12 = 1 . bien por axiomas. propiedad asociativa [c = a ⋅ (a' ⋅ b') ] ⇒ (c = a ⋅ c' ).y a partir de allí encadenamos seis proposiciones. que terminan en una contradicción por lo que debe existir un error en la demostración. tal que. Ejemplo 2 a) Demostración de que 1 equivale a −1 para lo cual − 1 = −1 iniciamos: Ahora. cada “eslabón” del encadenamiento de proposiciones. el proceso de demostración seguido anteriormente. todas ellas conocidas. A continuación presentamos cuatro demostraciones donde se utiliza el método directo. ya que aplica mal el siguiente principio de las raíces cuadradas: x x = y y 61 .b’ son números Nos. c’ = a' ⋅ b' (c = a ⋅ c' ) ⇒ (a|c). tenemos como resultado Esta demostración no es válida. En forma esquemática. es así: (a|b) ∧ (b|c) [(a|b) ∧ (b|c)] ⇒ [ (b = a ⋅ a' ) ∧ (c= b ⋅ b' )]. siempre y cuando. hasta llegar a la conclusión. definiciones o teoremas previamente demostrados. hecho que nos autoriza a su utilización en nuestro proceso de demostración. c’ es un número natural. a’. quede claramente justificado. [ (b = a ⋅ a' ) ∧ (c= b ⋅ b' )] ⇒ [c = (a ⋅ a') ⋅ b' ] [c = (a ⋅ a') ⋅ b' ] ⇒ [c = a ⋅ (a' ⋅ b') ].

62 . en ambos casos.. se cumple que P → Q es verdadero. da como 1<0 resultado d) Demostración de que 0 equivale a 1 A continuación les damos los pasos que justifican esta 0 = 0 + 0 + 0 + .. reales se utilizan en cada paso. igualmente. verdadera o falsa y. existen de nuevo. indique que 0 = (1 − 1) + (1 − 1) + (1 − 1) + . con lo que resulta. Para aplicar el método indirecto de demostración. c) y d). el cual. dos posibilidades: a) Que P sea sólo falsa. b) Demostración de que 4 equivale a 2. 2.. b) Que P sea verdadero.. que P → Q es verdadero. Si Q es falsa. Demostración de que 1 < 0. Supongamos que x<1 Ahora tomamos el logaritmo en ambos lados de la Ln(x) < Ln(1) desigualdad. Iniciamos con: 4=4 Restamos a ambos lados de la ecuación 4 – 4 = 4 -4 En un lado factorizamos usando la “suma por su diferencia” y (2 – 2) * (2 + 2) = 2 (2 en el otro lado se factoriza por 2 – 2) Cancelamos los términos iguales a cada lado de la ecuación (2 (2 + 2) = 2 – 2) Nos queda como resultado 4=2 c. lo que invalida toda la demostración. Método Indirecto Supongamos.. es el único caso en que P → Q es falso. Además indique donde está el 0 = 1 error en la demostración Se deja al lector para que indique la razón de la invalidez de las demostraciones b). que deseamos demostrar que el condicional P → Q es un teorema. una de estas dos variables es un número negativo. existiendo dos posibilidades: 1.. propiedad de los números 0 = 1 + (− 1 + 1) + (− 1 + 1) + (− 1 + 1) + . Podemos hacerlo siempre que x > 0. 0 = 1 + 0 + 0 + 0 + . demostración. P puede ser indistintamente. porque los logaritmos crecen monótonamente Si tenemos en cuenta que el logaritmo de 1 es 0. En la “demostración” anterior. obtendremos Ln(x) < 0 Dividir por Ln (x) ambos lados de la inecuación.. partimos de Q . Si Q es verdadera. de nuevo.Este principio sólo es correcto cuando tanto x como y son números positivos..

Podemos. que el condicional siguiente: “ Si a . nuestra atención queda centrada en la posibilidad 2. entonces. de acuerdo al P. lo representamos como sigue: ~Q ~ Q ⇒ Q1 Q1 ⇒ Q2 Q2 ⇒ Q3 . b y c son números naturales.Por lo tanto.P. es fácil observar que el método indirecto. . Ejemplo 2: Demostraremos por el método indirecto. El encadenamiento de proposiciones desde ~ Q hasta ~ P . es un razonamiento válido. es un teorema. Esquemáticamente. apoyado en las reglas Silogismo Hipotético y Ponendo Ponens. La posibilidad 1) no requiere de demostración.b) no debe ser posible. 63 . entonces el caso 2. en el método indirecto. de forma que el esquema puede resumirse como sigue: ~Q ~ Q ⇒~ P ∴~ P el cual es un razonamiento válido. el proceso de demostración. a + c es menor que b + c. entonces a es menor que b”. Qn ⇒ ~ P ∴~ P Planteado así. al igual que el directo. . en consecuencia. decir: el método indirecto consiste en partir de la falsedad del consecuente y establecer la falsedad del antecedente. recordando la equivalencia: (P → Q ) ≡ (~ Q →~ P ) Bastaría con demostrar que el condicional ~ Q → ~ P es un teorema. tales que. Visto de otra forma..H. si queremos demostrar que P → Q es un teorema. es una aplicación sucesiva del S. si el propósito es demostrar que P implica Q .a).

por definición. podemos escribir: 1) a = 2k por lo tanto 2) a2 = (2k)2 de donde 3) a2 = 4k2 que también podemos escribir. Para denotar la expresión “mayor o igual que” usaremos el símbolo “ ≥ ”. 5) k’ = 2k2 sustituyendo 5) en 4) nos queda 6) a2 = 2k’ lo cual. que en este caso resulta: “a es un número par”. es decir: a + c≥b + c Veamos entonces. De este modo. Partiendo de a ≥ b y siendo c un número natural cualquiera. debemos partir de a ≥ b y concluir la falsedad del antecedente. siendo “a” un número entero. entonces 2k2 es también un número entero que llamaremos k’. así: 4) a2 = 2(2k2) Ahora bien. A dicha conclusión hemos llegado. y con ello se demuestra el teorema planteado originalmente. inmediatamente. Ejemplo 3: Demostraremos. siendo k un número entero cualquiera. lo cual.Utilizando el símbolo “<” para denotar la expresión “menor que”. En conclusión. siendo k un número entero cualquiera. lo que debemos demostrar es: (a + c < b + c) ⇒ a < b De acuerdo al método indirecto debemos partir de negar el consecuente. nos indica que a2 es par. Dado que dicho consecuente es “a menor que b”. es decir. de acuerdo con la propiedad asociativa de la multiplicación de los números enteros. es un teorema. Así. del antecedente del condicional originalmente planteado. por definición de número par. su negación sería “a no es menor que b”. entonces “a” es un número impar”. axiomáticamente. es verdad que : a + c≥b + c Así. la falsedad del consecuente. debemos partir de plantear la negación del consecuente. podemos observar que es la negación. sabemos que. partiendo de la negación del 64 . el condicional siguiente: “Si a2 es un número impar. De acuerdo al método indirecto. por el método indirecto que. queda establecida. también podemos expresar: “a es mayor o igual que b”.

∴ a2 es un número par. El proceso de demostración. Veamos así. utilizando el método indirecto de demostración. c es Nº natural ∴ a + c≥b + c Aquí hemos demostrado (a ≥ b) ⇒ a + c ≥ b + c que es equivalente a (a + c < b + c) ⇒ a < b el cual fue el condicional planteado originalmente y ha quedado demostrado. usando el método indirecto. en efecto. a es un número par a es un número par ⇒ a = 2k. podemos plantearnos. tal que k’ = 2k2 a2 = 2k’ ⇒ a2 es un número par. k es un entero (definición de número par) a = 2k ⇒ a2 = (2k)2 a2 = (2k)2 ⇒ a2 = 4k2 a2 = 4k2 ⇒ a2 = 2(2k2). 2.consecuente del mismo condicional. axioma. planteado esquemáticamente. propiedad asociativa a2 = 2(2k2) ⇒ a2 = 2k’. se trata de una implicación.” que equivale a “Si a2 es un número impar. como punto de partida. entonces a2 es un número par. a≥b (a ≥ b) ⇒ (a + c ≥ b + c) . lo cual nos demuestra que.” El cual fue el condicional originalmente planteado y ha quedado demostrado que es un teorema. Método de Demostración por Reducción al Absurdo También es llamado método de demostración por contradicción. que hemos demostrado “Si a es un número par. k’ es un entero. en los dos ejemplos anteriores. 65 . entonces a es un número impar. es como sigue: 1. que es un teorema. que dicho condicional no sea en realidad un teorema. Si deseamos demostrar que el condicional P → Q es un teorema.

lo cual nos demuestra que P → Q es siempre verdadera. significa que por lo menos uno de ellos no lo es. m ⋅ n = 2(km) Dado que k y m son. ambos impares. Haciendo el producto de m y n obtenemos m ⋅ n = m ⋅ (2k) lo cual. entonces m y n son ambos impares. digamos R ∧ ~ R que es siempre falsa. que n sea par. ambos. P ⇒ Q que es lo que queríamos demostrar originalmente. tendremos que habremos demostrado (~ Q ∧ P ) ⇒ (R ∧ ~ R ) Esto significa que ~ Q ∧ P es. Para aplicar el método por reducción al absurdo debemos partir de ~ Q ∧ p Es decir: “m y n no son. Es decir. esto nos demuestra que el condicional original es un teorema. impares y m ⋅ n es impar” Así. entonces su producto también es un número entero que llamaremos k’. entonces. de acuerdo con la propiedad conmutativa y asociativa de la multiplicación de los números enteros.” Simbolizando a las proposiciones tenemos p : “ m ⋅ n es impar” Q: “ m y n son. diremos que El método de demostración por reducción al absurdo. ambos. si m y n no son. podemos escribir. siempre falsa. Por definición de número par será: n = 2k donde k es un número entero cualquiera. tales que. m ⋅ n es un número impar. Si en el encadenamiento de proposiciones llegamos alguna contradicción. Iniciamos así el proceso de demostración. que la conjunción ~ Q ∧ P es verdadera. Ejemplo 4: Para demostrar que el siguiente condicional es un teorema: “Si m y n son números enteros. Supongamos. es decir. ambos números enteros. En resumen. k’ = km por lo tanto: m ⋅ n = 2k’ 66 . entonces que p → Q es un teorema.Esto significa que Q puede ser falsa y P verdadera. es decir. tomando como hipótesis a la anterior conjunción. consiste en partir de la negación del consecuente y la afirmación del antecedente y si en el proceso de demostración llegamos a alguna contradicción. impares” Debemos demostrar. entonces.

en realidad. tal condicional es: [ (6|n) ∧ (4|n)] → (24|n) Basta un ejemplo contrario. impares y m ⋅ n es impar entonces n es par (m y n son Enteros) n es par ⇒ n = 2k (definición de Nº par) n = 2k ⇒ m ⋅ n = m ⋅ (2k) m ⋅ n = m ⋅ (2k) ⇒ m ⋅ n = 2(km) (propiedades conmutativa y Asociativa) m ⋅ n = 2(km) ⇒ m ⋅ n = 2k’ (k’ es un entero. siendo el antecedente verdadero. no es un teorema. por definición. para demostrar que no se trata de una implicación. nos indica que el condicional puede ser falso y. en efecto p⇒Q Utilizando un esquema de representación semejante a los usados en los métodos anteriores. lo cual. entonces es divisible por 24” En símbolos. esto es. contradice a p que afirma que m ⋅ n es impar. que m ⋅ n es un número par. lo cual. Para esto es útil el caso del entero 12. el consecuente resulte falso. Esta contradicción nos demuestra. no es una implicación. el cual es divisible por 6 y por 4 y. k’ = km) m ⋅ n = 2k’ ⇒ m ⋅ n es par ∴ m ⋅ n es par ∧ m . obtener al menos una posibilidad en que. que P no implica Q (P ⇒ Q ) Ejemplo 5: Demostrar. n es impar Demostración por Contraejemplo Este método nos permite demostrar que un condicional dado no es un teorema. sin embargo. tal que. n es divisible por 6 y por 4. la anterior demostración podemos escribirla como sigue: m y n no son. que el siguiente condicional no es un teorema: “Si n es un número entero. o sea. tal que. ambos. 67 . Consiste en dar un contraejemplo. no es divisible por 24.Esto significa. vemos que el número entero 12 hace verdadera (6|n) ∧ (4|n) y hace falsa a 24|n. Así. en consecuencia. por contraejemplo. que. de acuerdo a lo explicado anteriormente. Esto nos demuestra que el condicional planteado originalmente.

entonces 3n-10 es mayor que 5 c. (n y m son naturales) f) Si m ⋅ n es menor que 20. entonces m es impar. c) Si a y b son pares. ( n y m son enteros) b) Si m ⋅ n es impar y n es impar. entonces a ⋅ c < b ⋅ c e. entonces a es par.2. 14. entonces a ⋅ c > b ⋅ c 68 . entonces x −1 es un número real diferente de cero. entonces a ≤ b b. Si n es un número entero mayor que 5.1. entonces m ⋅ n es menor que 20. entonces a ⋅ b es impar.Ejercicios Propuestos: 14. Si a < b y c < 0 . c) Si x es un número real diferente de cero. ( n y m son enteros) 14. 2 no es un número racional b) Si a + c ≤ b + c . ( n y m son enteros) e) Si n es menor o igual que 5 y m es menor o igual que 4. Demuestra si los condicionales siguientes son o no teoremas: a) Si n es menor que 3 y m es menor que 6. entonces n es menor que 3 y m es menor que 6. d) Si a2 es par. a) Si x e y son números reales diferentes de cero. Si a < b y c > 0 . Si a < b y c < d entonces a + c < b + d d. entonces m ⋅ n es menor o igual a 22. entonces a + b es par d) Si m ⋅ n es menor o igual a 22. entonces x ⋅ y es un número real diferente de cero. b) Si a y b son números impares. Determina si los condicionales siguientes son teoremas.3 Resuelva los siguientes ejercicios y describe el método utilizado: a. entonces n es menor o igual que 5 y m es menor o igual que 4.

(2007). tenemos: 69 .. Pk +1 es verdadera. si la proposición Pk es verdadera. Pn . P2 . Κ . si a los dos miembros de la igualdad (ii) le sumamos k + 1 . Κ son verdaderas.. González. Caracas. P3 . P2 . LECTURA N° 15: MÉTODO DE INDUCCIÓN MATEMÁTICA Tomada con fines instruccionales Gómez. puesto que para n = 1 . Lorenzo J. Κ . Pn . T. N. P3 . 1-5). Κ . Pn . b) Para todo k ∈ N . tendremos: k (k + 1) 1 + 2 + 3 + Κ + k + (k + 1) = + (k + 1) . n=k: k (k + 1) Pk : 1 + 2 + 3 + Κ + k = (ii) 2 Vamos a demostrar que. P3 . En efecto. Dada la sucesión de proposiciones: P1 . Pk es verdadera. es decir. donde n(n + 1) Pn : 1+ 2 + 3 +Κ + n = (i) 2 Ahora bien: 1 ⋅ (1 + 1) a) P1 es verdadera. Artículo no publicado (p. podemos asegurar que P1 . Ejemplo 1: Demostrar por el método de inducción matemática que: n(n + 1) 1+ 2 + 3+Κ + n = 2 Para demostrar la fórmula anterior bastará con probar que las siguientes proposiciones: P1 . Κ son verdaderas. Κ y supongamos demostrar que: a) La proposición P1 es verdadera. Inducción Matemática. Entonces. 2 Resolviendo el lado derecho de la ecuación anterior. P2 . entonces Pk +1 también lo es. P1 : 1 = 2 b) Si suponemos ahora que para cualquier valor de k .

Pk +1 es verdadera. por el método de inducción matemática queda demostrado que: P1 . si Pk es verdadera. para n = k : Pk : 2 k < 2 k +1 (ii) Vamos a demostrar que. para todo n entero positivo. 70 . Pn . P3 . puesto que para n = 1 . Κ . se tiene que: 2 n < 2 n +1 . al sustituir n = k + 1 . donde Pn : 2 n < 2 n +1 (i) Ahora bien: a) P1 es verdadera. P2 . demostramos que : P1 es verdadera y para cualquier valor de k entero positivo. k (k + 1) + 2(k + 1) 1 + 2 + 3 + Κ + k + (k + 1) = 2 Sacamos factor común (k + 1) en el lado derecho de la ecuación y obtenemos: (k + 1)(k + 2) 1 + 2 + 3 + Κ + k + (k + 1) = (iii) 2 Y observamos que la ecuación anterior (iii) equivale a Pk +1 . Pn . para cualquier valor de n entero positivo. P1 : 21 < 21+1 . Pk es verdadera. b) Si suponemos ahora que para cualquier valor de k . P2 . Κ es verdadera . Para demostrar la fórmula anterior bastará con probar que las siguientes proposiciones: P1 . entonces Pk +1 es verdadera Por lo tanto. es decir. Κ . se cumple : n(n + 1) Pn : 1+ 2 + 3 +Κ + n = 2 Ejemplo 2: Para demostrar por el método de inducción matemática que. es decir. es decir : 2 < 4 es verdadera. en (i) (k + 1)[(k + 1) + 1] Pk +1 : 1 + 2 + 3 + Κ + k + (k + 1) = 2 (k + 1)(k + 2) Pk +1 : 1 + 2 + 3 + Κ + k + (k + 1) = 2 En resumen. Κ son verdaderas. P3 .

+ n 2 2 3 71 . Demostrar si las siguientes proposiciones son verdaderas para cualquier valor de n ≥ 2 : n3 a) 12 + 22 + 32 + . Probar que la suma de los cuadrados de los primeros números naturales es n(n + 1)(2n + 1) .4 n(n + 1) n + 1 n(4n 2 − 1) Demostrar que 12 + 32 + 52 + .. P2 .. es decir Pk +1 : 2 k +1 < 2 k + 2 En resumen. + = 1. para cualquier valor de n entero positivo. Demostrar que + + + ..3 3. P3 . Demostrar que 1 + 3 + 5 + 7 + . multiplicamos por 2 ambos miembros de la desigualdad y esta no se altera y nos queda: 2 k ⋅ 2 < 2 k +1 ⋅ 2 ..2 2. + (n − 1) < < 12 + 22 + 32 + . al sustituir n = k + 1 . en (i) Pk +1 : 2 k +1 < 2 ( k +1) +1 ...3.... Κ . probar que: 6 n(n + 1)(2n + 1) 12 + 22 + 32 + . + (2n − 1) = n 2 para cualquier número n ∈ N 15. Resolviendo las potencias de ambos lados de la desigualdad anterior.5. si Pk es verdadera.Como 2 es positivo. Ejercicios Propuestos: 15..4- 3 15.. Pn .2. tenemos: 2 k +1 < 2 k + 2 (iii) se cumple y observamos que la ecuación anterior (iii) equivale a Pk +1 .1. demostramos que: P1 es verdadera y para cualquier valor de k entero positivo. + n 2 = 6 1 1 1 1 n 15.. Κ es verdadera . es decir. es decir. + (2n − 1) = 2 15. por el método de inducción matemática queda demostrado que: P1 . se cumple : Pn : 2 n < 2 n +1 es verdadera. entonces Pk +1 es verdadera Por lo tanto.

si ⎝ k ⎠ (n − k )! k! 0 ≤ k ≤ n y k y n naturales ... tiene un área c2 de . a2 . 15.. el triángulo es isósceles. Sabiendo que el número combinatorio está definido por: ⎜⎜ ⎟⎟ = . + (n − 1) < < 13 + 23 + 33 + . 4 72 .. an viene dada por: i =1 ai = a1 + a2 + ..6. demostrar las siguientes fórmulas: ⎛n⎞ ⎛ n ⎞ a) ⎜⎜ ⎟⎟ = ⎜⎜ ⎟⎟ ⎝k ⎠ ⎝n − k ⎠ (a + b )n = ∑ nk = 0 ⎛⎜⎜ n ⎞ k n−k b) ⎟⎟a b (fórmula del binomio de Newton sabiendo que... n4 b) 1 + 2 + 3 + .Demostrar que si el triángulo rectángulo ABC de lados a y b e hipotenusa c.. entonces. la ⎝k ⎠ ∑ n suma de los números a1 .. + n3 3 3 3 3 4 ⎛n⎞ n! 15.. + an ∑ n El símbolo i =1 ai se le llama sumatoria.7.

1-2). ya que la función que se nos viene inmediatamente a la mente. González. teoremas y otros)“. considera la iluminación y la sistematización como una de las funciones de una demostración y define: La iluminación: se espera que una buena demostración proporciona ideas de por qué es cierta. Reid (2002) propuso cinco dimensiones de una demostración.. T. tanto dentro como fuera de las matemáticas. sobre este tema. Hanna (2000) incorpora la función de construcción de una teoría empírica. “Bell citado por Ibáñez (2001). explicando su estructura axiomática y ayudando a las aplicaciones. Hemos encontrado que ésta no es la única función de las demostraciones. La necesidad la define como la función de la demostración y la valora como explicación. Funciones de las Demostraciones Matemáticas. ya que con este trabajo intelectual en ocasiones se pueden llegar a nuevos resultados. A continuación daremos algunos enfoques de autores. De igual manera. la exploración de un significado de una definición o la consecuencia de una suposición y la incorporación de un nuevo conocimiento hecho a una nueva estructuración. Siguiendo a los autores anteriores. Caracas.. la iluminación y la comprensión. También incluye la función de comunicación. Lorenzo J. exploración y verificación. N. ¿Para qué las demostraciones matemáticas? ¿Qué aporta una demostración a la formación intelectual de un individuo? Para responder estas preguntas. Este autor considera. además. entre las que se destacan la necesidad. partiendo de unos datos iniciales (hipótesis). La sistematización: organización de un sistema deductivo de la teoría (axiomas. LECTURA N° 16: ALGUNAS FUNCIONES DE LAS DEMOSTRACIONES MATEMÁTICAS Tomada con fines instruccionales Gómez. las funciones de descubrimiento. 73 . nos pasearemos por algunos enfoques sobre las funciones de las demostraciones. (2007). otro autor De Villiers (1993) destaca la función de explicación e insiste en la función de sistematización. Artículo no publicado (p. es la de verificación de un resultado (tesis). Otro autor. como una manera de expresar los resultados ante otros profesionales. lo que permite un análisis crítico de aciertos y desaciertos. afirmaciones y teoremas en sí. estudiantes. pues la demostración integra conceptos.

es posible describir procesos de dicha realidad. Presentamos a continuación un esquema donde resume algunas de las funciones más importante del por que de una demostración. se quiere contribuir a la formación de un individuo de una manera más integradora. de tal manera que el individuo aplique en la práctica el saber. por medio de sus conocimientos.Tomando en cuenta lo expuesto por los autores. la necesidad de articular la realidad con la teoría. FUNCIONES DE UNA DEMOSTRACIÓN CONSTRUCCIÓN VERIFICACIÓN FORMACIÓN INTELECTUAL DEL COMUNICACIÓN INDIVIDUO EXPLICACIÓN DESCUBRIMIENTO ILUMINACIÓN SISTEMATIZACIÓN 74 . lo cual nos puede llevar a responder cualesquiera de las dos preguntas iniciadas en esta lectura. para comprender de forma más exacta como.

D. son agrupables. que pueden ser tangibles o no. B. esos. Enteros. C. R y C. los cuales. aun cuando no demos definiciones formales para los conceptos antes mencionados. nos permitiremos utilizarlos. que constituyen unidades completamente identificables. Es a partir de estos tres conceptos: elemento. pertenencia y conjunto. NOTACIÓN Los conjuntos serán identificados con letras mayúsculas. está construida sobre la base de conceptos. a menos que ellos sean. Racionales. Z. Ediciones de la Biblioteca. conjuntos. tales como: A. y. ellos deben ser plenamente identificables. conformando lo que conocemos como “conjunto”. por ser intuitivos y comprensibles. de acuerdo a cualquier tipo de criterio. En este sentido. con el objeto de lograr un desarrollo teórico formal. Matemáticas para Estudiantes de Administración y Economía. sin embargo. A la vez. 87-91). Mientras que los elementos se identificarán con letras minúsculas. Vale la pena señalar que lo usual es utilizar las primeras letras del abecedario (a. La teoría que nos ocupa en este capítulo. b. respectivamente. se reservan las letras mayúsculas: N. asumiendo que los estudiantes están familiarizados con 75 . (p. c. Por lo tanto. elementos. Caracas. Además. que se desarrolla la teoría que estudiaremos a continuación. como por ejemplo a. b.…) para denotar elementos que estén perfectamente determinados y reservar las últimas (…. Sabemos que en la realidad existen “cosas”. Reales y Complejos.C. “elementos”. se hace necesario disponer de un adecuado sistema de representación o identificación. en diversos ejemplos. etc. UNIDAD 4 TEORÍA DE CONJUNTOS LECTURA N° 17: CONCEPTOS BÁSICOS Tomada con fines instruccionales Gallo. Tales conjuntos son tratados de manera específica más adelante en la sesión: “Conjuntos Numéricos”. Tercera Edición. U. d. (1996). en el caso de la notación para conjuntos. “entes”.V. a su vez. Q. Es importante destacar que. x. no es necesario definirlos formalmente. para los llamados conjuntos de los números: Naturales. etc. “objetos”. z) para elementos genéricos o indeterminados. c. decimos que los elementos pertenecen a conjuntos. C.

es decir sin el cero. b. al cual. enunciaremos con frecuencia proposiciones tales como: “el elemento a pertenece al conjunto A” la cual expresaremos mediante a∈A que se lee “a pertenece a A”. Por Extensión Diremos que un conjunto está determinado por extensión si detallamos o enumeramos todos y cada uno de los elementos que pertenecen a dicho conjunto. por lo tanto. Su negación la escribiremos a∉A la cual. desde este momento. si un elemento específico pertenece o no a un conjunto determinado. sin ambigüedad. sin lugar a dudas. c. todos los conjuntos pueden determinarse de dos formas diferentes por extensión o por comprensión. leeremos “a no pertenece a A”. mientras que cuando usamos la notación N* nos referiremos a los naturales a partir del uno. podemos escribir: A = {a. Así. 76 . de acuerdo al ejemplo anterior tenemos que c ∈ A . se le considera una sola vez.ellos debido a sus estudios previos. d . mientras que n ∉ A . DETERMINACIÓN DE CONJUNTOS En general. para mayor claridad y precisión de nuestras expresiones tener presente lo siguiente: 1) Cada conjunto debe determinarse claramente. Cambiar el orden de colocación de los elementos dentro de un conjunto no significa que dicho conjunto ha cambiado. Ningún elemento debe estar repetido y en caso de que esto ocurra. 2) Los elementos de un conjunto deben ser distintos entre si. para expresar al conjunto formados por las cinco primeras letras del alfabeto. en relación al conjunto de los números naturales. Sólo debemos destacar aquí una diferencia de notación que usaremos. denotaremos con la letra A. De forma tal. que pueda establecerse. 3) No importa el orden en que se escriben los elementos de un conjunto. Los conjuntos deben expresarse escribiendo los elementos que los constituyen encerrados entre llaves. Por ejemplo. Es importante. e} RELACIÓN DE PERTENENCIA La relación que se establece entre elementos y conjuntos es la llamada relación de pertenencia. Hemos dicho antes que los elementos pertenecen a conjuntos. Ella se refiere a que cuando usemos la letra N nos estaremos refiriendo a los números naturales incluido el cero.

tal que nos permita establecer. ya que sólo así podremos calificarla de verdadera o falsa. a dicho conjunto. o propiedades. es el mismo en ambos casos. y solo a ellos. el conjunto A. si cierto elemento pertenece. los conjuntos que poseen infinitos elementos. Así. En la determinación de conjuntos por comprensión se usan con frecuencia símbolos que simplifican las expresiones. Así. El conjunto A. así como en el enunciado de propiedades. puede ser expresado de las dos formas. puede escribirse A = {x : x ∈ N ∧ x < 50 ∧ 3 | x ∧ 5 | x} Donde el símbolo “:” se lee “tal que”. que caracterizan a sus elementos. en general. se escribirá el símbolo P(x) que representa una propiedad relativa a un elemento indeterminado x. Sin embargo. En las definiciones de los conceptos que siguen a continuación. De esa manera. se utilizará una forma general de determinación de los conjuntos por comprensión. de los ejemplos anteriores. En el caso del ejemplo presentado tenemos que: p(4): 4 es par (V) p(7): 7 es par (F) 77 . teoremas y sus respectivas demostraciones. para cada asignación de un valor a x. que venimos utilizando como ejemplo. en la cual. inequívocamente. obtenemos una proposición. Por ejemplo: A = {números naturales menores que 50 y múltiplos de 3 y de 5 } Un conjunto que posea un número finito de elementos. es importante destacar que el enunciado “x es par” no es una proposición. 30. determinado primero por extensión y luego por comprensión. entonces es p(x): x es par Ahora bien. sólo pueden ser determinados por comprensión. o no. por ejemplo. si queremos referirnos a los números pares. 45} Por Comprensión Diremos que un conjunto está determinado por comprensión si damos una propiedad. Tal enunciado se convierte en una proposición cuando se especifica el elemento x. Por ejemplo: A = {15.

Entonces, cuando queremos expresar de manera general a un cierto conjunto, digamos A,
determinado por comprensión, como el conjunto de elementos x que satisfacen una cierta
propiedad, digamos P(x), escribimos
A = {x : P ( x)}
En consecuencia, para un elemento dado a , dado, diremos que:
a ∈ A ⇔ P(a) es V
a ∉ A ⇔ P(a) es F
Nuevamente tomando el caso del conjunto A de los ejemplos anteriores, tenemos que es
P( x) : x ∈ N ∧ x < 50 ∧ 3 | x ∧ 5 | x
En consecuencia, 30 ∈ A, ya que, P(30) es verdadera, mientras que 10 ∉ A, por ser P(10)
falsa.
En general, todos los conjuntos pueden ser determinados por comprensión. 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
específicos, según hemos visto, constituyen proposiciones que cuando son verdaderas
nos establecen que el elemento en cuestión pertenece al conjunto de que se trate y
cuando son falsas nos establecen lo contrario. Vemos así, que las proposiciones juegan
un papel básico en la definición de los conjuntos y por, lo tanto, la Lógica Proposicional
constituye un apoyo fundamental en el desarrollo de la Teoría de Conjuntos.

LECTURA N° 18: TIPOS DE CONJUNTOS
Tomada con fines instruccionales

Kleiman, A. y de Kleiman, E. (1972). Conjuntos.
Aplicaciones Matemáticas a la Administración.
Editorial Limusa Wiley. Primera edición. (p. 87-91).
Caracas.

CONJUNTOS ESPECIALES

Conjunto universal
En el análisis de una situación particular, hay un conjunto o colección 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 situación. 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 según la situación particular de que trate;
2. Aún 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 urólogos, dermatólogos, pediatras y
cirujanos, el universo más adecuado es el conjunto de los médicos.
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 algún 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 específica.
Ejemplo 3: sea el conjunto de los alumnos con calificación promedio de ocho o más
puntos. El conjunto universal puede ser, según el estudio o situación 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, etcétera.
Esa relativa libertad de elección a que hemos hecho referencia no debe interpretarse en el
sentido de que Ω es un conjunto impreciso o de naturaleza variables. Al analizar una
situación determinada una vez que se ha decidido cuál es el conjunto universal Ω , ese
conjunto permanece fijo y todos los demás conjuntos mencionados en la misma discusión
se forman con elementos de ese Ω .

Conjunto vacío
Aunque a primera vista parezca extraño, resulta conveniente hablar acerca de conjuntos
sin elementos. Un conjunto que no posee elementos se denomina conjunto vacío o
conjunto nulo, y se lo designa por el símbolo φ o por { }.
Por ejemplo, los siguientes son conjuntos vacíos:
A = {x : x es una persona de más de 200 años de edad}
B = {y : y es un océano de agua dulce}
C = {z : z es el conjunto de los números naturales mayores que 5 y , menores que 6}
D = {w : w2 = - 1, w es un número entero}.
Es importante advertir que φ es distinto de 0 y de {0} . En efecto:
i) φ es un conjunto sin elementos;

79

ii) {0} es un conjunto con un solo elemento, el número 0;
iii) 0 es un número y no un conjunto
Muchas veces se define un conjunto vacío recurriendo a un par de condiciones
mutuamente contradictorias, tales como:
M = {m : m es un burro con alas}
N = {n : n es un ser viviente con 6 narices}.

Conjuntos Finitos e Infinitos
El número de elementos de un conjunto no vacío, puede ser finito o infinito. Es finito
cuando se puede listar exhaustivamente sus elementos en algún 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 periódicos de un
país, los proveedores de la industria de la construcción, etc.
Ejemplos de conjuntos infinitos: el conjunto de los enteros positivos, el número de rectas
que pasan por un punto, etcétera.
Estos conjuntos son infinitos porque no es posible listar todos sus elementos y enumerar
explícitamente la totalidad de ellos. El proceso de conteo de los elementos nunca termina
para un conjunto infinito.
La notación para el conjunto de los números naturales (enteros positivos) es la siguiente:
N = {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 notación se emplea a menudo, pero no es muy satisfactoria
desde el punto de vista lógico. En sentido estricto el método de listado o de enumeración,
es inaplicable a conjuntos infinitos. Para especificar correctamente un conjunto infinito se
debe citar alguna propiedad definitoria, es decir especificarlo por comprensión.
Los conjuntos infinitos se presentan en muy diversos problemas concretos. Por ejemplo,
en el control estadístico de calidad, los analistas del proceso de producción pueden
considerar que la máquina bajo observación 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 número de elemento de ese es inmenso, no
deja de ser un conjunto finito.

80

U. no es lo mismo que el universo sea el conjunto de todos los estudiantes de la Universidad Central de Venezuela en un año determinado. la disyunción inclusiva P( x) ∨ ~ P( x) es siempre verdadera. Por ejemplo. está claro que el conjunto universal o referencial no es único. al conjunto universal. pertenecen todos los elementos de la situación de que se trate. Estando A definida a través de P(x) . Ediciones de la Biblioteca. que el de los estudiantes de todas las universidades venezolanas o que el de todas las universidades latinoamericanas. (1996). Vemos así. como los que no pertenecen a A . 81 . que el conjunto universal se define a través de una tautología. es decir. pertenecen todos los elementos de una situación dada o de interés. Esto es. Esto quiere decir que al conjunto universal U lo podemos definir por comprensión de la siguiente manera: U = {x : P ( x) ∨ ~ P ( x)} Podemos observar que cualquier x. 94-99). sino que depende de la situación en particular que se esté tratando. o bien el símbolo Ω (letra griega mayúscula “omega”). entonces a U pertenecen aquellos elementos que hacen verdadera a P(x) y también pertenecen los que la hacen falsa. o referencial. al cual. Tercera Edición. a U lo conforma tanto los elementos de A . En otras palabras. C. hará verdadera a P( x) ∨ ~ P( x) . si nos planteamos una investigación estadística sobre la educación. tal que: A = {x : P ( x)} De acuerdo con la definición dada. veamos como se manifiesta dicha equivalencia en el caso de la definición dada para el conjunto Universal. CONJUNTO UNIVERSAL Llamamos Conjunto Universal o Conjunto Referencial aquel conjunto.V. Para denotar al conjunto universal se utiliza la letra mayúscula U. establece las fronteras. Partiendo de este concepto. (p.C. Supongamos que A sea un conjunto dado. delimita las áreas de trabajo. Tal delimitación depende del objetivo específico que se persiga con la investigación. Matemáticas para Estudiantes de Administración y Economía. de la situación de que se trate. U. Caracas. LECTURA N° 19: MAS SOBRE CONJUNTOS ESPECIALES Tomada con fines instruccionales Gallo. Siendo consecuentes con nuestra intención de evidenciar la equivalencia existente entre el lenguaje utilizado en Teoría de conjuntos y el utilizado en Lógica Proposicional. El conjunto universal establece una referencia (también se le dice universo).

la cual. son iguales entre sí. Esta importante afirmación. El conjunto vacío es único. Para todas las situaciones de que se trate. Ejemplo Sea el conjunto A = {x : (x ∈ Z ) ∧ ( x > 3) ∧ ( x < 5)} 82 . Dado que a él no pertenece ningún elemento. Ejemplo Sea el conjunto A = {x : (x ∈ Z ) ∧ (7 x − 3 = 0 )} Podemos observar que ningún número entero hace verdadera a 7 x − 3 = 0 Esto es ∃ x ∈ Z : 7x − 3 = 0 Por lo tanto. Al conjunto vacío también lo podemos definir a través de proposiciones. no existen conjuntos vacíos diferentes entre sí. definirá al vacío. y tienen en el llamado conjunto vacío a su representante. En el caso que ningún x hace verdadera a P ( x) ∧ ~ P ( x) Por lo tanto φ = {x : P( x) ∧ ~ P( x)} Vemos así. sobre la unicidad del vacío. una vez que hayamos estudiado la relación de inclusión y la propiedad antisimétrica de dicha relación.CONJUNTO VACIO Llamamos Conjunto Vacío a aquel conjunto que no tiene elementos. los conjuntos que no tengan elementos. el conjunto A no tiene elementos y decimos que es vacío. A = φ CONJUNTO UNITARIO Llamaremos Conjunto Unitario a aquel conjunto. Es decir. al cual pertenece un solo elemento. será formalmente demostrada mas adelante. que el conjunto vacío puede ser definido a través del enunciado de cualquier contradicción. Para denotar al conjunto vacío utilizamos el símbolo φ (letra griega mayúscula “phi”). constituye el instrumento de demostración. esto es. entonces cualquier enunciado que no pueda ser verdadero para ningún elemento.

c} f) {a. b. b. cuando tengamos expresiones tales como (x > a ) ∧ (x < b ) Donde a y b son números tales que a < b . c} 83 . ahora. {{a}} La primera se refiere al elemento a. en general. b}∈ {a. lo cual. c. es importante destacar. justificando sus respuestas: a) a ∈ {{a}} b) {a. es sólo satisfecho por el entero 4 y de ahí que digamos que A es un conjunto unitario. Aprovechamos este ejemplo para plantear que. también unitario. b}} c) {a. el conjunto A .Diga cuales de las siguientes expresiones son verdaderas. que sean mayores que a y menores que b. leemos “x es mayor que a y menor b” y nos indica. se refiere a los números comprendidos entre a y b. decimos que A es A = {4} Habiendo dado la definición para conjunto unitario. Luego.Determinar por extensión los siguientes conjuntos: A = {x : ( x = 2n − 1) ∧ (n ∈ N * ) ∧ ( x ≤ 5)} B = {x : ( x = 2n ) ∧ (n ∈ N * ) ∧ ( x ≤ 10)} C = {x : ( x ∈ Z ) ∧ (− 25 ≤ x 3 ≤ 50)} D = {x : ( x = 2n + 1) ∧ (n ∈ N * ) ∧ ( x ≤ 9)} E = {x : ( x ∈ N ) ∧ (x 2 − 2 x + 8 = 0)} F = {x : (x ∈ N * ) ∧ ( x + 2 ≤ 11)} 2. cuyo único elemento es el conjunto {a}. a. a él pertenecen los números enteros que son. {a}. igual a la de arriba. c} = {a. b. a. del ejemplo. {a}} = {a} d) {a.. c} = {b. simultáneamente mayores que 3 y menores que 5. también puede escribirse como sigue: A = {x : ( x ∈ Z ) ∧ (3 < x < 5)} Podemos observar que el único valor de x entero que hace verdadera a la proposición es 4..De acuerdo a como ha sido definido A. Ejercicios: 1. a la vez. la diferencia entre las siguientes notaciones: a. c} ≠ {a. b. a. los números x que satisfacen. suele escribirse de una forma más sencilla como la siguiente: a<x<b La cual. b. {a. Expresado de otra forma. Así. b} e) {a. La segunda se refiere al conjunto unitario cuyo único elemento es a y la tercera se refiere al conjunto de conjuntos.

2.17.13.15} B = {1. 7.13.Si a es un elemento del conjunto B y B es un elemento del conjunto C . 4. 9.Diga cuáles de los siguientes conjuntos son vacíos: A = {x : x es impar y divisible por 2} B = {x : x ∈ Z ∧ x + 3 = 3} C = {x : ( x ∈ R ) ∧ (x 2 = 10 ) ∧ (2 x = 10)} D = {φ } 84 .Expresar por comprensión los conjuntos siguientes: A = {1. 3.16.11..Traducir en palabras lo que significan las expresiones siguientes: a) A = {x : (x ∈ N ) ∧ ( x ≤ 6 )} ⎧ ⎛ 1⎞ ⎫ b) B = ⎨ x : (x ∈ Q ) ∧ ⎜ x + ⎟∈ N⎬ ⎩ ⎝ 2⎠ ⎭ c) C = {x : ( x ∈ N ) ∧ (5 ≤ 4 x − 6 ≤ 30 )} { d) Siendo a una recta del plano: H = r : r es una recta ∧ r a } e) Siendo a una recta del plano: M = {r : r es una recta ∧ r ⊥ a} f) E = {x : ( x ∈ N ) ∧ (2 ≤ 2 x − 3 ≤ 11)} g) F = {x : ( x ∈ N ) ∧ ( x ∈ Z )} 4. 5.. 32. 9.11.19.. 3. 25. 5..16.. 23} D = {1.Expresar simbólicamente los siguientes conjuntos: a) El conjunto de los números naturales pares b) El conjunto de las soluciones reales de la ecuación x 3 − 2 x 2 − x + 2 = 0 c) El conjunto de números naturales que satisfacen la relación: − 16 < 10 x − 78 ≤ 3 5. 36} C = {1.3. 7. 2. 8. ¿se puede concluir que a es un elemento de C ? 7. 4. 64} 6.

(1971). 6. 7. los elementos del conjunto universal U se representan gráficamente por puntos de un cuadrado (o rectángulo) y los subconjuntos por puntos de círculos contenidos en el cuadrado. Con objeto de hacer más intuitivas las cuestiones relativas a conjuntos es aconsejable usar unos esquemas llamados diagramas de Venn. los elementos no los representaremos por puntos de los diferentes contornos (circunferencias y perímetro del cuadrado). 2. U = { 1. 11. 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 círculos. Selecciones Científicas. } 1 A U B 2 7 5 6 8 3 4 9 C 10 12 11 y los subconjuntos: A = { 2. en ellos. 5. 7. 4. 4. 26). 3. Ejemplo: En la figura adjunta se ha representado en un diagrama de Venn. 11 } 85 . 5. 3. Madrid. A. 12. Tercera Edición. Iniciación a la Matemática Moderna. 10. mientras no se advierta lo contrario. Interesa señalar también que. LECTURA N° 20: REPRESENTACIÓN GRÁFICA DE CONJUNTOS Tomada con fines instruccionales Burgos. 9. el conjunto universal. 6. (p. 8 } C = { 10. DIAGRAMA DE VENN. 6 } B = { 5. 8.

T. no importa el orden en el cual se escriben los elementos. ya que los elementos que se repiten se toman en cuenta una sola vez. 5. 7. LECTURA N° 21: RELACIÓN ENTRE CONJUNTOS Tomada con fines instruccionales Gómez. 86 . 7..1). 12} no son iguales porque no poseen los mismos elementos. 5.−6.. González. 2 b) Los conjuntos: {x : x es un número entero negativo mayor que − 8} y {− 7. e) Los conjuntos: {− 4. mientras que el primero no. 5. 7. ya que aún cuando están expresados en forma diferente. 6. 12} son iguales. 7 12} y {− 4. 12} son iguales. d) Los conjuntos {12.−2. el primero por comprensión y el segundo por extensión. Recuerde ⎩ 2 ⎭ 8 que − = −4 y 49 = 7 .−1} son iguales. 12} y ⎧ 8 ⎫ B = ⎨− . e inversamente. Veamos algunos ejemplos: a) Los conjuntos: A = {− 4. 5. 5. 5. N. Caracas.−4. 7. 7.−5.−3. − 4. 7. que todo elemento de B pertenece a A. RELACIÓN DE IGUALDAD Dos conjuntos A y B son iguales si cumplen dos condiciones esenciales: que todo elemento de A pertenece a B.12⎬ son iguales ya contiene los mismos elementos. Cuando los conjuntos A y B son iguales escribiremos A = B y si no son iguales se escribe A ≠ B . c) Los conjuntos: {5. 49 . contienen los mismos elementos.} y {− 4.5. 7. El segundo conjunto contiene a 6. (2007). Igualdad e Inclusión entre Conjuntos. − 4. Artículo no publicado (p. El primer conjunto tiene los mismos elementos del segundo. 12}y {− 4. 5. Lorenzo J.

A ≠ B . esto se denota de la siguiente forma: A⊂ B Propiedades de la Inclusión: 1. Para cualquier conjunto B. Propiedad Antisimétrica. B y C uno contenido dentro del otro. 4. Todo conjunto es subconjunto de si mismo. de la siguiente forma: ( A ⊆ B ) ⇔ (x ∈ A ⇒ x ∈ B ) otra forma de leer A ⊆ B es “A es subconjunto de B”. ∀( x) ∈ A . es decir: A ⊆ A . Es importante señalar que si todos los elementos de un conjunto A pertenecen también a un conjunto B. Por el contrario. Considere tres conjuntos A. por supuesto. en efecto.RELACIÓN DE INCLUSIÓN Esta relación 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. pero no todos los elementos del conjunto B pertenecen a A. 2. Propiedad Transitiva. Propiedad Reflexiva. se tiene que: φ ⊆ B . que x ∈ A 3. esta definición se puede escribir formalmente utilizando la simbología que se conoce hasta ahora. A ⊄ B cuando existe por lo menos un elemento de A que no pertenece a B. es decir: (A ⊆ B ∧ B ⊆ A) ⇒ A = B . se tiene. es decir: A⊆ B y B⊆C Esto implica: A ⊆ C por lo tanto la propiedad queda enunciada así: (A ⊆ B y B ⊆ C) ⇒ A ⊆ C 87 . Si un conjunto esta incluido en otro y viceversa entonces los conjuntos son iguales. es decir. observe que: A ⊆ B ⇒ ( x ∈ A ⇒ x ∈ B ) y B ⊆ A ⇒ ( x ∈ B ⇒ x ∈ A) entonces todos los elementos de A están en B y todos los elementos de B están en A. entonces se dice que A es un subconjunto propio de B y que la inclusión es estricta.

CONJUNTOS DISYUNTOS. 23-24). 1. 5. 2. tienen elementos comunes. (1971). (p. Tercera Edición. Madrid. 3. A y B son disyuntos. A y B son solapados. En cambio. 6. 1 4 4 44 2 4 4 4 43 B 88 . M N M’ 1 4 4 44 2 4 4 4 43 A Fig. b) Si A = { 1. 6 } . 2. 7 } y B = { 2. 4. A. Se dice que dos conjuntos A y B son disyuntos si no tienen elementos comunes. Observe los siguientes pares de conjuntos: M N M’ N’ 1 4 4 44 2 4 4 4 43 1 4 4 44 2 4 4 4 43 A B Fig. sin estar uno incluido en el otro. Selecciones Científicas. 4. LECTURA N° 22: OTRAS RELACIONES ENTRE CONJUNTOS Tomada con fines instruccionales Burgos. 3. 8 } . 6 } y B = { 5. c) Si A es el conjunto de los números pares y B el de los impares. 5. A y B son disyuntos. Ejemplos: a) Si A = { 1. llamaremos solapados a los conjuntos que. A B O2 O1 Fig. Iniciación a la Matemática Moderna. 7. 3.

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. 5. Fig. B A O2 O1 Fig. donde I es el conjunto de puntos del circulo O. 89 . 5 f) I y C son solapados. g) I y E son disyuntos. h) E y C son disyuntos. E I O C FIG. C el conjunto de puntos de la circunferencia del circulo O y E es el conjunto de puntos exteriores a la circunferencia.

Estas operaciones junto con sus propiedades constituyen un sistema lógico de construcción y conducen a la teoría de conjunto como un álgebra. (h) Métodos Inductivos Unidad 4: TEORÍA DE CONJUNTOS (i) Conceptos básicos. Igualdad e Inclusión entre Conjuntos. diferencia y complementación. Artículo no publicado (p. unión. J. (2007). (d) Tautologías y contradicciones Unidad 2: LEYES DE LA LÓGICA : (e) Leyes de Inferencia. para ello revisa la tabla de contenido y la compara con su programa. (j) Diagramas de Venn. En particular. El programa de Razonamiento Lógico es el siguiente: Unidad 1: LÓGICA PROPOSICIONAL (a) Proposiciones. T. (c) Tablas de Verdad. (k) Operaciones entre conjuntos. las cuales pueden ser representadas a través de los diagramas de Venn. sin embargo. Las operaciones entre conjuntos son formas específicas de combinar conjuntos para formar otros conjuntos. estas combinaciones se utilizan de forma casi inconsciente en la vida real para tomar decisiones en determinadas situaciones. (b) Conectivos Lógicos. (n) Falacias Unidad 3: DEMOSTRACIONES MATEMÁTICAS (g) Métodos Deductivos.. González. Lorenzo. N.1). (f) Leyes de Equivalencia. 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 Lógico.. (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 . se tratan las operaciones de intersección. o sea como un sistema matemático. Caracas. LECTURA N° 23: OPERACIONES ENTRE CONJUNTOS Tomada con fines instruccionales Gómez. A menudo se piensa que las operaciones entre conjuntos son útiles estrictamente en el campo formal de las matemáticas.

vamos tratar de responder estas preguntas usando las operaciones entre conjuntos. el universo al cual nos queremos referir es el contenido programático de la materia Razonamiento Lógico. ¿Cuáles son los contenidos que tienen en común los libros? 2. ¿Cuáles son los contenidos no comunes entre los libros? 3. para tomar una decisión.LIBRO 1 LIBRO 2 ( a ) Proposiciones ( a ) Proposiciones ( b ) Conectivos lógicos ( b ) Conectivos lógicos ( c ) Tablas de Verdad ( c ) Tablas de Verdad ( d ) Tautologías y contradicciones ( g ) Método Deductivo ( e) Leyes de Equivalencia ( h ) Método Inductivo ( f ) Leyes de Inferencia ( i ) Conjuntos: Conceptos Básicos ( i ) Conjuntos: Conceptos Básicos ( k ) Operaciones entre conjuntos ( k ) Operaciones entre conjuntos ( j ) Diagramas de Venn ( m ) Relación entre conjuntos Ahora. para comprarlo. ¿Sería necesario comprar ambos libros? Para tomar una decisión sobre cuál sería el mejor libro. la estudiante se hace las siguientes preguntas: 1. que serán definidas a continuación: 1) Definimos el conjunto universal: Para este caso. ¿Cuáles contenidos del programa no se encuentran en ninguno de los libros? 4. El conjunto universal Ω lo representaremos por las letras de cada uno de los temas y lo representamos en el siguiente rectángulo: n f k g a j m c d b e i h Ω 91 .

Los contenidos del libro 1 forman el conjunto A = {a. k . c. e. g . los contenidos del libro 2 forman el conjunto B = {a. d . i. b. m} . j . es decir: A∩ B = B∩ A En efecto: A ∩ B = {x / x ∈ A ∧ x ∈ B} = {x / x ∈ B ∧ x ∈ A} = B ∩ A 92 . i. los contenidos que coinciden entre los libros son " a" . " c" . c. k } y el programa de la cátedra el conjunto universal Ω = {a. e.INTERSECCIÓN En el ejemplo anterior suponga que tomamos el contenido de cada libro como un conjunto. este es un nuevo conjunto y se llama conjunto intersección. h. i. b. 1) Propiedad Conmutativa. " i" . c. m} . i. g . en este caso la operación A interceptado con B queda escrita de la siguiente forma: A ∩ B = {a. d . j . y se específica por comprensión como sigue: A ∩ B = {∀x ∈ Ω / x ∈ A ∧ x ∈ B} Propiedades de la intersección. k . h. f . f . c. entonces observe que. llamaremos intersección de A con B al conjunto de todos los elementos comunes a ambos conjuntos. b. " b" . y " k " . gráficamente se visualiza de la forma siguiente: n f k g a j m c d b e i h Ω Observe que gráficamente cada conjunto recibe un rayado o marca particular que los diferencia y que la intersección es la zona doblemente rayada o marcada. La intersección se simboliza por ∩ . n. b. k } En general la intersección de conjuntos se define como: Sean A y B subconjuntos del conjunto universal.

Ahora bien. Vamos a probar ahora que X ⊆ A ∩ B ⇒ X ⊆ A y X ⊆B En efecto. Comenzaremos por probar que: A ⊆ B ⇔ A ∩ B = A. Esta se conoce como Propiedad de Conformidad. Directo. Inversamente. todo x ∈ X ⇒ x ∈ A y x∈ B ⇒ x∈ A∩ B Luego: X ⊆ A ∩ B. En efecto. todo x ∈ A ⇒ x ∈ A ∩ B . Puesto que para todo conjunto A se tiene: φ ⊆ A. y solo si. se tendrán las siguientes nuevas propiedades conocidas como Ídem potencia 3) φ ∩ A = φ 4) A ∩ A = A 5) A ∩ Ω = A 93 . Probaremos ahora que: A ∩ B = A ⇒ A ⊆ B En efecto. A⊆ A y A⊆Ω En virtud de la segunda propiedad. todo: x ∈ A ∩ B ⇒ x ∈ A . es decir: X ⊆ A y X ⊆ B ⇔ X ⊆ A∩ B Directo. esta contenido en la intersección de ambos. como A ⊆ B. la intersección de ambos es igual al primero de los conjuntos. es decir: ( A ∩ B ) ∩ C = A ∩ (B ∩ C ) En efecto: ( A ∩ B ) ∩ C = {x / x ∈ ( A ∩ B ) ∧ x ∈ C} = {x / x ∈ A y x ∈ B ∧ x ∈ C} = {x / x ∈ A ∧ x ∈ (B ∩ C )} = A ∩ (B ∩ C ) Propiedades de la intersección y de la inclusión. si x ∈ A ∩ B ⇒ x ∈ B Luego: A ⊆ B Consecuencias. y sólo si. como la hipótesis se sigue que A = A ∩ B. Comenzaremos por probar que: X ⊆ A y X ⊆ B ⇔ X ⊆ A ∩ B En efecto. todo x∈ A⇒ x∈ A ∩ B Luego: A ∩ B = A Reciproco.2) Propiedad Asociativa. todo: x ∈ X ⇒ x ∈ A ∩ B ⇒ x ∈ A y x∈B Luego: X⊆A y X ⊆B 2) Un conjunto está con contenido en otro si. 1) Un conjunto esta contenido en otros dos si. Recíproco. es decir: A ⊆ B ⇔ A ∩ B = A.

e. m} gráficamente. c. f . d . Propiedad conmutativa: A ∪ B = B ∪ A En efecto: A ∪ B ≡ {x / x ∈ A ∨ x ∈ B} ≡ ≡ {x / x ∈ B ∨ x ∈ A} ≡ B ∪ A 94 . Propiedades de la Unión: 1). llamaremos unión 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. b. c. y se específica por comprensión como sigue: A ∪ B = {∀x ∈ Ω. d . n f k g a j m c d b e i h Ω Para la unión la solución mostrada en el diagrama de Venn siempre será toda la zona que se encuentre rayada o marcada. b. b. j . h. k . m} y B = {a. f . g . j . / x ∈ A ∨ x ∈ B} En el ejemplo que tratamos al inicio de esta lectura podemos encontrar que para los conjuntos: A = {a. i. k .Dejamos como ejercicio al lector la demostración de la siguiente propiedad: 6) A ∩ B = Ω ⇔ A = B = Ω UNIÓN La unión de conjuntos se simboliza por ∪ se define como: Sean A y B subconjuntos del conjunto universal. c. k } A ∪ B = {a. i. i. g . h. e.

entonces x∈ A∪B y x∈ X . Luego A∪ B ⊆ X . Se tiene entonces. entonces x∈ A∪B y x∈ X . (b) Si x ∈ B ⇒ x ∈ X . y sólo si. por lo tanto para todo x ∈ B ⊆ X . y sólo si. Luego A∪ B ⊆ X . si x ∈ B . también x ∈ A ∪ B . Comenzaremos por probar que: A⊆ X y B ⊆ X ⇔ A∪ B ⊆ X En efecto.2). la unión de ambos es igual al segundo de los conjuntos: A ⊆ B ⇔ A ∪ B = B . Dos conjuntos están incluidos en otro si. Propiedad asociativa: ( A ∪ B ) ∪ C = A ∪ (B ∪ C ) En efecto: ( A ∪ B ) ∪ C ≡ {x / x ∈ ( A ∪ B ) ∨ x ∈ C} ≡ ≡ {x / x ∈ A ∨ x ∈ B ∨ x ∈ C} ≡ ≡ {x / x ∈ A ∨ x ∈ (B ∪ C )} ≡ A ∪ (B ∪ C ) Propiedades de la Unión y de la Inclusión: 1). también x ∈ A ∪ B . la unión de aquellos está contenida en éste: A⊆ X y B ⊆ X ⇔ A∪ B ⊆ X Directo. 2). Un conjunto está con cotenido en otro si. Se conoce como la Propiedad de Conformidad Directo. La demostración del Reciproco A ∪ B ⊆ X ⇒ A ⊆ X y B ⊆ X queda a cargo del lector. si x ∈ A . por estar: A⊆ X y B ⊆ X. (a) Si x ∈ A ⇒ x ∈ X . Comenzaremos por probar que: A ⊆ B ⇔ A∪ B = B 95 . por lo tanto para todo x ∈ A ⊆ X .

B ⊆ A ∪ B (ii) Por lo tanto.a): A ∩ ( A ∪ B ) = A Directo. Todo x ∈ A ∩ ( A ∪ B ⇒ x ∈ A y x ∈ A ∪ B ⇒ x ∈ A) 96 . Propiedad de Absorción: a. por lo tanto A ∪ B ⊆ B (i) Por otro lado. A ∩ (B ∪ C ) = ( A ∩ B ) ∪ ( A ∩ C ) b. A ∪ (B ∩ C ) = ( A ∪ B ) ∩ ( A ∪ C ) 2).. para todo x ∈ A se tiene x ∈ B . A ∩ (A ∪ B) = A b. todo x ∈ A ∪ B ⇒ x ∈ A ó x ∈ B ( por definición) Pero como A ⊆ B. por tanto.. para todo x∈B ⇒ x∈ A∪ B y.. En efecto. Propiedad Distributiva: a. A⊆ A y A⊆Ω En virtud de esta propiedad 2 se tendrán las siguientes nuevas propiedades conocidas como Ídem potencia: 3) φ∪A= A 4) A∪ A = A . A ∪ (A ∩ B) = A Demostrar la propiedad (2. 5) A∪Ω = Ω Dejamos a cargo al lector la deducción de la siguiente propiedad 6) A∪ B =φ ⇔ A = B =φ Propiedad de la Intersección y de la Unión: 1). Visto las propiedades anteriores se concluye que para todo conjunto A se tiene: φ ⊆ A.. por (i) y (ii) que: A∪ B = B La demostración del reciproco A ∪ B = B ⇒ A ⊆ B queda a cargo del lector.

f . Ac y A . se simboliza por A' . j . también se utiliza C ( A) . f . k . j . es aquella otra parte que tiene lo que le hace falta a una parte ya dada o existente. h. h. el cual es variable. i. El complemento de A ∩ B es {d . b. d . n} 2-.Se deja al lector la demostración del Recíproco: Si x ∈ A ⇒ x ∈ A ∪ B. h. el conjunto de referencia. j} b) A ∩ B = {a. es necesario primeramente establecer el conjunto respecto al cual se determinará la operación de complementación. d . g . el complemento de A es {φ } La complementación de un conjunto. i. m} . Las relaciones de (1. en este caso se lee complemento de A respecto al conjunto universo. j} (son los elementos que le faltan a A para ser Ω ) 2. Suponga que se desea encontrar el complemento de A. pues. Para definir el complemento de un conjunto. g .b). en efecto: A ∪ ( A ∩ B ) = ( A ∪ A) ∩ ( A ∪ B ) = A ∩ ( A ∪ B ) = A COMPLEMENTACIÓN La palabra complementación nos trae la idea de completar algo. j . c. es decir. m}. y observemos las diferentes situaciones para establecer el conjunto de referencia y el complemento: 1. h. f . es decir. suponga que se desea encontrar el complemento de A ( A ⊆ Ω ) : 1. e. El complemento de A ∪ B es {n} 3. i. Cuando el conjunto de referencia es el Universo Siendo el conjunto de referencia Ω = {a. g . b. c. Una vez más centremos la atención en el ejemplo dado al inicio de la lectura. k . b. m. Cuando el conjunto de referencia es otro conjunto u operación entre dos o más subconjuntos del Universo. h. si los conjuntos de referencia son: a) A ∪ B = {a. g . está última notación es funcional debido a que indica el conjunto Ω de referencia y el conjunto al cual se le determinará el complemento. k }. e. Recuerde que no siempre el conjunto de referencia es el conjunto universal. El complemento de A es {n. supongamos A. c. e. 97 . el complemento de A es {g .a) y (2. n.a) nos permiten probar fácilmente la certeza de la relación (2.

si: ( Ω ) x ∈ A ∩ C ( A) ⇒ x ∈ A y x ∈ C ( A). por tanto Ω A ∩ C ( A) = φ . sin embargo. y se específica por comprensión como sigue: C ( A) = {∀x ∈ Ω / x ∉ A} Ω Es importante notar que la notación P ' utilizada para simbolizar complementación es muy parecida a la notación p ' para simbolizar la negación de una proposición. tenga cuidado de confundirlas. La unión de A con su complemento es el conjunto universal A ∪ C A = Ω Ω La deducción de esta propiedad es bastante similar a la anterior. lo cual es absurdo. Ω es decir: x ∈A y x ∉ A. Luego. por lo cual la dejamos a cargo del lector. 98 .En esta lectura tomaremos la notación C ( A) y para cada uno de los casos señalados Ω arriba la operación complemento queda simbolizada de la siguiente forma: Cuando el conjunto de referencia es Cuando el conjunto de referencia es otro el Universo conjunto u operación entre dos o más subconjuntos del Universo C ( A) C ( A) Ω ( A∪ B ) C(A ∪ B) C ( A) Ω ( A∩ B ) C(A ∩ B) Ω En general la complementación 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. ningún x pertenece al conjunto A ∩ C A y. Propiedades de la complementación: 1). recuerde que un caso se aplica para conjunto y en otros para proposiciones. El conjunto A interceptado con su complemento es el conjunto vacío: A ∩ C ( A) = φ Ω En efecto. Ω (2).

3). Ω Pero como A ⊆ B. por lo cual la dejamos a cargo del lector 5). El complemento del conjunto vacío es el conjunto universal : C (φ ) ≡ Ω Ω En efecto: C (φ ) = {x / x ∈ Ω ∧ x ∉φ }= Ω Ω 4). Comenzaremos por probar que: A ⊆ B ⇒ C ( B ) ⊆ C ( A) Ω Ω En efecto. El complemento del complemento de un conjunto es el conjunto : ( ) C C A = φ Esta `propiedad se conoce como involución o doble complementación Ω Ω En efecto: ( ){ C C ( A ) = x / x ∈ Ω ∧ x ∉ C ( A) = A Ω Ω Ω } A ⊆ B ⇔ C (B ) ⊆ C ( A) Ω Ω 6). El complemento del conjunto universal es el conjunto vacío : C (Ω ) = φ Ω La deducción de esta propiedad es bastante similar a la anterior. A está incluido en B si y solo si el complemento de B está incluido en el complemento de A : A ⊆ B ⇔ C (B ) ⊆ C ( A) Ω Ω Directo. x ∉ B ⇒ x ∉ A ⇒ x ∈ C ( A) Ω Luego C ( B ) ⊆ C ( A) Ω Ω Se deja la comprobación del recíproco C (B ) ⊆ C ( A) ⇒ A ⊆ B a cargo del lector Ω Ω 99 . todo x ∈ C ( B ) ⇒ x ∉ B.

Leyes de Morgan 7). Gráficamente representa la zona rayada como se muestra en el siguiente diagrama de Venn: 100 . f . n A B f k g a j m c d b e i h Ω Si quisiéramos obtener B – A esto serían los elementos de B que no están en A . m}. h. B − A = {g . gráficamente representa la zona rayada como se muestra en el siguiente diagrama de Venn. como habrá visto esta operación se refiere al conjunto formado por aquellos elementos que están en A pero no en B. El complemento de la unión es la intersección de los complementos C ( A ∪ B ) = C ( A) ∩ C ( B ) Ω Ω Ω La deducción de esta propiedad es bastante similar a la anterior. j}. 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 . es importante observar en este punto que la diferencia de conjuntos no cumple con la propiedad conmutativa. es decir A − B ≠ B − A . El complemento de la intersección es la unión de los complementos: C ( A ∩ B ) = C ( A) ∪ C ( B ) Ω Ω Ω C ( A ∩ B ) = {x / x ∈ Ω ∧ x ∉ ( A ∩ B )} Ω { ( = x / x ∈ Ω ∧ x ∉ C ( A) ∨ x ∈ C ( B ) Ω )} Ω = {x / x ∈ Ω ∧ x ∈ C ( A) ∪ C (B )} = C ( A) ∪ C (B ) Ω Ω Ω Ω 8). es decir. e.

La diferencia de A – A es igual al conjunto vacío: A− A =φ En efecto: A − A = A ∩ C ( A) = φ Ω 3). La diferencia de A – B es igual a la intersección de A con el complemento de B: A − B = A ∩ C (B ) Ω En efecto: A − B = {x / x ∈ A ∧ x ∉ B} { } = x / x ∈ A ∧ x ∈ C (B ) = A ∩ C (B ) Ω Ω La igualdad (1) nos pone de manifiesto la relación de dependencia que existe entre la operación diferencia y las de intersección y complementación (ver la próxima operación). y se específica por comprensión como sigue: A − B = {∀x ∈ Ω / x ∈ A ∧ x ∉ B} Propiedades de la diferencia 1). n A B f k g a j m c d b e i h Ω En general la diferencia de conjuntos se puede definir como: Sean A y B subconjuntos del conjunto universal. señalándonos de paso la posibilidad de adoptar dicha igualdad (1) como definición de diferencia. llamaremos diferencia de A con B al conjunto de todos los elementos que se encuentran en A (sustraendo) y no en B (minuendo) . La diferencia entre un conjunto dado y el conjunto vacío es igual al conjunto dado: A −φ = A 101 . 2).

La diferencia entre un conjunto dado y el conjunto universal es igual al conjunto vacío: A−Ω =φ En efecto: A − Ω = A ∩ C (Ω ) = A ∩ φ = φ Ω 7).En efecto: A − φ = A ∩ C (φ ) = A ∩ Ω = A Ω 4). La diferencia entre el conjunto universal y un conjunto dado es igual a complemento del conjunto dado: Ω − A = C ( A) Ω En efecto: Ω − A = Ω ∩ C ( A) = C ( A) Ω Ω 6). El complemento de la diferencia es igual a la unión del complemento de A con B: C ( A − B ) = C ( A) ∪ B Ω Ω En efecto: Ω Ω ( Ω Ω ) C ( A − B ) = C A ∪ C (B ) = C ( A) ∪ C ⎛⎜ C (B )⎞⎟ = C ( A) ∪ B Ω⎝ Ω ⎠ Ω 8). La diferencia entre el conjunto vacío y un conjunto dado es igual al conjunto vacío: φ − A=φ En efecto: φ − A = φ ∩ C ( A) = φ (ver propiedad 1) Ω 5). Leyes de Morgan: (a) A − (B ∪ D ) = ( A − B ) ∩ ( A − D ) En efecto: Ω ( A − (B ∪ D ) = A ∩ C (B ∪ D ) = A ∩ C B ∩ C D = Ω Ω ) { = x / x ∈ A ∧ x ∈ C (B ) ∧ x ∈ C ( D ) Ω Ω } = {x / x ∈ A ∧ x ∉ B ∧ x ∉ D} = {x / x ∈ A ∧ x ∉ B} y {x / x ∈ A ∧ x ∉ D} = ( A − B ) ∩ ( A − D ) (b) A − (B ∩ D ) = ( A − B ) ∪ ( A − D ) En efecto: Ω ( Ω Ω ) ( A − ( B ∩ D ) = A ∩ C ( B ∩ D ) = A ∩ C ( B ) ∪ C ( D ) = A ∩ C ( B ) ∪ A ∩ C (D ) Ω ) ( Ω ) = (A − B) ∪ (A − D) 102 .

(9) La diferencia de A – B es igual al complemento de B menos el complemento de A: A − B = C (B ) − C ( A) Ω Ω En efecto: A − B = {x / x ∈ A ∧ x ∉ B} = ⎧⎨ x / x ∉ C ( A) ∧ x ∈ C (B )⎫⎬ { ⎩ Ω Ω ⎭ = x / x ∈ C (B ) ∧ x ∉ C ( A) = C ( B ) − C ( A) Ω Ω } Ω Ω (10) ( A − B ) − D = A − (B ∪ D ) En efecto: ( A − B ) − D = {x / x ∈ ( A − B ) ∧ x ∉ D} = {x / x ∈ A ∧ x ∉ B ∧ x ∉ D} = A − (B − D ) = ( A − B ) ∪ ( A ∩ D ) (11) A − (B − D ) = ( A − B ) ∪ ( A ∩ D ) En efecto: A − ( B − D ) = A ∩ C ( B − D ) = A ∩ C (B ) ∪ D = Ω ( Ω ) ( ) = A ∩ C (B ) ∪ ( A ∩ D ) = ( A − B ) ∪ ( A ∩ D ). 103 . Ω (12) A − (A − B) = A ∩ B En efecto: A − ( A − B ) = ( A − A) ∪ ( A ∩ B ) = O ∪ ( A ∩ B ) = A ∩ B (13) A ∪ (B − D ) = ( A ∪ B ) − ( D − A) En efecto: ( ) A ∪ (B − D ) = A ∪ B ∩ C (D ) = ( A ∪ B ) ∩ A ∪ C ( D ) Ω ( Ω ) ( ) = ( A ∪ B ) ∩ C (D ) ∪ A = ( A ∪ B ) ∩ C ( D − A) Ω Ω = ( A ∪ B ) − (D − A). (14) Propiedad Distributiva: A ∩ (B − D ) = ( A ∩ B ) − ( A ∩ D ) (15) A⊆ B ⇔ A− B =φ SUMA BOOLEANA O DIFERENCIA SIMETRICA La Suma Booleana o también llamada diferencia simétrica 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.

y se especifica por comprensión como sigue: A Δ B = {∀x ∈ Ω / x ∈ ( A ∪ B ) ∧ x ∉ ( A ∩ B )} De acuerdo a la definición anterior tenemos la igualdad A Δ B = ( A ∪ B ) − ( A ∩ B ) = ( A − B ) ∪ (B − A) Recordando el ejemplo inicial de esta lectura. 7. 2. k } . 2. m} Ejemplos: a) Si A = {1. entonces A Δ B = {d . 5. 2. 3. g . 2.} ∪ { } = {1. m} y B = {a. 2. Propiedad Conmutativa: AΔB=BΔ A 7). 4} ∪ {6. g . A Δ B = A ∪ B − A ∩ B En efecto: A Δ B = ( A − B ) ∪ (B − A) = ( A − B ) ∪ B − [A − ( A − B )] = B ∪ ( A − B ) − [A − ( A − B )] = B ∪ A − (B − B ) − A ∩ B = A ∪ B − A ∩ B. A Δ B = ( A − B ) ∪ (B − A) = {1. 7. 3. 4. f . A Δ Ω = C A Ω En efecto: A Δ Ω = A∪Ω− A∩Ω = Ω− A = C A ( ) Ω 5). 3. 7. 2. 2. 6} y B = {3. 4. 7. j . 6. 3. k . 7. en el cual A = {a. A Δ B = ( A − B ) ∪ (B − A) = {1. 7. 2). 3. f . 4. i. llamaremos suma booleana o diferencia simétrica de A con B al conjunto de todos los elementos que se encuentran en la unión de A con B a excepción de los que están en la intersección de A con B. 8}. b. 8} = {1. 8} c) Si A = {1. 3. j . Propiedad Asociativa: ( A Δ B )ΔC = AΔ(B Δ C ) 104 . 6. 5} y B = {4. 3} ∪ {6. c. h. 2. 4}y B = {6. 6. 2. 6} Propiedades de la Suma Booleana o Diferencia Simétrica: 1). b. A Δ φ = A 4).En general la suma booleana se define como: Sean A y B subcojuntos del conjunto universal. 4. 8} . 5. i. e. h. e. A Δ B = ( A − B ) ∪ (B − A) = {1. 8} = {1. 5} . 6. d . c. 8} b) Si A = {1. A Δ A = φ 3). C ( A Δ B ) = ( A ∩ B ) ∪ C ( A) ∩ C (B ) Ω Ω Ω 6).

Utilizando diagramas de Venn verificar la relación: A ∩ (B ∪ D ) = ( A ∩ B ) ∪ ( A ∩ D ) 3. Propiedad Distributiva: A ∩ (BΔC ) = ( A ∩ B ) Δ ( A ∩ C ) [ 9).5. 2. Se pide: (a) Completa la siguiente representación gráfica de cada uno de estos conjuntos: Solteros Hombres D Ω (b) Expresar como una operación los siguientes enunciados: b.( A ∪ B ) c.9} .8).6} y D = {3.3.3.1.2. C ( A ∪ B ) .4.3. 1.9}.4. Si Ω = {0.7.7. en el que supondremos no hay viudos-as ni divorciados-as.2. D.1.Todos los hombres sin título b. son los conjuntos de hombres casados. A = {0. hombres solteros. se pide: determinar las operaciones siguientes y representar en un día digrama de Venn los conjuntos y dicha operaciones: (a) A ∩ (B Δ D ) (b) A ∪ (B − D ) (c) C (D ) ∪ C ( A) A∩ B D 2.4...5.1. empleados (hombres o mujeres) con título universitario. mujeres casadas y mujeres solteras.5.A – C c. A − (B Δ D ) = ( A ∩ B ∩ D ) ∪ A ∩ C (B ) ∩ C (D ) Ω Ω ) Ejercicios: 1.. A. D 105 .4. B. E y F respectivamente.El conjunto vacío (c) Expresar con palabras la operación entre conjunto: c..9} .3.. Utilizando las definiciones y propiedades verifique la igualdad A ∩ (B − A) = φ 4.. A ∪ (B Δ D ) = ( A ∪ B ∪ D ) − C ( A) ∩ B ∩ C Ω ] ( ) ( 10). casadas y casados sin título b.2.6.4. ( A Δ B ) − C = A ∩ C (D ) Δ B ∩ C (D ) Ω Ω ) ( 11).8. Si Ω es el conjunto de los empleados de un ministerio.A ∩ B c. B = {2.Todos los empleados solteros. 3.

Falcón). Mérida) y Mochima (En Sucre).. A 28 estudiantes sólo les gusta El d) A 5 estudiantes les gusta por igual los Parque Nacional Mochima Tres i. (2007). la cual nos permite extraer información necesaria y más aún relacionarlas de forma coherente para llegar a la solución de las situaciones que se plantean como problemas o mas bien como retos. ejercitando de esta forma la observación. LECTURA N° 24: APLICACIONES DE LAS OPERACIONES ENTRE CONJUNTOS Tomada con fines instruccionales Gómez. González. la información obtenida es la siguiente: a) A 33 estudiantes sólo les gusta El i.1-3). A 15 estudiantes les gusta los Parque Nacional Sierra de San Luís Parques Nacionales Sierra de San Luís y Mochima b) (b) A 32 estudiantes sólo les gusta El c) A 14 estudiantes les gusta los Parque Nacional Sierra Nevada Parques Nacionales Sierra Nevada y Mochima i. se les pregunta acerca de su gusto para visitar los siguientes parques nacionales: Sierra de San Luís (Edo. A 11 estudiantes les gusta los Parques e) A 7 estudiantes no les gusta ninguno Nacionales Sierra de San Luís y Sierra de estos Parques Nacionales Nevada Utilizando esta información sobre las preferencias de los estudiantes por los Parques Nacionales. T. quienes tienen por actividad complementaria visitar diferentes lugares del país. N. Problema 1: A un grupo de estudiantes de la UNEFA. J. responde las siguientes preguntas: a) ¿Cuál es el número total de estudiantes encuestados? b) ¿A cuántos estudiantes le gustaría El Parque Nacional Mochima? c) ¿A cuántos estudiantes les gustaría dos de estos Parques? 106 . Aplicaciones de las Operaciones entre Conjuntos. Lorenzo. Caracas.. proporcionando a cada individuo que la utiliza el ejercicio mental que se requiere para obtener la habilidad en la resolución de problemas. Artículo no publicado (p. Sierra Nevada (Edo. En los siguientes ejercicios se evidencia la utilidad que tienen las operaciones de conjuntos para resolver situaciones de la vida cotidiana. a cada grupo de respuesta lo identificaremos con una letra al lado.

restando 11 – 5 = 6. como muestra el diagrama Sierra Nevada al lado derecho de este párrafo Ω Por lo tanto los 11 a quienes les gusta Sierra de San Luís y Sierra Nevada deben ir en las regiones d y g. hay 10 estudiantes en la región g. Como en un principio. pero si deben ser distribuidos en las regiones a. este procedimiento no basta. e. de tal forma que sea consistente con la información dada.Respuestas: A simple vista parece fácil responder a la primera pregunta sumando las ocho cifras dadas para cada grupo de respuesta. f y g . obsérvelo en la siguiente figura: h Sierra de Mochima San Luis e Los solapamientos (intersecciones) c entre unos gustos y otros están a g representados por las siguientes d f letras: d. no sabemos como distribuir a los 33 estudiantes a quienes les gusta El Parque Sierra de San Luís. Como la región g ya contiene 5 estudiantes es fácil conocer que en d hay 6. buscamos la información más fácil de manejar. b Sierra Nevada Ω Entonces. obtenemos e restando 15. d.5 = 10. e y g. Mediante razonamientos similares. Como hay 15 estudiantes a quienes les gusta Sierra de San Luís y Mochima (regiones e y g) y conocemos cuantos hay en g. 7 En este caso tomaremos el número h más pequeño en la lista “5 estudiantes Sierra de Mochima San Luís e a quienes les gustan los tres lugares” este grupo de alumnos deben ser c a 5 colocados en la región g (intersección g f d de los tres conjuntos) y los 7 a los que no les gusta ninguno se ubican en b la región h. consideremos que los 33 estudiantes a quienes les gusta El Parque Sierra de San Luis no deben ser colocados dentro de la región identificada con a. pues algunas respuestas están solapadas. pero no es cierto. 107 .

Para la segunda pregunta se evidencia la operación de diferencia de conjuntos quedando de la forma {Mochima} − [{Sierra Nevada} ∪ {Sierra de San Luís}] .a cada región se le asignan de forma correcta los números correspondientes. el número total de estudiantes encuestados es la suma de los números en cada región: a + b + c + d + e + f + g + h = 12 + 11 + 7 + 6 + 10 + 9 + 5 + 7 = 65 Se encuestaron a 65 estudiantes. lo cual muestra la importancia de manejar las definiciones y conceptos de dichas operaciones. este tipo de estudiante se encuentra en la región c. si sumamos los números en cada región obtenemos: 10 + 6 + 9 = 25 estudiantes.d – g .f = 12 f 12 c (únicamente Mochima)= 28 . donde se observa que sólo a 4 estudiantes les El Parque Nacional Mochima. c) ¿A cuántos estudiantes les gustaría dos de estos Parques? A los estudiantes de las regiones d.d – g . 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.e = 12 a 5 6 g c d 9 b (únicamente Sierra Nevada)= 32. como se muestra en el siguiente diagrama de Venn: 7 h Sierra de San Luis 10 Mochima f (Sierra Nevada y Mochima) = 14 – g = 14 – 5 = 9 e 12 4 a (únicamente Sierra de San Luís)= 33. e y f les gusta exactamente dos parques. Para la primera pregunta se aplicó la unión como una operación de conjunto como sigue {Sierra de San Luís } ∪ {Sierra Nevada} ∪ {Mochima}. b) ¿A cuántos estudiantes le gustaría únicamente El Parque Nacional Mochima? Un estudiante a quien sólo le gusta Mochima. como sigue: [{Sierra de San Luís } ∩ {Sierra Nevada}] ∪ [{Sierra Nevada} ∩ {Mochima}] ∪ [{Sierra de San Luís} ∪ {Mochima}] 108 . Y en para la tercera pregunta la operación utilizada fue la intersección y unión de conjuntos.f= 4 b Sierra Nevada Ω Ahora podemos responder a cada una de las preguntas planteadas originalmente: a) ¿Cuál es el número total de estudiantes encuestados? Puesto cada estudiante en la encuesta fue colocado en exactamente en una región de la figura 19. no le gusta Sierra Nevada ni Sierra de San luís.e .g .

Razonamiento Lógico y Geometría Analítica. determinar número de elementos de un conjunto o de varios conjuntos y de los conjuntos resultantes de las operaciones establecidas entre los mismos. y cuya resolución se realiza por simple inspección de la información dada. Los resultados fueron los siguientes: a) 4300 estudiantes sólo han aprobado b) 2500 matemáticas I y geometría matemáticas I analítica c) 5800 estudiantes sólo han aprobado d) 2800 razonamiento y geometría Razonamiento lógico analítica e) 6500 estudiantes sólo han aprobado f) 2010 alumnos aprobaron las tres Geometría Analítica g) 1900 Matemáticas y Razonamiento h) 956 alumnos no aprobaron ninguna lógico de las materias Utilizando esta información. N. (2007). En lecturas anteriores se han resuelto ejercicios del quehacer diario. con el apoyo de diagramas de Venn y en otros casos con tablas y otros. responda las siguientes preguntas: a) ¿Cuál es el número total de estudiantes encuestados? b) ¿Cuántos estudiantes aprobaron Fundamentos de Matemática? c) ¿Cuántos estudiantes aprobaron dos de estas materias? d) ¿Qué tipo de decisiones puedes tomar con esta información LECTURA N° 25: NÚMERO DE ELEMENTOS DE UN CONJUNTO Tomada con fines instruccionales Gómez.3). en todo caso.. 109 . mostrando la aplicabilidad de las operaciones entre conjuntos.Problema 2: El Coordinador del ciclo básico de ingeniería de la UNEFA aplicó una encuesta en el primer y segundo semestre para conocer el avance de sus alumnos en el área numérica: Fundamentos de Matemática. La notación para número de elementos de un conjunto es la siguiente: n( conjunto). Número de Elementos de un Conjunto. Artículo no publicado (p. González. por supuesto. T. Caracas.. Lorenzo J. pero sin disponer de una fórmula que permita.

d . debido a que A y C son conjuntos disjuntos La fórmula dada para dos conjuntos puede ser generalizada para tres conjuntos de la siguiente manera: n( A ∪ B ∪ C ) = n( A) + n(B ) + n(C ) − n( A ∩ B ) − n( A ∩ C ) − n(B ∩ C ) + n( A ∩ B ∩ C ) (II) Cuando hablamos de n( A ∪ B ∪ C ) nos referimos al número de elementos que están en A o en B. g . d . n( A ∪ B ) = n( A) + n(B ) − n( A ∩ B ) = 9 + 8 . y luego los 110 . ya que esos elementos pertenecen a ambos conjuntos. una vez cuando contamos n(A)y otra vez cuando contamos el n(B). nos estamos refiriendo al número de elementos que están en A o en B En caso de que los dos conjuntos sean disjuntos la fórmula quedaría: n( A ∪ B ) = n( A ) + n( B ) Ya que la A ∩ B = φ . m} y sean los conjuntos A = {a. e. y número de elementos del conjunto A unido con el conjunto B. e. m} . entonces observa que: n( A) + n(B ) = 9 + 8 = 17. i. h. que serían 12. Ejemplo N° 1: Sea el conjunto universal Ω = {a. luego n( A ∩ B ) = 0 . c. respectivamente. n. por lo que en la fórmula se restan una vez. luego hay que restarlos para tener el número de elementos real de la unión de A con B. i. g . Para determinar el número de elementos de la unión de dos conjuntos se usa la siguiente fórmula: n( A ∪ B ) = n( A) + n(B ) − n( A ∩ B ) (I) Es importante señalar que al calcular el número de elementos de la unión de dos conjuntos A y B. k } y C = {n} . c. j . k . i. el número de elementos de la intersección. estamos contando dos veces los elementos comunes que son n( A ∩ B ) = 5. h. n( A ∪ C ) = n( A) + n(C ) − n( A ∩ C ) = 9 + 1 + 0 =10 el n( A ∪ C ) = n( A) + n(C ) . b. b. j . se ha contado dos veces.Por ejemplo: n(B). n( A ∪ B ) y se lee número de elementos del conjunto A. número de elementos del conjunto A interceptado con el conjunto B. B = {a. f . f . n(A) y el número de elementos en B. b. o en C.5= 12 Vamos a calcular ahora el número de elementos de A unión C. de manera análoga al realizado para el número de elementos de la unión entre dos conjuntos. Procedemos a realizar el cálculo del número de elementos de la unión de tres conjuntos. n(B). n( A ∩ B ) . k . y los sumamos. cuando contamos el número de elementos en A. Con el número de elementos de la unión de A con B. a saber: primero contamos los elementos de cada conjunto. n( A ∩ B ) . c.

sumamos ( n( A) + n(B ) + n(C ) ).7}.1.2. 3.3. se obtuvieron los siguientes resultados: 580 personas asistían al Teatro Nacional 840 personas asistían al Teatro Municipal 920 personas asistían al Teatro Teresa Carreño 260 personas asistían al Teatro Nacional y al Teatro Municipal 220 personas asistían al Teatro Nacional y al Teatro Teresa Carreño 300 personas asistían al Teatro Municipal y al Teatro Teresa Carreño 111 .7 }.7. n( A ∩ B ) = 3 .9}.− 1.9} De lo anterior tenemos: n(A)=6. − 1. reemplazaremos estos valores en la ecuación II y tenemos: n( A ∪ B ∪ C ) = 6 + 7 + 6 − 3 − 4 − 3 + 2 = 11 . A ∩ B ∩ C = {− 1. es decir − [n( A ∩ B ) + n( A ∩ C ) + n(B ∩ C )] . este valor puede ser comprobado si contamos los elementos de A ∪ B ∪ C = {− 6.− 4.− 1. n(B)=7. A ∩ C = {− 3. n( A ∩ B ∩ C ) = 2 .7 }.− 4.5. 1.1.9 } y C = {− 6.7}. n( A ∩ C ) . n(B ∩ C ) = 3 .000 personas para saber sus preferencias por tres teatros de Caracas.2. que son 11.− 1. Restamos a la suma anterior el número de elementos que se han contado dos veces.− 3. En una encuesta realizada a 2.3.− 2.7} .− 1.5. sin embargo debemos incorporar la intersección de los tres conjuntos A.− 2. B ∩ C = {− 1. B y B. Ejemplo N°2: Sean los conjuntos: A = {− 3.3.1. 7. los cuales son: n( A ∩ B ) . n( A ∩ C ) = 4 . B = {− 4. 5. Ejercicios: 1. y n(B ∩ C ) .− 3.7.− 3.7} y A ∪ B ∪ C = {− 6. por lo que debemos sumar A ∩ B ∩ C una vez. De manera directa se obtienen los siguientes conjuntos: A ∩ B = {− 1.5. n(C)=6.5.1. 2. ya que esos elementos se incorporaron tres veces cuando se realizó la suma de: n( A) + n(B ) + n(C ) y posteriormente se descontaron tres veces cuando efectuamos − [n( A ∩ B ) + n( A ∩ C ) + n(B ∩ C )] .3.− 2.− 1.

100 personas asistían al Teatro Nacional. o al Teatro Teresa Carreño? b) ¿Cuántas personas no van a ninguno de los tres teatros? 112 . Teatro Municipal y al Teatro Teresa Carreño Se pregunta: a) ¿Cuántas personas asisten al Teatro Nacional o al Teatro Municipal.

Caracas.V. México. Kleiman. N. González. Lorenzo. Selecciones Científicas. (2007). (2007). Artículo no publicado. Editorial Limusa Wiley... A. González. J. Aplicaciones Matemáticas a la Administración.. Lorenzo. (2007). González. Lorenzo. Tercera Edición. Homsby. Lorenzo. E. Igualdad e Inclusión entre Conjuntos. (2007). Caracas. J.. González. Matemática Contemporánea. N. Artículo no publicado.. Artículo no publicado. N. N. Lorenzo. 113 . Iniciación a la Matemática Moderna. Gómez. (1972). Caracas. Madrid. N. Caracas. Bello. T. Más sobre Proposiciones. J. Editorial Pearson... J... Artículo no publicado.r. Tercera Edición. (2002). Gómez. González. C. N. (2007). Miller. J. Artículo no publicado. González. Artículo no publicado. (2007). (1983). González. T.. Heeren. T. BIBLIOGRAFÍA Britton. Matemáticas Razonamiento y Aplicaciones. Gómez. Gómez. Caracas. A.. J. Gómez. Construcción de tablas de verdad. N. (2007). Segunda edición. Lógica Proposicional. Thomson.C. T. Caracas. N. Décima Edición.. Pearson. Número de Elementos de un Conjunto. Sánchez. Gómez.. N. Matemáticas para Estudiantes de Administración y Economía. Caracas. I. Ediciones Vega s. González. Décima edición.. Ediciones de la Biblioteca. Gómez. Artículo no publicado. E. (2007).. España.. T. Artículo no publicado. J. Artículo no publicado. Aplicaciones de las Operaciones entre Conjuntos. T. (2003). Iniciación a la Lógica Matemática.. J. Lorenzo. Caracas. Gallo. (1996). Caracas. Lorenzo. Caracas. Caracas Burgos. N. Paniagua. T.. Valores de verdad de los Operadores Lógicos. Gómez. González. J. A. Igualdad e Inclusión entre Conjuntos. Conjuntos. J. (2007). González. Artículo no publicado. (2007). México. Inducción Matemática. T... Caracas. Gómez.. T. Falacias. F. J. y De Kleiman. T.l. Lorenzo. (2006). Aplicaciones (Circuitos). Caracas.. (1971). Lorenzo. Burgos. Lorenzo.. U. Gómez. Primera edición. J.

Gómez de Sousa Prof. Teresa C. Juana Lorenzo de Centeno Prof. Neida E. Rosa M. Alberto Ochoa Parada Diseñador y Diagramador 114 . Dra. Alberto Ochoa Parada Diseñador Instruccional Lic. González Chaparro Lic. Puerta Castro Coordinadora General del Sistema de Aprendizaje Autogestionado Asistido Ing. Guillermina Indriago Especialista de Redacción y Estilo Prof. Alberto Ochoa Parada Especialistas de Contenido Prof.