,.

,.

INDICE GENERAL

Prlogo, . . Instrucciones para el alumno Notacin.

11 . 13 15
UNIDAD I CONJUNTOS

Introduccin Obletlvos generales Diagrama temtico estructural Glosario M6dulo 1

Esquema resumen. . Contenido: Conjuntos. Notacin. Oraciones abiertas, va-

19 20 21 .22
.24 . 24
.

Obletlvos especfflcos

r~ables, conjuntos de reemplazamiento, conjuntos de

verdad
M6dulo 2
.
~

'

Problemas para autoevaluacln

25 .28

Objetivos especfflcos Esquema resumen

.

29 29 30 . 32 I

Contenido: Cardlnalldad. Conjuntos finitos e infinitos. Problemas para autoevaluacln

Conjunto universal. Conlunt~ vacfo. Conjuntos equivalentes. Conjuntos Iguales

.

M6dulo 3 Objetivos especfficos Contenido: SubconJuntos. Algunos subconiuntos Importantes de N Problemas para autoevaluacln
Mdulo 4

Esquemaresumen

34 34. 35 38

"()bietivosespecfficos Esquema resumen Contenido: Operaciones con conjuntos. Complemento. Grfica de un conjunto V de las operaciones con conJuntos. Uninde conjuntos. Interseccin de coniuntos. Conjunto'Complemento'

39 39

40

t'"

Problemas para autoevaluacin Paneles de verificacin

44 46

UNIDAD 11

ELEMENTOS DE LOGICA MATEMATICA

Introduccin Objetivos generales Diagrama temtico estructural Glosario M6dulo 5

55 56 57 58
i

Objetivos especificas

Esquema resumen Contenido: Induccl6n y deducci6n. Proposiciones simples y abiertas. Grfica de proposiciones

59 59 60 63
'64 64 65 69 70 70 71 78 79 79 81 .91 94

Problmas para autoevaluaci6n

Mdulo 6 Objetivos especiflcos Esquema resumen. . Contenido: Proposiciones compuestas. Conjuncl6n. Dis-

Problemas para autoevaluaci6n

Mdulo 7

yunci6n'

Ob~etivosespecficos Esquema resumen Contenido: Negacl6n. Negacin de proposiclon~s compuestas. Cuantlficadores Problemas para. autoevaluaci6n
M6dulo 8 Objetivos especificos Esquema resumen Contenido: Implicaci6n. Equivalencia lgica. Variantes de lalmpllcac16n. SlIogismos. Demostraciones Problemas para autoevaluaci6n . Paneles de' verificaci6n

UNIDAD

111

LOS NUMEROS REALES Introducci6n Objetivos Generales Diagrama temtico estructural Glosario 107 108 109' 110

Mdulo 9
.

Obletlvosespecfficos Esquemaresumen

Contenido: Sl~tema matemtico V operaciones binarlas. El conlunto de los nmeros reales. Propiedades de la 113 iguaIdad . . " 117 Problemas para autoevaluacln'
Mdulo 10
Objetivos especfflcos
.

112

112

/'

118 118 Esqu~ma resumen Contenido: Postulados de campo. Algunos teoremas im119 portantes . 129 Problemas para autoevaluacln
,

M6dulo 11 133 Objetivos especificos 133 Esquema resumen Contenido: Algunos teoremas Importantes sobre los inversos. La resta 134. 137 . Problemas para autoevaluacl~n

. Mdulo

12

Objetivos especfflcos Esquema resumen. Contenido: La divisin.Teorema sobre fracciones

Problemas para autoevaluaci6n Paneles de veriflcacl<?n
.

139 139 - 140 143 145

UNIDAD IV APLlCACION ES

Introduccin Obletivos generales Dlagra.matemtico estructural Glosc2rlo M6dulo 13

.

161 162 163 164

Objetivos especfficos
Esquema, resumen . .
Suma I V resta de

165 165 expresiones

.

Contenido: Terminologfa.

algebraicas Problemas.para autoevaluacl6n Mdulo14

.
.

. 166

179 171 171

Objetivos especfficos
Esquema resumen

~.-

---

Contenido: M41tipllcaci6nde expresiones algebralcas.. Expqnentes. Divisinde expresiones algebralcas. Poli172 nomios 180 Problemas para autoevaluaci~n ,,6dulo 15
Obletlvos especlflcos Esquema resumen Contenido: Productos notables. Factorlzacln
. Pr~lemas
.

182

1.

para autoevaluacln

183 189
180 190 191 . 199 -203

M6clulo1.
Obletlv08 especfflcos

Esquema resumen

Contenido: Simplificacin de fracciones. Suma de frac. clones. Multlpllcacl6n y divisin de fracciones. Slmpll. flcacln de fracciones complelas
.

Problemas para autoevaluaci6n

Paneles de verificacin

,.

Instrucciones para e' alumno

El presente texto ha sido elaborado tc;>mando en cuenta los diferentesaspectos que car.acterlzan a los alumnos de Sistemas Abiertos de ,Ense~ ~m~ Eltexto ~a sido estructurado de tal forma que le facilite al mximosu estudio. Cuenta con varias unidades,-cada una de las cUQlescontiene: 1) Obl~lvos generales:,que le informanacerca d to que se pretende lograr con er estudio de dicha unidad.. . 2) Una Introduccin:independientemente de la que aparece dedicada al texto. . ' .3) Un glosario: que le indica el significado de los trminos tcnicos , .empleados en el desarrollo de la unidad. 4) Notacin: en los textos referentes a las ciencias naturales y formales, tales como la Matemtica, se encontrarn explicaciones relacionadas con la simbologa empleada (f6rmulas, tablas, smbolos, ete.).' . Para el estudio del curso la unidad se ha divididoen partesUamadas' mdulos. Cada texto consta siempre de 16 m6dulos. 'De esta manera, estimamos que es posible aprobar las asignaturas del plan de estudios de un semestre, en las 18 semanas. El m6dulode cada asignatura est programado para que lo estudie en un tiempo promedio de 3 a 4.30 horas por semana. Sin embargo, se le recomiendo que dedique a cada m6dulo, el tiempo que usted considere necesario, de acuerdo con sus posi!"
.

bllldades~

El m6dulo cuenta con: 1.)Obletlvos especHlcos: que desglosan el obietivo general de la unidad. 2) Esquema-resumen: donde se le presenta el contenido de cada

m6dulo,en forma sinptico.

3) Contenido: se refiere al desarrollo del tema o de los temas.' 4) Actividades complementarias: le servirn de refuerzo en el apten-

dizaje de una unidado un m6dulo~ especfico.

5) Problemas para autoev'aluacln:al.finalde cada m6dulo se le da"n una serie de preguntas 'de autocomprobaci6n,' para que pueda verificar por sf mismo, en qu grado ha logrado los obietivos (propuestos al principiodel m6dulo). Las respuestas correctas las encontrar al final de cada unidad o. en otros casos, al final del
libro. '

13

En la parte final' del libra, podr~encontrar, cuando se estime necesario, apndices que le ayudarn o lo ampliacin y profundizacln de
," . . , Adems, se 'le da en las unidades o al final del texto. una bibliografia ,con la que puede' complementar sus estudios o ampliar su horizonte cultural, de acuerdo con sus inquietudes. ADVERTENCIA: algn temo.

Le recomendamos la lectura cuidadosa y lo' comprensi6n de'los objetivos especficos o empezar coda mdulo, para que tenga, presente lo que se espera de usted, con el trabajo que relice con cada uno de ~lIos.

,.

14

Noble.6n

tem6tica es la correcta interpretacipn de los srmbolos. pues en textos de autores diferentes es posible que a un mismo sfmbolose le den significados distintos: por tal raz6n se ofrece esta lista de los sfmbolos empleados en este curso y su interpretacl6n. Ellos son presentados en el orden de
.

Un factor importantepara la comprensi6nde cualquier texto de ma-

aparlcl6nen el libro.

SIMBOLO SIGNIFICADO

e:

es un
.

f} n(a) .

I +

Conlunto Es Igual a Tal que

elemento de . .. No es un elemento de
.

...
.

Sfmbolo de la operacl6n suma Cardlnalldad del conlunto A .Vasf sucesivamente Conjunto universal

Coniunto vacfo

'

:p e .g; e
'S ~ U

Coniunto de los nmeros naturales Sfmbolo de la operacl6n .multipllcacl6,n

No es Igual a
Subconlunto

de

> <

,Es menor que

No es subconlunto de. ~. Subconiunto propio de Es mayor que Es m~nor.o Igual que Es mayor"o Igual que Unl6n con Intersecci6n con
.
.

...

,n Q:

Complemento de

=>
<t::
+..
.

Sfmbolo de .Implicacin

No es subconiunto .proplo de

No es menor que ., Sfmbolo para e.xpresar la operacin divlsi6n: (tambin se usa ' el sfmbolo ~ comoen -)
. b.

Sfmblpde la operacl6n diferencia o. resta No es mayor que' .

Doble implicaci6no equivalencia No. es falso que "tringulo Angulo

15

R E D D'
7t

Conjunto de Conjunto de Conjunto de Conjunto de

3.14159.

..

los .nmeros reales. los nmeros enteros los racionales los rraclonales

Smbolo de la operacin rafz cuadrada Tanto,por ciento'

16

UNIDAD I
I

CONJUNTOS

.'

,.

Introducci6n

I \

"Medir y contar fueron las primeras actividades matemticas del hombre primitivo y ambas nos conducen a los nmeros", Haciendo marcas en los troncos de los rboles lograban los primeros pueblos la medicindel tiempo y el conteo de los bienes que posean; as surgi la aritmtica., - . Despus de muchos siglos el hombre alcanz un concepto r1'1s abstracto. de los nmeros y de los relaciones entre ellos, y fue hacia fines del siglo XIX cuando Georg Cantor cre la Teora de Conjuntos, pero no fue sino hasta casi los aos. veinte del presente siglo cuando se desarroll como fundamento para el enfoque moderno de la matemtica, por Gottob Freg,e, siendo Bertrand Russell quien complet, desarroll y dio amplio publicidad

a las aplicaciones de esta teora.

Lo idea de conjunto o como tambin se le llama "clase" o "agregodo", es en s., intuitivq y muy antiguo. En esta unidad conoceremos los principios generales de lo teora de conj'untos y es muy importante su comprensin pues nos sirve como base pata unificar y dar cohesin 01 estudio de las unidades posteriores, proporcionando un medio intuitivo y grfico par9 la introduccin de conceptos abstractos y un "lenguaje" paro el ,estudio de la Unidad 11.No se espera la memorizacin de los ideas principales de lo teora sino ms bien la comprensin y aprecio de su importancia a medida que las vayan aplicando. .

19

ObJetl~os lenera~es

Al'trmino de esta unidad el alumno: 1 .' Aplicar el lenguaje simblico que se requiere en el trabajo y estudio
de conjunt9s..

'

.2. '~epresentar. grfica,mente conjuntos, mediante' diagramas de Venn. 3. 4. Efectuar operaciones'con los conjuntos usando las representaciones enumerativa y descriptiva.
'

Graficar, mediafite diagramos de Venn, operaciones combinada.s de conjuntos. '

20

..
Diagrama temtico estructural

Conjuntos. Variable. Notacin para construir conjuntos. Coniunto de verdad.

Nmeros naturales 4 operaciones aritmticas.

Cardinalidad.

Conjuntos finitos e infinitos.

.
I

Igualdad y equivalencia de conjuntos. Subconjuntos. Nmeros primos. Mltiplos de un nmero. Divisibilidad. Operaciones con conjuntos. Conjuntos

complementos.
Diagramas de conjuntos.

biagramas de las operaciones con onjuntos.

21

Glosario

. . Coniunto. Col'eccin o ,agregado de ideas u 'Qbjetos de cualquier especie

,

.como para decidir si pertenecen o ,no al' conjunto.-

siempre y cuando estos ,ideas u objetos estn tan cl~Hosy definidos

Elemento. Las ideas u objetos que forrllan un conjunto se denominan elementos del conjunto. Oracin abierta. Es toda oracin en la que intervi~ne alguna variable.
I

Coniunto de reemplazamiento. Conjunto que nos proporqiona los elementos para r~emplazar a la variable en una ora'cin abierta, . ' Coniunto de verdad. Los elementos del conjunto de reemplazamiento que hacen que la oracin sea verdadera forman un conjunto que llamamos coni,unto de verdad. . Variable. Una variable es una letra usada para representar a cualquier

elemento de un conjunto. .

Cardinalidad. El nm'ero de elementos contenidos en un conjunto determina la cardinalidad del conjunto. Coniunto finito. Es ,aquel en que es posible determinar el' nmero de elementos que a l pertenecen, no obstante la dificultad que pueda
presentarse., .

Coniunto infin'lIo. Es aquel, en que no es posible terminar de enumerar 'a . ' .' ' sus elementoS. . Naturales. Conjunto de los nmeros enteros que nos sirven para contar 1, 2,3. . .) (N

Coniunto universal. Conjunto formado por la totalidad de los elementos considerados para una determinado operacin. Es equivalente 01conjunto de reemplazamiento'. ,.,.

Coniunto vaco. Conjunto que no tiene elementos, tambin se le llama 'conj'unto nulo.
'

.Coniuntos equivalentes. ,Son aquellos que poseen la misma cardinalidad, aunque sus elementos sean diferentes. Conluntos iguales. Dos conjuntos son iguales, si son equivalentes y, adems, 19s 'elementos de uno son tambin los elementos del otro.

22

Subconiunto. Dados dos coniuntos A y B en que todos los elementos de A

pertenecen al coniunto B. entonces. decimos qU el coniunto A es .subcon;untode B.

. . Nmero primo. Todo nmero natural que admite s610 dos divisores (la . unidad y l mismo), se denomina natural primo. Mltiple;de un nmero.
de K ser: M

. Subconlunto propio. Dados dos coniuntos A y B.' decimos que A es sub. conjunto. pr-opiode B, si A es subconjunto de B y existe a lo menos' un elemento de B que no pertenece al conlunto A.

SI K e: N entonces, el contunto de los mltlplos = {K, 2K. 3K, 4K, 5K, . . . } Cada elemento del conlunto
..

M es un mltlplo de K.

Nmero compuesto. Es aquel natural que admite por lo menos dQs divisores primos. Puede ser uno solo repetido: (EJ: 4 = 2.2). Correspondencia blunivoea entre dos conluntos. SI los elementos de dos conjuntos equivalentes pueden aparearse tal que a cada elemento'de cad.a conjunto se le haga corresponder uno y s610 un elemento del
-

otro conjunto,entonc.es diremosque existe unacorrespondencia biunvoco (o uno a uno) entre .Ios elementos de esos.contuntos.

.Unln'entre conluntos. Sean A y B dos conjuntos, entonces: A U B = {x I x e: A 6 x e: B}. Interseccin. Sean A I Y B dos conjuntos, entonces: A () 8 = {x I x e: A V x e: B} Conlunto complemento. Sea U el conlunto universal y S un sub.conlunto cualquiera'de U. El conjunto de los elementosque faltan a S para completar U, es .el "complemento de S", ($'). . Diagrama de Venn. Son figuras cerradas en el plano que nos sirven para esquematizar o'peraclones entre - conluntos. Se considera que cada figura encierra a los elementos del conlunto al cU.alrpresenta. . Conluntos dlsluntos. A dos'conjuntos A y B se les denomino "dlsluntos" si no tienen element~ en c()mn, es decir: . A n B = ~.

23

M6dulo 1

OBJETIVOS ESPECIFICOS

Al terminar el estudio de este mdulo Ud: 1. 2. 3. - 4. Explicar con sus propias palabras, la idea de conluntos. Determinar si un elemento pertenece o no a un conlunto dado. Discriminar entre una lista de "conluntos" dados a aquellos que est~n

bien determinados o definidos.

Construir conluntos usando la tormo enumerativa o clescrlptlva en su notacin.

ESQUEMA RESUMEN

Conjunto

- Nocin Intultlva.
...;... Definicin.

Oraciones abiertas. - Conjunto de reemplazamiento.

- Conlunto de verdad.. Notacin.

24

Conlunto8

de sus necesidades.

Desde sus origenes la sociedad humana ha tenido la idea de agrupacIones o conjuntos: la familia, los clanes, las tribus fueron los primeros coniuntos humanos, y sus bienes, sus armas, fueron conjuntos de satisfactores
.
\ ,

Todos estamos acostumbrados a tratar con conjuntos: as, escribimos .usando un conlunto de .letras llamado abecedario, efectuamos operaciones de conteo y medicin usando un conlunto de nmeros, participamos socialmente en conluntos llamados clubes, ete., sin embargo, el significado del trmino conlunto no es fcil de explicar o entender pues generalmente en el Intento usamos trminos que a su vez han de ser definidos. El cuento de nunca acabar.

Para nuestros fines podemos considerar un conjunto como la coleccin o agregado de ideas u objetos de cualquier especie, siempre y cuando estas ideas u objetos estn tan claros y definidos como para' decidir si pertenecen o no al conjunto.

del coniunto.

Los ideas u obietos que forman un conjunto se denominan elementos

'

Elemplos de Conluntos:

o) ,b) c) d)

e) Los autoresde este libro. f) . Las vocalesdel alfabeto. Notacin

Los Estados de la Repblica Mexlca'na. Los dios de la semana. Los alumnos de la preparatoria abierta. Los artfculos de la Constitucin Mexicana.
.

Generalmente usamos las letras maysculas para denotar conjuntos y las

'.

lunto dfas de la semana y x 01 dfa lunes. , Para 'simbolizar que un objeto es elemento de un conjunto escribimos x e: A que se lee "x es elemento del conjunto A" o por el contrario m g A que se lee "m no es elemento del conjunto A".' ' Otra forma utilizada para denotar un conjunto es la de escribir los nombres de los elementos que lo forman entre un par de llaves o corche-. tes, por eiemplo el mismo inciso b). {lunes, martes, mircoles, jueves. viernes', sbado. domingo} forma conocida con el nombre de enumeratlva, .0' de extensin, aunque este ltimo nombre no parece muy significativo.

minsculas para sus elementos. En el ejemplo b) podemosllamar A al con.

25

coniuntos es la nica posible, se llama por descripcin o tambin por comprensin: en esta forma se encierro entre los llaves o ~orchetes lo condicin para pertenecer al conjunto o la descripcin de los elementos que lo forman, en el primer caso un ejemplo es: {pers'onas mayores de 18 aos}

Tambin se usa en algunas ocasiones otro formo, que para algunos

el ejemplo b) quedaria, {dios de la semana}. ' Observe que las 'llaves y corchetes simbolizan un conjunto y lo qu~ encerramos con ellas son sus elementos o uno descripcin de ell~s,
,

Oraciones abiertas, variables, conluntos de reemplazamiento' y conluntos

de verdad.
"

,"

"

Otra notacin para los conjuntos es uno variacin de la formo llamado, por descrlpcl6n,y que llamaremos la notacl6n para construir conluntos, sta.
-nos permitir ms adelante abreviar lo representacin de los conjuntos o enumerar los elementos que los forman (rozn del nombre que le hemos
dado),' Ejemplo:
' .
' . ,-

El conjunto de las estaclone$ del ao. Lo podemos representar-por lo letra mayscula E, pero esto sirve de muy poco cuando se trate d Identificar los elementos de E por lo que

usamosla siguientenotacin:'

E = {x I x sea Una.de las e'staclonesdel ao}

Lo anterior se lee "E ~s Igual 01conjunto formado por elementos x, tal que x 'sea una de las esta.clonesdel ao'''.'La Ifnea vertical se lee "tal
.que", "

la variable la llamamos una oraci6n abierta en virtud de que es una. oracin que tanto puede ser falsa-como verdadera, dependiendo del nombre con q~e se reemplace a la variable x. Una oracl6n abierta es, pues, toda oraci6n en'la que interviene alguno variable y al conjunto que nos proporciona los elementos para reemplazar a lo variable lo, llamamos el conluntode reemplazamiento. Eiemplo:

ejemplose le llama variable. ' - , La condlcl6n"x sea unad,elasestaclone$ del o", en que interviene
,

La letra x se ha utilizado para determinar cua,quler elemento que satisfaga la condlcl6n dada, es decir, representa a cualquiera de los: nombres primavera, verano, otoo; Invierno, por consiguiente podr variar en este caso cuatro veces. Por--to anterior' a la letra x empleada en este

Sea E -= {x
M

I x.. es una de las estacionesdel ao} y el conjuntode

"
.

r~emplazamiento para 'x el conjunto M:,

= {Prtmavera,

verano, otoo, invierno, lunes, abri~ frio}

"

--- ----

entonces slo elementos de M se pueden usar para reemplazar a la va..

riable x de la oracin abierta.

x es uno de las estaciones del ao Pri~avera es una de las estaciones dl ao Verano es una de las estaciones del ao Otoo es }lna de las estaciones del ao Invierno es unQde las estaciones del ao Lunes es una de las estaciones del ao Abril es una de las estaciones del ao Fro es una de las estaciones del ao

Observamos que algunos elementos de M al reemplazar a la variable x forman una oracin verdadera y otros una oracin falsa.

Los elementos d~1coni~nto de reemplazamientoque hacen que la oracih sea verdadera, forman un conjunto. que llamamos el coniunto de verdad.
Notacin para construir conjuntos: E
Conjunto Conjunto de reemplazamiento
-

{A ~

M I x es una estacin del ao}

verano, otoo" Invierno,

M =' {primavera,
,

lunes, abril, fro}

de verdad

E = {primavera, verdno, otoo, invierno} observar que al considerar una oracin abierta debemos cOQocer previamente. el conjunto de reemplazamiento para poder

Es conveniente

determinar el coniunto d~ verdad. Ejemplo: .

. . para determinar el conjunto de verdad P es necesario conocer los .elementos que forman el conlunto de reemptazomiento A, as, si A = {botn, 3, papel, -2} entQnces P = {3, 2} .

P = {x.eA I~ sea un .nmerq}.

27

---

- ----

\ '

PROBLEMAS PARA AUTOEVALUACION 1-1

1. ,Completar los espacios $iguientes con la palabra adecuada.. .c) d) e) f) A un conjunto de monedas antiguos se.le llama (nI
p'e

a) A un conjunto de jugadores de beisbol se le llama E e f: 1-'. b) A un conjunto formado por tres guitarristas se le lIama:.z:.......
r
I

'

.~'T'.

2.

Marque en la casilla correspondiente su respuesta'

F

~rngr~;>1'd~~ a~u~~osl'~~~ termina Una carrera profesional se ,denoUna sala que rene una gran variedad de libros forma un~ La reunin de soldados de un pas forma,n un ~ . \.

= {Clavel. rosa,

perfume. violeta. gardenia}

a) Es "margarita" un elemento de F? . b) Pertenece "clavel" al conjunto F? c) Es "perfume" un ~Iemento de F?

d) Es "hermosa" un elemento de F?

S Ll GJ tEI

e) Est bien definido el conjunto F? O BJ 3. Expliquepor qu considera que el conjunto F est bien definido. 4. Sea J = {x Ix sea naflor.} S No a) Es a e: J? , O ~
b) c) d) e) Es "aroma" elemento de J? Es "gardenia" elemento de J? Es "margarita" EJ? . ,Est bien definido el conjunto?
.
I

D.E!J

No !SI O c.;

D .121'
O

D D
D

5.

t:J D Sea R el conjunto de los meses del ao que tienen la letra "r" en su nombre. Marque la casilla que indique la 'respuesta correctQ.
.

Si

No
I:J

a) Mayo e: R
b) Abril E R c) Diciembre E R d) Agosto e: R e)' Febrero e:. R. Sea M {1. 2,3. 4. 5. 6} el conjunto

o
D . D D lE) de reemplazamiento.

6.

el conjunto de verdad que corresponda a cada conjunto que se da en la notacin para construir 'conjuntos o descripcin. Use .10formo

D D EZJ D Determine

enumerativa.
a) b) c)

7.

d) M rx es diferente de 2}"" ,.. '1.,. ~ En los siguientes problemas se dan conjuntos usando 10 formo enUmerativa, cmbielos a la forma descriptiva usando sus palabras para la condicin. a) A {Tamaulipas. Vera9ru~.Tabasco. Campeche, Yucatn, Quin\ .;

S {xe: M Ix es. menor que 5} L = ;{x e: M Ix + 1 -es igual a 5} T {x='.M Ix +'es mayorque 4}

- , 1:
1",

= U =. {xE

b) 28

E =

tana Roo} {1. 2. 3, 4. 5, 6}

( .~ \'" \,..'

"

t .'

--

M6dulo 2

OBJETIVOS ESPECIFICOS

Al concluir el estudio de este mdulo,el alumno:

,

2.

1 . Encontrar .Ia cardin'alidad de ,un coniunto finito.

dados. ' ,

Reconocer coniuntos finitos e infinitos de una lista d conjunto,s '

3. Dar"eiemplos que muestren al coniunto universo. 4. Dar eiemplos que muestren fJlconiunto vaco., 5. Dados dos coniuntos, mediante el uso de locorrespondenciCfbiunvoca establecer la relacin>, = o < para -las cardinafidades de esos coniuntos. 6. Expresar simblicamente la iguQldadde coniuntos. 7. Distinguirentre ,igualdady equivalencia entre coniuntos.
'

ESQUEMA RESUMEN
, ,Cordinclidad

Coniuntos infinitos

Correspondencia biunvopa Coniuntos equivalentes, Coniuntos iguales Coniuntos finitos

Conlunto u'niversaI Conjunto vacfo

29

Cardinalidad

El, nmero de elementos contenidos en un conjunto determina la cardinalidad del, conuntQ. En el coso del conjunto V = {a, e, i, o, u} . su cardinalidad ser 5 y la expresamos n(V) = 5 que se lee cardinalidad En el conjunto P: P = '{1, 2, 3; 4, 5, 6l ,la cardinalidad ser 6 y la expresamos co'mo n(P)

de V igual a 5.

'

= 6.

Conluntos finitos e infinitos

En los ejemplos anteriores hemos podido determinar con precisin el n. mero de los elementos que los integran, pero en otros cass no ser fcil esto; sin embargo, cuando, no obstante la dificultad que se presente, sea posible determinar el nmero de elementos de un conjunto, diremos que se trata de un conjunto finito.

Por ejemplo:

Los conjuntos formados por los astros que forman el sistema solar; el nmero de ediciones que se han hecho de "El Quijote de la Mancha", son conjuntos que.. como los primeros que hemos menciQnado, son finitos,ya que estn formados por Un nmero preciso de elementos, aun cuando no sea fcil determinar su nmero.~Si no cumple con esta condicin decj-

,mos que el conjunto es infinito.

Por ejemplo:l:.o~ nmeros naturales que son aquellos nmeros enteros que nos sirven para contar, y formar un conjunto, el nmero de ele.,

mentos de este conjunto es infinito, ya que, no es posible terminar de

enumerarlos, ,puesto que siempre podremos aadir uno ms al que consi-

deramos como ltimo elemento.

Otros conjuntos como el de los puntos contenidos en una recta, el de los fracciones en que puede dividirse la unidad, tienen un nmero de elementos que tampoco es posible terminar de enumerar, por eso se denominan conjuntos Infinitos. Estos conjuntos generalmente se mencionan usando las oraciones abiertas, y para presentarlos en forma enumerativa escribimos nicamente algunos de sus primeros elementos y a continuacin tres puntos suspensivos que debemos entender como la sucesin de elementos que cumplen

el modelo de los pri.~eros. As, si tenemos A '= {1, 3, 5, .7,, . .}

se nos est expresando el conjunto de nmeros naturales impares, que es un conjunto infinito: {Nmeros naturales impares}
Si se da: B = {5, 10, 15,

...}

se ha querido expresar una serie ordenada de nmeros que van aumen-I 30

.
l' . tando de cinco en cinco a partir del cinco,.y la cual es tambin un con junto Infinito.Convenimos, pues, que los puntos suspenslvos despus de algunos elementos en un conjunto, representan lo continuacl6n con un m~smopatrn hasta el Inflnlt,o.
, Ji.)

1"

'"

Conlunto universal. La tQtdndad-de los elementos considerados para"'determinada operacl6n se denomina conlunto universal. Asi, el conjunto de los nmeros enteros formar el conlunto universal. para. las operaciones que tengan lugar con ellos: el conlunto'de los libros de una biblioteca ser el conjunto universal poro las agrupaciones que se hagan de los mismos; la poblacin mundial ser el conlunto universal para cualquier relacin humana que s~ produzca. Por su deflnlcl6n.entonoes, el conlunto universal equivale. al conlunto d.' reemplazamiento, es.

decir, significanlo mismo.Su sfmboloes U.. Conlunto8vacfo8 -

gran utilidad en las operaciones con conluntos es ei'concepto ~ del con. De junto que no tiene elementos. Los conjuntos para los cuales ningn elemento satisface la condlcl6n
.

dada. se conocen.camo'c9nluntosnulos o vacfo8y se representan por 4o bien po~{}.Por elemplo,el conluntode mexicanosque han Ido a la .Lu-

no, el de las-ciudades mexicanos con una poblacin superior' a lOs-diez millonesde habitantes, el de los meses del ao cuyo nombre comienza con e, son. conluntos vac(08.'La ardlnalldad d. ... O.pc)rconsiguiente n(+) = O.Es Importante hacer '.notarque los trminos conlunto vaclo y nCamero cero son dos cosas totalmente diferentes y que se considera que el conlunto vacfo es finito. Conluntos equivalentes SI dos conluntos poseen 'la misma card~nalldad,se dice que son conluntos equivalentes. ya que tienen 'el mismo nmero de elementos, y puede .establecerse entre ambos una correspondencia d. uno a uno. o blunlvoca. Son conjuntos equivalentes el conlunto de sillas de una clase y el del nCamero de alu_mnos~ si todas las sillas estn ocupadas y no hay alumnos de pie. Asflos conluntasC {verde,blanco, rolo} y .' F {5,4, 3,} .

= =
..

son equivalentes, ya que se puede establecer la correspondencia blunfvoca

"'\

{verde, bla,nco,rolo}
{5,

4,

3 }

Conluntos Iguales Se dice que los conjuntos ~ y e son Iguales cuando cada elemento d, A es a la vez elemento de B y cada elemento de B es tambin elemento de 31

A. En'otras palabras A y B son dos representaciones distintos del mismo conjunto. Se simboliza A = B que se lee "A es Igua,lo BU. Ejemplo: A represento 01conjunto formado por los letras o, ,o, e, u, i. . B represento al conjunto de vocales del alfabeto

esdecirA = B 6 {o, o, e, u, i} = {o, e, i, o, u}

= {o, e, i: o, u} o tambin {o, o, e, u, i}

.

.B

Observe que el orden en que se enumeran o enllstan los elementos no tiene importQn.cio poro comparar los conjuntos. Es muy importante que se entiendo lo. diferencio entre

iguales y coniuntos equivalentes; dos conjuntos

son

equivalentes

conluntos

'cuando tienen lo mismo cordinolidad aunque sus elementos $e(.1n diferentes, mientras que dos conjuntos iguales siempre son tambin equivalentes, pues teniendo los mismos elementos tendrn

lo mismo cordinolidad.

'

PROBLEMAS 1.

PARA AUTOEVALUACION ~aturales

1-2 ,

Si lIam,amQs N' 01 conjunto. de nmeros

a) b) 2.

c)

Es N un conjunto infinito? Por qu? .~ 'e,t Si P= (x E: N I x es menor 'qu 9}E~P un conjunto finito? Por qu?

La cordinolidad de P ser n{P)

')

Poro codo conjunto que se nombro marque el cuadro segn seo finito o infinito. . o) b) c) d) e)

correspondiente
Infinito GJ D

Finito D Los puntos de una recto, Los islas de todo el mundo .~ Los pelos de un gato EJ El conjunto de los nmeros enteros impares D mayores de 5' El conjunto de los nmeros enteros D

3 W

3.

Seo R = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} Exprese en formo enumeratlva los elementos. de los conjuntos que se proponen ,o continuacin.
~,

b)
)( c)

a)

d)

S T V

Seo M ={x e: R I x menor que 1} {x E: R Ix, x 64}

= = = {x E: R I x + 7 = 25} = =
.

= ~" ~

\,

fx E: R Ix + 3 = 7} =

'. ,'~'

32

4.

Seale en la casilla correspondiente si el conJuntopropuesto es o no vaco. Vaco No Vaco

a) b) c) El coniunto de los- nmeros impa~es que

terminan en 2

lE CiJ. ls:J

o o DG3l :;l'

d) - e)
f)

El conjunto de los.,nmeros pars {xe:NI7,x='12} en {1, 2, 3,5, 7} {O }

.p

{a,e,i,o,u} El coniunto de nmeros pares comprendidos

g) El conjunto 5.
espacios a) b)
,

o D. Ud'

Mencione la cardlnalidad de los siguientes conj',mtos completando los

={2, 3, 6, 5} nCA)B = {11, 12}' n(8) .=
- j-

c) C = {O}
d)D = {.p} e) E = { }
-

n(C) =
n(D) = n(E) =

.
~

J,

'- .1'

6. Considerando queA-= {1,2,3l. 8 = {2,3, S} YC = {3, 1,2}

a) d) A ~ 8 B t. {5, 2, 3} b) e) BI C c::-- A

Complete la oracin llenando el espacio en blanco con el smbolo correcto, escogiendo entre -:-' =1=(igual, diferente).
'c) {2,5.3}j'

----

;;,

M6clulo 3

OBJETIVOS ESPECIFIC~S'

Al concluir este mdulo, el alumno:

{

2. Construirsubconjun,tos propiosde un conjuntodado.

.

1 ~ Aplicar la simbologia. de hclusin o contencin a conjuntos.

.

3.' 4.

5. Definir mltiplo .de un nmero. 6., ' Reconocera los nmeros,primos de un conjunto dado. 7.' 'Construir el conjunto de los mltiplos de un natural arbitrario k. 8., Desc,ompondrun nmero compuesto en sos 'factores primos;' es
. decir, realizar una factorizacin completa.
.

Identificar al conjunto de los nmeros naturales! Defini'r nmero primo; .'

ESQUEMA RESUMEN Subconjuntos importantes de N

mltiplo de un nmero divisibllidad entre un nmero

, ,

,conjunto de lo~ mltiplos de K; con ke: N

nmero natural primo" '

conjunto de ,los nmeros primo$

... ..

,34

Subconiuntos

Al conjunto R que est forma.do por elementos que tambin pertenecen al conjunto P se le llama un subconlunto de P.
Considerem9s el conjunto P como un patio de estacionamiento de automviles en el que se encuentran coches de diversos modelos, marcas y colores, y como conjunto R todos los coches rojos estacionados en ese patio. Podremos decir qe R es un subconiunto de P. El smbolo e se lee "es subconjunto de. . ." y ~ "no es subconjunto de...". Entonces R e P. . Otros subconjuntos de. P pOdran ser W,.si W, es el conjunto de Volkswagen estacionados en el patio; o S, si S es el conjunto de coches modelo setenta estacionados. ah mismo. As podremos escribir W e P y S e P. Cuando dcimos que un conjunto es subconjunto de otro, estamos da~do la idea de pertenencia o tambin la de particin, por ejemplo: A ~. B significa A es subconjunto deB o tambin A pertenece a B; A est incluido en B. Esta idea es muy til pues nos conduce a la conclusin de que si un elemento pertenece al conjunto A debe, por esa razn, pertenecer tambin al coni.unto B.' Pue~e tambin considerarse que toGo conjunto es un subconjunto de s mismo, e igualmente el conjunto vaco ser un subconjunto de cualquier otro conjunto A e A, f/J e A. Ejemplifiquemos con algunos conjuntos que nos son familiQres. Sea V = {vocales del alfabeto} y A, = {todas las letras del alfabeto} podemos decir que: V e A . es decir, cualquiera vocal es elemento del alfabeto, pero: A ~ V porque en .el alfabeto hay letras que no son vocales y por tanto no son elementos

d~ V.

. .

cia o particin.

Con lo anterior podemos precisar lina idea ms adecuada de pertenen-

Sien.do V e A pro A tiene adems elementos que no pertenecen a V; se dice .que V es un subconlunto propio de A. :No s610 V est incluido en A sno que es-slo unq parte d~ l, nunca tiene la misma cariinalidaCl. .

Ejemplo:. Sea M' = {a, ~, c,. dJ {b, c, d, a} e M"pero no es subconjunt~ propio 35

{a} ~ M pero como M.tiene adems otros elementos, entonces {a} es subc,onlunto propio de M, esto lo representamos asf c. {a}c: M. Escribe .todos los subconluntos propios que tenga M (deben ser 15): La idea de subconlunto propio nos sirve tambin para establecer entre. los oonjuntos Ips .Ideas de ~'mayorque" y '~menorque" pues si el conjunto Ves subconjunto-prop'lo.deA (V e A).entonces V est contenldosn A, y A tiene por lo menos un elemento ms y podemos decir con seguridad que..el conjunto A es mayor que el conjunto V.lo.cual slmbollzamos A> V o tambin que el c.onjuntoV es menor que el conjunto A (V< A)., - . . Dijimostambin que .10cardinalidad nunca e~ la misma entre dos conjuntos relacionados por la idea de subc;onjuntopropio~con lo que podemos tambin acaptar que n(A)> n(V)6 n(V)< n(A).Siendo las cardlna'l1dades n~eros naturales estamos estableciendo el sentido de la' desigualdad entre los nmeros naturales, ejemplo: me,nteserran sus cardinalidades L e M por lo tanto n(l) < n(M) es decir ,3 < 4 C6mo podrfamos comparar dos conjuntos con elementos totalmente diferentes? No podemos decir que~uno sea un subconjunto del otro. Sean K {r, s, t} y.M {a.,b, c,d} los dos conjuntos., En estos casos podemos emplear la correspondencia blunfvoca entre
Sean M

= {a, b, c, d} y L = {a, b, c} dos

conjuntos; 4 y. 3 respectlva-

los conjuntos

..

'.

n(M) =4
M = {a, b,-c, d.}
.

;;;; = {r~, s, t}, n(K) =3

de este modo nos damos cuenta de que aunque K Q: M existe un elemen,to de M que no encuentra 'su correspondiente en' K, n(K) <. n(M-),en otras palabras. cuando al establecer la correspondencia blunfvoc existe 0'1me~ nos un elemento .de un conjunto que no tiene correspondiente entr los , elementos de un segundo conjunto, el primer conjunto es ms grande que el segundo,.10cardlnalldad del primero es mayor que la del .segundo. t . .' . Algunos subconluntos Importantes de N Hemos definido ya el conjunto de nmeros naturales N como el conlunto de nmeros enteros que nos sirven paroconfar. A partir de 'aquf usaremos . .Ialetra N, excluslvament~ para designar a ,est conlunto.
.

= {1, 2,,3; 4'5,

,

'}

Observemos ahora algunos subconjuntos Impor.tantes .de N, ean: a) . El conjunto de mltlplos de kJ siendo k e: N. b) El conjw,to de .nmros primos y c) El conjunto de nmeros compuestos. . . 38 . ,

'.

Elemplo:El conlunto de mltlplos. de 7-ser: {7,14,21', 28, 35,. . ..}. . . Se dice que un' nmero es divisible ent.re otro cuando su cociente es . un nCamero entero y el residuo es' O.Siempre que un nmero.es mltiplo de otro, es divisible'entre ste;asf, .15 que e~ mltlplode 3 y de 5,.por lo tanto es dlvls.rbleentre 3 y entre .5. '. b) El coolunto de nCameros primos.
P .

a) Conlunto de mCaltlplos de k. SI k e: N entonces, M,= {k, 2k, 3k, 4k, 5k" mCaltlplos de ~"
, ' , " ..'

. .}ser el con~untode los

'. . .

= {2, 3,5, 7, 11, 13, 17,.., .}

.
.

Estos elementos pueden defln,lrsecomo aquellos nmeros que no tienen ms divisores que ellos mismos y la unidad. Debemos observar que el nmero 1 'no se define como nmero primo, para evitar tener que hacer excepciones en estudios matemtlcos de ms

alto nlv,el.

c) El conlunto de nmerds compuestos;

e ::::(4, 6, 8J), to, 12,14, 15, 16, 18,. . .}

Este conlunto est formado por nmeros que no son primos. Se exceptCaa el 1. '. '. Los nmeros compuestos son mltiplosde i 3" aquellos que son sus factores; asr, 12es un . i': ",lt~plo de 2..de ~, contenidos de 4 y de 6, ya que esntlmeros'estn exactamel", 4:: .J tos ( , I 6 I I I \ te 'en 12, como podemos observar en la' figura.
,

Tambin podemos decl.r que 2,-S, 4 ,y 6' SOl')factores

de '1~.

nemosfactoresprimos,en su factorlzac,16n.
En cambio son factores de 5,7,8,9 12 Va que no nlngu. no de ellos estO contenido nCamero exac to de ve ces ,un en . 12 como se Ve en la figura
,.
.

Se d,ce que se factorlza un nmero, cuando se expresa como producto de SLlSfactores. Una factorlz~cl6n se considera comple~a cuando s610 te.'

\'

'

I I I l.

~ .

-. '11.. LLLI"

I I I I I ItI I . I I I I I D:.I:I:iIaJ I I I l.

[!]:::[]:I::::::-_:::: :.:~J. ----..-----------,

J
I

I I. r

I.

37

--~

PROBLEMAS P~RA AUTOEV!'LUACIQN 1-3

.
Considerando el conjunto M = {a. b. c dJ forme un conjunto con todos los subconluntos de M que tengan: a) b) c) .d) Cardinalidad Cardinalidad Cardinalidad Cardinalidad 4' y 3 y Oy 1'.y lImelo lImelo lImelo lImelo T. U. S. W.

1.

2.

Si A = {O. 2. 5. 7} .decimos que 5 e: A. o que {5} e A; pero no se puede decir que 5. e A porque 5 es un elemento. Aclarado lo anterior. diga cules de las siguientes oraciones son verdaderas y cules falsas: a) 4>e:A' e) 7 ~ A b) O e: A f) 7 e A '.c) {O.5} e A g) O e:.4> d).2e:A Considere como A = {1. 2. 3}, B = {1. 3. 5. 6} Y C {1. 2. 3. 4, 5. 6}.. Complete la 0~aci6n llenando el espacio en blanco con el smbolo correcto. escogiendo entre e 6 ct: a) B . C . e) A B b) {2. 3. 1} ~A. f) B ..B c)' A ,C g) {3. 2. 1} A d)" 4>" B
.'

3.

4.

d) Cul es la cardinalidad del conjunto W del .problema17 1 b) y la del conjunto S7

c) Compare la cardinalidad .de W con la de

(>. <) en caso de desigualdad.

'

S. Use smbolo

adecuado

d) Compare n(T) on o(S).. e) Compare n(W) con n(U). 5.

Establezca la correspondencia biunfvoca entre dos conjuntos de modo que demuestre que la cardinalldad del conjunto das de la semana D.

es mayor que la del conjunto de estaciones del ao E.

6. .

Escriba si los nmeros siguientes son primos o compuestos y si son compuestos escriba de qu nmero son, mltiplos. a) 37 1" b) 21 ~ . c) -19!1' d) 72 e) 27 ~ f) 15~"~ g) 51 f

'i

7..

Realice la factorizaci6n completa, es decir, descomponga en sus factores primos los siguientes nmeros: a) 18 'b) 21 c) 34 d) '100 e) 36 f) 64 g) 75 ,..,~ :-' '1-1 J i ~,'t ;. JII. I~' i j

.- > 1

. 1

~-

M6dulo 4

OBJETIVOS ESPECIFICaS

- . Al concluir el estudio de este mdulo, el Qlumno: I

3. Representargrficamente'un conjuntoconsideradoal conjuntouni. .

1. Definir con palabras y simblicamente la unin entre dos conluntos. 2. Encontrar el-conjunto que resulta de la unin de dos conluntos. verso.
.'.

'

4. Representar
.

5. 'Definir con palabras y simblicamente la Interseccin de dos conjuntos. 6. Encontrar el.conjunto que resulta de la intersecci6n de dos coniuntos.
. '

entre conjuntos.

grficamente
.

(mediante diagramas de. Venn) la unin

,. .

7. Representargrficamente-mediante diagramasde Venn~ -lainter8. Expresar-con palabras y en lenguajesimblico- complementode

un conjunto arbitrario, dado su conjunto universo. . 9. Encontrar el complemento de. un conjunto arbitrario dado su conlunto universal. ,
.,' ,

seccin de dos conjuntos cualesquler.a.

10. Representar grficamente el complemento de un conjunto dado. 1,.. Rep~esentar grficamente la relacin e inclusin y operaciones com-

binadas entre conjuntos.

'

ESQUEMA...RESUMEN

Operaciones con conluntos:'

.
' ".

Unin de conjuntos. Intersecci6n de coniuntos. Conluntos dlsluntos! Representacin grfica de un conjun10y d.e las op~raclones
. " ,

con conjuntos.

Conlunto complemento'de un conlunto dado. 39 ,/

Operaciones con conluntos

Si reunimos los elementos de un conjunto A con los elementos de otro conjunto B obtendremos un tercer conjunto y la operacin efectuada la llamaremos unin; los elementos de este tercer conjunto pertenecern al conjunto A, al conjunto B o bien, a ambos.

Elemplo a):
.

. . que

unin sern canicas, o azules o blancas). La unin de dos conjuntos se seala con el smbolo" U" de manera podremos definir: A U B =. {x E A 6 x E B} que leeremos: "x sea elemento de A o sea elemento de B". .
Elemplq b): p = {1, 2, 3, 4, } Q = {3, 4, 5, 6, 7} P U Q = {1, 2,3,4,5,6,

blancas y efectuamos la unin de A con B reuniendo estas canicas, habremos producido un tercer conjunto de canicas que sern azules o .blancas. (Recuerda que no hay canicas que sean azules y blancas, es decir,ude colores m'ezclados, de modo que los elementos del' conjunto formado con la

Si A es un conjunto de canicas azules y B ,es un conjunto de canicas'

7}

I .Como ve.mos, cualquiera de los elementos de la unin podra ser elemento de P, elemento de Q bien elemento de ambos, .como el 3 y el 4. Si en lugar de reunir los conjuntos A y B de nuestro primer ejemplo, b.uscamos ahora los elementos comunes a ambos, estaremos. efectuando la Interseccin de. los conjuntos.

Una interseccin se seala con el smbolo"

mo la operacin entre dos conjuntos para obtener un tercero, cuyos elementos son los que simultneamente pertenecen a 10$ dos conjuntos dados. En el caso de nuestras canicas azules y blancas, diremos que nuestra interseccin es el conjunto vacfo porque nuestros conjuntos no tienen elementos comunes. Cuando dos conjuntos no tienen elementos comunes se denominan conjuntos dlsluntos. Su intersecci6n es un conjunto vaco (~). .

tI,

y se'-define co-'

40

"

En el casq del ejemplo b, la interseccin fa formar el conjunto {'3, 4}, formado por element9s que pertenecen tanto a P como a a. . Podemos entonces definir esa int~rseccin como sigue:

p n a ~ {x E: P Y x E: a} = {3, 4}
Elemplo c):

sea V = {a. e. i. o. u} sea M.= {a, b, C,d. e, f} V n M = {a, e} I

~omplemento ,Hemos dicho antes (pg. 31) que en las operaciones con conjuntos la totalidad de los elementos que participan forma un coniunto llamado conlunto Ur:-iversal o de reemplazamiento (U) del cual todos' los dems son subconjuntos. Un conjunto muy tU en las operaciones con conjuntos es el complemento 'de un ~ubconjunto S cualquiera. ,
o

'

'

Si consideramos S e U el conjunto formado por los elerrrentosque a

S le faltan para completar-U es el complemento de,$ y lo sealaremos com' S', que se lee "S prima" o "complemento de S". 'Otra manera de definir a S' sera decir que es el' conjunto formado por los elementos de U que no: estn en S,' '
,

beto}, V e U.

Ejemplo:, Sea U = {todasI,asletras del alfabeto f y V = {vocalesdel alfa.'

V',= {consonantes del Qlfabeto}

, '

po~que son 'las letras del alfabeto que no estn en V o tambin las letras que a V le faltan para completar el universo U.
~ ,

(VU V'

son disluntos, (Vo ,n V' = cp) y t!:Iue la unin da por resultado el universo

Nptese que por definicin cualquier conjunto y su complemento

= U).

'

. Grfica

de,un conlunto y de las operaciones con' coniuntos

'

Es muy til ilustrar las relaciones entre conjuntos mediante diagramas o figuras cerradas q.ue indican que los elementos comprendidos dentro de esas reas pertenecen al conjunto. A estos diagramas se les conoce como Diagramas de Venn, en honor
"

del matemtico ingls John Venn (1834-1883). : Nosotros los emplearemos'

y tambin usaremos algunas variants, aunque'los llamaremos en general DlagrCimas de Venn. Elemplo: El rectngulo nos indica el conjunto universal o de reemplazamiento, los crculos A y S muestran coniuntos disiunt~s ya que no tienen elementos'comunes. Los elementos 1. 2, 3 son elementos de A: 4, 5, 6, 7 ,son elementos de S y 8, 9, 10 no son de A ni de S, pero s son del universo. '
o ,

41

Unin de conlunto8

Los conjuntos V\y M Que se presentan en la siguiente figura estn for-

mados por: V - {l. ~JN. A. E} . \. . M - {A. e: B. evG. C. F} . : luego,V U.M :;:: ll. O. W. A/E'. a. D. G. c.. F} y en el.'diagrama, se.presenta
.V U M. somt;>reando el rea. corre~pondiente.' .' .

.
VUM:'
1

Interseccin de conluntos

Con os mismos conjuntos V y M present<;Jmosel siguiente diagrama que representa la interseccin; de .los conjunlo$ V n .M. Su interseccin ser la zona superpuesta que encierra a los..elementos que pertenecen a ambos simultneamente y que aparece sombreado. V M =. {A. E}. . .' . , '.

Conlunto complemento
El conjunto S est indicado por el crculo. S' ser su complemento que, como hemos definido antes, ser el conjunto de todos los elementos. d~1
42

I.~universoque no estn comprendidos en S. La parte sombreado nos reo

presenta a S'. Los diagramas de Venn presentan upa gran. ventaia para
representar los conjuntos de' verdad, porque a travs, de ellos podemos "ver" los conjuntos de verdad, es por esta razn qu~ los empleamos como "Lenguaje" ,pues como se aprecia en Iq figura sigui~nte no es necesario enumerar los elementos.

'",
I

.J
I

Ejemplos:

'OO.
...
A
I

a) La figura en ,la izquierda nos habla de dos conjunto~ A V B que claramente se ve q~e son disjuntos sin necesidad de saber qu elementos los forman.

b) Ahora tenemos. ,~res conjuntos A, B V C. La int~rseccin entre A y B 'forma un conjunto , que se representa sombreado V la unin de ese conjunto resultanfe con e se representa por el rea ence~~a~a con la 'lnea gruesa.
,

Cuando se combinan ms de dos conlunt6s como en el' eiemplo anterior. .se hace necesario sealar el orden en que se efectuaron las operaciones V para ello se .usan los .smbolos llamados parntesis,as del ejemplo b tendrfamos .

(A n B) U e
primero obtuvimos la interseccin A con B V ese conjunto ,. '. se uni con C. , t
-43

,-,

e)~ IAU J3j. n (8 n C).10. S$form6 el conlunto de

lb unlon' de A con '8 y en la grfica se 80m- . bre6 horizontalmente; 20. se form6 el conlunto de la Intetseccl6n de 8 con C, V se sombre6 verticalmente y 30. se busca la Interseccl6n entre dichos conjuntos resultando ser el rea'

cuadriculada.

PROBLEMAS PARA AUTOEVALUACION 1-4 1. Tome el conjunto U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} como el conlunto

universal y si A = {1,'2,3.,4, 5,6}

"

8, =. {2, 3, 4, 5} .D determine los conjuntos que se indican y represente .10operacin grficamentesombreando el resultado,

C = {4,5, 6, 7} . = {7,8, 9, 10}

a) A U O' b) D U B e) B n O d) A n D
2.

\ '. Utilice una figura' como la que se muestra en seguida'y sombree. nicamente el rea que represente al conjunt9 que se da. En caso de que sea conjunto vaco no sombree y escriba por un lado su sfmbolo.

e) A U 8' f) B U ~ g) c' n D h) (A n B)'

i) '(O UD)' DO'U (A n D) -~) (B n D) U (B -n C) 1)(O U D) n (A U 8)

"

a) A U B b) B n O

c)(A n '8) U 'O

d) A' n, B' .

,.

.3. 'Escriba con palabras la 'descripcin del conjunto que se da y represntelo con un diagrama de Venn: considere que ,U = {x es un estudiante}. A = {x E: U.I x estudia matemticas} y B = {x e: U I x estudia ffsica}. Adems Qceptamos que A n B '* 4>(es decir que no son . . '. ~ disjuntos): ". a) A n 8 b)' (AU B)' 4. Explique.cules son las condiciones necesarias que deben~cer los conjuntos D y E para que se cumpla la igualdad que se propone'" en cada inciso de los siguientes: '

44

a) D

b) D U E = U 5.

n e= D

c) D n E = 4> d) D U E = D

Dlbule un diagrama s;leVenn de manera de que se cumplan las condiciones dadas.en cada Inciso. a) A e B, e e B, A n O = 4-. b) A S; e, A :p e, B n e = 4> . c) A e (B n C)..C e B, C -:1= B, A -:1= C

mltlplo de 3}; B = {x e: U I x es nmero par}: C = {x "e:.U I'x < 7} Escriba una operacl6n en que participen cualquiera de los conjuntos A B C o sus complementosde maneraque el conjunto solucin o res'ultante sea el que se da, unas veces en la forma enumeratlva y otras con diagrama. de Vehn.Slmpllflque al mximo su respuesta, el diagrama patr6n es el que se da en seguida.

6. Seanlosconluntos U = {1, 2, 3, 4, 5, 6~7, 8,9, 10}: A = {x e: U Ix

a)
d)

{3, S"} I A

.
e

, b)

~
{6} e) "
A B

c)

{2, 3,4, 6, 8. 9, 10} f) {2, 3, 4, 6} ,

e
RESUMEN

Teorfa de Conluntos nos sirve para unificar y darle cohesin a todas las unidades posteriores apoyndonos en las Ideas y conceptos de dicha teorfa, de los cuales no se espera que los memoricen, s'lno ms bien que' los vayan comprendiendo y apreciando su importancia a medida que los van utilizando. De todos los trminos empleados es verdaderamente importante lo
c~mprensi6n de:
"

Esta unidad en la que se exponen ios elementos fundamentale.s de .10

Conjunto Elemento Variable' Conjunto de verdad Conjuntos iguales Conjuntos equivalentes. , Conjunto vacfo Correspondencia blunivoca Subconjunto propio

"

Oracin abierta Conjunto de reemplazamiento Conjunto universal Nmero primo. , Mltiplo de un nmero Unin de conjuntos Interseccin de conjuntos Conjunto complemento Diagrama de Venn

45

-,-

Paneles de verlflcacl6n

CONJUNTO DE' PROBLEMAS 1-1

1 . a) A un conjunto de j'ugadores de beisbol se le llama Novena. b) A un conjunto formado por tres guitarristas se le llama Tro.
,

c) A un conjunto de monedas antiguas se le llama Coleccin. denomina Generacin.

.
.

d) A un grupo de alumnos que termina una carrera, profesional se le e) Una sala que rene una gran variedad de libros forma una Biblioteca..

f) La reunin de soldados de un pas forma un Eircito. S

2.
.
. ,

No
[8] D D !El
D
.

a) b) c) d)
e)

O IR! I&J D
I&J

3. 4.

Porque lo~ elementos que lo forman estn enumeradQs., S No O 1&] a) O ~ b) IBJ D e) ~ D d) ~ D e)

S No
'

5.

a) b)
c) d) a)

D
.,

g]

~
~ D [&J
.

D
D I&J O

6. 7.

a)S={'.2.3.4}

b) L = {4}

a) A

= b) E' =

T={2,3.4.5.6} {1.3.4.5.E$} {Estados de la Repblica Mexicana 'en la' costa del Golfo de Mxico} {Nmeros nat,urales menors que 7}
d) U

'c)

CONJUNTO DE PROBLEMAS
1

1-2

a) Es inf'inito porque no importo qu ton grande sea el nmero hasta el que contemos, siempre le seguir otro. .

46

b) Es un eoniulito finito, porque podemos contar los ele~tos lo forman.

e) n(P)
:;::

que

8.

2.

,a)

b) e) d) e) a)M'=,p={} Vaco
1m
o'
,

Finito O IKI' l5iI O O b) S No Vaco

O
ria, ' ~,'

Infinito liiJ CJ
D6iI 'IR)

.'
d) V 'e) T ,p Vaco NoVaco

3.

= {8}

= {4}

4. a)
b)

e)
d)'

[8JD
O

.
=1
b) n(B)

e) f) g):

.0

1m

O tia

6iJ O

5.

a) ,n(A).=, 4'

d) n(D)

=2

En el inciso e) el eoniunt tiene' un solo elemento que..es el O. En el inciso d) el conjunto tiene,un solo elemento,que es l eoniunto vaco.
6. a) A ::B b)'B ::e d) B = '{5,2, 3} (eJ orden no .se considera)
e) {2, 5,' 3} ::A

e).n(E)

=O

"

e) n(C)

=1

'

e) C .-:A

CONJUN,TO DE PROSLEMAS 1-3

, ,,' ..

1. a) T =Ha, b, e, d}1
b) U
, 1'; -'

= _{{a, b, e}, {a, b, d}, lb, e"d}, (e, d, o}JCada eoniunto de eordinolidod 3 es un elemento e) S = {4>} d) W = {{aL lb}, {e},',{d}}
, " del, eonlunto U
,

2.

a) Falsa b) Verdadera e) Verdadera d) Ver~adero

e) Falsa f) Falsa g) Fol~a

'

3.

e) A e e d) ,pe B 4.

a) B cC b) {2, 3; 1} Q: A

e) A ct:B . f) B Q: B(E1 smbolo' e significa

,

subeoniunto propio) g) {~, 2, 1} Q: A

e} n(W)

a) n(W)= 4 d) n(T) = n(5)

b) n(5) e) n(U)

= n(W)

1,

>

n(5)'

47

5.

D = {lunes, martes, mircoles, jueves,' viernes, sbado, dor:ningo} ~ ~ ~ ~ ,+ J. + E = {primavera, verano, otoo, invierno}

n(D) > n(E)

6.

0),37 es nmero prilT)o,slo es divisible entre s mismo o ,lo unidad.

b) 21 es nmero compues~o, sus factores primos son 3; 1'. c) 19 es nmero primo. ' d)'72 compuesto; factores primos son 3. 2. Existen ms factores paro formar 72, pero son nmeros compuestos como 9, 36, 4, 6, etc." , e) 27 'compuesto; factores primos 3. f) 15 compuesto; factores pri.mos 3, 5. g) 51 compuesto; factores primos, 3, 17. ,
,

1,

o) 18 = 2 'b) 21 = 3 c) 34 = 2 d) 100 = 2 e) 36 = 2 f) 64 = 2

g) 75'= 3 . 5 . 5 :;::: 3

2 . 32 .7 .'17 ' . 5 . 2 . 5 = 22. 52 . 2 . 3 . 3 = 22. 32 " 2 ~2 . ~ . 2 . 2 = 26

.3 .3 =

. 52

CONJUNTO DE PROBLEMAS 1-4

U'
'

1.

o) 'A U
,VV\I~

e=
~')

{1, 2, 3, 4~5, 6, 7}

.
A

4 S~.

7
.

AUC

3
'

'C

b) D U B = 1{2,3, 4, 5, 7, 8,'9, 10}

}.JiH'O'"'

D
U

8
B

DUB

c) ,B n e = {4,5}' In\ "r"''O(o r"

([) B.

.. S

6 7 ' C

48

., U

d) A

nD={ }

0 (8
1 2 3 4 5 6 A
'7

8 9 10
,

AnD

"D

u
, El>

~' t~

A U 8'

=u

= {1,2,3,4,5',e,
.

7,8,9, 10}

A U B',

u
f) ,8 U</>= B

8
B

BU</>

g} c' n D = {S,9, 10}

c' n D

h) (A n 8)' == {1, e, 7, 8, 9, 10}

(An B)',

1) (C U D)'

= {1, 2, 3}'

j)

9 U (A n
u

D}= C U</>= e A ,.

D ~ ."\ , '49

'u
,

~) (B

n D) U'(B

n C) = q,'U {4,5} = {4~5}

,
'~

BnD=q",

B n C == {4,5}

n (C U D) n (A U B) , C U D '= {4, 5, 6, 7, 8, 9" 10} AUB=A {4, 5, 6, 7, 8, 9, 10} n A == {A, 5,,6}

2. a), A

~B
c)
AUB'

e
d)

~
An B=~
C=~'
..
.

BnC

A'= B'~
A~

@j

~ ~
I

(A n B) U e lodo lo sombrea~o

n B' =
,

,~ '~

cuadrfcula.

que tenga,

Todo lo

3. ,a)
,

n -B ='
"ffsicaf

{x..~ U', x estudia matemtics}' () {x-e: I x estudia

,".. , '

'-

{x. e:. l:J I x. estudia

matemticas

fsica}

u
~

b) (A U B)' en este caso conviene primero dibujar el diagrama.

{x E: U Ix no estudia matemticas ni fsica}.

Tambin

matemticas o fsica}

{x E: U

I es falso que x studia

c) A' U B'

= Todo lo sombreado con cualquier rayado.

{x E: U I es falso que x estudie ambas, matemticas y fsica}

"

A
. .

4. a) Para que la interseccin nos d ese resultado es

necesario que: D e E es decir que D est contenido en E

"

.I

8
E
propio

produzca el Universo es suficiente que un c.on-.

junto sea complemento del otro

bl Para que la unin de dos C~':Iiuntos. cualquiera

I

D=~6E=~

e) En este caso los conj~ntos deben ser disjuntos. d) Como en el inciso a) s610que ahora es E el subconjunto
de D . .

el CuandoE = U 5. a)

65.

51

b) . De 1as dos primeras

condlc.lones

se saQa'en conclusl6n que. la In';'

formacl6n completa seria A c;::

c,)

6.

a) A

ne

b) A

nB
~

. c) A U B

d)

ArJ5::)B
..

'V e

.Aai:)B
.

(AUB) nc- V e

~n~nc

f) (AU Sr n e

52 -

..

UNIDADII
.

ELEMENTOS DE LOGICA
.

MA TEMA TICA .

_.a ~

'Introduccl6n

-,

Por muchOs'aos el estudio de' la lg'ica se consider i'ndependiente de '10 matemtica, siendo .as-que los lgicos eran. incapaces de simbolizar ,o seguir unraionamiento .simblico y losmate~ticos ajenqs totalmente a. la ius~ificacin de las tcnicas que iban aprendiendo: los lgicos se remitan al estudio de los antiguos griegos Y ,los matemticos a estudios de las ciencias. .
\

. .Afortunadamente para

todos, la evolucin de ambos estudios ha lIe-

o.gado.a tin punto en el que es imposible distinguir una frontera entre am, bos,. separar lo que sera solamente lgica de lo que sera solamente' matemtica, a este respecto Bertrand Russell nos propone decidir,' en qu punto de las sucesivqs definiciones y' deducciones de su obra "Principia Mathematica" acaba la lgica y empieza la' matemtica, siendo evidel1te que cualquier .respuesta. sera completamente arbitraria.. ' , Podemos considerar entonces a esta unidaq Gomo el primer y ms importante paso en el estudio 10rmal d,e los fundamentos de la matem.. tica, au.nque para cumplir nuestros' objetivos no profundicemos demasiado por ese camin,o. '.' .

55

Objetivos generales
.,1

Al trmino de esta unidad, el alumno:

,.

1. 2.

Distinguir los principales mtodos de la lgica. Utilizar el lenguaje de conjuntos -visto en la unidad anterior-o para representar simblica. y grficamente las proposiciones del lenguaje

ordinario. 3. 4. 5. 6.

Simbolizar proposiciones dadas en el lenguaje comn. Traducir proposiciones-en len~uOjesimblico al l~nguajecomn. Aplicar los conectivoslgicos en las operaciones de la 16gica.
t

Interpretar.el valor de verdad de proposiciones compuestas con ayuda de diagramOas de Vet:'ln. .

56

"""'- --

Diagrama temtico

estructural

.Razonamiento- deductivo Oracin gramatic.al Y sus partes

Razonamiento inducti,vo

Proposicin

Coniuntos y Diagramas de Venn Operaciones con conjuntos y conjunto complemento Grflca de proposicin Abierta
I

Grfi9a .de prop. , simples

Conjuncin, disyuncin negacin Leyes de DeMorgan Cuantiflcadores Negacin de proposicin con cuantificadores Equivalencia lgica Implicacin Conversa Contra positiva Doble Implicacin Silogismo Demostracin a dos columnas. Reglas de inferencia Inversa

57

Glosario
.. l'

Razonaml~mto Inductlvo. Es ~I proceso de encontrar un principio genera1 . basndose en la presentacin de hechos o casos especificos.
'

conclusi6n en un.hecho .0 caso particular. ..' . Postulado. Proposicin acerca de obiets. bi~n definidos, la cual se acepta
. , .

Razonamiento deCIuctlvo. Es el proceso mediante el cual se hace uso de un principio general, aceptado como verdadero, para obtener una, como verdadera. Los .postulados iunto a fas definiciones son los pi'lores y puntos de partida de una teoria. Proposicl6n~ Es la oracin gramatical cuyo significado forzosamente ha

de ser: "verdadero o falso". pero no ambos. a la vez.. Proposlcl6n simple. Es aquella que no, puede separ:(]rse en otras proposiciones ,un'idas por uno o ms conectivos 16glcos. Proposicin abierta. Es el. tipo de proPOsici6n que -contiene alguna variable y un coniunto de reemplazamiento para ella. Valor de verdad. Es la propiedad que tiene toda proposicin: esto es: ser verdadera o bien, ser falsa. SI la proposlcl6n es verdadera decimos
. .

dera. . .' Conectlvos 6gleos.Sirven para asociar dos o ms' proposiciones. Estos coneqtlvosson "y", "0", "si. .. entonces". . . , Proposlcl6n compuesta.' Es una proposicin form~da por dos o ms 'pro... posicionesunidaspor.conectivos. Conluncl6n.'Proposici6n compuesta formada por 'dos proposiciones aso'.'

Conlunto de verdad.' Coniunto tomado por los elementos del conlunto de reemplazamientp de una proPOslci6n abiert(J y que la hacen verda-

que su valor de verdades 1, y, si es falsa. su valor de verdades. O.

claaas por elconectivo

"y".

'

Dlsyuncl6n. Proposicin compuesta formada por dos pro'posiclonesaso-.

cladas por el. conectlvo'''o''.,

Cuantlflcador universal. Expresl6n "paro todo x", que se apll~a a proposiciones abiertas que con~lenenla variable x para Indicar referencia a una totalidad de suletos. Cuantlflcador exlstenclal. Expresi6n "existe un x tal que", que se aplica a proposiciones abiertas que contienen la variable x. para afirmar la
exl~tencia de algn
prueba. .',

Hiptesis. Es una' proposici6n que se toma como punto de partida de una..

. '

suleto...

, Prop~slclones

Inversa.,..., p => ,..., q es la "'inversa"de p => q. , Doble Impllcacl6n. OperaciQn binaria la cual con'ecta dos proposiciones . por el conectivo 16glco"si y s610 sf". Es decir, es lo mismo que una
proposicl6n "Implica a la otra y-es implicada por ella". ' ~

verdad o el mismo coniunto de verdad. Conversa. Si cambiamos el orden. de las pr9PQsiclonesd$lando en su lugar al conectivo, formamos una variante de la Implicacin, a la . que llamamos "conversa". Contra positiva. q => p es ,la "contraposltiva" de p => q.

equivalentes.

Son aquellasque tienen el mismovalor de

M6dul~ &

OBJETIVOS ESPECIFiCaS

Al concluir el estudio de este mdulo, el alumno:

1.

tivo V deductivo. . 2. Definir con sus palabras la idea de proposicin. 3. Distinguir entre un conjunto de oraciones dadas cules son proposiciones. '. 4. Construir proposicio'nes 'simples V proposiciones abiertas dando su valor de verdad o conjunto de verdad.
5,
.

Disti.nguir entre razonamiento en que se empleen los mtodos induc-

Graficar, mediante diagramas de Venn, proposiciones simples V abiertas identificando su valor de verdad o conjunto de verdad.

ESQUEMA RESUMEN Mtodo~ de la lgica:

.

- Inductivo.
Deductivo. -:- AnaI6gico.'

Proposiciones simples

V'

abiertas:

Proposiciones simples.

- Valor de verdad. . - Proposiciones abiertas. - Conjunto de verdad. - Grficas de proposiciones.

59

Induccl6n y deduccl6n
t
,

La lgica tiene por obleto facilitarnos el camino para llegar a la verdad, utilizando para ello el mtodo raciona'l que procede en dos formas, la L forma Inductlva es el proceso de encontrar un principio general~ basndose en la presentacin de hechos o casos especfflcos; tiene' su aplicacin principalcomo mtodo de descubrimi,ento.por elemplo: Eduardo fue enviado a la Direccin de la Escuela durante cuatro dios seguidos por llegar tarde a clase~Cuando lleg tarde el quinto dfa concluy: "me. enviarn a la DlreccI6n". Us un razonamiento Inductlvo al concluir que lo enviarfan a la Direccin por el hecho de que asf .habfa sido .durante cuatro dios. es decir. que basado en hechos. generaliz que asf sucederfa Sin embargo, eLrazonamiento Inductlvo no siempre Qonduce a resul. todos exactos y debe usarse con precaucin; toma siempre como base una suposicin por lo que. aunque sus conclusiones representan 'un. razona. miento .Inteligente, no son conclusiones probadas.
.

formaInductlvay la formadeductlva.'

siempre.

'

comoverdaderos. . Proposiciones simplesy abiertas. . . En matemtica,al Igual que en el lenguale coman,tenemosque tratar con oracionesen lasqueexistela posibilidadde decidirsi sonverdaderas . Q son falsas. Paraque esto sea posible,las orQclonesusan trminoso
.

un principio general. aceptado como verdadero. para obtener una con. clusin en un caso o hecho particular: algunas veces a la conclusl6n misma se le llama deduccin; elemplo: Es principio general aceptado que a todo alumno que llega tarde a clase se le envio a la Direccin de"la Escuela: en un caso particular. Eduardo llega tarde a clase por 1.0que conCluye:"me van a enviar a la DlreccI6n". Ahora us un .razonamlento deductl\to, pues aceptando el 'prlnclplo como verdadero. razoo6 a partir de l 'para sacar una conclusin en su .caso particular., "Deducir es razonar en Matemtica". Efectivamente. el' razonamiento matemtico es eminentemente deductivo y los principios en los que se apoya son de dos tipos: los.Postulados y las Deflnlclon,.. Tanto los POItulados como las Definiciones son Principios Generale. que aceptamos

La formadeductivoes el proceso medianteel cual una persona usa

sJmbolos que tienen un significado Canlco y bien definido; cuando' se trata de un~ oracin abierta, como se definiantes en conluntos. la oracl6n debese.ro falsa o verdadera,pro no ambascosas,con cada valorque s~ asigne a la variabletomadode su conluntode reemplazamiento. A las' oracionesde las quese puededecir sl.sonverdaderas o son falsas.'abler. tos o ne, se les .lIamaproposlclor.es. Ejemplode oracionesque 80n pro-

posiciones:
, verdadera.

",

1.' '~xes un.nmero Impar:x E: N".Es proposicinporquecon cada nCl. mero natural que se reemplacea la "x" la oracl6n ser, o falso-o
. .

i'.
2. Un tringulo equlltero es Issceles. (Falsa). 3. 3 + 9 = 6x~x e: N: (.proposicin),por lo mismo que en el ej..No.l~ 4. 9 es un factor de 27. (Verdadera) Proposicin. 5. Mont,rrey es' un estado de la Repblica Mexicana: (Falsa}. Elemplode oraciones qu_e NO Ion proposiciones porq,ueno se puede decir' de ellas que sean falsas o verdaderas.,~ ,.' , a) 2x'+ 5 = x 1: (No. se da conlnto de reemplazamiento para 'la-va. '"

rlable por lo que no hay modo de decidir cundo sea falsa o cundo
-,

sea verdadera).
b) c)

Juan tiene 21 aos. (No se define' de qu Juan se trata, por lo que no se puede decidir si es falsO o verdadero). , . "y" es un nmero Impar. (No se da conlunto de ~emplazamlento para la variable "y". Observando los elemplos anteriores, podemos clasificar a las propo"

sl.clones e,n dos tipos.

A aquellas proposiciones de las que Inmediatamente se puede decir si son verdaderas,o son falsas las UamaremosProposlclonel Slmplelr De e,lIas se dice que tienen un valor de verdad,

Verdaderoo Falso.'

,.

El otro tipo de 'proposicin es aquella que tiene arguna variable y un conl'unto de reemplazamiento par(l ella. A stas las llamaremos.Propollclonel Ablertal, y de ellas se dice que tienen un conlunto de verdad, el cual es un subconlunto de su conjunto de reemplazamiento.El conlun.o de verdad lo forman los elementos que,hacen que,la proposicin sea verd~dera. De acuerdo con lo anterior, a cualquier proposicin abierta se le convierte n' proposicin simple al asignar para la variable un elemento del conlunto de reemplazamiento.

Elemplo:

..

"x es un n~mero Impar; x e: N". Esta es una Proposlcl6n abierta y tiene un conlunto de,verdad q4e es ,el de los n~meros Impares, el cual es un subconlunto del conlunto de .Ios nmeros naturales, su conjunto, de reemplazamiento.SI tomamos de "N'~ el nmero 7 para 'reemplazarla x, la proposlcl6n queda como "7 es un nmero Impar" de la que Inmediatamente podemosdecir que es Verdadera.SI tomamosel 28,dlrfa "28 es un namero
'Impar". Falsa. . ' . , ",
.'

NOTA:Nmeropar es aquelqueal dtvldlrloentredosda residuo= O. NmeroImpar, es aquelqueaJdlvldlrloentredos da un residuo= 1. Gr6tlca de propollclone.

,-

Los proposiciones simples son oraciones declara~lvasque tlenn un sujeto' . y un predicado,.No tienen'componentes unidos por conlunclones'como "V", "0", "sl .. ,.entonce.s", Yf generalmente usan el verbo ser:: esto ltimo facilita que se puedan re-escribir o modificar 'para decl,rque un 'suje~o,es 81

o no' es, elemento de cierto conjunto, y representar esto por medio de un diagrama de Venn. Es decir, podemos emplear el lenguaje de conjuntos tonto simblico como grfico visto en lo Unidad I poro nuestros proposi-

ciones en el lenguaje ordinOrio.

Eiemplo a): "6 es "un nmero por" puede reescribirse

como "6 es un elemento del conjunto de nmeros
,

pares"

y.

graficar lo. proposicin como se muestro

en lo figuro.

Eiemplo b): "Todo hombre es mortal" se. re-escribe como "El conjunto de todos los hombres es un subconjunto del conjunto de todos los mortales".

Lo grfico de lo proposicin abierto es el diagrama de Venn representando 01 conjunto de reemplazamiento y su subconj'Unto el coniunto de verdad; tambin llamado conlunto solucin.

Elemplo a): "x es un nmero por; x E: N'\

Elemplo b):-/Ix es un mltiplo de 4; x e: N".

62

-- - - -

'...

PROBLEMAS PARA AUTOEVALUACION H-5

Use el razonamiento inductivo para establecer un principio general,: 1..Un estudiante de nuevo ingreso observ durant varios lunes conse.

cutiv()s que se teunfa a todos los alumnos para hacer el saludo a la

Bandera

conCIUSI~n:~
.

('1,: ./~ ~"~,

1. rJt\O..f\.,~ .. 011. ~ .~.'

'.

: ~ ~.
. i" ; .

,. )

. ','...
, . .. '.

.
<

Use el razonamiento deductivo para establecer un princif)ioparticular:

2. Todos los iugadores de las Ligas Mayores tienen buen salario. Si

.

Garcfa es un iugador de Liga Mayor entonces.

(\ f L... ~Ct . .. _t'

." Conclusl6n:

cin o por deduccin:

En.Io~ siguiente's problemas diga si la conclusin se obtuvo por Induc. .'.

~ I

3. Hoyes marte$,maana ser mircoles. el c: ..l_..

I

..
-

4. Llover esta Navida~, p'lesto que cinco aos con~ec.utivos ha llovido

en Navidad. '. 1" 5. Si el perfmetro de un cuadrado mide 4ccm, cada lado mide un cm.
..
.

C\~ el ~C\
,

'-i

En los siguientes elercicios clasifique IQsoraciones. diciendo si son o no, proposiciones y en caso afirmativo, si stas son simples o abiertas dando . su valor de verdad o su conlunto de verdad segn . sea el caso.
.

7. "2x + 1 = 5". 8. "3 + 9 = 2x; x e: N".

8. "5' es un nmero Impar"..

. '.

,,1

9.

"x es un nmero par; )C e: .":

Utilicel lenguale de conluntos para modificar las siguientes proposic,io~es y.asf pod~r graficarlas. . ' .' . '
10. "Todos los mltiplos de 8 sOfJ nmeros pares". 11. "3 < 5". I . r ...,. ,

63

M6dulo 6

.
'

OBJETIVOS ESPECIFICOS Al concluir .el estudio de este mdulo, el alumno: 1. 2. '3. 4.' 5. 6. 7. 8.
,

Dada una lista de proposiciones

compuestas.

qiscrlminar

las simples de las

.'

Dar ejemplos de prbposicion~s expresadas en lenguaje comn, unidas por el correctivo conjuncin. Encontrar el valor de verdad o conjuhto solucin en la conjuncin de p~oposiciones simples o abiertos respectivamente. R'epresentar mediante diagrQmasde la conjuncin de dos proposiciones. Venn el conjunto de verdad de "

Distinguir entre IQ disyuncin inclusivo y la exclusiva: Encontrar el valor de verdad o conjunto solucin en la disyuncin de dos. proposiciones dados. Representar, mediante diagramas de Venn el conjunto solucin de la disyuncin de dos proposiciones abiertas. Graficar, utilizando, diagramas de Venn, proposiciones compuestas que llevan los "conectivos lgicos": y, o, encontrando el coniunto de verdad de ellas.

ESQUEMA RESUMEN' ProposIciones-compuestas.

Conectivos lgicos:
.

- Conju~cin. - Valor de verdad o conjunto de verdad. - Representacin grfico mediante diagrmas de Venn. - Disyuncin inclusivo: Disyuncin-exclusiva.

- Valor de verdad o conjunto de verdad. - Re'presentacingrfica mediante diagramas de Venn. 64

1/

.
.

.'

"

c.,

t 'f'

Proposiciones compuestas
""

-...

,.,

..
cada vez ms complejas, asocindolas mediante conectivos que llamaremos eonectlvs lgicos. Estos conectivos son: "y", "o", "si . . . entonces". Usaremos tambin la partcula ".no" aunque hablando en propiedQd no es un conectivo ya que slo afecta a una proposicin. A las proposiciones as asociadas las. llamaremos Proposiciones Compuestas y su valor de verdad o su conJunto de verdad depender de los valores de verdad o ,conluntos de verdad de .las proposicionea componentes. .

nejo de nuestro lenguaje, y partiendo de 'ellas .pueden "cc;mstruirse otras

Las proposiciones simples, y abiertas son los elementos bsicos en el ma1r

Conluncin

'

Si' asociamos dos proposiciones usando el.conectivo lgico "y", formamos una proposicin compuesta llamada proposicin eon,

luntiv~ o simplemente coniuncln.

La co'nluncinde dos proposiciones simples es verdadera slo si ambas proposciones son- verdaderas, -ya,que 'estamos afirmando las dos declaraciones; si una de ellas es falsa o si ambas lo son, entonces la
conlunein es falsa .' . '. ' D~bemos tener presente que ,una proposicin simple tiene un valor' de verdad (verdadero o falso) ,.mientras que una proposicin abierta tiene un ,conlunto 'de verdad o coniunto solucin formado por los 'elementos del' conjunto universal O' de reemplazamiento que hacen de .10 proposicin abierta una proposicin simple y verdadera. Por lo anterior la coniuncin' de dos proposiciones simples' tiene un valor de ~rdad como vemos ep los siguientes ejemplos:
'" ' ,

'.

Elemploa): "4 es '1;.10. nmero par y 4 es numero natural". Vp.rdadera, ambas proposiciones lo son. ,
,

Elemplo b): "3 es un nmero natural y 3 es un nmero par". Falsa, - porque Ja segunqa proposicin "3 es nmero par" es falsa. Elemplo e): "Yo soy alumno del ITESMy no s leer". Falsa, la segunda
' "

se'r,falsa para ese elemento.

proposicin "Yo no s leer" es falsa. '. . La conluncin de dos proposiciones abiertas es slo ver:daderapara aquellos elementos del c:bnjunto de reemplazamieto que hagnque ambas proposiciones ,abiertas sean verdaderas; si un elemento hace que alguna de las proposici,ones o que ambas sean falsas, la conjuncin
" ,\

Como ,cada proposicin abierta tiene su conjunto de verdad tendre.; mos dos conjuntos de verdad y el conjunto de verdad de la conjuncin lo formarn los elementos comunes., es decir, los que pertenezcan a Id interseccin de los dos conjuntos de. verdad. Elemplo: "x >- 5 Y x es un nmero par; x 'E: N". Esta eonlunein slo ser verdadera para elemen~os de N que siendo nmeros pares sean a la 65

vez mayores que 5. El conjunto solucin o de verdad se 'podra escribir

como:
.

ci6n 'del conjunto A = fx e: N Ix>

{x e:'N Ix>

5 Y x ~s par}. Este conjunto c~)rrespondea la intersec5} con el con;unto B = {x e: N I x es

'

par}.

En estos casos es partic~larmente til la' grfica con los diagramas de Venn. donde N es el, conjunto universal o de reemplazamiento y la ',solucin de la proposicin coniuntiva queda graficada p~r la interseccin de A y B.

En'las siguientes coniunciones encuentre el valor de verda,d o el conunto solucin con su grfica. segn sea la coniuncin de proposiciones simples o abiertas respectivamente. . .
1.' Cinco veintes hacen un peso y dos veintes hacen un tostn.

2.

x es un nmero par y x es menor que'5; x E: N..

Si sus respuestas son acertadas siga adelante.
'. .
'

'\
.

Respuestas'
cin.

1.. Falsa. La segunda proposicin es falsa lo que hace falso a 'la coniun,

2.

Conjunto solucin = {x e: N Ix < 5 Y x es par} = {4. 2}.

N

Disyuncin,

Cuando dos proposiciones se asocian con el conectivo lgico "o". la proposicin compuesta que se forma s.e llama proposicin
I

disyuntiva o disyuncin.'
.

,
,

En espaol el conectivo lgico "0" tiene dos significados. uno es el

llamado "0 exclusivo') que se entiende como "0 uno o el otro. pero NQ ambos"; y -el otro se llama el "0 Inclusivo'" que se entiende como "0 uno d el otro. o ambos". En Matemtica. como en la Lgica. es este ltimo signl-, ficado el que se utiliza siempre. . . La disyuncin de dos proposiciones simples es verdadera si cualquiera de las proposiciones es verdadera y slo ser falsa cuando ambas sean falsas. pues er:"este caso se afirma cualquiera de las proposiciones. Ejemplo a): "6 es factor de 35 o 6 + 2 = 8". Verdadera; porque la segunda es verdadera. aunque 1<:1 primera "6 es factor de 35" es fals~. 66

II

dera; .ambas proposiciones son verdaderas., ' Eiemplo e): "Monterret est en FranciQ o est en Brasil". Falsa: am~

Eiemplob): "Yo estudio preparatoria o tengo ms de 10 aos". Verda-

bas proposiciones son falsas. . Lq disyunci,6nde dos proposiciones abieatos es verdadera paJa los elementos del coniunto de reemplazamiento que hagan verdade~a a cualquiera de las dos proposiciones abiertas que la,componen, o para aquellos elementos que hagan verdaderas a las dos. Esto en coniuntos corresponde a la unin de los dos conjuntos solucin.
N
D
E

D u El:
Grficade la Disyuncin

ideo'de la solucin. Slo 1, 3, 5 no pertenecen a la solucin. En las siguientes disyunciones encuentre el valor de verdad'o el conjunto solw;;incon su grfica, segn corresponda: 1 . El nmero 9 es primo o el nmero 9 es impar. 2." x es me.norque 6 o.x es por: x e: N. Si sus respuestas son correctos sigo adelante, coso contrario repose
'
,

conjunto E {x e::: N Ix es par}. La grfica de las proposiciones abiertas en un"mismo conjunto de reemplazamiento nos da una, mejor y ms clara

Elemplo: "x> 5 o x es un nmero par: 'XE: N". Esta disyuncin es verda-' dera poro elementos de N que cumplan una cualquiera de las dos afirmaciooes, es decir que dichos elementos pertenecen ,al conjunto solucin de x> 5 0\ pertenecen al coniunto ,solucin de x es por, o pertenecen a ambos. Puede observarse por lo antes dicho que lo solucin corresponde Q la unin de un conjunto D = {x E: N Ix> 5} con un

la disyuncin.,

'

Respuestas: 1,. Ve~dadera; aunque la primera proposiQin,es falsa la segunda es

ver~adera.

'

2.

{xe: N Ix < 6 o.x es par}

{1, 2,3,4,5,6,

8, 10, 12, 14, 16, . . .}

Las proposiciones pomp'uestas que hemos analizado son las ms elementales ya que los formamos al conectar dos proposiciones simples o dos proposiciones abiertas, pero en muchas ocasiones conectamos proposiciones simples con proposiciones compuestas o an ms"conectamos dos proposiciones compuestas haciendo que la proposicin resltante sea coda vezms, compleja y por lo mismo ms difcilpara determinar su valor de verdad'o su conjunto de verdad, pero siempre ser posible determinarlo si procedemos' metdicamente como en los ejemplos que siguen: Elemploa) "El 7 es un nmero nqtural primo y adems es impar".
'

67

;:f' a~.----

En este caso tenemos tres proposiciones ~imples en conluncl6n que

podemos simbolizar usando letras minsculas:

'

bin, su\coniuncin es verdadera; como r es verdadera la conjuncin de la conjuncion p y q con r ser tambin verdadera.
.

p: El 7 es nmero natural q:. El 7 es nmero primo r: El 7 es nmero i~par (p y q)' y r El valor de verdad es verda~ero, porque siendo p verdqdera y q tam-

'

Eiemplo b) Considerando U-' '{1, 2, 3, 4, 5, 6, 7, 8, 9, 10} co~o universo de la variable cul' ser~el conjunto de verdad de "x es un mltiplo de 2 menor que 9 o es un nmero divisible entre 3 mayor que 5"7 Primero necesitamos saber' cuntas proposiciones diferentes de (as llamadas bsicas tenemos y vamos a simbolizarlas. a: '''x es mltiplo de. 2" c) "x es 'divisible entre 3" b: "x -<,9" d) "x > 5" . Identificamos en seguida los conjuntos .de verdad de cada proposicin considerando que U es el conjunto de reemplazamiento. A {2, 4, 6, 8, 10} B {1, 2, 3, 4, 5, 6, 7, a}

= e = {3, 6, 9l
D

'

= {6, 7, 8, 9,

10}

menor que 9" (a y b) , . e, d tambin estn en conjuncin (c y d) y las dos, eonrunciones forman una disyuncin (a y b) o (c y d)
'-

Ahora simbolizaremos las relaciones entre las proposiciones; a, b 'forman una conjuncin aunque podemos observar 'que no se mencion el conectivo "y" Este se encuentra rmplcitoal decir que'''x es mltiplode 2

Po~lo que el conjunto de verdad de esta compleja proposicin ser:

a y b; A

nB

{2,4,6,8}

c y d; C

nD

C 6 7 3 8

{5,'9}

CID
9 '10

'(a y b) o (c y d); (A n B) U (C n D)
{2, 4, 6, 8} U {6,9} = {2, 4, 6, S, 9}

68

--

-- -

PROBLEMAS

PARA AUTOEV ~LUACION

11-6

'Use el lenguaje de conjuntos 1. 2. 3. ,4. 5.8.

p~'rp .reescrittir

las siguientes

oraciones:

Todos los mltiplos de 6 son nmeros pares. 3 es un nmero impar. . ' x es un nmero natural y es menor que 4.. El tringulo T es equiltero. Los problema's 5, 6,' 7.y 8 grafquelos. Utilice los primeros cuatro res-

pectivamente.
.

conjunto universal.

En los problemas siguientes ilu,stre con diagramas de Vef1n, los proposjciones simples que se dan, considerando al conjunto N como el
.
'

9. 10. 11. 12. 13. 14.

El conjunto de todos los nmeros primos mayores que 2 es un subconjunto del conjunto de nmeros impares. Todos los mltiplos de 2 son nmeros pares. Ningn nmero primo es mltiplo de ~ Para los problemas siguientes considere que M = {1. 2. 3, 4, 5,6,7, 8,' 9, 10} es el conjunto de reemplazamiento. . Con las siguientes proposiciones .forme la disyuncin y escriba una lista de los elementos que pertenezcan al. conjunto solucin, HX es - menor que 8"" "x es mltiplo de 3", . Forme Ja disyuncin de ,"x es mltiplo de 3" con la disyuncin entre ','x es nmero par" y "x es menor que e-". Escribo una listo de los

elementos del conjunto solucin.

Con cualquiera de las proposiciones utilizadas en el problema anterior forme una proposicin compuesta cuyo conjunto solucin es {3, 6}. Indicacin: Puede formar la proposicin compuesto usando otras ya compuestos como en el problema anterior. .15. . Con las proposiciones usadas en los problemas .anteriores forme una ,que tenga como conjunto solucin {2, 3, 4, 6}. .Sean A,- B, C los conjuntos solucin 'de tres proposiciones abiertas o, b, c, respectivamente. (Ninguno de los tres es conjunto disiunto). Dibuje los diagr.amas de Venn para las siguientes proposiciones compuestas, sombreando 'el rea que representa la solucin de la proposicin compuesto.

16. o o b 17. b Y e -

-.

18. (b Y e) o a 19. b Y (c o a) '\ 20. . b Y (c y Q)

89

-~

-~-

M6dulo

'7

OBJETIVOS ESPECIFICOS Al concluir el estudio de este mdulo~ el alumno:

1. Expresar ,la negacin de una proposicin dada. 2. Enqontrar, graficar el conjunto de verdad de la negacin de una 3. Construi.r la negacin de una coniuncin~ 4. Construir la negacin de una disyuncin. 5. Representar grficamente utilizando diagramas de Venn y aplicando
I

proposicin.

6.

7. 8. 9.

la3 leyes de De Morgan la negacin de proposiciones conjuntivas o disyuntiyas. Discriminar entre un cuantificador uni.versal y un (fuantificador existencia!. Construir proposiciones con cuantificadores. Negar proposiciones con cuantificadores. Representar grficamente mediante diagramas de 'Venn la negacin de' proposiciones que cont,engan un cuantificador universal o el cuantificador existencial.
' ' ' '

ESQUEMA RESUMEN Negacin de proposiciones:

Negacin de una proposicin abierta.

Conjunto de verdad.' ,

- Representacingrfica mediante diagramas de Venn.

- Negacinde,proposiciones compuestas. .
-

- Conjuntode verdad.

Negacin qe una conjuncin.

Representacin grfica mediante diagramas de Venn. Negacin de una disyuncin. Conjunto'de verdad.' Representacin grfica mediante'diagramas de Venn. Leyes de DeMorgan.
lgicos:

. Cuantificadores

.,

70

Cuanttficador univer~al, y su negacin. . Cuantificador existencial, y su negacin. - Representacin. grfica mediante diagramas de Venn.

Negacin'

Ya mencionamos que aunque la partcula "no" afecte slo a una proposicin, consideraremos qu~ la negacin de una proposiqin datfa forl11a una propo~ici{l compuesta. El'valor de verdad de la proposicin as compuesta..es el opuesto del valor de verdad de la proposicin dada.
Conjuntos de todos los' das

Conjuntos de todos los das. nublados

Conjuntos de todos los das claros

Eiemplo: Al pensar 'la negacin de la oracin "Hoyes un, da nublado". Escribimos~ "Es falso que hoyes un da nubl'ado" 'o tambin "Hoy no es un da nublado".

Puedeobservarse que si la proposicin dada' es verdadera 'entonces la negacit,Snes falsa, y viceversa. La representacin, de la proposicin dada en ~n ,diagrama de Venn se mue~tra a la izquierda; eh l se observa que la solucin o representa.cin'grfica de la negacin es precisamente el conjunto complem.ento.

Si la proposicir dada es abierta. los di"agramas de Venn so~ todava' ms valiosos, para determinar el conjunto de verdad' de la negacin. En el ejemplo siguiente tenemos la proposicil1 "x es mltiplo de .4; x 'E N". cuya. y~~ N
.

negacin sera "x "es que x de sea de 4; x E N".o no falso es, mltiplo 4; mltiplo x E N". De acuerdo a lo antes dicho la proposicin es verdadera para los elementos del conjun. to de reemplazamiento que hagan falsa a la proposicin original. En seguida presentamos., el diagrama de V~nn. La parte sombreado representa la solucin.

,Un error muy comn es el, de considerar que la negaciQn .de una proposicin es otra pfo~osicin, que afirma al'go Conjuntos de todos los das contrario o algo diferente. Por ejemplo algu~ .~

,lunes", diciendo "Hoyes ,jueves". El diagrama de Venn para" "Hoyes

,

nos pretenden

negar la proposidn

"Hoyes
"

100

~ ~

...%'/!-%~r~

...

lu-

.~'~- ~~

~~,~~ ~~ t

nes", ~i el conjunto ~e ree~pI9z<:J"!1iento es el conlunto de todos los diOS, sena el que se muestra a la derecha; e"l l se pyede notar que el complemento sena el con'lunto de' martes, mircoles ' jueves, viernes, S y domingos. Por lo que la negacinbadoS consi':.
, .

.~1~.~~.~~'E~~~~ ~ ~ ~~ ~~ ~'~o~~~.s :~:~:~:~:~:~... .g%c0c~c~.~c~.g

0L"///~/~//h: ~t~~~~~~~~~~ dera que hoy pOdra ser uno cualquiera de los otros das de fa- semana. Se sqmbrea la negacin.' . El error antes mencionado es ms frecu~nte cu~ndo la proposicin es

71

...'-

- - ..; -

abierto. Por ejemplo, Jo. negacin de "x > 5; x E: N" sera x ::t> 5; x e: N" o tambin ",es falso que x :> 5; x e: N", pero' muchos escriben o interpretan lo negaCincomo "x < 5; x e: N".Los diagramos de Venn nos proporcionan un mtodo ms sencillo de acertar en la
.

.tendremos el diagrama que se muestro

"

solucin. Usando el ejemplo anterior'

'~
, ".

paro. la proposicin dada. en l se som. brea la' solucin para la. negacin y como se ve es e,l complemento; SI A {x E: N 1. x > 5}. la negacin ser A' {x'e: N Ix ::t>5}.- .

Negacin'de proposiciones compuestas . Hasta aqu hemos tratado slo con la negacin:de' una proposicin. Consideraremos ahora, la negacin de Ilroposiciones compuestas, y para hacerlo empezaremos por analizar la misma, negacin./ " Eiemplo: Al pensar la negacin de la proposicin compuesta "x no es nmero impar; x e: N" cuyo conjunto solucin es

el que se muestra sombreado en lo figuro; la ne-

gacin de lo proposicin dada serp "Es falso que x no es nmero impar; x e: N" y su grfica ser sombrear el complemento, de la grftca ',dado, lo que significa que la proposicin es, equivalente a decir /Ix es J:1meroimpar; x e: N". De todo esto podemos deducir que la negacin de l negacin de una, proposidn es, la proposicin misma o tambin que negar una propo-, sicin negativa es igual' a' enuric1ar la proposicin afirmativa. Analicemos ahora la negacin de una coniuncln o travs de otro
ejemplo.' .

a) Sea "~ > 3 Y x < 10; x e: N" cuyo conjunto solucin se muestra en .el primer dia~rama d esta pgina y que en ellenguaie de coniu.ntos es la inter.seccin de {x e: N Ix> 3'}con {x e: N I x < 10}.La negacin de la proposiciri conjuntiv.a ser entonces "Es falso que x,> 3 Y x< 10;x e: N". , Y el conjunto solucin es el complemento del conjunto solucin de la proposicin original. como

complementos de cada conjunto solucin; como puede comprobarse, en los diogramas de Venn la unin de los complementos es igual 01complement de laeinterseccin. (A' U B') = (A n B)' entonces lo negacin quedaracomo {xe: N Ix ::t>3} unido,con {x e: N I x <t:10}queen ellenguaie'

'se Ve ~n el siguiente diagrama deVenn. Este diagrama nos sugiere otra forma de escribir la negooin utilizando, los

comnsera {xe: ,N Ix ::t> 3,0

Grfica de conjuncin

x <t 10}
N A B

EE
,;,,---~--

72

.
.

..

/
(A

Grfica de la negacin de la conjuncin"

.

. .

n B)'
/

.'-'l' ---/..., < 10

/
B'

A'

Lo combinacin de los dos.cuadros. N anteriores en' uno solo nos sugiere el '/7f. ,// resultado de negar uno conjuncin y .... '//, x< 10 tambin nos da un mtodo poro manipux. > lar los proposiciones compuestos usan- A' U B' do diferentes sombreados poro determinar un resultado final de lo co~posi.cin~ b) Escribo lo negain de "x e$ n(meropor y x es menor que 5;'x E: N" Y encuentre su conjunto de verdad. Utilizando lo notacin de conjuntos obtenemos y graficamos ,el conjunto solucin ~e lo conjuncin dada {x. e: N I x es por} n {xe: N Ix < 5} {2,4}. El'conjunto complemento del anterior es igualo lo unin del complemento de codo conjunto solucin. Lo negacin ser pues "x no es poro x no es menor que 5; x e: N".

"x no es par"

"x no es menor que Stt

73

~
Conjuntos de todos los das

~2

"x no es por. o x no es menor que S"

Analicemos ahora la negaci6n de una dIsyuncin y su diagrama de Venn. "Hoyes iueves o es I:Jn da nublado". La negaci6n de la propo-

sicin ser "Es falso que hoy sea iueves o est

nublado". El diagrama de esta proposicin ser

el compl~mento del diagrama de la disyuncin dada.

'

Si consideramos la negacin de cada uno de las proposiciones que forman la disyuncin anterior cul 's~ra la proposicin compuesta que tenga el mismo coniunto soluci6n?Llcime "a" a la primera proposicin y "b" a la segunda. A y B sern los coniuntos soluci6n de' cada una respectivamente. Si puede acertar en su respuesta significa que ha cQptad9 perfectamente la' idea de la negacin de las proposiciones compuestas,

en caso contrario repsela de nuevo.' . Respuesta Sea la' proposicin compuesta~ a o 'b cuyo diagrama se muestra en seguida sombreando el complemeoto. .
Conjuntos de todos los das

. .Yno es un da nubladO". (A U B)' = A' n B'...

y B' respectivamente. La combinacin que me dar la misma rea som-. breada que tena, ser el rea cuadriculada que corresponde a la Interseccin de A' y-8', por lo tanto la soluci6n es: no o y no b: "Hoy no es 'iueves
.
I

EI:I K ~ 74
(A U B)'
I

..

Con.siderando la negacin de o y de b los coniuntos solucin serian A'

,.

A' n B'.

- :.........

mente las Leyes de De Morgan que nos dicen:

Despus de acertar en el problema anterior puede entender perfecta.

.10. La negacin de una. conjuncin, es la disyuncin de las n,egciciones. 20. La ~egacin de 4na disyuncin, es la coniuncin de las ne.gaclones. . l. . En otros palabras para negar una conjuncin cambiamos el conecti'lo lgico "y" por un "o" y negamos las proposiciones componentes; para negar una disyuncin cambiamos el conedtivo "0" por un ".v", negando las proposiciones componentes.
. Eiemplos:.

a)

a . = c y b =1= O b.

Negacin:

-b

=1=

c o b =O
=1=-

b)

ab:f:- ac 6.0 = O

Negacin: ab

= ac y o

Cuantificado res H.emos considerado un tipo de proposiciones simples en las que se menciona la cantidad de suietos que intervienen, como por ejemplo "Todos los mltiplos de 6 son nmeros pares", al decir todos estamos cuantificando, es decir, hablamos de cantidad de mltiplos en este ejemplo. Para graficar una proposicin de este tipo usamos el lenguaje de conjuntos diciendo. . que el conjunto de sujetos es 'un subc()niunto del conjunto que formo el predicado. Ejemplo: "El conjunto de todos los mltiplos de 6 es un subconlunto del conjunto de los nmeros pares".

Diagrama de universal af"mnativo

C6mo considerara el cuantificador ninguno? Dibuie la grfica de la siguiente proposicin: "'Ningn mltiplo de 6 es. nmero par". La grfia de la proposicin nos sugiere la modificacin de lo proposici6n..diciendo "Todos los mlti'plosde 6 no son nmeros pares", que en 75

el lenguaje de' Qonjuntos. quedara como "El conjunto de todos los mltiplos de 6 es disiunto del conjunto de nmeros pares". La grfica se muestra en seguida para que compruebe su resultado.. .. Por lo anterior podemos decir 'que "n'ingu.no" es equivalente a: "todos.. .no. . .".

Diagrama de universal negativo

Todos y ninguno son. entonces cuantificadores que considera.n la, to. tolidad de los sujetos, y los llamamos cuantificadores. universqles, slo que el primero es afirmativo y el segundo es negativo. . .la negacin de este tipo de proposiciones simples es un caso particular y muy frecuente en Matemtica, razn por la que lo consideramos separadamente. la negacin de "A. es subconiunto de B" sera "A no es subconiunto de S", que de acuerdo con la definicin de subconiunto, "aquel'

"

cuyos elementos (todos) lo son tambin del

otro conjunto", se puede escribir o interpretar como "por lo menos un elemento de A no es elemento de, S,". Estas proposiciones en los que no se consideran' la totalidad de los sujetos emplean cuantificadores lIa'mados particuloro existencia l. Ejemplo: Escriba la negacin y dibuje la grfica de "Todos los hombres son mortles". La proposicin se podra modificar: Diagrama de particularnegativa "el conjunto' de todos los hombres ,es subcon, ju~to del' conjunto de los mortales" y 19negacin ser decir que no es subconjunto, lo cual escribimos como "Por lo menos un hombre no es mortal". Su diagrama de V,enn se presenta a lo Al negar la. proposicin universal afirmativa hemos obtenido una proposicin particular negativa, (por lo menos uno. . ,no es. . .) el ~antificodor particular lo encontramos tambin, como, . algunos o algn. La ngacin de la proposicin Diagrama departicular afirmativa particular. negativ,a, <?ul sera? Y la' d .1,0univer. sal negativa?Otro elemplo de la nega~lon, negar "Por lo menos un nmero entero es racional". Esto . '. es una propos.icinparticular afirmativa y modifiEnteros RaclOno/es cndola al lenguaje de conjuntos sera, "el conjun, to de nmeros enteros no es disiunto del conjunto . . . de nmeros racionales" y su diagrama est a lo izDUIglama deuniversal negativa quierda. Lo negaci'nsera decir que es disjunto, y en el lenguaje comn es "Ningn nmero entero es racional" cuyo dia-. grama se dibuja en la pgina anterior y que correspon.de al universal ne- gativo. \
I

izquierdo.

<1

88
'

El valor de verdad de la negacin de una proposicin es verdadero si la proposicin 8$ falsa, y viceversa, esto se aplica a las proposiciones con'
76

cuantificadores?
.

los cuantificaqores universal o particular, pues son proposiciones 'simples.' Podra escribir unas regios para la negacin de las proposiciones con
. . .

Complete la lista con los tres reglas que faltan. 1. Lal.negaCin de la universal afirmativa es. la particu lar ne2. La negacin de la universal negatiya es la , oA. 3. gatrva. . es 'f ,."'hve.f CA) La negacin de la particular afirmativa 4; La negacin de I~ particular f'egativa es la ll1h .reu~
.

.~

Estas reglas nos muestran a nosotros que' la negacin, tanto en la Lgica como eh la Matemtica, es la contradiccin mxima ya qe aparte denegar lo que se afirma. o sea .cambiar la calidad de la proposicin. tambin se cambia la cantidad. si es universal. a. particular y si es particular ti universal. . 1

!'

77

PROBLEMAS DE AUTOEVALUACION 11'-7

En los siguientes problemas escriba la 'negacin, de las propo$iciones que sean simples y d' su valor de verdad. Dibuj.e .el diagrama de Venn, sombreando 10 negacin en las que sean proposiciones abiertas.
,1

2. x + 3 = 10;x e: N 3. 6 < 8 4. No es verdad que 3 < 5 5. x es un mltiple.de 3; x e: N 6. Hoyes sbado; hoyes un da de la semana. En los problemasdel 7 al 10,dibuje los diagramas de Venn y sombree el conjunto solucin para la negacin.Aplique las leyes de DeMorgan para
'

11 es un nmero

pr,imo.

,\,

escribir dich~ negacin. 7. "x es por o x > 5; x e: - N" 8. "Hoy es martes y 'es un da lluvioso", Hoy e: Conjunto de todos los das 9. "x > 3 y x < 10; x E: N", 10. "2x = 6 o x =F O;x E: N" , " En los siguientes problemas escribo .10negacin y dibuje el diagrama de Venn. Observe el cumplimiento de los reglas de negacin para los pro'posiciones con cuontificadores. 11: El conjnto de nmeros primos no es subconjunto del, conjunto de nmeros impares; ,U = conjunto de nmeros racionales.12. Todos los hmeros naturales son enteros. U = racionales. 13. Los rectos paralelos no se corta,n. U= conjunto de todos los rectas. ,14. Por lo menos un r:mero entero no es raciQnal. U = conjunto de n- , ,meros reales. 15. Algunos tringulos equilteros no son issceles. U = coniunto de todas las figuras geortltricas. 16. Ningn da lluvioso es claro. U = conjunto de todos los das.
. . ,
' , ' ,

'

Mltiplos

de
, ,,5

. tiplo de 3 o no sea n;tltiplo de 5. Usando Leyes de DeMorgon lo proposicin quedo: 45 esmltiplo de 3 y es mltiplo de 5. 17. 2) 40 es mltiplo de 5 y es nmero par, pero no es mltiplo de 3. 16. 3)' 30 es nmero par y. mltiplo de 3 y tambin mltiplo de 5. 19'. 4) 28 no es mltiplo de 5 ni de .tres, pero es por. 20. 5) 45 es mltiplo de 3 y 5, Y es nmero impar.' 21. . 6) es falso que 121 es. mltip'lo de 3 o mltiplo de 5 o nmero par.. . .
',' ,
,

En el diagrar:na de lo izquierda tenemos tres conjuntos solucin de tres proposiciones . o, b, c, que son: A = conjunto de mltiplos de 3; 8 = conjunto de nmeros'pors, y C = conjunto de mltiplos de 5, respectivamente. En un dibujo igual al mostra~o escriba el nmero de la proposicin en el rea adecuada para que la proposicin sea verdadera.
,

Ejemplo: 1) Es falso que 45 no sea~m(jl-

78

-. - -- -

--

8'

M6dulo 8

OBJETIVOS ESPECIFICOS

A concluir el estudio de este m9d~lo, el alumno: 1. Identificar la suposicin o hiptesis de la implicacin y la conclusin de ella. -', 2. Determina-r el valor de verdad de una implic,acinconociendo el valor de verdad o conjunto de verdad de su hiptesis y el de su conclusin. 3. Identificar las proposiciones equivalentes mediante sus coniuntps,de ~~d .4. Graficar, mediante diagramas de Venn, el coniunto de verdad de una
impllcacI6n-. . "
'-

5. Expresar en diferentes formas una implicacin.

'6. Obtendr la conversa de una implicacin y determinar su valor, de verdad. 7. Har una lista de formas diferentes de expresar una doble implicacin. . 8. ~raflcar el coniunto de verdad de una - pror;!osici6n blcondicional
I

(doble implicacin).

'.

~9. Determinar el valor de verdad de la contrapositiva,

una Implicaci6n..
"

la inversa de

10. 11. 12. 13. 14.

Distinguir las partes de un silogi'smo~ . Graficar utilizando diagramas de Venn, un silogismo vlido. . Expresar con sus propias palabras lo que es inferenciaJ6gica. Aplicar en ca~os sencillos las reglas de inferencias ms usuales. Diferenciar entre pensamiento cotidiano y el pensamiento matemtico.

ESQUEMA RESUMEN Impliccl6n.

,
,

Estructura y significado de la implicacin.

,

El conectivo lgico "si. .. entonces..."

Formas de expresar una implicacin:
,

Notacin.

Valor de verdd. Equivalencia lgica," Proposiciones equivalentes. Valor de verdad., Representacin grfica. 79

'Vqriantes de la implicacin.
Proposicin conversa. Conjunto de verdad. Doble implicacin. Conjunto de verdad. Contrapositiva de una proposicin.
.'

Representacin grfica y valor de verdad.

Silqgismo. 'Estruc.tura d,eun silogismo. Reglas de la inferencia.

I

Representacin grfica, utilizando diagramas de Venn, para mostrar ' . la validez de un silogismo.

Demostraciones a problemas.

i,

80

-- MI - -

-- . --

11:

" {

Implicacin. Equivalencia \Igica

cin, la segunda porte est" constituida por .10otra p'roposicin precedida por la palabra "entonces" y la l'Iamaremos la conclusin de la implicacin. . Hay muchos. modos diferentes de expresar una implicacin y en 01-. guoos de ellos no aparece el cone~fvo lgico "si. .. entonces" razn por '10 que se debe desarrollar ha.bilidad para expresar tales implicaciones en la forma en que se expresa el conectivo;. en seguida se ven algullos' de las formas. ms frecuentes, entre las que se incluye el smbolo o nota, .cin aceptado en la r;\1(Jyora de. los. text9s; considerando que "p" representa la suposic'in y "q" la conclusin. tendramos:
."

. por

Cuando asoci(Jmos, dos proposiciones utilizando el conectivolgico "si. . . entonces. . .", formamos la proposicin compuesto ms .importante en f.o Matemtica. Esta proposici.n compuesta se llama Implicacin y se considera formada en dos portes: la primera es la proposicin que se precede

lo partcula "si" y..Iollamaremos suposicin o hiptesis de la implica-

si p entonces q.
.
, ,

P'=> q.(La ,forma simblica que se lee como "si p entonces q"), P 's610 si q.. p implica q.
.

q si 'p. (Esta forma es frecLiente y debemos observar que la hiptesis y la conclusin aparecen en orden invertic;to.razn de .frecuentes errores)..,'

si p entonces q.

Veamos algunos ejemplos. en donde se cambiQ a la formo tradicional,

.

a) "x > ~ Implicax > '4". I "si x > 5 entonces x > 4". b) "x = 1 si '3x - 1 = 2x" (Esta, es la. forma q'si p) "~I3x'- 1 2x entonces x. =;= 1". . c~ IIDos crculos con radios iguales.'tienen reas iguales".

d)

"Si d<?scirculos tienen radios iguales entonces tienen reas iguales". "Todos los ngulos rectos tienen .10 misma' medida". , "SI los ngulos. 'so.n rectos entonces- tienen., .10' misma medida"

El ltimo ejemplo nos da una forma de proposicin con. cuantificado81

res; sabemos que ese tipo de proposiciones son simples y se les puede asignar un valor de verdad de inmediato, lo que nos sugiere la idea de considerar a las implicaciones como otra forma especia1 de las proposiciones simples, slo que su hiptesis y su conclusin pueden ser proposiciones abiertas. Atialicemo~ otro ejemplo: "Si x es mltiplo de 2, entonces es un Qmero par; x e: N"; .en el lenguaje de conjul1tos quedara como "x es elemento del conjunto 'de mltiplos de 2, y x es elemento del con\ junto de nmeros pares"; esto, como se pede observar, es ,una conjuncin,. por lo que x pertenece a ambos conjuntos, lo que significa, que el conjunto de todos los mltiplos de 2 es un subconiunto del conjunto de nmeros pares; "es decir que "si al pertenecer al primer conjunto entonces ,pertenece al segundo", el primer, conjunto debe necesariamente estar contenido en el segundo, y como ya vimos antes, decir" A es un subconjunto de B" es una proposicin simpl\ y su valor de verdad se puede ex- ' De acuerdo con lo anterior, podemos decir entonces que e!, valor de verdad de una Implicacin puede da,rse de inmediato,' y slo es verdadera si el conjunto', de verdad de su hiptesis es subconjunto del conjunto de verqad de su' conclusin; de otro modo la implicac~n ser falsa. Tambin' pOdemos observar de lo ,anterior que las siguientes proposiclQne$ son

presar de inmediato.

fo;mas diferentes de decir una misma cosa.

,

'

'

Todos los ng'ulos rectos son de la misma medida..

Si los ngulos son rectos entonces tienen la mi'sma medida. El conjunto de ngulos rectos es un subconiunto del conjunto de ngulos con la misma medida. ' , Tenemos entonces tres proposiciones que' por decir lo mismo tienen' el mismo valor de verdad o, el mismo conlunto de verda~.

Las proposiciones G1ue tienen el mismo valor de verdad o el mismo conlunto de verdad las llamamos pr~posiiones equivalentes.

Una proposicin universal afirmativa es entonces lgicamente equlvale~te a' una implicacin.
,

Eiemplos:
'a) "S'i x < 6, entonces x < 10,

determinar su valor de verdad recurrimos al lenguaje de conjuntos

x e:

conjun'to de nmeros enteros';.

Para
,y

sus ,diagramas. La proposicin equivalente seria "El conjun.t~ de n, meros enteros menores que 6 <8Ssubconlunto del conjunto de nmeros enteros menores que 1'0". U = Conjunto de nm~ros enteros. A

= {1,2,3,4,5,E?, A~B

= {1,2;3,4,5}

7,8,9}

82'
I

Enteros

Grfica de Implicaci6n Verdadera

Compare esta grfica con la del universal afirmativa b.) "Si ,una figu.r.a eS.ijn cuadrado, entonces ea un paralelogra.mo". Conjunto de. cuadrados es' subconjunto del conjunto de paralelogramos, conjunto de reemplazamiento el conjunto de todas las figuras geomtricas. Se cumple lo que se afirma, por lo que la implicacin es verdadera.
t geomtricas

Todas

ms FtgUrQS

Grfica de Imp~cacin Verdadera c) "Si una figura es un tringulo, entonces es un tringulo equiltero". El conjunto de tpdos los tringulos es un sub- . conjunto del conjunto de tringulos equilteros.' Conjunto de reemplazamiento el conjunto. de todas las figuras geomtricas. Podemo~ ver en la . figura que esta ltima afirmacin no se cumple por lo que la implicacin es falsa.
Grfica de la implicacin 83

d)

(])
'~
x A nB

...
.

"Si x s un elemento de' A n S, entonces' x es un elemento de S". Esta propoSicin ya e$t en el lenguaje de conjuntos, y en el diagrama. de Venn se, muestra que el conjunto A n S es un subconjunto del conjunto S, luego la implicacin es verdadera.

e)

"Todos los .rnltiplos de 15 son mltiplos de 5". Como se haba hecho;

,

notar, las proposiciones con cuantificadores

son una 'de las formas de decir que un conjunto es subco'njunto de otro, al igual que las implicaciones, por lo que puede escribirse la proposicin lgicamente equivalente "Si un nmero es mltiplo de ,15, entonces es un m,ltiplo de 5", o en ,lenguaje de, conjuntos, "El conjunto de ml-' tiplos de 15 es un subconjunto del conjunto ,de , m,ltiplos de 5". La implicacin es verdadera como se muestra en la,figura.,

Para comprobar la valiQez de nuestra afirmacin, usamos lo que se liorna un "'contraoejemplo": es -decir, un ejemplo que no cumpla la implicacin, es decir, en este caso una figura que siendo trihgulo no sea equiltero. "Tringulo issceles" es elemento de ,la suposicin o hiptesis, pero no es -eleo ment-o.de la conclusin y su figura' se muestra a la izquierda. El conjunto de la hiptesis no es subconiunto de la conclusin y la imx representa un tringulo lssceles

plicacin es falsa.

'

-Variantes de la implicacin La Implicacin da lugar al mayor problema en la bsqueda de la verdad, ho solamente por el hecho de que existen tantas y tan diferentes formos de enunciar una implicacin,' pues aun usando' el conectivo lg:ico ".'si . . . entonces. . .", pequeos cambios en las proposiciones o en el orden en que se dicen, cambian el valor de verdad de la implicacin. ,
,

Si cambiamos el orden de las proposiciones Cteiandoeo su lug~r al

conectivo, formamos una variante de la implicacin, a la que llamamos Conversa o recproca de lo implicacin. Ejemplo: Cambiemos el orden de las proposiciones de la siguiente implicacin "si un nmero entero es 84

Considerando el diagrama de Venn para la implicacin dada,' podemos apreciar que es verdadera, ya que el conjunto de mltiplos de 8 es subconjunto del de nmeros pares, pero no sucede lo mismo con las proposiciones invertidas; por lo que la conversa es falsa. Contra-ejemplo: el 4 es par pero np es mltiplo de 8. Por lo anterior podemos . concluir lo siguiente: "Aun cuando una implicacin sea verdadera su conversa puede no serio". En otras palabras, de la verdad de una implicacin no se puede concluir la . verdad de .10conversa de.Ja implicacin. Sin embargo, puede darse el caso de que la, conversa tambin sea verdaderCJ. Ejemplo. "Si todos los 6ngulos de un tringu10 son iguales, entonces el tringulo es equiltero"; su proposicin c'onversa "Si ,un tringulo es equiltero, entonces todos sus ngulos son iguales" Ambas proposiciones son verdaderas, es decir, el con-junto de tringulos con sus nglJlos iguales es subconjunto del de tringulos equilteros, y viceversa; por lo tanto, se trata de conjuntos iguales, y se dice qu.e las proposiciones representan esencialment lo mismo. Estas proposiciones cuyo coniunto de verdad o val.or de verdad es el mismo, ya vimos que son proposiciones equivalentes; cu"ando se trata de una implicacin y su conversa se pueden combinar en una proposicin ms . compleja usando el conectivo "y", con lo que se forma una doble implicacin,

nmero entero es-par, entonces es mltiplode 8".

mltiplo de 8, entonces es nmero par".' "Si un

"(5 + 2 = 7) ::::::) (7 ~ 2 5)". Con nuestros conocimientos de esos nmeros pOdemos comprobar que ambas proposiciones son Verdaderas y combinadas en una doble implicacin quedan, "(7 - 2 5) <=:)(5 + 2 =7)" 5 si y slo si 5 + 2 7". Siendo su conjunto que se lee "7 - 2 de verdad ,el mismo, ambas son verdaderas o ambas son falsas, demostrando una, se demuestra tambin a '10 otra. Veamos otro ejemplo.' "Si un tnng~lo es rectngulo, entonces el cuadrado de su lado mayor es igual a la s~ma de los cuadrados dej,sus otros dos lados". . Conversa: "Si el cuadrado del lado mayor de u'n tringulo es' igual a la suma de los cuadrados de los otros dos lados, entonce$ el tringulo es rectngulo". ' . . Combjnadas en una proposicin conjuntiva las dos implicaciones ante- . riores<dir.an"Un tringulo es rectngulo, si y slo si.el cuadrado de su lado mayor es igual a la suma de los cuadrados de los otros dos lados". (Teorema de Pitgoras). '. . Cuando 'enuncial1Jos una implicacin estamos diciendo que un deter.. minado conjunto es subconjunto de otro. Existe una modificacin al intro- . ducir la negacin en las proposiciones componentes que no cambia el valor de ve.rdad de la implicacin dada: nos da una proposicin equivalente' y la llamamos la Contrapositiva de la implicacin.. esta variante es muy

cuyo 'smbolo es ,la flecha con. doble punta. Ejemplo: . . 2' 5, entonces 5 + 2 = 7". Simbolizada esta implicacin quedara: "(7 2 5) ::::::) (5 + 2 7)". Loaproposicin conversa sera
"Si 7 -.

-= =

til en las demostraciones.

'

Veamos con un ejemplo el' valor de verdad de una implicacin y de su contrapositiva. "Si una figura geomtrico es un rectngulo, 'entonces es f 85

'.

Todas lasfiguras geomtncas .1 tos diramos: "Si una figura geomtrico es elemento del conjunto de rectngulos, entonces es elemento del conjunto de poralelogramps!'; en seguida se. muestra el diagrama de Venn donde se ve .que lo implicacin es verdadero.' . : Formemos lo contrapositivo de ICJ implicacin poro lo cual formamos primero' lo converso y luego negamos los proposiciones, quedndonos ,"Siuno 'figura geomtrico no .es un paralelogramo, entonces no es un r.ectngulo". Haga un diagrama de Venn poro esto ltimo proposicin y demuestre que son equivalentes.

..

un paralelogramo. "En lenguajede conjun-

Consideremos dos proposiciones "p" y "q" formando uno implicacin, y llamemos P y a o sus conjuntos de verdad respectivamente; tomando la implicacin como verdadera repasemos la implicacin y sus variantes uti.lizando slo smbolos. El smbolo" "," ante~. de uno proposicin indico su

negacin.

Implicacin: p ==> q es verdadero siempre que

,

como se muestro en el diag'ramade Venn,P e a.

deduce del valor de verdad de lo implicacin.

Convetsa: q ==>p su valor de ,verdad no se

Doble implicacin: p <=) q es verdadera siempre que P

y sU conversa (p ==> q) y (q ==> p). ' . Contrapositi~a: Nq ==> --p .es una proposicin equivalente a la implicaI

= a yo que se form con lo conjuncin de una 'implicacin

cin por lo cual tiene el mism valor de verdad P e a equivalente o a' e PI. esta proposicin es equivalen~ede la cO,nverso, 'rozn por lo que no es muy frecuente su aplicacin.
.

Inversa:

'-

p ==> -- q,

Silogismos. Demostraciones
.

.bases para las demostraciones~ En lgebra se hacen ciertas suposiciones acerca de las propiedades de lo igualdad, de la desigualdad y del conjunto de los nmeros 'reales; estas suposiciones se aceptan como verdaderos y forman los postulados con los que.s'e construye un conjunto,de conclusiones acerca de los nmeros paro formar el sistema matemtico. utilizando
para el-lo el razonamiento deductivo. Los conclusiones o deducciones se expresan generalmente en lo forma de implicaciones usando .el "si'. . .entonces. . .", y sus enunciados constituyen lo que conocemos comnmente con el nombre de Teoremas, los que una vez demostrados. sirven tambin 86
.

En cualquier sistema matemtico los postplados y las definiclo.nes son las

..-- -

-~---

--

unto con los postulados y definiciones, como bases' para nuevas construcciones y nuevas demostraciones. Los teoremas son generalmente expresados en.la forma ."si . . .entonces..." por lo que la implicacin es una,
parte importante en el proceso de razonamiento deductivo. , ' '

La hiptesis la constituimos con' postulados o' definiciones, y las relaciones ~gicamente vlidas que establecemos entre diferentes proposiciones simples o compuestas, nos lIeyan a admitir la validez de la conclusin al aceptar. la hiptesis; esto es Lbqlle constituye una demostracin. Estas relaciones tambin llamadas argumentacin, toman el nombre de Reglas

de Inferencia o Siloglsmos, segn su estructura.'

Las reglas de inferencia, son argumentaciones vlidos en la forma de impUcaciones y existen infinidad de ellas', por lo que slo mencionarem'os una de las de m~ frecuente aplicacin, conocida como la ,Regla de la Ca' '

dena.

Elemplo: Tmense dos implicaciones.

a) b)

I
,

'

Si x es elemento del conjunto R, entonces x es elemento del conjunto S. Simblicamente (r ==> s)., . Si x es elemento del conjunto S. entonces x es elemento del conjunto

T. Simblicamente (s => t).

'

En la primera implicacin decimos que' R ,c S, y en la segunda que S c T, po'r lo, tanto cualquier elemento de R lo es tambin de S, y por to tanto tambin de T. En el lenguaje de conjuntos la, conclusin q~e obtendramos con las do's implicaciones verdaderas

sera "Si x es elementode R, entonces x es elemen-

'

to de T" (r => t). Esta sera una conclusin vlida como se puede ver en el diagrama de Venn que se presenta a la izquierda. Regla de la cadena en' smbolos:

(r => s)
.- ~ .

y (s

hiptesis

=> t) ~ '==> (r ==>' t) ~ j tconclusin'j

El silogismo es ,la otra unidad bsica en las demostraciones, se forma con tres proposiciones. La primera, llamada 'Premisa mayor es una implica- . cl6n aceptada como verdadera. .La segunda, llamada Premisa menor, es una proposicin tambin aceptada como verdadera y nos, dice en. un trmino, algo que es elemento del conjunto que se menciona en la hiptesis de la premisa mayor; a ste se le llama trmino medio porque inter~iene en ambas premisa$ o proposiciones pero nU,ncaaparece en la conclusin del silogismo. La tercera proposicin o conclusin se forma suprimiendo el trmino medio, conjunto que aparece en ambas premisas y tomando el trmino de la premisa menor como elemento del confunto de la premisa

mayor.
x.

Silogismo' simbolizado p ==>q Premisa mayor P e Q

e: p
'x E! Q

Premisa menor P es el trmino

medio.

Conclusin. 87

El diagrama de Venn paro un silogismo vlido o correcto presenta

la grfica de dos conjuntos. el .de lo hiptesis P y el de lo conclusin a. el primero siempre es subconjuntodel segundo (P e a)-; presento tambin 01 elemento x del trmino medio el que por estor contenid.o-en P forzoso~ente

estar contenido en a. Ejemplo:

, '

'

'

Premisa Mayor: Si un nmero es ry,1ltiplode 6, entonces es

mOltiplode 2.
'

{mltiplos de 6} e {mltiplos de 2} Premisa Menor: 18 es mltiplo 18 e: {mltiplos de 6} Conclusin e 18 es mltiplo de 2

18 e: {mltiplbs de 2} de, ,6
,

G
.,
'

"

El siiogismo ant~rior' 'est ~imboJizado usond9 el lenguaje' de con-

juntos..Qtraforma es lo siguiente:,

Premisa Mayor: Si, x es elemento del conjunto de mltiplos de 6. entonces x es elementod~1 conjunto de

Premisa Menor:.18 es elemento del conjunta de mltiplos, de 6. Conclusin: ,18, es elemento del conjunto de' mltiplos'
'

mltiplos de 2.

de 2.

Diagrama del silogismo

Tanto en 'las reglas de inferencia como en los silogismos la validez no depende del valor de verdad de los proposiciones componentes. sino de la forr:na en que se emplean. pues si no se siguen los reglas de 1,0lgico. la conclusin no ser uno deduccin de las premisas; y del razonamient o argumentacin se dice' que no tlne validez o que es falaz. Lo anterior significa que lo conclusin .puede' ser verdadera o falsa. : pero su valor de' verdad depende de una informaci(m diferente o adicional a la 'que' proporcionan las premisas. ' Ejemplos: a)

P '. ( Si un animal es un oso entonces' le gusto la miel remisas t A mi animal preferido le gusta la miel
'

Conclusin:.... Este silogismo es ,invlldo independientemente de que la conclusin pueda ser verdadera o falso porque de lo que se afirma en las premi~as no se puede obtener una conclusin. ya que no se (lfirma que slo a los' osos les guste la miel por lo que mi, animal preferido pudiera ser un oso o pudiera no serio. ' 88

---

'"

b) P

remisos

'.

Conclusin: El nmero 14 es mltiplo de 4. . Lo conclusin es notoriamente falso, el silogismo es Invlido pues no sigui los reglas de lo lgico. c) '.. ( Si un nmero es mltiplo de 4'entonces es divisible entre dos P

(: un'nmero es mltiplo de 4 entonces es divisible entre dos t ~i El nmero 14 es divisible entre dos. ..

"

remisos

t El nmero 16 es divisible entre 2

'

Conclusin: El nmero 16 es mltiplo de 4 Ahora lo conclusin es verdadero,. pero el silogismo sigue siendo Invlido, el valor de verdad de lo conclusin lo obtengo de conocimientos de los relaciones entre los nmeros, diferentes de los que se proponen en las premisa$.Lo conclusin entonces no se deduce de los premisas. En los demostraciones se utilizan uno o va.rios silogismos, r,)rinciplando con los hechos enunciados o dados por el problema., o por hechos yo conocidos. como los postulados, hasta llegar o nuevos hechos o conclusiones; siempre usando el razonamiento deductivo. Lo 'demostracin matemtico exige apoyar ~on uno o varios razones caQa afirm'Qci6n que se hago. esto
I

rozn puede ser un postulado, uno definici6n o lo conclusin de un teorema que ya fue demostrado. Para este.tipo de demostraciones utilizaremos dos col,umnas, uno para los hechos dados en el problema y los afirmaciones que iremos deduciendo .hasta llegar o lo conclusin que se quiere demostrar. y la otro columna en donde darem.os los razones de cado. afirmacin que. se hago. Ejemplo: Supongamos que ya conocemos que los siguientes hechos son verdaderos; "Si un nmero es mltlplo de 9 y tambin de 5. entonces es mltiplo de 45". "Si lo' suma de los dgitos que formQn un nmero es : mltiplo de 9, entonces el nmero es mltlplo de 9". "Si un nmero tert1)ino en O o. en 5. entonces es mltiplo de .5.".

.Pruebeque 33.210es mltiplo de 45. Razones Proposiciones (Si un nmero termino en O) => (es 33,210es mltiplo de ti 3 +.3 + 2 + 1 + 0=9
33,210 es 'mltiple de 9 mltiplo de 5). Hechos de lo sumo. (Si lo su'ma de los dgitos de un nmero es mltiplo de 9) => (el nmero es mltiplo de 9).

CQnciusi6n: 33,210es mltiple de 45

(Si un n~mero es mltiplo de 9 y tambin de 5 entonces es mltiplo de 45).

89

-',

).

'En a demostracin ante~lor hemos utilizado tres slloglsmos durante nuestros razo.namlento~, slo :que por razones prcticas no los escribimos en la,forma como los definimos y que a continuacin se presenta. y en' su . lugar utilizamos las dos columnas. omitiendo la ,premisa menor'quegene-

ralmente' es evidente.

'

Premiso Mayor: (La razn que justifica nuestra afirmacin). Si

un nmero termina en 0:0 en 5, entonces es mltiplo de':5. Premisa Menor: (Omitida) 33;210 termina en -O. '.

Conclusin:
,

(~uestra

afirmacin) 33,210 es mltlplo de.5.

, .

Premisa Mayor: Si la, suma de digitos que forman un nmero

es mltiplo de 9, entonces.el nmero es.mltiplo de 9.
. .

Premisa Menor: Los digitos que forman el nmero 33,210 sumanunmltiplo de 9. (No omitida). '\ . 1 Conclusin: 33,210es mltiplode 9.
'

'5,

entonc~s es multlplo de 45. . Premisa Menor: 33,210 es mltiplo de 9-y de 5. Co~clusin: 33,210 es' mltiplo de 45.
o

pr~";isa Mayor: ',~i ~n n~ero es mltiplo de 9 y tambin de

.

" .
.

Con el ejemplo ante~ior, se ve lo prctico que resulta el uso de las

dos co.lumnas 'en las demostraciones, por lo que a lo largo de este' curso continuar emplendose. La prem'isa menor se omite para simplicidad ya 'que general.mente es una informacin dada o consegu.tda en el mismo :problema. .. .'.
. ..~

"

I '\. 90

PROBLEMAS PARA AUTOEVALUACION 11.8

si corresponde.

En los siguientes problemas diga cul es la suposicin y cul es la conclusin. y reescriba la proposicin usando la forma "si. . . entonces. . .",

1~ Si llueve,entoncesse pospondr el juego. eo r ~\,-'

2. Un nmero enter~ es mltiplo de 8 slo si es par. 1 3. Para toda x > O,x > - , x e: N.
'x . \

4.

Que x sea .mltiplo de 9 implica que sea mltiplo de 3; x e: N.

5. El equipo gana si Pablo iuega. 6. Si se acepta como verdadera la proposicin "si a = 5. entonces 02 = 25". Cul de las cuatro proposiciones siguientes es una deduccin co. rrecta? . a) Si 02 = 25,entonces a = '5 c) Si 02 =1= 25, entonces a =1= 5 b) Si a =1= 5, entonces 02,=1= 25 d) 02 = 25. sl~ si a = 5 7. En los problemas que siguen dibuje el 'diagrama' de Venn despus de reescribir la proposicin en lenguaje de conjuntos, de modo que se . . vea que la implicacin es verdadera. 0), "Si un nmero es divisible entre 6, entonces es nmero par". b) "Si ~ < 10, entonces x < 15; x e: N".

8'. Usando las dos proposiciones que se dan, forme una ir:nplicacin verdadera.
'

a x2

= 4: x = 2.

b) Tringulo issceles; tringulo equiltero. 9. Reescriba las siguientes implicaciones usando el lenguaje de conuntos. Use diagramas de Venn para demostrar ~i la .implicacin es o no verdadera. a) Si un nmero es divisible entre 4, entonces es un nmero par. . b) Si x es un nmero entero que no es menor que 10, entonces no

es menor que 6.

10. Cambie la proposicin universal verdadera que se da, por su equivalente lgica. una implicacin en donde use primero el conectlvo lgico "si. . . entonces. . ." y luego escrbdla usando "slo si" para observar la impresin que se produce e el valor de verdad que no se ha
'cambiado. '

a) Todos los das lluviosos son nublados. b) Todos los mltlplos de 6 son mltiplos de

3.
91

-= -- ""- -

---.-

Considerando o n > 5 como "p", y a n = 4 como "q", 'escriba los siguientes implicaclones en lo forma "si... entonces. . .", recuerde, que ,el smbolo-.- representa la negacin y tambin que n E R.

11. p=>q
17. q =>p 18.' ,...,q=>.-

12. q=:>.-p

13. q==>p
"

14. .- q => , p ,15. ; 'p => -".q 16. -.; p => q Diga qu variante de la ,implicacinrepresentan los smbolos.
p q

19. .- P=>,..., 20. Utilice los diagramas de Venn para determinar el valor de verdad'en
~os ejercicios ces s"? del 11 01 16,. " '
,

'.

21. Cul de las propoSiciones siguintes es equivalente a "si r, enton-

t1) r, s610si ~ b) s, slo si r c) r, si slo si s 22. Complete las siguientes oraciones de, modo que el significado no cambie y que el valor de verdad sea Verdadero. a) -Dador =>~s;' slo si b) Dado p => q; si c) Cuando p =>q y q ==> p son implicaciones verdade'ras, a "p" y "q" se les llama proposiciones.
. , En los problemas del 23 al 28, compruebe si los silogismos que se don son o no vlidos, explicando por 'qu. Dibuje un diagrama de Venn para cada problema. Recuerde que no estamos analizando la validez de

coda atrrmacin.

-,

23: Si un nmero es mltiplo de 10, entonces es mltiplo de 5. 20 es

'

mltiplo de 10. Por lo tanto, 20 es un mltiplode 5. 24. Si una ciudad est ~n Nuevo Len, entonces est en Amrica. Mon..

terrey est en Amrica.

Por lo tanto, Monte.rreyest en Nuevo .Len. 25. Si un nmero es mltiplode 10, entonces es mltiplode 5. 75 es mltlplo'de 5. Entonces, 75 es mltiplode 10. 26. Todo burro tiene orejas. T tienes orelas.

Por lo tanto, t eres un burro.

27. Dos ngulos de un tringulo sn iguales, si y slo si los lados opuestos o esos ngulos son 19uales. ~ASC, (lase tringulo .ASC) AS = BC Entonces, el ngulo C es igual al ngulo 'A. 28. Todos lo,sngulos rectos tienen igual medida.

Los'ngulosA y S son rectos.

'

Por lo tanto, el ngulo A es Igual al ngulo B. 92

29. Si aceptamos como postulado la" siguiente propostciri "Los ngulos opuestos por el vrtice timen ,la mismo medida" Cules de las

siguientes proposiciqnes se pueden "deducir" de este postulado y

por qu?' , ",

a) Dos 'ngulos que no tienen la misma medida no pueden ser 'ngulos opuestos por el vrtic. , b) Algunos ngulos que tienen la misma medida, son ngulos opues-

tos por el vrtice.

'

c) Dos ngules que tienen la misma medida son opuestos por el vrtice, d) Dos ngulos que no son opuestos por el vrtice, no pueden' tener
, ,

la

misma

medida.,

',

'..

'

Escriba una conclusin basada en la informacin que' se da. ' 30'. 'El Sr. Gonzlez recibir un ascenso si termina su preparatoria. . El Sr. Gonzlez termina su preparatoria.., . '
\

31. .Todo nmero pares

divisible .entre dos, x es un nmero par. RESUMEN

Hemos utilizado los trminos que ,se introdujeron en la unidad anterior. y han sido una gran ventaja, no slo por facilitarr:tos la sirnbolizaci6n de nuestro lenguaje ordinario siho tambin porque nos han permitido expresarnos d~ una forma ms clara y precisa, evitando as las amb.g~d(]des
propias del lenguaje ordinario. '
" , ..

En esta Unidad 11definimos nuevos trminos para precisar an m6s

nuestras expresiones e ideas, as como tambin nuestras argumentacio,;. fles o demostraciones, los ms importantes son: Deduccin Silogismo .
'

'

Valor de verdad Negacin, Cuantificador particu'lar Equivalencia ,lgica Conversa de una implicacin Demostracin a dos columnas Proposicin abierta.
Disyuncin \.

Proposici.6n sj'mpl~ ' Conjuncin Leyes de DeMorgan Implicacin, Cuantiflcador univer.sal 'Doble implicacin . Contrapositiva d~ una imp'licacin
'

93

"

Panele. de verlflcacl6n.

CONJUNTO

DE PROBLEMAS.

11-5

1. Todos los lunes se lleva a cabo el saludo a la bandera. 2. Garca obtiene un bueo salario.
. 3.. Deduccin: al aceptar que es martes. I 4. Induccin: se generaliz lo sucedido cinco aos consecutiv.os. 5. Deduccin: al aceptar que los cuatro lados iguales midan 4 cm. dedujo la medida de cada lodo.. .

6. S; proposicin simple, verdadera. 7. No tie.neconjunto de reemplazamientopor lo tanto, no es proposicin. 8. S; proposicin abierta {6}. 9.. sr; proposicin abierta {x e: N I x es par}. 10. "EI conjunto de los mltiplos de 6 es subconjunto del de 'nmeros pares".
,

11. "3 es elemento del conjunto de nmeros menores que 5"

CONJUNTO DE PROBLEMAS 11-6

1. El conjunto de mltiplos.de 6 es un .subconjunto del conjunto de nmeros pares. 2. 3 es un elemento del conjunto de nmeros impares. 3. x es elemento del conjunto de nmeros naturales y del conjunto de . nmeros menores que 4. 4. El tringulo T es, un elemento del conjunto de tringulos equilteros.
,

5.
.

6.

7.

".

B
. Impares

94

8.

9.
11 N

10.
N N

12. Disyuncin
, '''x 13 .

< 8" o "x es mltiplode3" x e: M Conlunto de verdad

Disyun~in
'

{1, 2, 3. 4, 5, 6. 7} U {3, 6, 9}

= {1, 2, 3, 4,5,6,

7, 9}

'Coniuntosolucl6n_,

"x es mltiplo de 3" o "x. es nmero par o es menor que 8". x e: M

I
I

{3.6. 9} U [{2.4, 6. 8,.10} U {1,2. 3, 4, 5. 6, 7}]

{3. 6. 9} U ,{1, 2, 3, 4. 5, 6. 7. 8, 10} {1. 2. 3, 4,~. 6, 7.8. 9. 10} M

'

-,
'

, 14. Primer paso

"x es mltiplo,de 3"

"x es par",'

A = {3, 6; 9}
.

"x es menor' que 8"

' "

B ::;: {2, 4. 6. 8. 10} e = '{1. 2-,3. 4, 5. 6,7} .. M = {1. 2. '3.4,5, 7, 8, 9, 10}

"

Segundo paso.
M
A

' B

95
,'

Resp~esta. "A

n c"

"x es' mltipl~ <;te3 y es menor que 8" problema anterior buscamos ahora. la que nos d {2, 3, 4, 6} a: y "x es menor que 8"

15. Wsando los pasos 1 y 2 del operaQin entre los conjuntos Solucin (A U B) n e que corresponde "x es mltiplo de 3 o es par"

Sean A, B, e no disiuntos 16. ab

B A

b'yc

(b Ye) a
A
B.

,. A

19. b Y (c a).
A
lB

20. b Y (e Y a)
A

CONJUNTO DE PROBLEMAS 11.7

1. Es una proposicin slmpre. Negacin. 11TlO es un nmero primo. Falsa.

~ LA
96

2. .Proposicin abierta. Negacin. x + 3 10; x e: N. El rea sombreado contiene los elementos que cumplen con la negacin.
=1= .

3.

Proposicin

simple.

Negacin. 6 4: 8. Falsa.

- - -- - -

--

--.

4.

Proposicin simple N'egacin. 3 <. 5. Verdadera

. ..
-

5.

Ne.gacin. "x no es un mltiplo de 3; x e:. N"

Proposicin abierta.

6.

Proposicin simple.

Negacin. "Hoy no es s.bado". Valor de verdad contrario del -que tengo la afirm.acin. .

7.

Negacin. 20. Ley de DeMorgdn.

Todos los das

8. . Negacl",.
10. Ley de DeMorgan "Hoy no es martes o no es un d(a lluvioso. 9. Negacin. "x :t>3 x <t 10, x E: N" Esta ne9acin es equivalente a: ".x ~ 3 o x ~ 10,XE: N"
N

10. Negacin.
"2x =F 6 Y x

= O; X E: N"
r

11. El cohjunto de nmeros primos ,e~ subconjunto del de nmeros ;mpares

Racionale~

97

12. Algunos nmerqs naturales no son enteros.

13. En este problem se afirmo que los rectos p~rdlelas no se corta'n, V aunque no se menciono el cuantificador no se da lugar a' excepciones , por lo que se considero que se afirmo que todas los r89tas paralelas no se cortan. Este es el lenguaie. ordinariamento empleado, por lo que . debemos desarrollar capacidad poro transformr ~o que se nos dice a lo formo simblico que aqu aprendemos a manipular- (esta trans-, , formacin se puede hacer slo mentalmente) poro as comprender V asimilar el significado o semntica de lo que' se nos dice.

Negacin: Algunos rectos paralelos se cortan. Observar que esto formo de simbolizar nos permite eliminar un error frecuente d la negacin 01.trotar de negar lo proposicin en lo formo siguiente: . Los rectos paralelos se cortan. Formo equivocada y adems frecuente.
14. Todos los nmeros enteros son ra~iona~es.
Reole.

15. Todos los tri~ngulos equilteros son is6sceles.

Figura. Geom~triCtl.

16.. Algunos das lluviosos son claros.

Todo. 10.' dl'

98

= {mltiplos:de = {pares}

3}

= ,{mltiplos de ~}

17.

2) 40 es mltiplo de-5 y es par, pero no es r{1ltiplo de 3.

18.

,19.

20.'

21. Falso que (121 mltiplo de 3 o mltiplo de 5) o par. Es falso que (121 mltiplo de 3 o mltiplo de 5) y no es par. (121 no es mltiplo de 3 y no es mltiplo de 5) y no es par.

99

CONJUNTO DE PROBLEMAS 11.8

1.. Suposicin: Que llueva. Conclusin: Posponer el ju~go.

2.

Suposicin: Ser nmero entero mltiplo de 8. Conclusin: Ser par. . x e: N 1 1Conclusl6n:x > -,. X E: N . x
O.

..'

Implicacin: Si un nmero entero es mltiplo de' 8. entonces es par.

3. Suposicin:x >

1 Implicacin: Si x > O, entonces x > -, x e: N x .4. Suposicin: x mltiplo de 9. Conclusin: x mltiplo de 3. Impllcacl6n: si x es mltiplo de 9. entonces es mltiplo de 3; x e: N. Suposicin: Que.Pgblo juegue. ' Concl.usI6n:El equipo gana. . Impllcacl6n: Si Pablo juega. entonces el equipo gana.
'

5.

6~ a)' 02= 25=> a = 5 Incorrecto porque a podrfa ser - 5. b) a#-5 => 02,* 25 Incorrecto por la,'mlsma razn que antes. c) Si 02'* 25.entonces a '* 5 Correcto porque si no .se cumple la . conclusin. no se cumple tampoco la hiptesis.
d) 02 = 25 => a = 5 Incorrecto es la misma proposicin que en inciso a) pero en. otra forma. a) Si un nmero es 'divisible entre '6,' enton-. . ces es par. " 'El conjunto de nmeros divisibles entre 6 es subconjunto del conjunto de nmeros pares. '

7.

100

b) SI

lunto de nmeros naturales menores que. 10 es subconlunto del coniulito de nm9ros naturales menores que 15.

x < 10. entonces' x < 15. x e: N. El con-

8. al Xl = 4: x = 2. x e: N. Impllcaci6n x = 2 => x2 ==40 b) 6. Is6sceles, 6. equilteroo '1l'J1Pllcoci6n. Si un 6. es equiltero ==>

'es Is6sceles.
J

'

8. a) El conlunto de nmeros divlsibles entre 4 es subconiunto de los pares. Por definicl6n "Los nmeros divisibles .
por 4 son mltlplos de 4" Todos los mltlplos de 4 son pares Verdadera b) El.conlunto' de nmeros enteros no menores que 10 es subconjunto del conlunto de nmeros ~nteros no menores que 6. {Conlunto'de "nmero~ no menores que 10} {10, 11, 12, 13. 14,.. . o}
o. o}.

El 4 es mltlplode 2 Por tanto es par

.
'

= {Conluntode nmeros no menores que 6} == {6, 7, 8. 9, 10,11,12,

ACB

Verdadera

10. -a) "SI un dIo'es lluviosoentonee. es nublado". b) "Un .dIoes lluviosos610 si es nublado". c) "SI un nmero es mltlplode 6. entonces es mltlplode 3". HUn, nmero es mltlplode 6 s610 si es mltiplode 3"0 Analice detenidamente estas impllcaolonesy comprelas con las orl.. glnales. Las tres f()rmas nos dicen exactamente lo mismo. pero no siempre nos damos cuenta, el lenguale ordinario nos presenta mu.. chas dificultades para encontrar la verdad V esto es una oportunidad de analizar lo que decimos o nos dicen para poder luzgar. , 11. SI n > 5. entonces n = 4 n e: N (p => q). . 12. SI n = 4. entonces n :J>5 n e: N (q => - p)o 13. SI n = 4. entonces n > 5 n e: N (q => p).

101

14. -Si n:# 4, entonces' n )::-5 n E: N (-- q =:) -- p). 15. Si n ,)::5, entonces n :# 4 n E: N (-- p =:) -- q). 16. Si n:1> 5, entonces n 4 n E: N (~p =:) q). 17. La proposicin q =:) p es lo conversa. q =:) -- P es la contrapositiva. 18. La proposicin

,19.

La proposicin

,~, p ==> ~ q eS la invrsa.

'

20. Una proposicin .equivalente a n)::-5 sera n <,5; (n)::-5 <=>n < 5) en muchos casos esm6s conveniente usar el diagrama de u!naproposicin afirmativa en lugar de la proposicin negativa como lo 'haremos,en al'gunos de los. problemas.que siguen.
'

Sombre'aremos las hiptesis con rayado a la dere~ha

y las conclusiones con rayado a la izquierda

1. Implicacin falsa

2~Implicacin verdadera

3. Implicacin falsa

s
(\

n'<"'S
4

.:>-

4. Implicacin falsa

S. ImpUcacln

faba

6. Implicacin falsa

21. a) r s610 si s, equivale a r::::) s.

,

22. a) r => s; r s610 si' 8

b). P => q; q si p'
,

c) Cuando p => q y. q => p son Implicaclones verdaaeras, a "p" y "q" s~ le~ lIam~ proPoSiciones.equivalente., 102

- -.- --

23. Diagrama del Silogismo -{mltiplos de 10}c {mltiplos de 5}

.

20 E: {mltiplos de 10}
20 E: {mltiplos de5}

Razonamiento Vlido

24. {ciudades. de Nuevo Len} e {ciudades de Amrica} . MonterreyE: {ciudades de Amrica} 7 -I . ~Monterrey E: {ciudades de Nuevo Len}.

Razonamiento ',Invlido
. .

verdade-ra.

Independientemente de que lo conclusin seo

25. {mltiplos de 10} e {mltlplos de 5} 75 E: {mltiplos de '5} -7 15 E: {r.nltiplos de 10}

;

Invlido

26. "Todo burro tiene orejas" es equivalente o "Si es burro => tiene orejas" V o {burros} e {ani'males con orejas}
T E: .{an.malescon

T ~ {burros}

orejas} -?
.

-'
I

Invlido

27. {Tringulos con dos ngulos iguales} = {tringulos' con dos Iodos .iguales}
~ ASC.E:

{tringuloscon dos Iodos-iguals} ~ ASC E: {tringulos con dos ngulos iguales} Observacin: No se pretende demostrar los pre'misas, sino que se aceptan como verdaderos, slo verificamos que lo conclusin se derive

7'rl41wu1o.

de o est contenido en los premisas.

COIIdo, ~ /IutIln 1rl4".u1o ASO. trlingulo, 'COIIdo. bloI igwJ",

Vlido
103

"

28 . {ngulos rects} c{ ngulos con igual medida} <r A y <r B E {ngulos rectos} <rA=<rB Vlido

29. a) Esta proposicin es equivalente a la proposicin dada porque es la contrapositiva. b) Esta proposicin es la particular afirmativa que se' puede deducir del' Universalafirmativo que nos dan "Todos los ,ngulos opuestos por el vrtice tienen la misma medida".
' ' "

"

c) Esta proposicin es la conversa' por. lo que no se "d~duce" de la

d) Esta proposicin es la conversa equivalente a la conversa del in-

implicacin.

ciso anterior.

'

30. Cambiamos a la forma si . . .entonces.. . de modo que identifiquemos

,

sin error la hipte,sis y la conclusin.

'
.

"

, Si termina su preparatoria el Sr. Gonzlezentonces recibir un ,Premisas ascenso. ' . El Sr. Gonztez termina su preparatoria. {
(

Conclusin: El Sr. ,Gonzlez recibir un ascenso 31. Si un nmero es par entonces es divisible entre dos; x es nmero par. Conclusn: x es' divisible entre dos.
, '

104