Lógica Matematica

Vicealmirante Franklin M.
Zeltzer Malpica
RECTOR
SISTEMA DE APRENDIZAJE AUTOGESTIONADO ASISTIDO (TRIPLE A)
Dra. Rosa M. Puerta Castro
Coordinadora General del Sistema Trile A
PRODUCCI!N DE MATERIALES DID"CTICOS DE LA ASIGNATURA
#RAZONAMIENTO L!GICO$
Dra. Rosa M. Puerta Castro
Coordinadora General del Sistema Trile A
ng. Juana Lorenzo de Centeno (Ncleo Caracas)
Prof. Neida E. Gonzlez Chaparro (Ncleo Caracas)
Lic. Teresa C. Gmez de Sousa (Ncleo Caracas)
Prof. Alberto Ochoa Parada (Triple A Sede)
Ese%ialistas de Contenido
Dise&ador Instr'%%ional
Lic. Guillermina ndriago (Triple A Sede)
Ese%ialista de Reda%%i(n ) Estilo
Dise&ador ) Dia*ramador
PRODUCCI!N GR"+ICA E IMPRESI!N
(NOM,RE DE LAS EMPRESAS)
Todos los derechos reservados.
Prohibida la reproduccin total o parcial por cualquier medio grfico, audiovisual o computarizado
de este material didctico sin previa autorizacin escrita.
2007 Universidad Nacional Experimental Politcnica de la Fuerza Armada (UNEFA)
Av. La Estancia con Av. Caracas y Calle Holanda frente al Edificio Banaven (Cubo Negro), Chuao.
Cdigo Postal 1061
Caracas, Venezuela
http://www.aaa.unefa.edu.ve
2
-NDICE DE LA SELECCI!N DE LECTURAS
T(i%o P.*/
INTRODUCCI!N......................................................................................................... 4
UNIDAD N0 12 L!GICA PROPOSICIONAL................................................................5
LECTURA N0 12 Proposiciones........................................................................5
LECTURA N0 32 Ms sobre Proposiciones.......................................................6
LECTURA N0 42 Conectivos u Operadores Lgicos.........................................8
LECTURA N0 52 Valores de Verdad de los Operadores Lgicos......................12
LECTURA N0 62 Tablas de Verdad...................................................................18
LECTURA N0 72 Tautologa, Contradiccin, ndeterminacin y Frmulas
Equivalentes..........................................................................20
LECTURA N0 82 Aplicaciones (Circuitos)..........................................................24
LECTURA N0 92 Cuantificadores......................................................................28
LECTURA N0 :2 Negacin de los Cuantificadores............................................30
LECTURA N0 1;2 Conectores Lgicos y Lingsticos.........................................33
UNIDAD N0 32 LE<ES DE LA L!GICA PROPOSICIONAL........................................35
LECTURA N0 112 nferencia y Leyes de la Lgica..............................................35
LECTURA N0 132 Falacias..................................................................................49
LECTURA N0 142 Condicionales........................................................................52
UNIDAD N0 42 DEMOSTRACIONES MATEM"TICAS................................................58
LECTURA N0 152 Demostraciones Matemticas................................................58
LECTURA N0 162 Mtodo de nduccin Matemtica..........................................67
LECTURA N0 172 Algunas Funciones de las Demostraciones Matemticas......72
UNIDAD N0 52 TEOR-A DE CONJUNTOS..................................................................74
LECTURA N0 182 Conceptos Bsicos................................................................74
LECTURA N0 192 Tipos de Conjuntos................................................................77
LECTURA N0 1:2 Ms sobre Conjuntos Especiales...........................................80
LECTURA N0 3;2 Representacin Grfica de Conjuntos....................................84
LECTURA N0 312 Relacin entre Conjuntos.......................................................85
LECTURA N0 332 Otras Relaciones entre Conjuntos..........................................87
LECTURA N0 342 Operaciones entre Conjuntos.................................................89
LECTURA N0 352 Aplicaciones de la Operaciones entre Conjuntos...................105
LECTURA N0 362 Nmero de Elementos de un Conjunto..................................108
3
INTRODUCCI!N
La Universidad Nacional Experimental Politcnica de la Fuerza Armada (UNEFA), te da la
bienvenida al primer semestre de tu carrera y a la vez te ofrece este valioso recurso que
contiene una sele%%i(n de le%t'ras para la asignatura Ra=onamiento L(*i%o.
La UNEFA con su poltica dirigida a formar egresados de excelencia acadmica, incorpora
la asignatura Razonamiento Lgico en el inicio de la carrera de ngeniera, TSU en Anlisis
y Diseo, TSU en Agronoma, TSU Hidrocarburos y TSU en Construccin Naval; con el
propsito de mejorar la forma de pensar a travs de herramientas lgicas, facilitando en el
estudiante la formulacin, evaluacin y resolucin de problemas de ndole numrico a lo
largo de su carrera, as como aquellos aspectos relacionados con su comunidad.
El ra=onamiento l(*i%o es una ciencia cuyo inicio se remonta siglos atrs, aunque desde
siempre el ser humano inconscientemente lo ha utilizado, al organizar elementos,
establecer patrones y encontrarle explicaciones a las cosas y hechos de la vida diaria. Por
estas razones, Aristteles fue el primero en incursionar en el estudio de esta ciencia, se
interes en sistematizar la lgica que usamos a diario.
La lgica matemtica trata todo aquello que tiene sentido comn, que parece suceder de
forma natural en la mente humana y se entiende a medida que se va estudiando y
profundizando en ella, desarrolla la madurez matemtica de una forma diferente a lo que
tradicionalmente se hace; adems le brinda la oportunidad de obtener mejores resultados
y aprendizajes significativos en el mbito numrico.
En el desarrollo de esta asignatura, sern evidenciados mltiples casos de la vida
cotidiana que necesitan de la lgica para darle una correcta solucin a los problemas que
a diario se presentan.
En esta seleccin de lecturas, encontrars un resumen de los contenidos bsicos de los
temas que componen la asignatura, los cuales te apoyarn en el logro de un aprendizaje
de calidad.
Durante la primera unidad, se trabajar con Lgica proposicional, en ella aprenders un
lenguaje simblico, significativo, que te permitir establecer un novedoso lenguaje de
comunicacin.
En la segunda unidad se contemplan Las Leyes de la Lgica Proposicional, con cuales
determinars los principios fundamentales inherentes al lenguaje y contenidos adquiridos
en la unidad 1.
La tercera unidad se refiere al tema de Demostraciones Matemticas, donde se plantean
mtodos necesarios que permiten determinar lo que hace, que cierto razonamiento sea
vlido o no.
Se culmina con la cuarta unidad; ella contiene los temas relacionados a la Teora de
Conjuntos, como una manera de formalizar la tendencia natural que tiene el ser humano
de agrupar o reunir lo que ve en su entorno y la forma de relacionar estas agrupaciones.
4
UNIDAD 1
L!GICA PROPOSICIONAL
LECTURA N> 12 PROPOSICIONES
El trmino "lgica se deriva de la palabra griega logos, la cual significa razonamiento o
discurso. Los antiguos griegos suelen ser considerados los iniciadores del estudio de los
procesos del razonamiento humano. Los principios descubiertos por ellos fueron
sistematizados, primero, por Aristteles (384-322 A.C); y el tipo de razonamiento
aristotlico constituye la lgica tradicional que ha sido estudiada y enseada desde su
poca hasta nuestros das. Un ejemplo sencillo de la lgica aristotlica es el siguiente.
Todos los hombres son mortales.
Scrates era un hombre.
Por tanto, Scrates era mortal.
Este es un tpico razonamiento conocido como silo*ismo/
No obstante que el estudio moderno de la lgica simblica (que se trata en este captulo)
se basa en las investigaciones de hombres como el matemtico alemn, Leibniz. (1647-
1716), el simbolismo moderno y las operaciones de tipo algebraico fueron por primera vez
aplicadas de manera sistemtica a la lgica, en la obra del matemtico ingls George
Boole (1815-1864).
El estudio de la lgica se desarroll con paso acelerado a partir del anlisis de Boole, y se
ha logrado un considerable progreso respecto a la comprensin de la verdad lgica. Cada
vez que se trata de resolver un problema, se toma parte en un debate, o se trata de llenar
un crucigrama, se realiza una actividad mental llamada razonamiento lgico, el cual, por lo
regular, se expresa en trminos de enunciados declarativos. En este captulo trataremos
acerca de tales enunciados.
Proosi%iones
En sta y en las siguientes secciones se estudiarn ciertos tipos de enunciados
declarativos llamados proposiciones, as como la manera como pueden combinarse para
llegar a conclusiones vlidas.
En general, una roosi%i(n es un enunciado declarativo que puede considerarse como
falso o verdadero, pero no como ambas cosas al mismo tiempo. Esta capacidad de ser
calificadas como falsas o verdaderas hace que las proposiciones difieran de las preguntas,
5
Tomada con fines instruccionales
Britton, J. / Bello, . (2002). Matem.ti%a
Contemor.nea. Segunda edicin. (P. 59
-61).Mxico.
rdenes o exclamaciones. Se pueden hacer preguntas, dar rdenes y hacer
exclamaciones exaltadas, pero slo las proposiciones pueden ser calificadas como falsas
o verdaderas.
Los siguientes enunciados son ejemplos de proposiciones.
E?emlo 1
a. Caracas es la capital de Venezuela.
b. Dos es par y menor que veinte.
c. En Florida hay cinco trillones de granos de arena.
d. O estudias diariamente o repruebas este curso.
e. Si dos es par, entonces 2+2 da como resultado un nmero par.
Observa que la verdad o la falsedad de la primera proposicin, puede verificarse mediante
un examen directo, en tanto que la tercera slo es cierta o falsa aunque no haya mtodos
prcticos o inmediatos para determinarlo.
En contraposicin con las proposiciones del ejemplo 1, los siguientes enunciados son
ejemplos de no roosi%iones.
E?emlo 3
a. Qu hora es?
b. Prez para presidente!
c. Hola Carlos!
d. Cierra la puerta!
e. Esta proposicin es falsa!
Los enunciados del ejemplo 2 no son roosi%iones. Observe que si se supone que (e)
es verdadera, entonces resulta ser falsa; por el contrario, si se cree que es falsa entonces
es verdadera. De ah que tal enunciado no puede ser considerado como verdadero o falso,
por lo que no se trata de una proposicin.
LECTURA N> 32 MAS SO,RE PROPOSICIONES
Para identificar una proposicin es importante hacer uso de un criterio que nos permita
afirmar que sta es verdadera o falsa. Tomando en cuenta el ejemplo 1 sealado en la
lectura anterior (Britton), puede observarse que se utilizan criterios histricos (ejemplo a.)
6
Gmez, T. / Gonzlez, N. / Lorenzo, J. (2007).
M.s so@re Proosi%iones. Artculo no
publicado (p.1). Caracas.
y aritmticos (ejemplo b. y e.). En general se pueden tomar cuenta criterios tales como: el
qumico, aritmticos, botnicos, geogrficos, histricos, propiedades, caractersticas, entre
otros.
REPRESENTACN DE UNA PROPOSCN
Cabe destacar que usualmente las proposiciones se pueden representar con letras
minsculas, ejemplo: p, q, r, s, m,, a las que llamamos letras o variables
proposicionales. Las proposiciones del ejemplo 1 se pueden representar de la siguiente
forma:
p = Caracas es la capital de Venezuela
q = En Florida hay cinco trillones de granos de arena
Sin embargo sta no es la nica notacin, algunos representan las proposiciones en letras
minsculas acompaadas de subndices (p
1,
p
2
,..,p
n
). A fn de unificar la notacin, en este
texto utilizaremos las letras minsculas sin subndices.
PROPOSCONES SMPLES Y COMPUESTAS:
Dos o ms proposiciones pueden unirse dando origen a una proposicin de estructura
ms compleja, a las cuales se le denomina frmulas proposicionales, proposiciones
moleculares o proposiciones compuestas.
Los componentes de estas proposiciones se llaman roosi%iones simles o at(mi%as
(vistas en la lectura anterior, Britton).
En el siguiente ejemplo, p es una proposicin simple al igual que q:
p = Juan estudia en la UNEFA
q = Karina estudia en la UNEFA,
mientras que
Juan estudia en la UNEFA ) Karina estudia en la UNEFA
es la proposicin compuesta p ) q.
Observa, que para formar la proposicin anterior se unen las proposiciones simples por
medio de la conjuncin "),
Otras formas como se pueden conectar las proposiciones son:
la dis)'n%i(n (o): "Juan va a la playa o Juan va al vila
el %ondi%ional (siA enton%es): si estudia, enton%es aprueba el examen
y el @i%ondi%ional (si ) s(lo si):Un n es divisible por 2 si ) s(lo si n es par.
En muchos casos la formacin de las proposiciones compuestas amerita el uso de signos
de agrupacin tales como: ( ), [ ] y { }.
7
Muchas veces conocemos una proposicin y necesitamos saber la proposicin contraria,
en este caso estamos hablando de la ne*a%i(n de una proposicin. Por ejemplo:
= Pedro es buen estudiante, la negacin de la proposicin sera:
no = No es cierto que Pedro es buen estudiante
A partir de ahora, los posibles Balores de Berdad de una proposicin se denotarn con la
las letras: C para verdadero y + para falso. De este modo, la proposicin "El hierro es un
metal tiene un valor de verdad igual a C, en tanto que la proposicin, "las hojas de los
rboles son de vidrio tiene un valor de verdad igual a +.
LECTURA N> 42 CONECTICOS U OPERADORES
L!GICOS
CONECTICAS
Denominaremos conectiva de una proposicin molecular, al elemento verbal o escrito que
une a las proposiciones atmicas que forman aqulla. Por extensin, a la negacin de una
proposicin tambin le llamaremos conectiva.
Existen dos tipos de conectivas: las que ligan dos proposiciones atmicas o conectivas
mltiples y las negaciones o conectivas singulares.
Para el desarrollo del libro, slo necesitaremos de las seis conectivas siguientes:
#no$A #)$A #o$A #oD/o$ A #si D enton%es$ A #si ) s(lo si$
Ejemplos:
a) No, los tres ngulos de un tringulo rectngulo son iguales.
b) Jos estudia Matemticas ) Jos estudia violn.
c) Est nublado o hace fro.
d) O el nmero natural n es par o el nmero natural n es impar.
e) Si la nieve es negra, enton%es el gato es un cuadrpedo.
f) El tringulo tiene cuatro lados si ) s(lo si 9 5 3
O@serBa%iones2
1
a
Aunque la construccin gramatical de los ejemplos a) y b) no es la ms apropiada, a
veces es preferible hacerlo as para evitar ambigedades.
8
Burgos, A. (1983). Ini%ia%i(n a la L(*i%a
Matem.ti%a. Ediciones Vega s.r.l. Dcima
edicin (p. 2-7). Caracas.
2
a
Ms adelante sern debidamente aclarados los ejemplos e) y f).
Si representamos las proposiciones atmicas con p y q, las proposiciones moleculares que
sern objeto de nuestro estudio, son:
a) no pA @) p ) qA %) p o qA
d) o p o qA e) si p enton%es qA E) p si ) s(lo si q
Para una mejor comprensin de las seis conectivas sealadas anteriormente,
procederemos a continuacin a estudiarlas por separado.
La %one%tiBa #no$ o ne*a%i(n2 es la nica conectiva singular de las que vamos a
estudiar; la representacin del signo " colocado encima de la letra proposicional, o bien
con una coma en la parte superior derecha; por tanto si la letra proposicional es p,
escribiremos:
p
o bien
' p
y se leer no p
Ejemplos:
a) No Caracas es la capital de Francia.
b) No la raz cuadrada de 2 es un nmero racional.
Aunque en el lenguaje espaol ordinario, el no debe seguir al sujeto, en el lenguaje lgico
se prefiere anteponerlo a la proposicin para evitar ambigedades.
La %one%tiBa #)$ o %on?'n%i(n %o'latiBa2 cuyo objeto es unir dos proposiciones, la
representamos con el signo ; por tanto, si las proposiciones son p y q, escribiremos :
q p
y leeremos: p ) q.
La proposicin (2) es el producto lgico de las proposiciones p y q, y stos son sus
factores.
Ejemplos:
a) Hace sol y est lloviendo
b) El nmero 15 es divisible por 3 y por 5.
La %one%tiBa #o$ o %on?'n%i(n dis)'ntiBa in%l'siBa2 denota alternativa y
simultaneidad entre dos proposiciones, la representaremos con el signo " ; por tanto, si
las proposiciones son p y q, escribiremos :
q p
y leeremos p o q, o bien p oF) q.
9
La proposicin
q p
es la suma lgica de las proposiciones donde p y q son los
sumandos.
Conviene aclarar que la proposicin (3) debe tomarse con uno de los significados
siguientes:
1 Se verifica la proposicin p, pero no la q;
2 Se verifica la proposicin q, pero no la p;
3 Se verifican simultneamente las proposiciones p y q.
Ejemplos:
a) Jos se casa o Jos compra un paraguas.
La proposicin molecular anterior, debe tomarse en el sentido de que Jos se dar por
satisfecho de una de las tres formas siguientes:
Casndose y no comprndose el paraguas
Comprndose el paraguas y no casndose ; y
Casndose y comprndose el paraguas.
b) El nmero natural n es mltiplo de 3 o de 5.
Esta proposicin debemos tomarla en el sentido de que el nmero n puede ser:
Mltiplo de 3 pero no de 5
Mltiplo de 5 pero no de 3 ; y
Mltiplo de 3 y de 5 simultneamente.
La %one%tiBa #oDo$ o %on?'n%i(n dis)'ntiBa eG%l'siBa, indica alternativa entre
dos proposiciones p y q, la representaremos con el signo " . La proposicin molecular
vendr representada, pues, en la forma:
p

q
y leeremos o p o q, o bien p o q, pero no ambos.
La proposicin anterior es la suma booleana de las proposiciones p y q y stas son los
sumandos.
La proposicin (4) debe tomar p y q con uno de los dos significados siguientes:
Se verifica p , pero no q .
Se verifica q , pero no p .
Ejemplos:
a) O voy esta tarde al teatro o voy al cine.
10
Esta proposicin debe tomarse en el sentido de que si voy al teatro no voy al cine
y de que si voy al cine no ir al teatro, pero de que ir a uno de estos
espectculos.
b) El nmero real
o es racional o es irracional.
El significado de la proposicin anterior est bien claro, pues un nmero real puede
ser racional o irracional, pero no ambas cosas a la vez.
La %one%tiBa #siD/enton%es$ o %ondi%ional2 se usa para obtener una proposicin
molecular a partir de dos atmicas, sin pretender en ningn momento que el enunciado
obtenido vaya a responder siempre a la idea gramatical ordinaria que se tiene sobre stos.
La conectiva condicional la representamos con el signo "
; por tanto, la proposicin

molecular correspondiente a las proposiciones p y q deber ser escrita en la forma:
q p
Leeremos si p entonces q
En la proposicin anterior p es el antecedente y q el consecuente del condicional.
Ejemplos:
a) Si los elefantes vuelan, entonces la nieve es negra.
b) Si los tringulos tienen cuatro lados, entonces Madrid es la capital de Espaa.
Los ejemplos anteriores extraarn al lector desprevenido, pues les parecern (y estarn
en lo cierto) enunciados incoherentes y desprovistos de todo significado; pero si revisa de
nuevo la definicin de la conectiva en estudio, podr comprobar que dichos ejemplos son
efectivamente proposiciones moleculares, independientemente de que sean verdaderas o
falsas las proposiciones p y q, y de que entre stas exista o no dependencia.
La %one%tiBa #si ) s(lo si$ o @i%ondi%ional2 se usa (al igual que la anterior) para
obtener una proposicin molecular a partir de dos atmicas, prescindiendo de que el
enunciado obtenido tenga o no sentido gramatical y de que entre las proposiciones
atmicas componentes exista o no dependencias.
An cuando, de acuerdo con la definicin, sta conectiva coincide con la anterior, al
estudiar las tablas de verdad tendremos oportunidad de establecer las debidas diferencias
entre ambas.
La conectiva bicondicional la representaremos con el signo "
; por tanto, la proposicin

molecular correspondiente a las proposiciones p y q deber ser escrita de la forma:
q p
Leeremos p si y slo si q.
En esta, p es el antecedente y q el consecuente del bicondicional.
Ejemplos:
11
(a) Los gatos son vertebrados si, y slo si, Paris es la capital de Francia.
(b) Los nmeros pares son divisibles por dos si, y slo si, los pentgonos tienen cuatro
lados.
LECTURA N> 52 CALORES DE CERDAD DE LOS
OPERADORES L!GICOS
Dada la importancia de los conectivos sealados en la lectura anterior, es pertinente
establecer los valores de verdad (v f) de cada proposicin compuesta (molecular o
resultante) para cada %one%tiBo/ A tal efecto, se utiliza la Ta@la de CerdadA la cual se
construye partiendo de la valoracin de cada una de las proposiciones componentes
(atmicas).
Ne*a%i(n
Es til para estas lecturas, tener en cuenta que el signo utilizado para negar una
proposicin es variable segn el autor. Presentamos a continuacin algunos signos
utilizados para negar una proposicin.
Distintas notaciones de la negacin
No
p
p ' p
~
p
p p
Dada una proposicin p, se denomina la negacin de
p
a otra proposicin denotada por
p
(se lee "no p") que le asigna el valor de verdad contrario al de
p
. Por ejemplo:
p
: Luis habla ingls
p
: No es cierto que Luis habla ingls
Por lo que nos resulta sencillo construir su tabla de verdad:
p
p
O@serBamos H'e
V F Si p es V (verdadera entonces, la negacin le
corresponde el valor de F (falsa)
F V Si p es F entonces, la negacin le corresponde el valor
de V
Se trata de una operacin unitaria, pues a partir de una proposicin se obtiene otra, que es
su negacin.
Ejemplo: La negacin de
p
: todos los peces viven en el ocano es
12
Gmez, T. / Gonzlez, N. / Lorenzo J. (2007) Calores
de Berdad de los Oeradores L(*i%os. Artculo no
publicado. (p.1-6). Caracas.
p
: no es cierto que todos los peces viven en el ocano.
o bien
p
: no todos los peces viven en el ocano.
o bien
p
: Los peces no todos viven en el ocano.
Con?'n%i(n
Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a la
proposicin
q p
(se lee "
q p y
"), que establece que la conjuncin es verdadera slo si
las dos proposiciones componentes son verdaderas. Cuando una de ellas no se cumple,
es decir, es falsa, la proposicin resultante es falsa.
A continuacin presentamos la tabla de verdad de la conjuncin
q p
:
p q q p
Si las dos son verdaderas V V V La conjuncin es verdadera
Si por lo menos una de
ellas es falsa
V F F
La conjuncin es falsa F V F
F F F
Ejemplo: Sea la proposicin molecular :

q p
impar nmero un es 9 y 2 de mltiplo es 8
p
: 8 es mltiplo de 2;
q
: 9 es un nmero impar
Por ser ambas verdaderas, la conjuncin entre ellas, es verdadera.
Ejemplo: Sea la proposicin molecular:
La fresa es una fruta y 3 es un nmero par.
Esta conjuncin es falsa, pues:
p
: La fresa es una fruta, es verdadera, mientras que
q
: 3 es un nmero par, es falsa.
Por tanto, esta proposicin
q p
es falsa, ya que ambas proposiciones no pueden ser
simultneamente verdaderas.
Dis)'n%i(n In%l'siBa2
Dadas dos proposiciones p y q, se denomina disyuncin inclusiva de estas proposiciones a
la proposicin
q p
(se lee "
q p o
"), que establece que la disyuncin inclusiva es
13
verdadera si al menos una de las dos proposiciones componentes es verdadera. Cuando
todas ellas son falsas, la proposicin resultante es falsa.
A continuacin presentamos la tabla de verdad de la disyuncin inclusiva
q p
:
p q q p
Si por lo menos una es
verdadera
V V V
La disyuncin es
verdadera
V F V
F V V
Si las dos son falsas F F F Es falsa
El cielo es azul o el Centro Banaven lo llaman El Cubo Negro.
Esta disyuncin es verdadera, pues:
p
: El cielo es azul, es verdadera y
q
: Centro Banaven lo llaman El Cubo Negro es verdadera, por tanto, esta
proposicin
q p
es verdadera, ya que ambas proposiciones son
simultneamente verdaderas.
El nmero uno, es el elemento neutro de la suma o el nmero 44 es par.
Esta disyuncin es verdadera, pues:
p
: El nmero uno es el elemento neutro de la suma, es falsa y
q
: el nmero 44 es par es verdadera, por tanto,
la proposicin
q p
es verdadera, pues por lo menos una de ellas es verdadera
Los Carnavales se celebran en el mes de Diciembre o La navidad es en el mes de
Agosto.
Esta disyuncin es falsa, pues:
p
: Los Carnavales se celebran en el mes de Diciembre, es falsa y
q
: La Navidad es en el mes de Agosto, es falsa, por tanto,
la proposicin
q p
es falsa, ya que las dos proposiciones son falsas.
La dis)'n%i(n eG%l'siBa
Dadas dos proposiciones p y q, se denomina disyuncin exclusiva de estas proposiciones
a la proposicin
p

q
(se lee "
q p o o
"), la misma establece que la disyuncin
exclusiva es verdadera si slo una de las dos proposiciones componentes es verdadera.
Cuando ambas proposiciones son verdaderas o ambas falsas, la proposicin resultante es
falsa.
14
A continuacin presentamos la tabla de verdad de la disyuncin exclusiva
p

q
:
p q p

q
V V F
V F V
F V V
F F F
O el nmero uno es el elemento neutro de la multiplicacin o el nmero 44 es par.
Esta disyuncin exclusiva es falsa, pues:
p
: El nmero uno, es el elemento neutro de la multiplicacin, es verdadera y
q
: el nmero 44 es par es verdadera, por tanto, la proposicin
p

q
es falsa,
ya
que ambas proposiciones son verdaderas y por definicin, slo una debe ser verdad.
Los Carnavales se celebran en el primer trimestre del ao o La navidad es en el mes de
Agosto.
Esta disyuncin exclusiva es verdadera, pues:
p
: Los Carnavales se celebran en el primer trimestre del ao, es verdadera y
q
: La Navidad es en el mes de Agosto, es falsa, por tanto,
la proposicin
p

q
es verdadera, pues una y slo una de las dos proposiciones
es verdadera.
El Condi%ional
El condicional de las proposiciones "
q p y
" es la proposicin
q p
(si
p
entonces
q
) cuya tabla de verdad es:
p q q p
V V V
V F F
F V V
F F V
15
La proposicin
p
se llama antecedente, y la proposicin
q
se llama consecuente del
condicional. La tabla nos muestra que la implicacin slo es falsa si el antecedente es
verdadero y el consecuente es falso.
Ejemplo: Supongamos la implicacin
R:

q p
a competenci la en inscribo me entonces entreno, i
El condicional R est compuesto de las proposiciones

p
: entreno
q
: me inscribo en la competencia
Nos interesa conocer la verdad o falsedad de la proposicin condicional R, en relacin a la
verdad o falsedad de las proposiciones
p
y
q
. El enunciado puede pensarse como un
compromiso, condicionado por
p
, y podemos asociar su verdad al cumplimiento del
compromiso.
Es evidente que si
p
es F, es decir, si no entreno, quedo liberado del compromiso y me
inscriba o no en la competencia, el condicional es verdadero.
Si
p
es verdadera, es decir si entreno, y no me inscribo en la competencia, el
compromiso no se cumple y la proposicin R es falsa.
Si
p
y
q
son verdaderas, entonces la proposicin R es verdadera pues el compromiso
se cumple.
Ejemplo: 1 = (1)
1 = 1 (F)
La proposicin resulta ser falsa por ser el antecedente verdadero, 1 = (1) y el
consecuente (1 = 1) falso.
El ,i%ondi%ional
El si y slo si de las proposiciones
p
y
q
es la proposicin
q p
(se lee "p si y slo si
q") cuya tabla de verdad es:
p q
q p
V V V
V F F
F V F
F F V
Si y slo si o el bicondicional slo es verdadera si ambas proposiciones tienen el mismo
valor de verdad.
El bicondicional puede definirse como la conjuncin de una implicacin y su recproca. De
este modo, la tabla de valores de verdad de
q p
puede obtenerse mediante la tabla de
( ) q p

( ) p q
, como vemos:
16
p q
q p p q
( ) q p

( ) p q
V V V V V
V F F V F
F V V F F
F F V V V
Ejemplo: Sea R: a = b si y slo si a
2
= b
2
El enunciado est compuesto por las proposiciones:
p
: a = b;
q
: a
2
= b
2
Este bicondicional a = b
a
2
= b
2
es falso.
Si
p
es F, es decir a b, y
q
es V, es decir a
2
= b
2
. En los dems casos es V.
Hacer la tabla de verdad para este bicondicional
p
a = b
q
a
2
= b
2
q p
V V
V F
F V
F F
En las prximas lecturas trabajaremos con frmulas proposicionales, para ello es
indispensable el uso de las prioridades de los conectivos y los signos de agrupacin, que
listaremos a continuacin:
Prioridad
1) Signos de agrupacin ( ) [ ]
2) La Negacin ~p
3) La conjuncin, la
disyuncin inclusiva y
exclusiva
, ,
4) Condicional y Bicondicional

,
Esta tabla nos indica que:

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

Se resuelve primero el parntesis ms interno
( ) r q
( Prioridad 1)
Luego negamos el resultado de
( ) r q
(Prioridad 2)
Despus usamos el conectivo con
p
y el resultado anterior (Proridad 3)
Finalmente el resultado obtenido se resuelve con el condicional

( ) ( ) s r q p !
LECTURA N> 62 TA,LAS DE CERDAD
Para la construccin de la tabla, la dividimos en dos partes. La parte izquierda la
llamaremos mar*en y a la derecha la llamaremos %'ero/
En el margen colocaremos los valores de verdad de las variables proposicionales que
intervienen. El nmero de dichas componentes determina la cantidad de posibles
combinaciones de valores de verdad que aparecern en la tabla. Este nmero total de
combinaciones se calcula con la operacin
n
2
, donde la base indica los nicos dos
valores que puede asumir una variable proposicional (V o F), y el exponente el nmero
de variables proposicionales que intervienen, ejemplo:
18
1ero.
2do.
3ero.
4to.
Gmez, T. / Gonzlez, N. / Lorenzo J. (2007).
Constr'%%i(n de Ta@las de Cerdad. Artculo no
publicado. (p.1-2). Caracas.
En la proposicin
( ) q q p ! !
, intervienen
dos variables proposiciones (p y q), el nmero
de combinaciones para construir la tabla sera
4 2 2
2

n
, por lo tanto el margen queda
como lo muestra la figura a la derecha
El cuerpo se va formando con las proposiciones parciales hasta llegar a la
proposicin compuesta final, es decir, se agregan tantas columnas como
proposiciones atmicas se encuentren agrupadas (en parntesis), leyendo la
frmula de izquierda a derecha para iniciar el cuerpo de la tabla, y respetando las
prioridades de los conectivos y signos de agrupacin. Siguiendo el ejemplo anterior
tenemos:
Primero agregamos al cuerpo de la tabla la proposicin ~
p
Luego agregamos al cuerpo de la tabla ,
( ) q p !
Agregamos
q !
p q
~
p q p ! q !
V V F V F
V F F F V
F V V V F
F F V V V
Y por ltimo, agregamos la frmula
( ) q q p ! !
y valoramos el conectivo
p q
~
p q p ! q !
( ) q q p ! !
V V F V F F
V F F F V F
F V V V F F
F F V V V V
p q
Posibilidades
V V 1
ra
V F 2
da
F V 3
ra
F F 4
ta
p q
~
p
V V F
V F F
F V V
F F V
p q
~
p q p !
V V F V
V F F F
F V V V
F F V V
19
margen
margen cuerpo cuerpo
Ejemplo 1: Construir la tabla de verdad correspondiente la proposicin compuesta

( ) q p r !

Solucin:
Observe que la proposicin posee 3 componentes (p, q y r), por lo que tiene 8
combinaciones
( )
3
2 y se sigue el mismo procedimiento del ejemplo anterior para construir
el margen y el cuerpo.
p q
r
q p
( ) q p ! ( ) q p r !
V V V V F F
V V F V F F
V F V F V V
V F F F V F
F V V V F F
F V F V F F
F F V V F F
F F F V F F
Ejercicios. Construya la tabla de verdad para las siguientes proposiciones compuestas:
1. ~
( ) [ ] r q p
; 2.
[ ] ( ) [ ] p q p q p ! ! ! ! !
LECTURA N> 72 TAUTOLOG-AA CONTRADICCI!NA
INDETERMINACI!N < +!RMULAS EIUICALENTES/
Las frmulas proposicionales tambin pueden clasificarse, atendiendo a los valores de
verdad que puede asumir. De acuerdo a este criterio, las frmulas proposicionales se
clasifican en:
20
margen cuerpo cuerpo
Gallo, C. (1996). Matem.ti%as ara Est'diantes de
Administra%i(n ) E%onomJa. U.C.V. Ediciones de la
Biblioteca. Tercera Edicin. (p. 31-36) Caracas.
TAUTOLOG-AS2
E?emlo2
Comprobar que la frmula
( ) ( ) p q q p ! !
es una tautologa
Para comprobarlo slo tenemos que construir su correspondiente tabla de verdad:
p q
K
p
K
q
q p p q ! !
( ) ( ) p q q p ! !
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V
Puede observarse que en la ltima columna los valores de verdad son todos V, en
consecuencia, dicha frmula es una ta'tolo*Ja.
Una tautologa es una proposicin verdadera formalmente; es decir, es siempre verdadera
por su Eorma l(*i%a, o sea, por la forma en que se relacionan sus proposiciones
componentes, independientemente de los valores de verdad de stas.
A la tautologa tambin podemos llamarla rin%iio l(*i%o o roosi%i(n
'niBersalmente Berdadera.
Como veremos ms adelante, las tautologas son sumamente tiles, precisamente porque
no se da en ellas la falsedad en ninguna circunstancia.
CONTRADICCI!N2
E?emlo2
( ) [ ] p q p !
es una contradiccin.
Construyamos la tabla de verdad:
21
Diremos que una frmula es una ta'tolo*Ja, si y slo si, ella es
siempre verdadera, no importa cules sean los valores de sus
componentes.
"iremos que una #$rmula es una contradiccin, si y s$lo si, ella es
siempre #alsa, no importa cuales sean los %alores de %erdad de sus
componentes&
p q
p q
( ) [ ] p q p ( ) [ ] p q p !
V V V V F
V F V V F
F V F V F
F F V V F
En efecto, podemos observar que se trata de una contradiccin, ya que los valores de
verdad de la ltima columna son todos F.
La contradiccin es siempre falsa por su forma lgica, independientemente del valor de
verdad de las proposiciones componentes. Una contradiccin es una roosi%i(n
'niBersalmente Ealsa.
Desde luego al negar una tautologa se obtiene una contradiccin y viceversa, al negar
una contradiccin se obtiene una tautologa.
INDETERMINACI!N2
E?emlo2
( ) ( ) p q q p
es una indeterminacin
La tabla de verdad correspondiente es:
p q
q p p q
( ) ( ) p q q p
V V V V V
V F F V F
F V V V V
F F V F F
En efecto, se trata de una indeterminacin porque al final de su tabla hemos obtenido
valores V y F.
+!RMULAS EIUICALENTES2
22
"iremos que una #$rmula es una indeterminacin, si y s$lo si, ella es
%erdadera en unos casos y #alsa en otros, no importa en que proporci$n&
"os #$rmula proposicionales decimos que son equivalentes, si y s$lo si, en
ellas inter%ienen las mismas %ariables proposicionales y, en sus tablas de
%erdad, las columnas correspondientes a dic'as #$rmulas son id(nticas entre s)&
Dadas dos frmulas proposicionales cualesquiera, designadas por P y
Q
, si ellas son
equivalentes, escribimos
Q P
que se lee: "la frmula P es equivalente a la frmula
Q
.
Si tales frmulas no son equivalentes, entonces escribimos
Q P
que se lee "la frmula P no es equivalente a la frmula
Q
E?emlo2
Comprobar cuales de las siguientes frmulas son equivalentes:
q p ! !

q p !

q p !
Construyamos sus correspondientes tablas de verdad, las cuales resumiremos en una
sola, porque en ellas participan las mismas variables proposicionales:
p q p ! q ! q p ! ! q p ! q p !
V V F F V V F
V F F V V V F
F V V F F F V
F F V V V V F
Resulta evidente que las dos primeras frmulas tienen idnticas distribuciones de valores
de verdad, diremos entonces que esas dos frmulas son equivalentes y lo escribimos, as
q p ! !

q p !
Si dos E(rm'las P )
Q
son eH'iBalentesA enton%es de%imos H'e P es eGresa@le
en tLrminos de los %one%tiBos en
Q
) Bi%eBersa/
E?emlos
1.- Se verifica que
( ) ( ) q p q p ! ! !
, por lo tanto, podemos decir que la conjuncin es
expresable en trminos de la negacin y de la disyuncin inclusiva.
2.- Tambin se verifica que
( ) ( ) q p q p ! !
en este caso, podemos decir que el
condicional es expresable en trminos de la negacin y de la conjuncin.
3.- Una equivalencia importante es
( ) ( ) ( ) [ ] p q q p q p
, nos permite expresar al
bicondicional en trminos de la conjuncin y el condicional.
4.- gualmente importante es la equivalencia,
( ) ( ) q p q p !
, que nos permite
expresar a la disyuncin exclusiva en trminos de la negacin y el bicondicional.
23
LECTURA N> 82 APLICACIONES (Cir%'itos)
LGEBRA DE LA CONMUTACN:
Una de las primeras aplicaciones no matemticas de la lgica simblica fue la que
utilizaron como un auxiliar en el diseo de circuitos elctricos (Claude Shannon, 1937),
Esta metodologa fue adoptada por los diseadores de computadoras, lo que permiti
simplificar y abaratar los costos de las mismas. Esta metodologa es algunas veces
llamada "el lgebra de conmutacin.
El lgebra de conmutacin es una de las "hermanas gemelas de la lgica de predicados,
ambas son distintas denominaciones de una misma lgebra, llamada booleana (George
Boole, 1813-1864).
Si se conoce a fondo una, tambin se conoce la otra. No se precisa por tanto, un
conocimiento profundo de la tecnologa moderna para comprender el funcionamiento de la
"red de conmutacin de un computador.
En el lgebra de la conmutacin aparecen elementos que presentan dos estados ("abierto
o "cerrado, "conectado o "desconectado), como son los interruptores elctricos y los
contactos electromagnticos.
Un circuito consiste usualmente de conductores e interruptores que conectan un terminal
T
e
de entrada y un terminal T
s
de salida.
Desde el punto de vista de la transmisin de corriente: si el estado del interruptor es
"abierto, se corta el circuito y se detiene el paso de la corriente.
Si el interruptor esta en estado "cerrado, la corriente fluye a travs del circuito. Asociamos
al estado "cerrado o "conectado el valor uno (1) y al estado "abierto o "desconectado el
valor cero (0). Estos valores del lgebra de conmutacin corresponden a los valores de
certidumbre V y F de la lgica proposicional.
En cuanto a los elementos del lgebra de conmutacin que corresponden a las
proposiciones lgicas son los elementos biestables (interruptores) grficamente:

La figura representa un interruptor que podemos hacer corresponder a una proposicin
p
de modo que cuando el interruptor est conectado (valor 1) la proposicin es verdadera y
cuando el interruptor est desconectado (valor 0) la proposicin es falsa.
24
p
*e *s
Ali%a%iones (Cir%'itos). Artculo no publicado.
(p.1-3). Caracas.
En general, si por un circuito pasa corriente (puede encender un bombillo) se considerara
que la proposicin a la cual representa es verdadera.
En consecuencia a la tautologa corresponder un cable sin interruptor y a una
contradiccin corresponder un corte en el cable o conductor.
Cuando se disponen dos interruptores en serie
(uno a continuacin del otro) en un mismo
circuito, la corriente circulara slo en el caso en
que los dos estn conectados. Slo en el caso
en que simultneamente valen 1, se encender
el bombillo de control. Es evidente que este
circuito corresponde exactamente a la
conjuncin
q p
de dos proposiciones.
Comparando a cuatro posibles combinaciones de los estados de los interruptores con la
tabla de verdad de la proposicin
q p
, tendremos que corresponde a:
q p
p q

q p
Circuito
V V V cerrado
V F F abierto
F V F abierto
F F F abierto
Los elementos de la conmutacin pueden conectarse uno arriba y otro abajo; se habla
entonces de conexin en paralelo. Este caso bastar para que uno solo de los
interruptores est conectado para que circule la corriente, as mismo: si ambos
interruptores estn conectados circular la corriente (y podr encenderse el bombillo).
Este circuito corresponde en lgica
a la disyuncin
q p
de dos
proposiciones. Grficamente:
Lo verificamos con la elaboracin de la siguiente tabla:
p q q p
Circuito
V V V cerrado
V F V cerrado
F V V cerrado
F F F abierto
25
+orresponde a,
q p
p
q
q
p
Es por estas correspondencias por lo que a la conexin en serie se le llama tambin
"conexin
y
( ) y a la conexin en paralelo: "conexin o ( ) .
La negacin en el clculo de proposiciones, tiene su correspondiente en circuitos
elctricos. En efecto, se puede disear un circuito de tal modo que al conectar un
interruptor, automticamente se desconecten otros.
Cuando al conectar un interruptor correspondiente a una proposicin
p
, se ocasiona que
otro interruptor se desconecte, a este ltimo lo denotaremos por ~
p
. Comparando la tabla
de verdad de las proposiciones
p
y ~
p
tenemos:
p
~
p
V F
F V
En general, toda proposicin compuesta tiene una equivalente que puede ser
representada por un circuito.
Ejemplos:
1.- Al construir una proposicin correspondiente a los siguientes circuitos. Es decir,
encontrar una proposicin que sea verdadera cuando el circuito deje pasar corriente y
falsa cuando el circuito no permita el paso de la corriente:
En la parte de arriba del circuito los
interruptores estn en serie, por lo
tanto, (deben dejar pasar corriente
los dos) la proposicin que
corresponde es
p q
.
En la parte de abajo el interruptor indica la proposicin
p !
, como es paralelo, si arriba
hay paso de corriente, ste puede estar conectado o no ya que igual se encendera el
bombillo. Pero si alguno de los de arriba est desconectado, o los dos, este debe dejar
pasar la corriente.
Luego ambos interruptores: los de arriba y los de abajo, estn en paralelo entonces la
proposicin equivalente al circuito (A) sera:
( ) p p q !
2.- Al construir una proposicin correspondiente a los siguientes circuitos. Es decir, una
proposicin que sea verdadera
(B)
q
p
!
26
(A)
q p
~
En la parte primera parte del circuito los interruptores estn en paralelo, es decir la
proposicin que corresponde es
q p
. Luego este resultado va en serie con el interruptor
p !
, es decir la proposicin resultante es:
( ) p q p !
.
E?er%i%ios ro'estos2
1 Construya una proposicin correspondiente a los siguientes circuitos. Es decir,
halle en cada caso, una proposicin que sea verdadera cuando el circuito deje de
pasar corriente y falsa cuando el circuito no permita el paso de la corriente.
(F)
2. Disee un circuito para cada una de las siguientes proposiciones:
(a)
p p
(b)
p p !

(c)
( ) ( ) q p p q ! ! -!
(d)
( ) ( ) q p q p !
(e)
( ) ( ) r q q p ! !
(C)
~
(D)
(E)
~

27
LECTURA N> 92 CUANTI+ICADORES

CUANTI+ICADORES
Los cuantificadores son smbolos utilizados para indicar la cantidad de elementos, de
determinado conjunto, que hacen verdadera a una propiedad dada. Existen dos tipos de
cuantificadores: el universal y el existencial.
C'antiEi%ador UniBersal
El cuantificador universal se utiliza para indicar la totalidad de los elementos de un
conjunto dado. El smbolo que lo representa es
se lee: "para todo"
As, cuando queremos indicar que todos los elementos de un determinado conjunto,
digamos A, hacen verdadera a una propiedad
. -x P
, escribimos
. - , x P A x
Esto significa que al aplicar
. -x P
a cada elemento i
x
del conjunto dado A, se constituye
una proposicin
. -
i
x P
que resulta verdadera y, en consecuencia, la conjuncin de todas
esas proposiciones es, tambin, verdadera. Podemos entonces, afirmar que siendo
{ }
n i
x x x x A ,&&& ,&&& ,
2 1
Se verifica la equivalencia
[ ] [ ] . - &&& . - &&& . - . - . - ,
2 1 n i
x P x P x P x P x P A x
Cuando, por el contrario, queremos afirmar que nin*Mn elemento de cierto conjunto, por
ejemplo B, hace verdadera a la proposicin
. -x P
, entonces escribimos
. - ,! x P B x
Dicho de otra manera, la anterior expresin significa que todos los elementos de B niegan
a
. -x P
o, tambin, que es falsa.
C'antiEi%ador EGisten%ial
El cuantificador existencial se utiliza para indicar la existencia de por lo menos un
elemento que hace verdadera a una propiedad dada. El smbolo que lo representa es:
" se lee "existe por lo menos un
As, cuando queremos indicar que existe por lo menos un elemento perteneciente a un
conjunto dado, digamos A, que hacen verdadera a cierta propiedad
. -x P
, escribimos:
28
. - , x P A x
Esto significa que al aplicar
. -x P
a cada elemento i
x
del conjunto dado A, por lo menos
una de las proposiciones
. -
i
x P
que se constituyen resultar verdadera y, en
consecuencia, la disyuncin inclusiva de todas ellas ser tambin verdadera As,
considerando nuevamente el conjunto
{ }
n i
x x x x A ,&&& ,&&& ,
2 1
Se verifica la equivalencia
[ ] [ ] . - &&& . - &&& . - . - . - ,
2 1 n i
x P x P x P x P x P A x
Si, por el contrario, queremos expresar que no eGiste ningn elemento de cierto conjunto,
por ejemplo B, que haga verdadera la propiedad
. -x P
, utilizaremos el smbolo
se lee "no existe ningn
y escribimos:
Puede notarse que esta ltima expresin es equivalente a la dada en el caso de
cuantificador universal, para indicar que ningn elemento de B hace verdadera a una
propiedad
. -x P
. Por lo tanto, podemos decir que

Adems, debe observarse que negar que todos los elementos de cierto conjunto A, hacen
verdadera una propiedad
. -x P
, puede escribirse, usando al cuantificador existencial, de
la siguiente forma:
. - ,! x P A x
Entonces, podemos concluir que
Ntese que esta ltima equivalencia nos indica que la negacin del cuantificador universal,
puede ser escrita en trminos del cuantificador existencial, mientras que, la primera
equivalencia mostrada nos indica que la negacin del cuantificador existencial, puede ser
escrita en trminos del cuantificador universal. Es decir:
[ ] . - , ! x P B x

] [ ] . - ,! . - , x P B x x P B x
29
[ ] [ ] . - ,! . - , ! x P A x x P A x

. - , x P B x
Es importante destacar, adems, que se cumple

[ ] [ ] . - , . - , x P A x x P A x
Sin embargo, el recproco no es una implicacin. Es decir, el hecho de que algn elemento
haga verdadera a cierta propiedad, no implica que todos los verifiquen. Por lo tanto
LECTURA N> :2 NEGACI!N DE LOS
CUANTI+ICADORES
CUANTI+ICADORES
Las palabras "todo, "cada uno, todos y "ninguno se denominan %'antiEi%adores
'niBersales, mientras que las palabras y frases como "alguno, "existe y "para al menos
uno se conoce como %'antiEi%adores eGisten%iales/ Los cuantificadores son muy
usados en matemticas para indicar cuntos casos existen de una situacin. Tenga
cuidado cuando construya la negacin de una proposicin que incluya cuantificadores.
Si una proposicin es verdadera, su negacin debe ser falsa, y viceversa. Considere la
proposicin.
Todas las nias en el grupo se llaman Mary.
Muchas personas escribiran la negacin de esta proposicin como "Ninguna nia en el
grupo se llama Mary o "De todas las nias en el grupo, ninguna se llama Mary. Pero esto
no sera correcto. Para determinar el por qu, analice los tres grupos que se presentan a
continuacin:
Grupo : Mary Jones, MarySmith, Mary Jackson
Grupo : Mary Johnson, Betty Parker, Margaret Boyle
Grupo : Shannon d' Hemecourt, Annie Ross, Patricia Gainey
Estos grupos contienen todas las posibilidades que necesitan considerarse. En el grupo ,
todas las nias se llaman Mary; en el grupo , algunas nias tienen por nombre Mary (y
algunas no), y en el grupo , ninguna nia se llama Mary. Vea los valores de verdad en el
diagrama siguiente y tenga presente que "alguna significa "al menos una (y posiblemente
todas).
Valores de verdad aplicados a: Grupo Grupo Grupo
30
[ ] [ ] . - , . - , x P A x x P A x
Miller | Heeren | Homsby | Pearson. (2006).
Matem.ti%as Ra=onamiento ) Ali%a%iones.
Editorial Pearson. Dcima Edicin. (p. 101-104).
Mxico.
(1) Todas las nias en el grupo se
llaman Mary. (Dado)
C + +
(2) Ninguna nia en el grupo se
llama Mary. (Posi@le ne*a%i(n)
F F V
(3) De todas las nias en el
grupo, ninguna se llama Mary.
(Posi@le ne*a%i(n)
F F V
(4) Algunas nias en el grupo no
se llaman Mary. (Posi@le
ne*a%i(n)
+ C C
La negacin de la proposicin dada (1) debe tener valores de verdad contrario en todos los
casos. Puede verse que las proposiciones (2) y (3) no satisfacen esta condicin (para el
grupo ), pero la proposicin (4) s la cumple. Puede concluirse que la negacin correcta
para: "Todas las nias en el grupo se llaman Mary es "Algunas nias en el grupo se
llaman Mary. Otras formas de establecer la negacin son:
No todas las nias en el grupo tienen por nombre Mary.
No es el caso que todas las nias en el grupo se llamen Mary.
Al menos una nia en el grupo no se llama Mary.
La tabla siguiente puede usarse para generalizar el mtodo de determinar la negacin de
una proposicin que incluya cuantificadores.
Ne*a%i(n de roosi%iones %on %'antiEi%adores
Proosi%i(n Ne*a%i(n
Todos cumplen Algunos no cumplen. (De forma equivalente: no todos cumplen)
Algunos cumplen Ninguno cumple. (De forma equivalente: todos no cumplen)
La negacin de una proposicin es la proposicin misma. Por ejemplo, la negacin en la
columna "Negacin son simplemente las proposiciones originales correspondientes en la
columna "Proposicin. Como un ejemplo, la negacin de:
" Algunos no cumplen es "Todos cumplen.
EJEMPLO 6/ Escriba la negacin de cada proposicin.
(a) Algunos perros tiene pulgas.
Ya que algunos significa "al menos uno, la proposicin "Algunos perros tienen pulgas
realmente es lo mismo que "Al menos un perro tiene pulgas. La negacin de esto es:
"Ningn perro tiene pulgas.
(@) Algunos perros no tienen pulgas.
Esta proposicin afirma que al menos un perro, en algn lugar, no tiene pulgas. La
negacin de esto es:
31
Negacin
"Todos los perros tienen pulgas.
(%) Ningn perro tiene pulgas.
La negacin es:
"Algunos perros tiene pulgas.
Las diferentes relaciones entre los conjuntos especiales de nmeros pueden expresarse
utilizando cuantificadores universales y existenciales. Anteriormente, ya habamos hablado
de los nmeros naturales o de conteo, que constituyen los bloques de construccin del
sistema de los nmeros reales. Los conjuntos de nmeros reales son estudiados en
lgebra, y estos se resumen en el cuadro siguiente:
Con?'nto de nMmeros reales/
NMmeros nat'rales o de %onteo
{ } ,&&& 4 , 3 , 2 , 1
Enteros no ne*atiBos (%ardinales)
{ } ,&&& 4 , 3 , 2 , 1 , 0
Enteros
{ } ,&&& 3 , 2 , 1 , 0 , 1 , 2 , 3 &&&,
NMmeros ra%ionales
{ } 0 y enteros son y / 0 q q p q p
(Algunos ejemplos de nmeros racionales son:
5
3
,
9
7
, 5, 0 .
Cualquier nmero racional puede escribirse como un nmero decimal que termina,
como 0.25, o como un nmero decimal que se repite, como 0.666.).
NMmeros reales
{ } decimal como escribirse puede que nmero un es / x x
NMmeros irra%ionales
'
enteros de cociente
el como escribirse puede no que nmero un es / x x
(Algunos ejemplos de nmeros irracionales son 2 ,
3
4 y
. Una caracterstica de
los nmeros irracionales e s que sus representaciones decimales nunca terminan y
nunca se repiten, esto es, nunca llega un punto en que se repita un patrn de dgitos
de ah en adelante.)
EJEMPLO 7/ Verificamos si cada una de las proposiciones siguientes acerca de conjuntos
de nmeros, que incluyen un cuantificador, es verdadera o falsa:
(a) Existe un entero no negativo que no es un nmero natural.
Puesto que existe tal nmero (es el 0), esta proposicin es verdadera.
(@) Todo nmero entero es un nmero natural.
32
Esta proposicin es falsa, ya que podemos encontrar al menos un entero que no es un
nmero natural. Por ejemplo , -1 es un entero pero no es un nmero natural. (Hay un
nmero infinito de selecciones que podramos haber hecho).
(%) Todo nmero natural es un nmero racional.
Como todo nmero natural puede escribirse como una fraccin de denominador 1, esta
proposicin es verdadera.
(d) Existe un nmero irracional que no es real.
A fin de que sea un nmero irracional, un nmero tiene primero que ser real (vea el
cuadro). Por lo tanto, como no podemos dar un nmero irracional que no sea real, esta
proposicin es falsa. (Si hubisemos sido capaces de encontrar al menos uno,
entonces el enunciado habra sido verdadero.)
LECTURA N> 1;2 CONECTORES L!GICOS <
LINGN-STICOS
CONSTRUCCI!N DE ENUNCIADOS EN EL C"LCULO PROPOSICIONAL
La traduccin del lenguaje natural al lenguaje formal no es un proceso mecnico. No hay
reglas que nos indiquen de forma axiomtica y nica cmo debe realizarse dicha
transformacin, slo nos podemos basar en una serie de reglas generales, las que ya
hemos visto, en combinacin con la intuicin y la experiencia previa. En la tabla
mostraremos las equivalencias ms utilizadas entre las conectivas lgicas y las
lingsticas,
Conectivas Lgicas Conectivas Lingsticas
P
No es el caso de P
No P
No es cierto que P
Q P
P y
Q
P pero
Q
P aunque
Q
Q P
P o
Q
Ya P ya
Q
ya ambas
Conectivas Lgicas Conectivas Lingsticas
33
Paniagua, E. / Snchez, J. | Thomson, F. (2003).
L(*i%a Proosi%ional. Ed. Thomson. (p. 12).
Espaa.
Q P
Si P entonces
Q
P solo si
Q
Solo P si
Q
Es suficiente P para que
Q
Siempre que P entonces
Q
Es necesario
Q
para que P
No P a menos que
Q
A no ser que
Q
no P
Q P
P si y slo si
Q
P cuando y slo cuando
Q
P es condicin suficiente y necesaria para que
Q
34
UNIDAD 3
LE<ES DE LA L!GICA PROPOSICIONAL
LECTURA N> 112 IN+ERENCIA < LE<ES DE LA
L!GICA
IN+ERENCIA L!GICA
La lgica nos suministra principios de razonamiento, es decir, nos establece una teorJa de
la inEeren%ia/
Hacer inferencia consiste en obtener, a partir de un conjunto de proposiciones, llamadas
remisas, que se aceptan como verdaderas, otra proposicin, llamada %on%l'si(n, que
tambin ser verdadera.
Las premisas pueden ser:
a) verdades obtenidas de la experiencia, tal como ocurre en las ciencias fcticas,
b) verdades presupuestas que son llamadas aGiomas o
c) verdades previamente demostradas, que son llamadas teoremas.
Para poder llegar a la conclusin a partir de las premisas, es necesario utilizar una serie de
reglas que llamamos re*las de inEeren%ia/ As, a todo este proceso de obtener una
conclusin verdadera, a partir de premisas, que tambin lo son, utilizando reglas de
inferencia, es lo que llamamos ra=onamiento ded'%tiBo/
La lgica se encarga, entonces, de proporcionarnos los criterios que permiten establecer la
validez de estos razonamientos. Tales criterios slo deben atender a la forma en que ellos
se presentan, independientemente del contenido de las proposiciones que los constituyen.
Por lo tanto, nuestro inters se centra en las reglas que podemos utilizar.
Recordando que las tautologas son ciertas, no por el contenido de las proposiciones sino
justamente por la forma en que se combinan las proposiciones, podemos darnos cuenta
del muy importante papel que ellas van a jugar en la inferencia, precisamente por estar
desprovistas de contenido emprico.
LE<ES DE LA L!GICA
35
Llamaremos le) de la l(*i%a roosi%ional a toda forma tautolgica
Gallo, Csar. (1996). Matem.ti%as ara Est'diantes
de Administra%i(n ) E%onomJa. U.C.V. Ediciones de
la Biblioteca. Tercera Edicin. (p. 51-67) Caracas.
Las tautologas o leyes de la lgica constituirn entonces la base terica que dan
fundamento a las reglas de razonar correctamente, las cuales hemos llamado reglas de
inferencia.
Cada vez que razonamos correctamente estamos aplicando ciertas reglas que estn
justificadas por leyes de la lgica. Es decir, cada ley lgica autoriza un acto de inferencia,
el cual viene asociado a una regla.
De acuerdo a esto, cada tautologa dar origen a una regla de inferencia y puesto que
existen infinitas tautologas dispondremos de infinitas reglas de inferencia. Esto sera un
grave inconveniente en el proceso deductivo, pues sera necesario verificar en cada paso
cul regla de inferencia se ha utilizado y mientras mayor sea el nmero de estas reglas,
ms difcil ser dicha verificacin.
Afortunadamente slo un reducido nmero de reglas de inferencia es necesario en el
razonamiento deductivo.
El vnculo existente entre las leyes lgicas (tautologas) y las reglas de inferencia queda
evidenciado en el hecho de que para que una inferencia sea correcta; es decir, para que
tengamos derecho a afirmar que una conclusin es verdadera, partiendo de la verdad de
una premisa, es necesario y suficiente que el condicional que se obtiene colocando como
antecedente la conjuncin de todas las premisas, y como consecuente a la conclusin,
resulte una tautologa, esto es, que constituya una implicacin.
Para expresar simblicamente un razonamiento deductivo, hacemos lo siguiente:
designamos a las premisas por n
P P P ,&&&&&, ,
2 1 y a la conclusin por C y escribimos:
C
P
P
P
n
2
1
Donde el smbolo , se lee "luego.
As en definitiva tenemos que:
Dado el razonamiento deductivo constituido por las premisas:
n
P P P ,&&&&&, ,
2 1
y la conclusin: C decimos que dicho razonamiento es %orre%to o B.lido cuando:
( ) C P P P
n
&&&&&
2 1
Hemos dicho antes, que, a pesar de existir infinitas reglas de inferencia, slo unas pocas
son necesarias en los razonamientos deductivos. Las ms importantes son:
36
Mod's Ponendo Ponens (P.P.)
Su traduccin es "mtodo que afirma afirmando y su forma
Q
P
Q P
Cualquier razonamiento que tenga esta forma es vlido ya que se cumple:

( ) [ ] Q P Q P
Lo cual es demostrable construyendo la tabla de verdad
P
Q Q P ( ) P Q P ( ) [ ] Q P Q P
V V V V V
V F F F V
F V V F V
F F V F V
Por eso, si un condicional es verdadero y tambin lo es el antecedente de dicho
condicional, podemos obtener, como conclusin, que el consecuente del mismo, es
verdadero.
E?emlo 12
Sea el razonamiento siguiente:
Si el examen es muy largo, entonces los alumnos se cansan y dejan de pensar fcilmente.
El examen es muy largo; luego, los alumnos se cansan y dejan de pensar fcilmente.
Para expresarlo simblicamente, identificamos a las proposiciones que intervienen como
sigue:
, p
"el examen es muy largo.
, q
"los alumnos se cansan.
, r
" los alumnos dejan de pensar fcilmente.
De esta forma, el razonamiento dado lo podemos representar as:
( )
r q
p
r q p

2.
. 1

De acuerdo al Modus Ponendo Ponens y asumiendo que las premisas 1) y 2) son, ambas,
verdaderas, podemos concluir que la conjuncin
r q
2 #los alumnos se cansan y dejan
de pensar fcilmente es, tambin, verdadera.
37
Mod's Tollendo Tollens (T.T.)
Su traduccin es "mtodo que niega negando y su forma
P
Q
Q P
!
!
Cualquier razonamiento que tenga esta forma es vlido ya que se cumple:

( ) [ ] P Q Q P ! !
Lo cual es demostrable construyendo la tabla de verdad
P
Q
P !
Q ! Q P ( ) Q Q P ! ( ) [ ] P Q Q P ! !
V V F F V F V
V F F V F F V
F V V F V F V
F F V V V V V
De esa tautologa (ley lgica) obtenemos la siguiente regla: si un condicional es verdadero
y tambin lo es la negacin del consecuente de dicho condicional, podemos obtener, como
conclusin, que la negacin del antecedente del mismo, es verdadera.
E?emlo 32
Si llueve, entonces no salgo de mi casa. Salgo de mi casa. Luego, no llueve.
dentificamos a las proposiciones que intervienen as:
, p
"llueve.
, q
"no salgo de mi casa.
Por lo tanto, la expresin simblica del razonamiento dado es como sigue:
p
q
q p
!
! 2.
. 1

De acuerdo el Modus Tollendo Tollens y asumiendo que las premisas 1) y 2) son, ambas,
verdaderas, podemos concluir que la proposicin
p !
2 #no llueve es, tambin, verdadera.
38
Mod's Tollendo Ponens (T.P.)
Su traduccin es "mtodo que afirma negando y su forma
Q
P
Q P
!
P
Q
Q P
!
Las correspondientes implicaciones son:
( ) [ ] Q P Q P !
)
( ) [ ] P Q Q P !
El estudiante puede demostrar esas implicaciones, a manera de ejercicio, construyendo
sus correspondientes tablas de verdad, al igual que puede hacerlo en los casos que
siguen, donde sern omitidas tales demostraciones.
De lo anterior obtenemos la siguiente regla: si una disyuncin inclusiva es verdadera y la
negacin de una de sus componentes tambin lo es, entonces podemos obtener, como
conclusin, que la otra componente de la disyuncin es verdadera.
E?emlo 42
Dado el razonamiento
El agua hierve a 50C o a 100C. El agua no hierve a 50C. Luego, el agua hierve a
100C.
, p
"El agua hierve a 50C.
, q
"El agua hierve a 100C.
As, la forma simblica del razonamiento dado es:
q
p
q p
! 2.
. 1

En consecuencia si 1) y 2) son verdaderas, concluimos, de acuerdo al el Modus Tollendo
Ponens que
, q
"El agua hierve a 100C es, tambin, verdadera.
Silo*ismo OiotLti%o (S.H.)
Su forma es:
R P
R Q
Q P

39
o bien
La implicacin correspondiente es:
( ) ( ) [ ] ( ) R P R Q Q P

De donde se obtiene la siguiente regla: si son verdaderos dos condicionales dados de tal
forma que el consecuente de uno es el antecedente del otro, entonces podemos obtener,
como conclusin, que el condicional cuyo antecedente es el antecedente del primero y
cuyo consecuente es el consecuente del segundo, es verdadero.
E?emlo 52
Sea el siguiente razonamiento:
Si un nmero entero termina en cero, entonces ese nmero es divisible por dos. Si el
nmero es divisible por dos, entonces ese nmero es par. Luego, si un nmero entero
termina en cero, entonces ese nmero es par.
Hacemos la siguiente identificacin de las proposiciones que intervienen:
, p
"un nmero entero termina en cero.
, q
"ese nmero es divisible por dos.
, r
"ese nmero es par.
As, la expresin simblica del razonamiento dado es como sigue:
r p
q p

r q 2.
. 1

En consecuencia si 1) y 2) son verdaderas, concluimos, de acuerdo al silogismo hipottico
que el condicional
r p
: si un nmero entero termina en cero, entonces ese nmero es par
es, tambin, verdadera.
Silo*ismo Dis)'ntiBo (S.D.)
Su forma es:
S R
Q P
S Q
R P

La implicacin correspondiente es:

( ) ( ) ( ) [ ] ( ) S R Q P S Q R P

La regla que obtenemos de esta implicacin es la siguiente: si dos condicionales son
verdaderos y la disyuncin inclusiva formada por los antecedentes de esos condicionales,
40
tambin es verdadera, entonces podemos concluir que la disyuncin inclusiva formada por
los consecuentes, de dichos condicionales, es verdadera.
E?emlo 62
Dado el razonamiento siguiente:
Si n es un nmero entero par, entonces n es divisible por 2. Si n es un nmero entero que
termina en cinco, entonces n es divisible por cinco. n es un nmero entero par o n termina
en cinco. Luego, n es un nmero entero divisible por dos o divisible por cinco.
Haciendo la identificacin de proposiciones tenemos:
, p
"n es un nmero entero par.
, q
"n es divisible por dos.
, r
"n es un nmero entero que termina en cinco.
, q
"n es divisible por cinco.
As, la expresin simblica del razonamiento dado es como sigue:
s q
r p
q p

. 3
s r 2.
. 1

Por lo tanto, siendo 1) , 2) y 3) verdaderas, obtenemos como conclusin, de acuerdo al
silogismo disyuntivo, que la proposicin
s q
: "n es un nmero entero divisible por dos o
divisible por cinco es, tambin, verdadera.
Do@le Ne*a%i(n (D.N.)
( ) P
P
! !
Cuya implicacin es:
( ) P P ! !
Si una proposicin cualquiera es verdadera, podemos obtener, como conclusin, que su
doble negacin tambin es verdadera.
E?emlo 72
Sea
, p
Juan estudia en la UNEFA
, ! p
Juan no estudia en la UNEFA "
La proposicin: "No es cierto que Juan no estudia en la UNEFA" se escribe:
. -! ! p
el
cual es equivalente a decir que: "Juan estudia en la UNEFA
Entonces, podemos decir ,
p p . -! !
y
. -! ! p p
SimliEi%a%i(n (S)
41
P
Q P
o bien
Q
Q P
Si la conjuncin de dos proposiciones es verdadera, podemos obtener, como conclusin,

que cualquiera de las proposiciones componentes es verdadera. Las correspondientes
implicaciones que apoyan esta regla son:
( ) P Q P
o bien
( ) Q Q P
E?emlo 82
Haciendo la simplificacin de proposiciones tenemos:
, p
"8 es un nmero entero par )
, q
"8 es divisible por dos.
Podemos concluir con cualquiera ya que las dos son verdaderas
Adi%i(n (A)
Q P
P

La implicacin es:
( ) Q P P
Si una proposicin es verdadera, entonces se puede concluir que la disyuncin inclusiva
de dicha proposicin con cualquier otra, tambin es verdadera.
E?emlo 92
, p
" Pedro naci en a !uaira
, q
" Pedro naci en "#rida "
Si Pedro naci en a !uaira, podemos asegurar entonces que Pedro naci en a !uaira o
en "#rida es decir:
( ) q p p
Como la disyuncin inclusiva es cierta cuando por lo menos una de las proposiciones es
cierta, aqu la premisa
, p
"Pedro naci en a !uaira es cierta, podemos asegurar
entonces: "Pedro naci en a !uaira o en "#rida
LE<ES DE EIUICALENCIA
Hemos dicho que dos frmulas proposicionales son equivalentes, cuando en sus tablas de
verdad las columnas correspondientes a cada frmula son idnticas. Adems, recordando
que el conectivo lgico bicondicional genera una proposicin verdadera cuando las
componentes tienen igual valor de verdad, podemos concluir fcilmente, que al conectar
dos proposiciones equivalentes mediante el bicondicional, generamos una tautologa.
Las tautologas obtenidas de esta manera las denominamos le)es de eH'iBalen%ia. Estas
leyes son tiles en los razonamientos deductivos, de la misma forma que las leyes lgicas
vistas con anterioridad y de cada una de ellas tambin se obtiene una regla de inferencia.
En este sentido, en cualquier razonamiento deductivo podemos sustituir una proposicin
por otra que le sea equivalente, lo cual no altera la conclusin.
42
Las ms usuales son:
LEY REPRESENTACN
Identidad ()
P P
Idemoten%ia (dem.)
P P P
P P P

Conm'tatiBidad
(Conm.)
( ) ( ) P Q Q P

( ) ( ) P Q Q P

( ) ( ) P Q Q P

( ) ( ) P Q Q P
Aso%iatiBidad (Asoc.)
( ) [ ] ( ) [ ] R Q P R Q P

( ) [ ] ( ) [ ] R Q P R Q P

( ) [ ] ( ) [ ] R Q P R Q P
Distri@'tiBidad (Distr.)
( ) [ ] ( ) ( ) [ ] R P Q P R Q P
( ) [ ] ( ) ( ) [ ] R P Q P R Q P
(de respecto a )
(de respecto a )
De Mor*an (De M.)
( ) [ ] ( ) [ ] Q P Q P ! ! !
( ) [ ] ( ) [ ] Q P Q P ! ! !
EGorta%i(n (Exp.)
( ) [ ] ( ) [ ] R Q P R Q P
Vistas las leyes lgicas y las respectivas reglas de inferencia, veamos ahora su uso, a
travs de algunos ejemplos, en la demostracin formal de la validez de sus razonamientos.
E?emlo :2
Si n es divisible por ocho, entonces n es divisible por cuatro. Si n es divisible por cuatro,
entonces n es un nmero par. n no es 'n nMmero ar. Luego n no es divisible por ocho.
dentifiquemos a las proposiciones que intervienen, de la siguiente manera:
, p
"n es divisible por ocho.
, q
"n es divisible por cuatro.
, r
"n es un nmero par.
As, la expresin simblica del razonamiento dado es:

p
r c
r q
q p
!
! .
b.
a.
43
Para demostrar formalmente la validez de un razonamiento, se realiza exclusivamente el
anlisis de su forma, independientemente del contenido de las proposiciones que lo
constituyen, indicando las leyes lgicas que nos conducen y justifican a la conclusin. En
el caso que nos ocupa, podemos observar que si aplicamos silogismo hipottico a las
premisas a) y b) obtenemos:
r p . b'
y al aplicar Tollendo Tollens a
. b'
y
c.
llegamos a la conclusin:
p !
Todo lo anterior puede expresarse as:
Enunciado
APLCANDO
Silo*ismo OiotLti%o en a) ) @)
( ) ( ) [ ] ( ) R P R Q Q P
Mod's Tollendo Tollens
( ) [ ] P Q Q P ! !
p
r c
r p
r q
q p
!
! .
. b'
b.
a.
r p b
r q
q p
. '
b.
a.
p
r c
r p
!
! .
. b'
De esa forma queda demostrado que el anterior razonamiento es vlido.

E?emlo 1;2
Si Sudfrica es un pas democrtico, entonces el pueblo es libre y el gobierno es elegido
por las mayoras. Si Sudfrica no es un pas democrtico, entonces el gobierno
sudafricano est impuesto. El pueblo no es libre o el gobierno no es elegido por las
mayoras. Luego, el gobierno sudafricano est impuesto.
dentificando a las proposiciones que intervienen de la siguiente manera:
, p
"Sudfrica es un pas democrtico
, q
"El pueblo es libre
, r
"El gobierno es elegido por las mayoras
, s
"El gobierno sudafricano est impuesto
La forma simblica de este razonamiento es:
Enunciado
APLCANDO
Ley De Morgan a
%)
Tollendo Tollens a a)
y %P),
Ponendo Ponens a
b) y c'')
a)
. - r q p
a)
. - r q p
44
b)
s p !
b)
s p !
r q ! ! c. r q ! ! c. r) (q ! . c' p ! . ' c'

s p ! . ' c'

s
Todo lo anterior queda expresado como sigue:
a)
. - r q p
b)
s p !
r q ! ! c.

r) (q ! . c'
(De M., c)
p ! . ' c'
(T.T., a,c')
s
(P.P.,b,c'')
Por lo tanto, el razonamiento es vlido.
E?emlo 112
Sea un razonamiento expresado en forma simblica de la siguiente manera:
Enunciado
APLCANDO
Tolendo Tolens en2 a) ) @) Ponendo Ponens en2 %) ) @P)
a)
q p
a)
q p
b)
p !
b)
p !
q ! r c.
q ! r c. b')
q
b')
q
r r !
Dado que llegamos a r ! , la cual contradice a la conclusin r , nos demuestra que el
razonamiento planteado no es vlido.
La validez de los razonamientos deductivos tambin es demostrable por medio del uso de
las tablas de verdad, basta con demostrar la conjuncin de todas las premisas a travs de
la construccin de la correspondiente tabla de verdad.
Los ejemplos que siguen nos ilustran esto.
E?emlo 132
Sea el razonamiento planteado en el ejemplo 9.
p
r c
r q
q p
!
! .
b.
a.
45
El condicional correspondiente es:
( ) ( ) [ ] p r r q q p ! !
La tabla de verdad respectiva es:
( ) ( ) [ ] p r r q q p ! !
p q
r
p !
r !
q p r q
( ) ( ) r ! r q q p
V V V F F V V F V
V V F F V V F F V
V F V F F F V F V
V F F F V F V F V
F V V V F V V F V
F V F V V V F F V
F F V V F V V F V
F F F V V V V V V
Como podemos observar, el condicional sealado resulta de una tautologa, lo cual nos
indica que constituye una implicacin y, en consecuencia, nos demuestra que el
razonamiento planteado es vlido.
E?emlo 142
Sea ahora el razonamiento, expresado en forma simblica del ejemplo 3.
a)
q p
b)
p !
q ! r c.
r
Formemos el condicional
( ) ( ) ( ) [ ] r q r p q p ! !
La tabla de verdad correspondiente es:
( ) ( ) ( ) [ ] r q r p q p ! !
p q
r
p ! q ! q p q r !
( ) ( ) ( ) q r p q p ! !
V V V F F V F F V
V V F F F V V F V
V F V F V V V F V
46
V F F F V V V F V
F V V V F V F F V
F V F V F V V V F
F F V V V F V F V
F F F V V F V F V
Podemos observar que no resulta una tautologa, este hecho nos demuestra que el
condicional sealado no constituye una implicacin y, en consecuencia, que el
razonamiento planteado no es vlido.
E?er%i%ios Pro'estos2
11.1- Exprese simblicamente y diga si son vlidos o no, los razonamientos deductivos
siguientes:
a) Si n es divisible por 8, entonces n es divisible por 4.
Si n es divisible por 4, entonces n es un nmero par.
n no es un nmero par.
Luego: n no es divisible entre 8.
b) Si n es divisible por 12, entonces n es divisible por 6.
Si n es divisible por 6, entonces n es divisible por 3.
n no es divisible por 12.
Luego: n no es divisible por 3.
c) Si n es divisible por 3, entonces n es un nmero impar.
n es un nmero par.
Luego: n no es divisible por 3.
d) Si n es menor o igual que 4 y m es menor o igual que 3, entonces
n + m es menor o igual a 7.
n + m es mayor que 7.
Luego: n es mayor que 4 y m es mayor a 3.
e) Si n es un nmero primo, entonces n no es divisible por 2.
Si n no es divisible por 2, entonces n no es par.
Luego: n es un nmero primo.
11&21 Prueba las siguientes inferencias:

47
p
r
q r
q p
!
!
a.
p
r p q
r
p
!
! . -

c.
p r
q r
q p
!
!

d
.
q
r p
q p
b.
11.3- Aplicar las leyes de equivalencia a las siguientes proposiciones:
a.
( ) s r p !
b)
( ) s r p ! ! !
c)
( ) s r p ! !
d)
( ) ( ) . - ! ! ! r q s s p
e)
. ! -! ! . ! - q p q p
11.4- Aplicando leyes de inferencia, las leyes de equivalencia y otras formas
equivalentes del condicional, determina si las premisas siguientes nos conducen a
la conclusin dada:
( a) Conclusin:
s !
Premisas:
(i)
( ) q p !
(ii)
t q !
(iii)
t p !
(iv)
t s !
11.5 Qu conclusiones se puede sacar de cada una de las siguientes proposiciones:
, q
" No ocurre que el ncleo de un tomo no est cargado positivamente "
, r
" No es cierto que el sol no es una estrella "
, s
" No es cierto que la mitad de 152 no es 76 "
48
( b ) Conclusin:
. - ! b a
!
Premisas:
(i) d c !
(ii)
a c !
(iii) b d !
LECTURA N> 13/ +ALACIAS
Una Eala%ia es un razonamiento aparentemente lgico que resulta independiente de la
verdad de las premisas. En sentido estricto, una falacia lgica es la aplicacin incorrecta
de un principio lgico vlido, o la aplicacin de un principio inexistente.
Un razonamiento que contiene una falacia se denomina $ala% y se considera errneo. La
presencia de una falacia lgica en un razonamiento no implica necesariamente nada
acerca de la veracidad de las premisas o de su conclusin: ambos pueden ser ciertos,
pero el razonamiento no es vlido porque la conclusin no se deriva de las premisas
usando los principios de inferencia presentados anteriormente.
E?emlo 12
1. Si un objeto es de oro, su color es amarillo.
2. Este lpiz es de color amarillo.
3. Este lpiz es de oro.
Este es un ejemplo de falacia por afirmacin del consecuente. Esta falacia tiene la forma:
P
Q
Q P
(+ala%ia del Re%Jro%o)

Por definicin, un razonamiento es correcto, cuando sus premisas son verdaderas,
entonces su conclusin es verdadera. En este caso, tenemos que las premisas son
verdaderas y la conclusin falsa. Por tanto, el argumento es incorrecto. La manera de
saberlo es empleando contraejemplos que lleven al lmite estas estructuras falaces.
Otro tipo de falacia es la +ala%ia del InBerso, que tiene la forma:
En este caso, niega el antecedente y concluye la negacin del consecuente.
Este argumento no es vlido.
49
+ala%ias. Artculo no publicado (p.1-3). Caracas.
Q
P
Q P
!
!
E?emlo 32
1. Todos los rboles de pltano tiene hojas verdes
2. Esa planta no es un rbol de pltano
3. Por lo tanto esa planta no tiene las hojas verdes
Existen diferentes tipos de falacias, formales y no formales, las cuales pueden ser
consultadas en la siguiente referencia en NTERNET:
http://es.wikipedia.org/wiki/Falacia
12.1- En los ejemplos que se dan a continuacin indique el mtodo de razonamiento vlido
que se est utilizando:
Modus Ponnendo Ponens (P.P.)
Modus Tollendo Tollens (T.T.)
Modus Tollendo Ponens (T.P.)
Frmula Mtodo Frmula Mtodo
1.
S
M
S M
!
!
! !
2.
( )
P
Q
Q P
!
! !
! !
3.
. - !
!
R Q
S
S R Q

4.
Q
Q P
P
!
!
5.
( )
. - !
!
!
R Q
P
R Q P

6.
R
Q P
R Q P

7.
( )
P
Q
Q P
!
! !
!
8.
( )
( ) R P
Q
Q R P
!
!
!

9.
( ) ( )
( )
( ) R P
S Q
S Q R P

!
! !
!
10&
Q
P
Q P
!
!
11.
Q S
R P
Q S R P
!
!
. ! - . -!

50
12.2.- Para cada una de las siguientes premisas:
a) dentifica en cada caso, las proposiciones que intervienen en el texto y construye la
frmula proposicional correspondiente.
b) Utilizando los mtodos de inferencia vistos hasta ahora, qu conclusin puedes
sacar de cada uno de los conjuntos de premisas?
i) Si Lus est en Maracaibo, entonces puede ir a baarse a orillas del lago. Lus
est en Maracaibo.
ii) Si tiene luz propia, entonces el astro es una estrella. El astro no es una estrella.
iii) Llueve o voy a la playa. No voy a la playa.
iv) Si ella es adolescente, entonces cursa estudios de 2do. nivel. Ella no cursa
estudios de 2do. nivel
v) Son las diez de la noche en Caracas. Si son las diez de la noche en Caracas, la
oficina de telfonos est cerrada.
vi) Si voy a la Biblioteca, entonces voy a estudiar. Voy a la Biblioteca.
vii) El nio duerme o est en la escuela. El nio no duerme.
viii) Si un triangulo tiene un ngulo mayor que 90, entonces la suma de sus otros
dos ngulos es menor que 90. La suma de dos ngulos de un tringulo no es
menor que 90.
ix) Si una planta no crece, entonces necesita ms agua o necesita ser abonada. La
planta no crece.
x) El bachiller estudia ngeniera o estudia Mecnica Dental. El bachiller no estudia
ngeniera.
12.3.- Probar si el siguiente razonamiento es vlido.
Si no se aprueba la constituyente entonces la Constitucin queda como estaba. Si la
Constitucin queda como estaba entonces no podemos reelegir al presidente. Podemos
reelegir al presidente o el referndum demorar seis meses. Pero el referndum no se
demor seis meses. Por lo tanto la constituyente fue aprobada.
12.4.- Comprueba si el siguiente razonamiento es vlido.
Si Alejandro tiene veinte aos, entonces Alejandro tiene la misma edad que Cecilia. Si
Carlos tiene distinta edad que Alejandro, entonces Carlos tiene distinta edad que Cecilia.
Alejandro tiene veinte aos y Carlos tiene la misma edad que Cecilia., Por tanto Carlos
tiene la misma edad que Alejandro y Alejandro la misma que Cecilia.
12.5.- Determina si los argumentos siguientes son vlidos o son falacias:
a) A Jess le gusta jugar bisbol. Si a Juana le gusta coser, entonces a Jess
no le gusta jugar bisbol. Si a Juana no le gusta coser, entonces Andrs canta en
la Coral Universitaria. Por lo tanto, Andrs canta en la Coral Universitaria.
51
b) Si la locura por los MP4 contina, entonces los MP3 seguirn siendo
populares. Los PenDrive continan siendo los favoritos o los MP3 seguirn
siendo populares. Los PenDrive no continan siendo los favoritos. Por lo tanto, la
locura por los MP4 continuar.
c) Todos los hombres fueron creados iguales. Todas las personas que han sido
creadas iguales son mujeres. Por lo tanto, todos los hombres son mujeres.
d) Si te tengo bajo mi piel, entonces ests en lo profundo de mi corazn. Si
ests en lo profundo de mi corazn, entonces realmente no eres parte de m. Por
lo tanto, si te tengo bajo mi piel, entonces realmente eres parte de m.
12.6.- Ubica y corrige los errores que encuentres en las siguientes deducciones:
-1&. R T ! ! Premisa
(2.)
R T S
Premisa
(3.)
S Q
Premisa
(4.)
P Q
Premisa
(5.)
. - ! R T
De Morgan ( 1 )
(6.)
S !
T.P. ( 2,3)
(7.)
Q ! !
T.T. (3) , ( 6 )
(8.) P T.P. (3),(7)
LECTURA N> 142 CONDICIONALES
NEGACI!N DE UN CONDICIONAL
Suponga que alguien expresa la siguiente proposicin condicional:
"Si llueve, entonces llevar mi paraguas.
Cundo estar mintiendo esta persona? El nico caso en el cual mentira sera cuando
lloviera y la persona no llevara el paraguas. Suponga que
p
representa "llueve y
q
representa "llevar mi paraguas; usted podra sospechar que la proposicin es simblica
q p !
Es buena candidata para ser la negacin de
q p
. Esto es,
( ) q p q p ! !
52
Millar | Heeren | Homsby | Pearson. (2006).
Matem.ti%as Ra=onamiento ) Ali%a%iones. Ed.
Pearson. Dcima Edicin. (p. 101-104). Mxico.
Sucede que ste es realmente el caso, como indica la tabla de verdad siguiente:
p q q p
( ) q p !
q ! q p !
V V V F F F
V F F V V V
F V V F F F
F F V F V F
Dado que:
( ) q p q p ! !
al negar cada expresin tenemos,
( ) [ ] ( ) q p q p ! ! ! !
Al lado izquierdo de la equivalencia anterior es :
q p
, y al lado derecho de la misma se
le puede aplicar una de las leyes De Morgan:

q p
. -! ! ! q p
q p q p !
El ltimo rengln indica que una proposicin condicional, puede escribirse como una
disyuncin
E?emlo 12
Escriba la negacin de cada proposicin.
(a) Si t lo construyes, l vendr.
Si b representa "T lo construyes. Y
q
representa "l vendr, entonces la
proposicin dada puede escribirse simblicamente como
q b
. La negacin de
q b
, como se mostr antes, es
q b !
, de modo que la negacin de esta
proposicin es:
TM lo %onstr')es ) Ll no Bendr.
53
Negacin de
q p
2a ne3aci$n de
q p
es
q p !
Como escribir una condicional como una disyuncin
q p
es equi%alente a
q p !
(@) Todos los perros tienen pulgas.
Primero, debemos expresar esta proposicin dada en la forma si&.entonces:
Si es un perro, enton%es tiene pulgas.
Con base en nuestro anlisis anterior, la negacin es
Es un perro ) no tiene pulgas.
Un error muy comn de los estudiantes es tratar de escribir la negacin de una proposicin
condicional como otra proposicin condicional. Como se vio en el ejemplo 4, la negacin
de una proposicin condicional se escribe como una conjuncin.
E?emlo 32
Escribe una proposicin equivalente para cada condicional, sin utilizar el conectivo si
entonces.
(a) Si los Tigres ganan el campeonato, entonces Aragua estar de fiesta.
Puesto que la condicional
q p
es equivalente a
q p !
, sea
p
"Los Tigres ganan
el campeonato y
q
la proposicin "Aragua estar de fiesta. La condicional se
expresar entonces como:
Los Tigres no ganan el campeonato o Aragua estar de fiesta.
(@) Si es con Triple A entonces tiene que ser bueno (
q p
)/
Si
p
representa "es con Triple A" y
q
representa "tiene que ser bueno, la condicional
podra reescribirse como:
q p !
No es con Triple A o tiene que ser bueno
M.s so@re el %ondi%ional
La proposicin condicional, la cual presentamos en la seccin previa, es una de las ms
importantes de todas las proposiciones compuestas. Muchas propiedades matemticas y
teoremas son planteados en la forma si & entonces. Dada su gran utilidad es necesario
estudiar las proposiciones condicionales que se relacionan con enunciados y con la forma
q p
Re%Jro%a2
Cualquier proposicin condicional est conformada por un antecedente y un consecuente.
- Si estos se intercambian, (el antecedente por el consecuente y
viceversa)
- Si se niegan, o
- Las dos cosas a la vez (si se intercambian y se niegan), entonces
54
se forma una nueva proposicin condicional.
Suponga que empezamos con la proposicin directa
Si t te quedas, entonces yo me voy.
Si intercambiamos el antecedente ("t te quedas) con el consecuente ("yo me voy).
Obtenemos la nueva proposicin condicional
Si yo me voy, entonces t te quedas.
Esta nueva condicional se llama re%Jro%a de la proposicin dada.
InBersa2
Si se niega tanto el antecedente como el consecuente, se obtiene la inBersa de la
proposicin dada:
Si t no te quedas, entonces yo no me voy.
ContraositiBa:
Si el antecedente y el consecuente se intercambian y se niegan, se forma la
%ontraositiBa de la proposicin dada:
Si yo no me voy, entonces t no te quedas.
Estas tres proposiciones relacionadas para la condicional
q p
, se resumen a
continuacin. (Observa que la inversa es la contrapositiva de la recproca)
Proposiciones condicionales relacionadas
Proposicin directa
q p
(Si
p
, entonces
q
.)
Recproca
p q
(Si
q
, entonces
p
.)
nversa
q p ! !
(Si no
p
, entonces no
q
.)
Contrapositiva
p q ! !
(Si no
q
, entonces no
p
.)
E?emlo 42
Dada la proposicin directa
Si vivo en Caracas, entonces vivo en Venezuela,
Determine cada una de las proposiciones que se indican:
a) La recproca
Sea
p
la proposicin "Vivo en Caracas y
q
"Vivo en Venezuela. Entonces la
proposicin directa
q p
. La recproca,
p q
, sera
Si vivo en Venezuela, entonces vivo en Caracas.
55
Observe que en el caso de esta proposicin, su recproca no necesariamente es
verdadera, an cuando la proposicin directa lo sea.
b) La inversa
La inversa
q p
es
q p ! !
. Para la proposicin dada la inversa es:
Si no vivo en Caracas, entonces no vivo en Venezuela,
la cual, una vez ms, no es necesariamente verdadera.
c) La Contrapositiva
La contrapositiva
p q ! !
sera
Si no vivo en Venezuela, entonces no vivo en Caracas.
La contrapositiva, al igual que la proposicin directa es verdadera.
El ejemplo 1 muestra que la recproca e inversa de una proposicin verdadera no tienen
que ser verdaderas ellas mismas. Pueden ser verdaderas, pero no necesariamente lo son.
La relacin entre los valores de verdad de las proposiciones directa, recproca, inversa y
contrapositiva se muestra en la tabla de verdad siguiente:
Como lo muestra la tabla de verdad, la proposicin directa y la contrapositiva siempre
tienen los mismos valores de verdad, lo cual hace posible reemplazar cualquier
proposicin directa con su contrapositiva, sin que afecte el significado lgico. As mismo, la
recproca y la inversa siempre tienen los mismos valores de verdad.
Este anlisis se resume a continuacin:
56
4qui%alentes
4qui%alentes
Directa Recproca nversa Contrapositiva
p q q p p q q p ! ! p q ! !
V V V V V V
V F F V V F
F V V F F V
F F V V V V

E?emlo 52
Para la proposicin directa
q p !
, escriba cada una de las siguientes proposiciones.
a) la recproca
La recproca de
q p !
es
p q !
.
b) La inversa
La inversa es
( ) q p ! ! !
, que se simplifica como
q p !
.
c) La contrapositiva
La contrapositiva es
( ) p q ! ! !
, que se simplifica como
p q !
.
13.1- Para cada proposicin, escriba :
(a) Su Recproca
(b) Su nversa
(c) Su Contraprositiva (tambin llamada Contrarecproca)
i) Si una imagen vale ms que mil palabras, la grfica me ayudar a entenderlo.
ii) Si l come carne, entonces l come cualquier tipo de comida
iii) Si Carmen no cumple una promesa entonces, ella no es digna de confianza.
iv) Si yo fuese nadadora y usted tambin, entonces competiramos juntos.
13.2- Tres personas A, B y C estaban conversando en el comedor de la UNEFA y
dicen lo siguiente:
A: Yo tengo 22 aos, dos menos que B y uno ms que C
B: No soy el mas joven, C y yo tenemos 3 aos de diferencia y C tiene 25
C: Yo soy ms joven que A, A tiene 23 aos y B tiene 3 aos ms que A.
Determine la edad de cada una de las personas, sabiendo que nicamente
una de las afirmaciones que hace cada persona es falsa.
57
EH'iBalen%ia
La proposicin directa y la contrapositiva son equivalentes entre s, mientras
que la recproca y la inversa lo son entre s.
UNIDAD 4
DEMOSTRACIONES MATEM"TICAS
LECTURA N> 152 DEMOSTRACIONES MATEM"TICAS
La matemtica es una ciencia que se apoya principalmente en el razonamiento deductivo.
Su estructura se construye a partir de proposiciones que se aceptan como verdaderas
(axiomas), de las cuales se deducen otras cuyas verdades es necesario demostrar
(teoremas).
La mayor parte de los teoremas que se presentan en matemtica tienen la forma
"si P , entonces
Q
,
es decir, la forma de un condicional
Q P
En consecuencia, la demostracin de un teorema de esa forma consistir en demostrar,
que tal condicional es siempre verdadero, es decir, que se trata de una implicacin
Q P
donde P es la hiptesis y
Q
la tesis.
MQTODOS DE DEMOSTRACI!N MATEM"TICA
Si deseamos demostrar que el condicional
Q P
es un teorema; es decir, que constituye
una implicacin, entonces de acuerdo con la definicin, debemos verificar que no es
posible que se presente el caso de que siendo P verdadera, resulte
Q
falsa. Para esto,
se puede, o comenzar por P o comenzar por
Q
. Si el anlisis comienza por el
antecedente P , se dice que estamos siguiendo el mLtodo dire%to y si se comienza por
el consecuente
Q
, se dice que estamos siguiendo el mLtodo indire%to.
En general, el proceso de demostracin consiste en encadenar, a partir de una proposicin
inicial dada, una serie de proposiciones verdaderas y cuyas verdades han sido
previamente demostradas, lo cual nos permite llegar a la verdad de otra proposicin, que
es la conclusin.
MLtodo Dire%to
Para aplicar el mtodo directo, debemos comenzar a partir de P , existiendo dos
posibilidades:
58
1. Si P es falsa,
Q
puede ser indistintamente, verdadera o falsa y, en ambos casos, se
cumple que
Q P
es verdadero.
2. Si P es verdadera, existen, de nuevo dos posibilidades
a) Que
Q
sea slo verdadera, con lo que resulta, igualmente, que
Q P
es
verdadero.
b) Que
Q
sea falsa, el cual, es el nico caso en que
Q P
es falso.
Por lo tanto, si el propsito es demostrar que P implica
Q
, el caso 2.b) no debe ser
posible. Ahora bien, la posibilidad 1) no requiere de demostracin alguna, en
consecuencia, nuestra atencin se centrar en la posibilidad 2.a).
Podemos, entonces, decir que:
Habiendo dicho antes que el proceso de demostracin, en general, consiste en un
encadenamiento de proposiciones, podemos representar al mtodo directo,
esquemticamente, como sigue:
Q
Q P
P P
P P
P P
P
n
&
&
&
3 2
2 1
1
donde n
P P P , , ,
2 1

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

E?emlo 12
59
4l mtodo directo consiste en partir de la %erdad del
antecedente y establecer la %erdad del consecuente&
Demostremos, por el mtodo directo, el siguiente teorema:
"Si a, b y c son nmeros naturales, tales que, a es divisor de b y b es divisor de c,
entonces a es divisor de c.
Usando el smbolo " | para denotar la expresin "divisor de, tendremos que lo que
debemos demostrar es:
[(a|b) (b|c)]
(a|c)
De acuerdo al mtodo directo debemos partir de aceptar la verdad del antecedente. Es
decir, aceptar qu
(a|b) (b|c) es verdadera.
De ah se desprende qu:
1) a|b
b = a' a (siendo a' un nmero natural)

2) b|c
c= b' b (siendo b' un nmero natural)

Reemplazando 1) y 2) obtenemos
3) c =
( ) b' a' a
Aplicando la propiedad asociativa de la multiplicacin, obtenemos
4) c =
( ) b' a' a
Ahora bien, si tanto a' como b' son nmeros naturales, entonces el producto de ellos es
tambin un nmero natural, que llamaremos c'. Es decir:
5) c' =
b' a'
Por lo tanto, reemplazando 5) en 4), obtenemos
6) c = c' a
De esta ltima podemos concluir, por definicin, qu
a|c
De esta manera queda establecida la verdad del consecuente, que era lo que
necesitbamos para demostrar la implicacin planteada, ya que, habamos partido de
aceptar la verdad del antecedente.
Ntese que con este ejemplo hemos ilustrado, adems, que el proceso de demostracin
consiste en encadenar una serie de proposiciones, a partir de una proposicin inicial,
hasta llegar a la conclusin. En este ejemplo partimos de aceptar la verdad del
antecedente:
[(a|b) (b|c)]
y a partir de all encadenamos seis proposiciones, hasta llegar a la conclusin, todas ellas
conocidas, bien por axiomas, definiciones o teoremas previamente demostrados, hecho
que nos autoriza a su utilizacin en nuestro proceso de demostracin.
60
En forma esquemtica, el proceso de demostracin seguido anteriormente, es as:
(a|b) (b|c)
[(a|b) (b|c)]
[ (b = a' a ) (c= b' b )], a',b' son nmeros Nos. naturales.

[ (b = a' a ) (c= b' b )]
[c =
( ) b' a' a
]
[c =
( ) b' a' a
]
[c =
( ) b' a' a
], propiedad asociativa
[c =
( ) b' a' a
]
(c = c' a ), c' es un nmero natural, tal que, c' =

b' a'
(c = c' a )
(a|c).
a|c
El estudiante puede elegir cualquiera de las formas presentadas, siempre y cuando, cada
"eslabn del encadenamiento de proposiciones, quede claramente justificado.
MLtodo Indire%to
Supongamos, de nuevo, que deseamos demostrar que el condicional
Q P
es un
teorema.
Para aplicar el mtodo indirecto de demostracin, partimos de
Q
, existiendo dos
posibilidades:
1. Si
Q
es verdadera, P puede ser indistintamente, verdadera o falsa y,
en ambos casos, se cumple que
Q P
es verdadero.
2. Si
Q
es falsa, existen de nuevo, dos posibilidades:
a) Que P sea slo falsa, con lo que resulta, igualmente, que
Q P
es verdadero.
b) Que P sea verdadero, el cual, es el nico caso en que
Q P
es falso.
Por lo tanto, si el propsito es demostrar que P implica
Q
, entonces el caso 2.b) no
debe ser posible. La posibilidad 1) no requiere de demostracin, en consecuencia, nuestra
atencin queda centrada en la posibilidad 2.a).
Podemos, entonces, decir:
Visto de otra forma, si queremos demostrar que
Q P
es un teorema, recordando la
equivalencia:
( ) ( ) P Q Q P ! !
Bastara con demostrar que el condicional
P Q ! !
es un teorema.
61
el mtodo indirecto consiste en partir de la #alsedad del
consecuente y establecer la #alsedad del antecedente&
Esquemticamente, el proceso de demostracin, en el mtodo indirecto, lo representamos
como sigue:
P
P Q
Q Q
Q Q
Q Q
Q
n
!
!
&
&
&
!
!
3 2
2 1
1
Planteado as, es fcil observar que el mtodo indirecto, al igual que el directo, es un
razonamiento vlido, apoyado en las reglas Silogismo Hipottico y Ponendo Ponens. El
encadenamiento de proposiciones desde
Q !
hasta P ! , es una aplicacin sucesiva del
S.H., de forma que el esquema puede resumirse como sigue:
P
P Q
Q
!
! !
!
el cual es un razonamiento vlido, de acuerdo al P.P.

E?emlo 32
Demostraremos por el mtodo indirecto, que el condicional siguiente:
" Si a , b y c son nmeros naturales, tales que, a + c es menor que b + c, entonces a
es menor que b, es un teorema.
Utilizando el smbolo "< para denotar la expresin "menor que, lo que debemos
demostrar es: (a + c < b + c)
a < b
De acuerdo al mtodo indirecto debemos partir de negar el consecuente. Dado que dicho
consecuente es "a menor que b, su negacin sera "a no es menor que b, lo cual,
tambin podemos expresar: "a es mayor o igual que b. Para denotar la expresin "mayor
o igual que usaremos el smbolo " .
De este modo, debemos partir de a b y concluir la falsedad del antecedente, es decir:
a + c b + c
Veamos entonces. Partiendo de a b y siendo c un nmero natural cualquiera, sabemos
que, axiomticamente, es verdad que :
a + c b + c
As, queda establecida, inmediatamente, la falsedad del consecuente, y con ello se
demuestra el teorema planteado originalmente.
62
E?emlo 42
Demostraremos, por el mtodo indirecto que, siendo "a un nmero entero, el condicional
siguiente:
"Si a
2
es un nmero impar, entonces "a es un nmero impar, es un teorema.
De acuerdo al mtodo indirecto, debemos partir de plantear la negacin del consecuente,
que en este caso resulta:
"a es un nmero par.
As, por definicin de nmero par, siendo k un nmero entero cualquiera, podemos
escribir:
1) a = 2k por lo tanto
2) a
2
= (2k)
2
de donde
3) a
2
= 4k
2
que tambin podemos escribir, de acuerdo con la propiedad asociativa de la multiplicacin
de los nmeros enteros, as:
4) a
2
= 2(2k
2
)
Ahora bien, siendo k un nmero entero cualquiera, entonces 2k
2
es tambin un nmero
entero que llamaremos k', es decir,
5) k' = 2k
2
sustituyendo 5) en 4) nos queda
6) a
2
= 2k' lo cual, por definicin, nos indica que a
2
es par.
En conclusin, podemos observar que es la negacin, del antecedente del condicional
originalmente planteado. A dicha conclusin hemos llegado, partiendo de la negacin del
consecuente del mismo condicional, lo cual nos demuestra que, en efecto, se trata de una
implicacin.
El proceso de demostracin, en los dos ejemplos anteriores, planteado
esquemticamente, es como sigue:
1. a b
(a b)
(a + c b + c) , axioma, c es N natural
a + c b + c
Aqu hemos demostrado
(a b)
a + c b + c
que es equivalente a
(a + c <b + c)
a < b
el cual fue el condicional planteado originalmente y ha quedado demostrado, usando el
mtodo indirecto, que es un teorema.
63
2. a es un nmero par
a es un nmero par
a = 2k, k es un entero (definicin de nmero par)

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

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

a
2
= 2k'
a
2
es un nmero par.
a
2
es un nmero par.
Veamos as, que hemos demostrado
"Si a es un nmero par, entonces a
2
es un nmero par.
que equivale a
"Si a
2
es un nmero impar, entonces a es un nmero impar.
El cual fue el condicional originalmente planteado y ha quedado demostrado que es un
teorema, utilizando el mtodo indirecto de demostracin.
MLtodo de Demostra%i(n or Red'%%i(n al A@s'rdo
Tambin es llamado mtodo de demostracin or %ontradi%%i(n. Si deseamos demostrar
que el condicional
Q P
es un teorema, podemos plantearnos, como punto de partida,
que dicho condicional no sea en realidad un teorema.
Esto significa que
Q
puede ser falsa y P verdadera, es decir, que la conjuncin
P Q !
es verdadera. niciamos as el proceso de demostracin, tomando como hiptesis a la
anterior conjuncin.
Si en el encadenamiento de proposiciones llegamos alguna contradiccin, digamos
R R ! que es siempre falsa, tendremos que habremos demostrado
( ) P Q ! ( ) R R !
Esto significa que
P Q !
es, entonces, siempre falsa, lo cual nos demuestra que
Q P
es siempre verdadera, es decir;
Q P
que es lo que queramos demostrar originalmente.
En resumen, diremos que
64
El mtodo de demostracin por red'%%i(n al a@s'rdoA consiste en partir de la
negacin del consecuente y la afirmacin del antecedente y si en el proceso de
demostracin llegamos a alguna contradiccin, esto nos demuestra que el
condicional original es un teorema.
E?emlo 52
Para demostrar que el siguiente condicional es un teorema:
"Si m y n son nmeros enteros, tales que, n m es un nmero impar, entonces
m y n son ambos impares.
Simbolizando a las proposiciones tenemos
p
: " n m es impar
Q
: " m y n son, ambos, impares
Debemos demostrar, entonces que
Q p
es un teorema.
Para aplicar el mtodo por reduccin al absurdo debemos partir de
p Q !
Es decir: "m y n no son, ambos, impares ) n m es impar
As, si m y n no son, ambos impares, significa que por lo menos uno de ellos no lo es.
Supongamos, entonces, que n sea par. Por definicin de nmero par ser: n = 2k donde k
es un nmero entero cualquiera.
Haciendo el producto de m y n obtenemos n m =
m
(2k) lo cual, de acuerdo con la
propiedad conmutativa y asociativa de la multiplicacin de los nmeros enteros, podemos
escribir, n m = 2(km)
Dado que k y m son, ambos nmeros enteros, entonces su producto tambin es un
nmero entero que llamaremos k'. Es decir,
k' = km por lo tanto:
n m = 2k'
Esto significa, por definicin, que n m es un nmero par, lo cual, contradice a
p
que
afirma que n m es impar. Esta contradiccin nos demuestra, de acuerdo a lo explicado
anteriormente, que, en efecto
Q p
Utilizando un esquema de representacin semejante a los usados en los mtodos
anteriores, la anterior demostracin podemos escribirla como sigue:
m y n no son, ambos, impares ) n m es impar enton%es n es par (m y n son Enteros)
n es par
n = 2k (definicin de N par)
n = 2k
n m =
m
(2k)
n m =
m
(2k)
n m = 2(km) (propiedades conmutativa y Asociativa)

n m = 2(km)
n m = 2k' (k' es un entero, tal que, k' = km)

n m = 2k'
n m es par
n m es par m
/
n es impar
65
Demostra%i(n or Contrae?emlo
Este mtodo nos permite demostrar que un condicional dado no es un teorema.
Consiste en dar un %ontrae?emlo, esto es, obtener al menos una posibilidad en que,
siendo el antecedente verdadero, el consecuente resulte falso, lo cual, nos indica que el
condicional puede ser falso y, en consecuencia, no es una implicacin, o sea, que P no
implica
Q

E?emlo 62
Demostrar, por contraejemplo, que el siguiente condicional no es un teorema:
"Si n es un nmero entero, tal que, n es divisible por 6 y por 4, entonces es
divisible por 24
En smbolos, tal condicional es:
[ (6|n) (4|n)]
(24|n)
Basta un ejemplo contrario, para demostrar que no se trata de una implicacin. Para esto
es til el caso del entero 12, el cual es divisible por 6 y por 4 y, sin embargo, no es divisible
por 24. As, vemos que el nmero entero 12 hace verdadera
(6|n) (4|n)
y hace falsa a 24|n,
Esto nos demuestra que el condicional planteado originalmente, en realidad, no es un
teorema.
14.1. Demuestra si los condicionales siguientes son o no teoremas:
a) Si n es menor que 3 y m es menor que 6, entonces n m es menor que
20. ( n y m son enteros)
b) Si n m es impar y n es impar, entonces m es impar.
c) Si a y b son pares, entonces a + b es par
d) Si n m es menor o igual a 22, entonces n es menor o igual que 5 y m es
menor o igual que 4. ( n y m son enteros)
e) Si n es menor o igual que 5 y m es menor o igual que 4, entonces n m
es menor o igual a 22. (n y m son naturales)
f) Si n m es menor que 20, entonces n es menor que 3 y m es menor que
6. ( n y m son enteros)
66
( ) Q P
14.2. Determina si los condicionales siguientes son teoremas.
a) Si
x
e
y
son nmeros reales diferentes de cero, entonces
y x
es un
nmero real diferente de cero.
b) Si a y b son nmeros impares, entonces b a es impar.
c) Si
x
es un nmero real diferente de cero, entonces
1
x es un nmero real
diferente de cero.
d) Si a
2
es par, entonces a es par.
14.3 Resuelva los siguientes ejercicios y describe el mtodo utilizado:
a. 2 no es un nmero racional b) Si c b c a + + , entonces b a
b. Si n es un nmero entero mayor que 5, entonces 3n-10 es mayor que 5
c. Si b a < y d c < entonces d b c a + < +
d. Si b a < y 0 > c , entonces c b c a <
e. Si b a < y 0 < c , entonces c b c a >
LECTURA N> 162 MQTODO DE INDUCCI!N
MATEM"TICA
Dada la sucesin de proposiciones:
, , , , ,
3 2 1 n
P P P P
y supongamos demostrar que:
a) La proposicin
1
P
es verdadera.
b) Para todo N k , si la proposicin k
P
es verdadera, entonces 1 + k
P
tambin lo es.
Entonces, podemos asegurar que
, , , , ,
3 2 1 n
P P P P
son verdaderas.
E?emlo 12 Demostrar por el mtodo de induccin matemtica que:
2
. 1 -
3 2 1
+
+ + + +
n n
n
Para demostrar la frmula anterior bastar con probar que las siguientes proposiciones:
, , , , ,
3 2 1 n
P P P P
son verdaderas, donde
2
. 1 -
3 2 1 ,
+
+ + + +
n n
n P
n
(i)
67
Ind'%%i(n Matem.ti%a. Artculo no publicado
(p. 1-5). Caracas.
Ahora bien:
a)
1
P es verdadera, puesto que para 1 n ,
1
P :
2
. 1 1 - 1
1
+
b) Si suponemos ahora que para cualquier valor de k , k

P
es verdadera, es decir,
k n :
2
. 1 -
3 2 1 ,
+
+ + + +
k k
k P
k
(ii)
Vamos a demostrar que, 1 + k
P
es verdadera.
En efecto, si a los dos miembros de la igualdad (ii) le sumamos 1 + k , tendremos :
. 1 -
2
. 1 -
. 1 - 3 2 1 + +
+
+ + + + + + k
k k
k k ,
Resolviendo el lado derecho de la ecuacin anterior, tenemos:
2
. 1 - 2 . 1 -
. 1 - 3 2 1
+ + +
+ + + + + +
k k k
k k
Sacamos factor comn
( ) 1 + k
en el lado derecho de la ecuacin y obtenemos :
2
. 2 .- 1 -
. 1 - 3 2 1
+ +
+ + + + + +
k k
k k (iii)
Y observamos que la ecuacin anterior (iii) equivale a 1 + k
P
, al sustituir 1 + k n , en (i)
[ ]
2
1 . 1 - . 1 -
. 1 - 3 2 1 ,
1
+ + +
+ + + + + +
+
k k
k k P
k

2
. 2 .- 1 -
. 1 - 3 2 1 ,
1
+ +
+ + + + + +
+
k k
k k P
k

En resumen, demostramos que :
1
P
es verdadera y para cualquier valor de k entero positivo, si k
P
es verdadera,
entonces 1 + k
P
es verdadera
Por lo tanto, por el mtodo de induccin matemtica queda demostrado que:
, , , , ,
3 2 1 n
P P P P
es verdadera , es decir, para cualquier valor de
n
entero positivo,
se cumple :
2
. 1 -
3 2 1 ,
+
+ + + +
n n
n P
n

68
E?emlo 32
Para demostrar por el mtodo de induccin matemtica que, para todo
n
entero positivo,
se tiene que:
1
2 2
+
<
n n
.
Para demostrar la frmula anterior bastar con probar que las siguientes proposiciones:
, , , , ,
3 2 1 n
P P P P
son verdaderas, donde
,
n
P
1
2 2
+
<
n n
(i)
Ahora bien:
a)
1
P
es verdadera, puesto que para 1 n ,
1
P
:
1 1 1
2 2
+
<
, es decir :
4 2 < es verdadera.
b) Si suponemos ahora que para cualquier valor de k , k
P
es verdadera, es decir,
para k n :
1
2 2 ,
+
<
k k
k
P
(ii)
Vamos a demostrar que, 1 + k
P
es verdadera.
Como 2 es positivo, multiplicamos por 2 ambos miembros de la desigualdad y esta no se
altera y nos queda:
2 2 2 2
1
<
+ k k
,
Resolviendo las potencias de ambos lados de la desigualdad anterior, tenemos:
2 1
2 2
+ +
<
k k
(iii)
se cumple y observamos que la ecuacin anterior (iii) equivale a 1 + k
P
, al sustituir
1 + k n , en (i)
1 . 1 - 1
1
2 2 ,
+ + +
+
<
k k
k
P
, es decir
2 1
1
2 2 ,
+ +
+
<
k k
k
P
En resumen, demostramos que:
1
P
es verdadera y para cualquier valor de k entero positivo, si k
P
es verdadera,
entonces 1 + k
P
es verdadera
Por lo tanto, por el mtodo de induccin matemtica queda demostrado que:
, , , , ,
3 2 1 n
P P P P
es verdadera , es decir, para cualquier valor de
n
entero positivo,
se cumple :
,
n
P
1
2 2
+
<
n n
es verdadera.
Ahora observemos algunas demostraciones que terminan en contradiccin, por lo que
debe existir un error en el procedimiento:
69
E?emlo 4
a) Demostra%i(n de H'e 1 eH'iBale a R1 para lo cual
iniciamos:
1 1
Ahora, los convertimos en fracciones
1
1
1
1
Aplicando la raz cuadrada en ambos lados obtenemos

1
1
1
1
Que equivale a
1
1
1
1
Pero 1 i (nmero imaginario) y

podemos sustituirlo, obteniendo
1
1 i
i

Reordenando la ecuacin para eliminar las fracciones,
obtenemos
Y ya que por definicin
2
i = ~ 1 y adems
1 1
2
, tenemos
como resultado
@) Demostra%i(n de H'e 5 eH'iBale a 3/ niciamos con2
4 = 4
Restamos a ambos lados de la ecuacin
4 - 4 = 4 -4
En un lado factorizamos usando la "suma por su diferencia"
y en el otro lado se factoriza por 2
(2 - 2) * (2 + 2) = 2 (2 - 2)
Cancelamos los trminos iguales a cada lado de la
ecuacin (2 - 2)
(2 + 2) = 2
Nos queda como resultado 5 S 3
%/ Demostra%i(n de H'e 1 T ;. Supongamos que
5 6 1
Ahora tomamos el logaritmo en ambos lados de la
desigualdad. Podemos hacerlo siempre que x > 0,
porque los logaritmos crecen montonamente
Ln(x) < Ln(1)
Si tenemos en cuenta que el logaritmo de 1 es 0, obtendremos
Ln(x) < 0
Dividir por Ln (x) ambos lados de la inecuacin, da como
resultado
1 T ;
d) Demostra%i(n de H'e ; eH'iBale a 1
70
A continuacin les damos los
pasos que justifican esta
demostracin, indique que
propiedad de los nmeros
reales se utilizan en cada paso.
Adems indique donde est el
error en la demostracin
0 S &&& 0 0 0 + + +
0 =
( ) ( ) ( ) &&& 1 1 1 1 1 1 + + +
0 =
( ) ( ) ( ) &&& 1 1 1 1 1 1 1 + + + + + + +
0 = &&& 0 0 0 1 + + + +
0 = 1
15.1- Demostrar que
( )
2
1 2 &&& 7 5 3 1 n n + + + + +
para cualquier nmero N n
15.2- Probar que la suma de los cuadrados de los primeros nmeros naturales es
( )( )
6
1 2 1 + + n n n
, es decir, probar que:
( )( )
6
1 2 1
&&& 3 2 1
2 2 2 2
+ +
+ + + +
n n n
n
15.3- Demostrar que
( ) 1 1
1
&&&
4 & 3
1
3 & 2
1
2 & 1
1
+
+
+ + + +
n
n
n n
15.4- Demostrar que ( )
( )
3
1 4
1 2 &&& 5 3 1
2
2
2 2 2

+ + + +
n n
n
15.5- Demostrar si las siguientes proposiciones son verdaderas para cualquier valor
de 2 n :
a) ( )
2 2 2 2
3
2 2 2 2
&&& 3 2 1
3
1 &&& 3 2 1 n
n
n + + + + < < + + + +
b) ( )
3 3 3 3
4
3 3 3 3
&&& 3 2 1
4
1 &&& 3 2 1 n
n
n + + + + < < + + + +
15.6- Sabiendo que el nmero combinatorio est definido por:
( ) 7 7
7
k k n
n
k
n
,
_
, si
n k 0 y ' y n naturales , demostrar las siguientes frmulas:
a)
,
_
,
_
k n
n
k
n

71
b)
( )
k n k
n
k
n
b a
k
n
b a

,
_
+
0
(frmula del binomio de Newton sabiendo que, la
suma de los nmeros
n
a a a ,&&&, ,
2 1
viene dada por:
n
n
i
i
a a a a + + +
&&&
2 1
1
El smbolo
n
i
i
a
1
se le llama sumatoria.
15.7- Demostrar que si el tringulo rectngulo ()*
de lados a y b e hipotenusa c, tiene un rea
de
4
2
c
, entonces, el tringulo es issceles.
LECTURA N> 172 ALGUNAS +UNCIONES DE LAS
DEMOSTRACIONES MATEM"TICAS
Para qu las demostraciones matemticas?
Qu aporta una demostracin a la formacin intelectual de un individuo?
Para responder estas preguntas, nos pasearemos por algunos enfoques sobre las
funciones de las demostraciones, ya que la funcin que se nos viene inmediatamente a la
mente, es la de veri$icacin de un resultado (tesis), partiendo de unos datos iniciales
(hiptesis). Hemos encontrado que sta no es la nica funcin de las demostraciones. A
continuacin daremos algunos enfoques de autores, sobre este tema.
"Bell citado por bez (2001), considera la iluminacin y la sistematizacin como una
de las funciones de una demostracin y define:
La iluminacin: se espera que una buena demostracin proporciona ideas de por qu es
cierta.
72
+'n%iones de las Demostra%iones Matem.ti%as.
Artculo no publicado (p.1-2). Caracas.
La sistemati%acin: organizacin de un sistema deductivo de la teora (axiomas, teoremas
y otros)".
De igual manera, otro autor De Villiers (1993) destaca la funcin de explicacin e insiste
en la funcin de sistematizacin, pues la demostracin integra conceptos, afirmaciones y
teoremas en s, explicando su estructura axiomtica y ayudando a las aplicaciones, tanto
dentro como fuera de las matemticas.
Este autor considera, adems, las funciones de descubrimiento, ya que con este trabajo
intelectual en ocasiones se pueden llegar a nuevos resultados.
Tambin incluye la funcin de comunicacin, como una manera de expresar los
resultados ante otros profesionales, estudiantes, lo que permite un anlisis crtico de
aciertos y desaciertos.
Siguiendo a los autores anteriores, Hanna (2000) incorpora la funcin de construccin de
una teora emprica, la exploracin de un significado de una definicin o la consecuencia
de una suposicin y la incorporacin de un nuevo conocimiento hecho a una nueva
estructuracin.
Otro autor, Reid (2002) propuso cinco dimensiones de una demostracin, entre las que se
destacan la necesidad, la iluminacin y la comprensin. La necesidad la define como la
funcin de la demostracin y la valora como explicacin, exploracin y verificacin.
Tomando en cuenta lo expuesto por los autores, se quiere contribuir a la formacin de un
individuo de una manera ms integradora, de tal manera que el individuo aplique en la
prctica el saber, la necesidad de articular la realidad con la teora, para comprender de
forma ms exacta como, por medio de sus conocimientos, es posible describir procesos
de dicha realidad.
Presentamos a continuacin un esquema donde resume algunas de las funciones ms
importante del por que de una demostracin, lo cual nos puede llevar a responder
cualesquiera de las dos preguntas iniciadas en esta lectura.

73
89:;<+=>?
=?*424+*@<2 "42
=?"=A="@9
=*4;<*=B<+=>?
=2@;=?<+=>?
4CD2=+<+=>?
"4+@E:=;=4?*9
A4:=8=+<+=>? +9?*:@++=>?
+9;@?=+<+=>?
8@?+=9?4 "4 @?< "4;9*:<+=>?
UNIDAD 5
TEOR-A DE CONJUNTOS
LECTURA N> 182 CONCEPTOS ,"SICOS
La teora que nos ocupa en este captulo, est construida sobre la base de conceptos, los
cuales, por ser intuitivos y comprensibles, no es necesario definirlos formalmente.
Sabemos que en la realidad existen "cosas, "objetos, "entes, "elementos, que
constituyen unidades completamente identificables, que pueden ser tangibles o no. A la
vez, esos, elementos, son agrupables, de acuerdo a cualquier tipo de criterio,
conformando lo que conocemos como "%on?'nto$. Por lo tanto, decimos que los
elementos ertene%en a conjuntos.
Es a partir de estos tres conceptos: elementoA ertenen%ia ) %on?'ntoA que se desarrolla
la teora que estudiaremos a continuacin.
Es importante destacar que, aun cuando no demos definiciones formales para los
conceptos antes mencionados, ellos deben ser plenamente identificables, con el objeto de
lograr un desarrollo terico formal. En este sentido, se hace necesario disponer de un
adecuado sistema de representacin o identificacin.
NOTACI!N
Los conjuntos sern identificados con letras maysculas, tales como:
A, B, C, D, etc.
Mientras que los elementos se identificarn con letras minsculas, a menos que ellos
sean, a su vez, conjuntos, como por ejemplo
a, b, c, d, etc.
Vale la pena sealar que lo usual es utilizar las primeras letras del abecedario (a, b, c,.)
para denotar elementos que estn perfectamente determinados y reservar las ltimas (.,
x, y, z) para elementos genricos o indeterminados.
Adems, en el caso de la notacin para conjuntos, se reservan las letras maysculas: N,
Z, Q, R y C, para los llamados conjuntos de los nmeros: Naturales, Enteros, Racionales,
Reales y Complejos, respectivamente. Tales conjuntos son tratados de manera especfica
ms adelante en la sesin: "Conjuntos Numricos, sin embargo, nos permitiremos
utilizarlos , en diversos ejemplos, asumiendo que los estudiantes estn familiarizados con
74
Biblioteca. Tercera Edicin. (p. 87-91). Caracas.
ellos debido a sus estudios previos. Slo debemos destacar aqu una diferencia de
notacin que usaremos, desde este momento, en relacin al conjunto de los nmeros
naturales. Ella se refiere a que cuando usemos la letra N nos estaremos refiriendo a los
nmeros naturales incluido el cero, mientras que cuando usamos la notacin N
U
nos
referiremos a los naturales a partir del uno, es decir sin el cero.
Los conjuntos deben expresarse escribiendo los elementos que los constituyen encerrados
entre llaves. Por ejemplo, para expresar al conjunto formados por las cinco primeras letras
del alfabeto, al cual, denotaremos con la letra A, podemos escribir:
{ } e d c b a A , , , ,
RELACI!N DE PERTENENCIA
La relacin que se establece entre elementos y conjuntos es la llamada rela%i(n de
ertenen%ia. Hemos dicho antes que los elementos pertenecen a conjuntos, por lo tanto,
enunciaremos con frecuencia proposiciones tales como: "el elemento a pertenece al
conjunto A la cual expresaremos mediante
A a
que se lee "a ertene%e a A. Su negacin la escribiremos
A a
la cual, leeremos "a no ertene%e a A.
As, de acuerdo al ejemplo anterior tenemos que A c , mientras que A n .
Es importante, para mayor claridad y precisin de nuestras expresiones tener presente lo
siguiente:
1) Cada conjunto debe determinarse claramente, sin ambigedad. De forma tal, que
pueda establecerse, sin lugar a dudas, si un elemento especfico pertenece o no a
un conjunto determinado.
2) Los elementos de un conjunto deben ser distintos entre si. Ningn elemento debe
estar repetido y en caso de que esto ocurra, se le considera una sola vez.
3) No importa el orden en que se escriben los elementos de un conjunto.
Cambiar el orden de colocacin de los elementos dentro de un conjunto no
significa que dicho conjunto ha cambiado.
DETERMINACI!N DE CONJUNTOS
En general, todos los conjuntos pueden determinarse de dos formas diferentes por
extensin o por comprensin.
Por EGtensi(n
75
Diremos que 'n %on?'nto est. determinado or eGtensi(n si detallamos o enumeramos
todos y cada uno de los elementos que pertenecen a dicho conjunto.
Por ejemplo:
{ } 45 , 30 , 15 A
Por Comrensi(n
Diremos que 'n %on?'nto est. determinado or %omrensi(n si damos una propiedad,
o propiedades, que caracterizan a sus elementos, y solo a ellos, tal que nos permita
establecer, inequvocamente, si cierto elemento pertenece, o no, a dicho conjunto. Por
ejemplo:
{ } 5 3 50 de y de mltiplos y qe menores natrales nmeros A

Un conjunto que posea un nmero finito de elementos, en general, puede ser expresado
de las dos formas. El conjunto A, de los ejemplos anteriores, es el mismo en ambos casos,
determinado primero por extensin y luego por comprensin.
Sin embargo, los conjuntos que poseen infinitos elementos, slo pueden ser determinados
por comprensin.
En la determinacin de conjuntos por comprensin se usan con frecuencia smbolos que
simplifican las expresiones. As, el conjunto A, que venimos utilizando como ejemplo,
puede escribirse
{ } x x x N x x A / 5 / 3 50 , <
Donde el smbolo ": se lee "tal que.
En las definiciones de los conceptos que siguen a continuacin, as como en el enunciado
de propiedades, teoremas y sus respectivas demostraciones, se utilizar una forma
general de determinacin de los conjuntos por comprensin, en la cual, se escribir el
smbolo
P(x)
que representa una propiedad relativa a un elemento indeterminado x.
As, por ejemplo, si queremos referirnos a los nmeros pares, entonces es
p(x): x es par
Ahora bien, es importante destacar que el enunciado "x es par no es una proposicin. Tal
enunciado se convierte en una proposicin cuando se especifica el elemento x, ya que
slo as podremos calificarla de verdadera o falsa. De esa manera, para cada asignacin
de un valor a x, obtenemos una proposicin. En el caso del ejemplo presentado tenemos
que:
p(4): 4 es par (V)
p(7): 7 es par (F)
76
Entonces, cuando queremos expresar de manera general a un cierto conjunto, digamos A,
determinado por comprensin, como el conjunto de elementos x que satisfacen una cierta
propiedad, digamos P(x), escribimos
{ } . - , x P x A
En consecuencia, para un elemento dado
a
, dado, diremos que:
! es a P A a . -
" es a P A a . -
Nuevamente tomando el caso del conjunto A de los ejemplos anteriores, tenemos que es
x x x N x x P / 5 / 3 50 , . - <
En consecuencia, 30 A, ya que, P(30) es verdadera, mientras que 10
A, por ser
P(10) falsa.
En general, todos los conjuntos pueden ser determinados por comprensin. Es decir, para
cualquier conjunto pueden enunciarse propiedades que caracterizan a los elementos que
los conforman, de tal forma que tales enunciados al ser aplicados o referirse a elementos
especficos, segn hemos visto, constituyen proposiciones que cuando son verdaderas
nos establecen que el elemento en cuestin pertenece al conjunto de que se trate y
cuando son falsas nos establecen lo contrario. Vemos as, que las proposiciones juegan un
papel bsico en la definicin de los conjuntos y por, lo tanto, la Lgica Proposicional
constituye un apoyo fundamental en el desarrollo de la Teora de Conjuntos.
LECTURA N> 192 TIPOS DE CONJUNTOS
CONJUNTOS ESPECIALES
Con?'nto 'niBersal
En el anlisis de una situacin particular, hay un conjunto o coleccin fija de elementos
que se denomina conjunto universal y se denota por la letra griega (omega). Dicho
conjunto , consta de todos los elementos a los que se pueda referir esa situacin. Es
algo as como la fuente de todos los elementos que forman parte de los conjuntos sobre
los que vamos a trabajar.
Hay dos circunstancias que se deben tener en cuenta cuando se trata de elegir el conjunto
universal:
77
Kleiman, A. y de Kleiman, E. (1972). Con?'ntos/
Ali%a%iones Matem.ti%as a la Administra%i(n/
Editorial Limusa Wiley. Primera edicin. (p. 87-91).
Caracas.
+. El conjunto universal no es nico; depende del problema que se est considerando
y puede cambiar segn la situacin particular de que trate;
,. An para un mismo problema el conjunto universal no est definido en forma nica;
podemos elegirlo a nuestra conveniencia con relativa libertad.
Veamos algunos ejemplos:
E?emlo 1: si los conjuntos a considerar son los urlogos, dermatlogos, pediatras y
cirujanos, el universo ms adecuado es el conjunto de los mdicos.
E?emlo 3: para un problema determinado nos interesa pensar en el conjunto de todos los
libros de "Sistemas y Procedimientos. Este conjunto puede estar referido a algn conjunto
universal, que seleccionaremos de acuerdo con nuestras necesidades. Por ejemplo,
puede ser el conjunto de los libros de la biblioteca de esta Facultad, o el conjunto de los
libros de esta Universidad, o el conjunto de los libros del tema "Sistemas y
Procedimientos, editados en cualquier idioma o el conjunto de todos los libros que existen
en esta ciudad, etc. Note que tenemos libertad para fijar , y nicamente debemos tomar
en cuenta nuestra conveniencia especfica.
E?emlo 42 sea el conjunto de los alumnos con calificacin promedio de ocho o ms
puntos. El conjunto universal puede ser, segn el estudio o situacin que se est
considerando: i) los alumnos del "grupo 106; ii) el conjunto de los alumnos de esta
Facultad; iii) el conjunto de alumnos de la Universidad; iv) el conjunto de todos los alumnos
de escuelas de esta ciudad, etctera.
Esa relativa libertad de eleccin a que hemos hecho referencia no debe interpretarse en el
sentido de que es un conjunto impreciso o de naturaleza variables. Al analizar una
situacin determinada una vez que se ha decidido cul es el conjunto universal , ese
conjunto permanece fijo y todos los dems conjuntos mencionados en la misma discusin
se forman con elementos de ese .
Con?'nto Ba%Jo
Aunque a primera vista parezca extrao, resulta conveniente hablar acerca de conjuntos
sin elementos. Un conjunto que no posee elementos se denomina conjunto vac-o o
conjunto nulo, y se lo designa por el smbolo
o por
{ }
.
Por ejemplo, los siguientes son conjuntos vacos:
{ } edad de aFos 200 de mGs de persona una es , x x A
{ } dulce a3ua de oc(ano un es , y y B
{ } 6 que menores , y 5 que mayores naturales nmeros los de conHunto el es , # # C
{ } entero nmero un es 1, 1 ,
2
$ $ $ % .
Es importante advertir que
es distinto de 0 y de
{ } 0
. En efecto:
i)
es un conjunto sin elementos;

78
ii)
{ } 0
es un conjunto con un solo elemento, el nmero 0;
iii) 0 es un nmero y no un conjunto
Muchas veces se define un conjunto vaco recurriendo a un par de condiciones
mutuamente contradictorias, tales como:
{ } alas con burro un es , m m M
{ } narices 6 con te ser %i%ien un es , n n N
.
Con?'ntos +initos e InEinitos
El nmero de elementos de un conjunto no vaco, puede ser finito o infinito. Es $inito
cuando se puede listar exhaustivamente sus elementos en algn orden, y en consecuencia
contarlos uno a uno hasta alcanzar el ltimo.
En caso contrario, si el conjunto no posee un ltimo elemento se dice que es un conjunto
in$inito.
Ejemplos de conjuntos $initos son: los empleados de una empresa, los peridicos de un
pas, los proveedores de la industria de la construccin, etc.
Ejemplos de conjuntos in$initos: el conjunto de los enteros positivos, el nmero de rectas
que pasan por un punto, etctera.
Estos conjuntos son infinitos porque no es posible listar todos sus elementos y enumerar
explcitamente la totalidad de ellos. El proceso de conteo de los elementos nunca termina
para un conjunto infinito.
La notacin para el conjunto de los nmeros naturales (enteros positivos) es la siguiente:
{ } &&& 6, 5, 4, 3, 2, 1, N
, es decir que se listan algunos de los elementos del conjunto
seguidos de puntos suspensivos (que equivalen al etc), y que reemplazan a los elementos
no listados. Esta forma de notacin se emplea a menudo, pero no es muy satisfactoria
desde el punto de vista lgico. En sentido estricto el mtodo de listado o de enumeracin,
es inaplicable a conjuntos infinitos. Para especificar correctamente un conjunto infinito se
debe citar alguna propiedad definitoria, es decir especificarlo por comprensin.
Los conjuntos infinitos se presentan en muy diversos problemas concretos. Por ejemplo,
en el control estadstico de calidad, los analistas del proceso de produccin pueden
considerar que la mquina bajo observacin genera un flujo continuo e infinito de
productos.
Un ejemplo usual en el desarrollo de este tema es el del conjunto de los granos de arena
de la playa de Acapulco. No obstante que el nmero de elemento de ese es inmenso, no
deja de ser un conjunto finito.
79
LECTURA N> 1:2 MAS SO,RE CONJUNTOS
ESPECIALES
CONJUNTO UNICERSAL
Llamamos Con?'nto UniBersal o Con?'nto ReEeren%ial aquel conjunto, al cual,
pertenecen todos los elementos de una situacin dada o de inters.
Partiendo de este concepto, est claro que el conjunto universal o referencial no es Mni%o,
sino que depende de la situacin en particular que se est tratando.
Para denotar al conjunto universal se utiliza la letra mayscula U, o bien el smbolo
(letra griega mayscula #ome*a$).
El conjunto universal establece una referencia (tambin se le dice 'niBerso), delimita las
reas de trabajo, es decir, establece las fronteras. Por ejemplo, si nos planteamos una
investigacin estadstica sobre la educacin, no es lo mismo que el universo sea el
conjunto de todos los estudiantes de la Universidad Central de Venezuela en un ao
determinado, que el de los estudiantes de todas las universidades venezolanas o que el de
todas las universidades latinoamericanas. Tal delimitacin depende del objetivo especfico
que se persiga con la investigacin.
Siendo consecuentes con nuestra intencin de evidenciar la equivalencia existente entre el
lenguaje utilizado en Teora de conjuntos y el utilizado en Lgica Proposicional, veamos
como se manifiesta dicha equivalencia en el caso de la definicin dada para el conjunto
Universal. Supongamos que A sea un conjunto dado, tal que:
{ } . - , x P x A
De acuerdo con la definicin dada, al conjunto universal, o referencial, U, pertenecen todos
los elementos de la situacin de que se trate. Esto es, a U lo conforma tanto los
elementos de A, como los que no pertenecen a A. Estando A definida a travs de
. -x P
, entonces a U pertenecen aquellos elementos que hacen verdadera a
. -x P
y
tambin pertenecen los que la hacen falsa. Esto quiere decir que al conjunto universal U lo
podemos definir por comprensin de la siguiente manera:
{ } . - ! . - , x P x P x &
Podemos observar que cualquier x, de la situacin de que se trate, .ar verdadera a
. - ! . - x P x P
. En otras palabras, la disyuncin inclusiva
. - ! . - x P x P
es
siempre verdadera. Vemos as, que el conjunto universal se define a travs de una
tautologa.
80
Biblioteca. Tercera Edicin. (p. 94-99). Caracas.
CONJUNTO CACIO
Llamamos Con?'nto Ca%Jo a aquel conjunto que no tiene elementos. Para denotar al
conjunto vaco utilizamos el smbolo
(letra griega mayscula p.i/.

Al conjunto vaco tambin lo podemos definir a travs de proposiciones.
Dado que a l no pertenece ningn elemento, entonces cualquier enunciado que no pueda
ser verdadero para ningn elemento, definir al vaco. En el caso que ningn x hace
verdadera a
. - ! . - x P x P
Por lo tanto
{ } . - ! . - , x P x P x
Vemos as, que el conjunto vaco puede ser definido a travs del enunciado de cualquier
contradiccin.
El conjunto vaco es Mni%o, esto es, no existen conjuntos vacos diferentes entre s.
Para todas las situaciones de que se trate, los conjuntos que no tengan elementos, son
iguales entre s, y tienen en el llamado conjunto vaco a su representante. Esta importante
afirmacin, sobre la unicidad del vaco, ser formalmente demostrada mas adelante, una
vez que hayamos estudiado la relacin de inclusin y la propiedad antisimtrica de dicha
relacin, la cual, constituye el instrumento de demostracin.
E?emlo
Sea el conjunto
( ) ( ) { } 0 3 7 , x ' x x A
Podemos observar que ningn nmero entero hace verdadera a 0 3 7 x
Esto es
Por lo tanto, el conjunto ( no tiene elementos y decimos que es vaco.
Es decir,
A
CONJUNTO UNITARIO
Llamaremos Conjunto Unitario a aquel conjunto, al cual pertenece un solo elemento.
E?emlo
Sea el conjunto
( ) ( ) ( ) { } 5 3 , < > x x ' x x A
81
0 3 7 , x ' x
De acuerdo a como ha sido definido (, a l pertenecen los nmeros enteros que son,
simultneamente mayores que 3 y menores que 5, lo cual, es slo satisfecho por el entero
4 y de ah que digamos que ( es un conjunto unitario.
Aprovechamos este ejemplo para plantear que, en general, cuando tengamos expresiones
tales como
( ) ( ) b x a x < >
Donde a y b son nmeros tales que b a < , suele escribirse de una forma ms sencilla
como la siguiente:
b x a < <
La cual, leemos "x es mayor que a y menor b y nos indica, igual a la de arriba, los
nmeros x que satisfacen, a la vez, que sean mayores que a y menores que b. Expresado
de otra forma, se refiere a los nmeros comprendidos entre a y b.
As, el conjunto A, del ejemplo, tambin puede escribirse como sigue:
( ) ( ) { } 5 3 , < < x ' x x A
Podemos observar que el nico valor de x entero que hace verdadera a la proposicin es
4. Luego, decimos que ( es
{ } 4 A
Habiendo dado la definicin para conjunto unitario, es importante destacar, ahora, la
diferencia entre las siguientes notaciones:
{ } { } { } a a a , ,
La primera se refiere al elemento a. La segunda se refiere al conjunto unitario cuyo nico
elemento es a y la tercera se refiere al conjunto de conjuntos, tambin unitario, cuyo nico
elemento es el conjunto
{ } a
/
E?er%i%ios2
1.- Determinar por extensin los siguientes conjuntos:
( ) ( ) ( ) { } 5 1 2 ,
I
x N n n x x A
( ) ( ) ( ) { } 10 2 ,
I
x N n n x x B
( ) ( ) { } 50 25 ,
3
x ' x x C
( ) ( ) ( ) { } 9 1 2 ,
I
+ x N n n x x %
( ) ( ) { } 0 8 2 ,
2
+ x x N x x (
( ) ( ) { } 11 2 ,
I
+ x N x x "
2.- Diga cuales de las siguientes expresiones son verdaderas, justificando sus respuestas:
a)
{ } { } a a
b)
{ } { } { } b a a b a , , ,
c)
{ } { } { } a a a ,
d)
{ } { } b a c a c b a , , , , ,
e)
{ } { } c b b a c b a a , , , , , ,
f)
{ } { } c a b c b a , , , ,
82
3.- Traducir en palabras lo que significan las expresiones siguientes:
a)
( ) ( ) { } 6 , x N x x A
b)
( )
'
,
_
+ N x Q x x B
2
1
,
c)
( ) ( ) { } 30 6 4 5 , x N x x C
d) Siendo a una recta del plano:
{ } a r r r ) recta una es ,
e) Siendo a una recta del plano:
{ } a r r r M recta una es ,
f)
( ) ( ) { } 11 3 2 2 , x N x x (
g)
( ) ( ) { } ' x N x x " ,
4.- Expresar simblicamente los siguientes conjuntos:
a) El conjunto de los nmeros naturales pares
b) El conjunto de las soluciones reales de la ecuacin 0 2 2
2 3
+ x x x
c) El conjunto de nmeros naturales que satisfacen la relacin:
3 78 10 16 < x
5.- Expresar por comprensin los conjuntos siguientes:
{ } 15 , 13 , 11 , 9 , 7 , 5 , 3 , 1 A
{ } 36 , 25 , 16 , 9 , 4 , 1 B
{ } 23 , 19 , 17 , 13 , 11 , 7 , 5 , 3 , 2 , 1 C
{ } 64 , 32 , 16 , 8 , 4 , 2 , 1 %
6.- Si
a
es un elemento del conjunto B y B es un elemento del conjunto C , se puede
concluir que
a
es un elemento de C ?
7.- Diga cules de los siguientes conjuntos son vacos:
{ } 2 por di%isible y impar es , x x A
{ } 3 3 , + x ' x x B
( ) ( ) ( ) { } 10 2 10 ,
2
x x R x x C
{ } %
83
LECTURA N> 3;2 REPRESENTACI!N GR"+ICA DE
CONJUNTOS
DIAGRAMA DE CENN/
Con objeto de hacer ms intuitivas las cuestiones relativas a conjuntos es aconsejable
usar unos esquemas llamados diagramas de Venn; en ellos, los elementos del conjunto
universal U se representan grficamente por puntos de un cuadrado (o rectngulo) y los
subconjuntos por puntos de crculos contenidos en el cuadrado.
Es de observar que tanto U como los subconjuntos pueden ser finitos o infinitos en este
ltimo caso puede incluso ser U el conjunto de todos los puntos del cuadrado y los
subconjuntos estar integrados por todos los puntos de los crculos.
nteresa sealar tambin que, mientras no se advierta lo contrario, los elementos no los
representaremos por puntos de los diferentes contornos (circunferencias y permetro del
cuadrado).
Ejemplo:
En la figura adjunta se ha representado en un diagrama de Venn, el conjunto universal.
U = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, }

y los subconjuntos
84
12
7
5
8
3
4
9
10
11

1 A

C
Burgos, A. (1971). Ini%ia%i(n a la Matem.ti%a
Moderna. Selecciones Cientficas. Tercera
Edicin. (p. 26). Madrid.
@
A = { 2, 3, 4, 5, 6 } , = { 5, 6, 7, 8 } C = { 10, 11 }
85
LECTURA N> 312 RELACI!N ENTRE CONJUNTOS
RELACI!N DE IGUALDAD
Dos conjuntos A y B son i*'ales si cumplen dos condiciones esenciales: que todo
elemento de A pertenece a B, e inversamente, que todo elemento de B pertenece a A.
Cuando los conjuntos A y B son iguales escribiremos
B A
y si no son iguales se
escribe
B A
. Veamos algunos ejemplos:
a) Los conjuntos:
{ } 12 , 7 , 5 , 4 A
y

'
12 , 49 , 5 ,
2
8
B
son iguales ya contiene los mismos elementos. Recuerde
que 7 49 4
2
8
y .
b) Los conjuntos:

{ } 8 , qe mayor ne*ati+o entero nmero n es x x
y
{ } 1 , 2 , 3 , 4 , 5 , 6 , 7
son iguales, ya que an cuando estn expresados en
forma diferente, el primero por comprensin y el segundo por extensin, contienen
los mismos elementos.
c) Los conjuntos:
{ } 12 7 , 5 , 7 , 4 , 5
y
{ } 12 , 7 , 5 , 4
son iguales. El primer conjunto tiene los
mismos elementos del segundo, ya que los elementos que se repiten se toman en
cuenta una sola vez.
d) Los conjuntos
{ } , 7 , 4 , 5 , 12
y
{ } 12 , 7 , 5 , 4
son iguales, no importa el
orden en el cual se escriben los elementos.
e) Los conjuntos:
{ } 12 , 7 , 5 , 4
y
{ } 12 , 7 , 6 , 5 , 4
no son iguales porque no poseen los mismos
elementos. El segundo conjunto contiene a 6, mientras que el primero no.
86
I*'aldad e In%l'si(n entre Con?'ntos. Artculo
no publicado (p.1). Caracas.
RELACI!N DE INCLUSI!N
Esta relacin se denota por el signo "
"se lee "incluido o contenido en y se dice que un

conjunto ( est incluido en el conjunto ) cuando todos los elementos de ( pertenecen a ),
esta definicin se puede escribir formalmente utilizando la simbologa que se conoce hasta
ahora, de la siguiente forma:
( ) ( ) B x A x B A
otra forma de leer
B A
es "( es subconjunto de ).
Por el contrario, B A cuando existe por lo menos un elemento de ( que no pertenece a
).
Es importante sealar que si todos los elementos de un conjunto A pertenecen tambin a
un conjunto B, pero no todos los elementos del conjunto , pertenecen a A, es decir,
B A , entonces se dice que A es 'n s'@%on?'nto roio de B ) H'e la in%l'si(n es
estri%taA esto se denota de la siguiente forma:
B A
Proiedades de la In%l'si(n2
,- Para cualquier conjunto B, se tiene que:
B
.
.- Propiedad Reflexiva. Todo conjunto es subconjunto de si mismo, es decir:
A A
, en efecto,
A x . -
, se tiene, por supuesto, que A x
/- Propiedad Antisimtrica. Si un conjunto esta incluido en otro y viceversa entonces los
conjuntos son iguales, es decir:
( ) B A A B B A
.
observe que:
( ) ( ) A x B x A B y B x A x B A
entonces todos los
elementos de A estn en B y todos los elementos de B estn en A.
0- Propiedad Transitiva. Considere tres conjuntos (, ) y * uno contenido dentro del otro,
es decir:
C B y B A
Esto implica:
C A
por lo tanto la propiedad queda enunciada as:
( ) C A C B y B A
87
LECTURA N> 332 OTRAS RELACIONES ENTRE
CONJUNTOS
CONJUNTOS DIS<UNTOS/
Se dice que dos conjuntos A y B son disyuntos si no tienen elementos comunes.
En cambio, llamaremos solapados a los conjuntos que, sin estar uno incluido en el otro,
tienen elementos comunes.
E?emlos2
a) Si A = { 1, 3, 5, 7 } y , = { 2, 4, 6 } , A y , son disyuntos/
b) Si A = { 1, 2, 3, 4, 5, 6 } y , = { 5, 6, 7, 8 } , A y , son solapados/
c) Si A es el conjunto de los nmeros pares y , el de los impares, A y , son
disyuntos.
Observe los siguientes pares de conjuntos:
M N M' N'

B A
Fig. 1.
Fig. 2.
M N

A
M'
Fig. 3.

B
88
A
!
1
!
2
Burgos, A. (1971). Ini%ia%i(n a la Matem.ti%a
Moderna. Selecciones Cientficas. Tercera
Edicin. (p. 23-24). Madrid.
Fig. 4
d) A y , son disyuntos en las figuras 1 y 2
e) A y , son solapados en las figuras 3 y 4
Observando la figura 5, donde I es el conjunto de puntos del circulo O, C el
conjunto de puntos de la circunferencia del circulo O y E es el conjunto de puntos
exteriores a la circunferencia;
FG. 5.
Fig. 5
f) I y C son solapados.
*) I ) E son dis)'ntos/
V) E ) C son dis)'ntos/
LECTURA N> 342 OPERACIONES ENTRE
89
A
!
1
!
2
"
!
#
C
CONJUNTOS
Las operaciones entre conjuntos son formas especficas de combinar conjuntos para
formar otros conjuntos. Estas operaciones junto con sus propiedades constituyen un
sistema lgico de construccin y conducen a la teora de conjunto como un lgebra, o sea
como un sistema matemtico.
En particular, se tratan las operaciones de interseccin, unin, diferencia y
complementacin, las cuales pueden ser representadas a travs de los diagramas de
Venn. A menudo se piensa que las operaciones entre conjuntos son tiles estrictamente
en el campo formal de las matemticas, sin embargo, estas combinaciones se utilizan de
forma casi inconsciente en la vida real para tomar decisiones en determinadas situaciones,
una muestra de esto es el siguiente ejemplo:
Una estudiante de la UNEFA est decidiendo cual de dos libros va a comprar para el
curso de Razonamiento Lgico, para ello revisa la tabla de contenido y la compara con su
programa.
El programa de Razonamiento Lgico es el siguiente:
Unidad 1: LGCA PROPOSCONAL
(a) Proposiciones, (b) Conectivos Lgicos, (c) Tablas de Verdad, (d) Tautologas y
contradicciones
Unidad 2: LEYES DE LA LGCA :
(e) Leyes de nferencia, (f) Leyes de Equivalencia, (n) Falacias
Unidad 3: DEMOSTRACONES MATEMTCAS
(g) Mtodos Deductivos, (h) Mtodos nductivos
Unidad 4: TEORA DE CONJUNTOS
(i) Conceptos bsicos, (j) Diagramas de Venn, (k) Operaciones entre conjuntos,
(m) Relaciones entre conjuntos

En cada uno de los libros identificaremos con la letra correspondiente a cada tema. La
tabla de contenidos de los libros es la siguiente:
LI,RO 1 LI,RO 3
90
Gmez, Teresa / Gonzlez, Neida / Lorenzo
Juana. (2007). I*'aldad e In%l'si(n entre
Con?'ntos. Artculo no publicado (p.1). Caracas.
( a ) Proposiciones ( a ) Proposiciones
( b ) Conectivos lgicos ( b ) Conectivos lgicos
( c ) Tablas de Verdad ( c ) Tablas de Verdad
( d ) Tautologas y contradicciones ( g ) Mtodo Deductivo
( e) Leyes de Equivalencia ( h ) Mtodo nductivo
( f ) Leyes de nferencia ( i ) Conjuntos: Conceptos Bsicos
( i ) Conjuntos: Conceptos Bsicos ( k ) Operaciones entre conjuntos
( k ) Operaciones entre conjuntos ( j ) Diagramas de Venn
( m ) Relacin entre conjuntos
Ahora, para tomar una decisin, la estudiante se hace las siguientes preguntas:
1. Cules son los contenidos que tienen en comn los libros?
2. Cules son los contenidos no comunes entre los libros?
3. Cules contenidos del programa no se encuentran en ninguno de los libros?
4. Sera necesario comprar ambos libros?
Para tomar una decisin sobre cul sera el mejor libro, para comprarlo, vamos tratar de
responder estas preguntas usando las operaciones entre conjuntos, que sern
definidas a continuacin:
1) Definimos el conjunto universal: Para este caso, el universo al cual nos queremos
referir es el contenido programtico de la materia Razonamiento Lgico. El
conjunto universal lo representaremos por las letras de cada uno de los temas
y lo representamos en el siguiente rectngulo :

91

# J 3
a H
m c
d b
e i '
n
INTERSECCI!N
En el ejemplo anterior suponga que tomamos el contenido de cada libro como un
conjunto. Los contenidos del libro 1 forman el conjunto
{ } m k i 1 e d c b a A , , , , , , , ,
, los
contenidos del libro 2 forman el conjunto
{ } k 2 i 3 * c b a B , , , , , , ,
y el programa de la
ctedra el conjunto universal
{ } m k 2 i 3 * n 1 e d c b a , , , , , , , , , , , ,
, entonces observe
que, los contenidos que coinciden entre los libros son
K K y , K K , K K , K K , K K k i c b a
, este es un nuevo
conjunto y se llama conjunto interseccin, grficamente se visualiza de la forma siguiente:

Observe que grficamente cada conjunto recibe un rayado o marca particular que los
diferencia y que la interseccin es la zona doblemente rayada o marcada.
La interseccin se simboliza por , en este caso la operacin ( interceptado con )
queda escrita de la siguiente forma:
{ } k i c b a B A , , , ,
En general la interseccin de conjuntos se define como:
Proiedades de la interse%%i(n/
1) Propiedad Conmutativa, es decir: A B B A
En efecto:
{ } B x A x x B A 0
{ } A B A x B x x 0
92

# J 3
a H

m c
d b
e i '
n
Sean A y B sbcon2ntos del con2nto ni+ersal5 llamaremos intersecci6n
de A con B al con2nto de todos los elementos comnes a ambos
con2ntos5 y se espec71ica por comprensi6n como si*e8
{ } B x A x x B A 0
2) Propiedad Asociativa, es decir:
( ) ( ) C B A C B A
En efecto:
( ) ( ) { } C x B A x x C B A 0

{ } C x B x A x x y 0

( ) { } ( ) C B A C B x A x x 0
Proiedades de la interse%%i(n ) de la in%l'si(n.
1. Un conjunto esta contenido en otros dos si, y solo si, esta contenido en la
interseccin de ambos, es decir 0
B A 9 B 9 y A 9
Dire%to. Comenzaremos por probar que:
B A 9 B 9 A 9 y
En efecto, todo
B A x B x A x 9 x y
Luego:
& B A 9
Re%Jro%o. Vamos a probar ahora que
B 9 A 9 B A 9 y
En efecto, todo:
B x A x B A x 9 x y
Luego:
B 9 A 9 y
2/ 1n conjunto est con contenido en otro si, 2 slo si, la interseccin de ambos es igual
al primero de los conjuntos, es decir0
& A B A B A
Esta se conoce como Proiedad de ConEormidad/
& A B A B A
En efecto, todo: A x B A x .
nversamente, como
, B A
todo B A x A x
Luego: A B A
Re%iro%o. Probaremos ahora que:
B A A B A
En efecto, como la hiptesis se sigue que
, B A A
todo B A x A x .
Ahora bien, si B x B A x
Luego:
B A
Consecuencias. Puesto que para todo conjunto A se tiene:

A A A A y ,
En virtud de la segunda propiedad, se tendrn las siguientes nuevas propiedades
conocidas como -dem oten%ia
3)
A
4) A A A 5) A A
93
Dejamos como ejercicio al lector la demostracin de la siguiente propiedad:
6) B A B A
UNI!N
La unin de conjuntos se simboliza por se define como:
.
En el ejemplo que tratamos al inicio de esta lectura podemos encontrar que para los
conjuntos:
{ } m k i 1 e d c b a A , , , , , , , ,
y
{ } k 2 i 3 * c b a B , , , , , , ,
{ } m k 2 i 3 * 1 e d c b a B A , , , , , , , , , , ,
grficamente;
Para la unin la solucin mostrada en el diagrama de Venn siempre ser toda la zona que
se encuentre rayada o marcada.
Proiedades de la Uni(n2
1). Propiedad conmutativa: A B B A
En efecto:
{ } B x A x x B A 0

{ } A B A x B x x 0
94

# J 3
a H

m c
d b
e i '
n
Sean A y B sbcon2ntos del con2nto ni+ersal5 llamaremos ni6n de A
con B al con2nto de los elementos del con2nto ni+ersal qe pertenecen
por lo menos a no de los sbcon2ntos A y B5 y se espec71ica por
comprensi6n como si*e8
{ } B x A x x B A 0
2). Propiedad asociativa:
( ) ( ) C B A C B A
En efecto:
( ) ( ) { } C x B A x x C B A 0
{ } C x B x A x x 0

( ) { } ( ) C B A C B x A x x 0
Proiedades de la Uni(n ) de la In%l'si(n2
1). 3os conjuntos estn incluidos en otro si, 2 slo si, la unin de aquellos est contenida
en #ste:
9 B A 9 B 9 A y

9 B A 9 B 9 A y
En efecto, por estar:

, y 9 B 9 A
Se tiene entonces,
(a) Si 9 x A x , si A x , tambin B A x ,
por lo tanto para todo
9 A x
, entonces

9 x B A x y
.
Luego

9 B A
.
(b) Si 9 x B x , si B x , tambin B A x ,
por lo tanto para todo
9 B x
, entonces

9 x B A x y
.
Luego

9 B A
.
La demostracin del Reciproco
9 B 9 A 9 B A y
queda a cargo del lector.
2). Un conjunto est con cotenido en otro si, y slo si, la unin de ambos es igual al
segundo de los conjuntos:
B B A B A
. Se conoce como la Proiedad de ConEormidad
Dire%to/ Comenzaremos por probar que:

B B A B A
En efecto, todo
95

B x A x B A x $
( por definicin)
Pero como
, B A
para todo A x se tiene B x ,
por lo tanto
B B A
(i)
Por otro lado, para todo
B A x B x
y, por tanto,
B A B
(ii)
Por lo tanto, por (i) y (ii) que:
B B A
La demostracin del reciproco
B A B B A
queda a cargo del lector.
Visto las propiedades anteriores se concluye que para todo conjunto A se tiene:

A y A A A,
En virtud de esta propiedad 2 se tendrn las siguientes nuevas propiedades conocidas
como -dem oten%ia:
3)
A A
4) A A A .
5) A
Dejamos a cargo al lector la deduccin de la siguiente propiedad
6)
B A B A
Proiedad de la Interse%%i(n ) de la Uni(n2
1). Propiedad 3istributiva0
a.-
( ) ( ) ( ) C A B A C B A
b.-
( ) ( ) ( ) C A B A C B A

2). Propiedad de (bsorcin:
a.-
( ) A B A A

b.-
( ) A B A A

Demostrar la propiedad (2.a):
( ) A B A A
Dire%to.
Todo
( ) A x B A x A x B A A x y

Se deja al lector la demostracin del Recproco: Si
, B A x A x
96
Las relaciones de (1.a) y (2.a) nos permiten probar fcilmente la certeza de la relacin
(2.b), pues, en efecto:
( ) ( ) ( ) ( ) A B A A B A A A B A A
COMPLEMENTACI!N
La palabra complementacin nos trae la idea de completar algo, es decir, es aquella otra
parte que tiene lo que le hace falta a una parte ya dada o existente. Para definir el
complemento de un conjunto, es necesario primeramente establecer el conjunto respecto
al cual se determinar la operacin de complementacin, es decir, el conjunto de
referencia, el cual es variable.
Una vez ms centremos la atencin en el ejemplo dado al inicio de la lectura, y
observemos las diferentes situaciones para establecer el conjunto de referencia y el
complemento:
+4 *uando el conjunto de re$erencia es el 1niverso
Siendo el conjunto de referencia
{ } m k 2 i 3 * n 1 e d c b a , , , , , , , , , , , ,
, suponga que
se desea encontrar el complemento de (
( ) A
:
1. El complemento de ( es
{ } 2 3 * n , , ,
(son los elementos que le faltan a A para ser )
2. El complemento de B A es
{ } n
3. El complemento de B A es
{ } n m 2 3 * 1 e d , , , , , , ,
,4. *uando el conjunto de re$erencia es otro conjunto u operacin entre dos o ms
subconjuntos del 1niverso.
Suponga que se desea encontrar el complemento de (, si los conjuntos de re$erencia
son0
a/
{ } m k 2 i 3 * 1 e d c b a B A , , , , , , , , , , ,
, el complemento de ( es
{ } 2 3 * , ,
b/
{ } k i c b a B A , , , ,
, el complemento de ( es
{ }
La complementacin de un conjunto, supongamos A, se simboliza por
A A A
c
y , '
,
tambin se utiliza
( )
A C
, est ltima notacin es funcional debido a que indica el conjunto
de referencia y el conjunto al cual se le determinar el complemento, en este caso se lee
complemento de ( respecto al conjunto universo. Recuerde que no siempre el conjunto de
referencia es el conjunto universal.
97
En esta lectura tomaremos la notacin
( )
A C
y para cada uno de los casos sealados
arriba la operacin complemento queda simbolizada de la siguiente forma:

Cuando el conjunto de referencia es
el Universo
Cuando el conjunto de referencia es otro
conjunto u operacin entre dos o ms
subconjuntos del Universo
( )
A C
( )
( ) A C
B A
( ) B A C
( )
( ) A C
B A
( ) B A C
En general la complementacin de conjuntos se define respecto al conjunto universal y

lo haremos como sigue:
Es importante notar que la notacin
' P
utilizada para simbolizar complementacin es
muy parecida a la notacin
' p
para simbolizar la negacin de una proposicin, sin
embargo, recuerde que un caso se aplica para conjunto y en otros para proposiciones,
tenga cuidado de confundirlas.
Proiedades de la %omlementa%i(n2
1). El conjunto ( interceptado con su complemento es el conjunto vaco:
( )
A C A
En efecto, si:
( ) ( ) ( ), A C x y A x A C A x

es decir:
, A x y A x
lo cual es absurdo. Luego, ningn
x
pertenece al conjunto
A C A
y, por tanto
( )
A C A
.
(2). a unin de ( con su complemento es el conjunto universal

A C A
La deduccin de esta propiedad es bastante similar a la anterior, por lo cual la dejamos a
cargo del lector.
98
Si A es n sbcon2nto del con2nto ni+ersal 5 llamaremos complemento de
A al con2nto 1ormado por los elementos de qe no pertenece a A: y se
espec71ica por comprensi6n como si*e8
( ) { } A x x A C
0
3). El complemento del conjunto vac-o es el conjunto universal :
( )
C
En efecto:

( ) { }
x x x C 0
4). El complemento del conjunto universal es el conjunto vac-o 0
( )
C
cargo del lector
5). El complemento del complemento de un conjunto es el conjunto 0

( )

A C C
Esta 5propiedad se conoce como inolucin o doble complementacin
En efecto:

( ) ( ) ( ) { } A A C x x x A C C

0

( ) ( ) A C B C B A

6). ( est incluido en ) si 2 solo si el complemento de ) est incluido en el
complemento de ( 0
( ) ( ) A C B C B A

( ) ( ) A C B C B A

En efecto, todo
( ) , B x B C x
Pero como
, B A

( ) A C x A x B x

Luego
( ) ( ) A C B C

Se de?a la %omro@a%i(n del re%Jro%o

( ) ( ) B A A C B C

a cargo del lector
Le)es de Mor*an
7). El complemento de la interseccin es la unin de los complementos:
99

( ) ( ) ( ) B C A C B A C

( )
B A C
( ) { } B A x x x 0

( ) ( ) ( ) { } B C x A C x x x

0

( ) ( ) { } ( ) ( ) B C A C B C A C x x x

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

( ) ( ) ( ) B C A C B A C

cargo del lector
DI+ERENCIA
La diferencia entre conjunto se denota por "( 6 ) y en el ejemplo inicial de la lectura se
puede observar que
{ } m 1 e d B A , , ,
, como habr visto esta operacin se refiere al
conjunto formado por aquellos elementos que estn en ( pero no en ), grficamente
representa la zona rayada como se muestra en el siguiente diagrama de Venn.
Si quisiramos obtener ) 6 ( esto seran los elementos de ) que no estn en ( , es
decir,
{ } 2 3 * A B , ,
, es importante observar en este punto que la diferencia de
conjuntos no cumple con la propiedad conmutativa, es decir A B B A . Grficamente
representa la zona rayada como se muestra en el siguiente diagrama de Venn:
100
n

# J 3
a H

m c
d b
e i '
A
B
n
A
B

# J 3
a H
m c
d b
e i '
En general la diferencia de conjuntos se puede definir como:
Proiedades de la diEeren%ia
1). a di$erencia de ( 6 ) es igual a la interseccin de ( con el complemento de )0

( ) B C A B A

En efecto:
{ } B x A x x B A 0
( ) { } ( )
B C A B C x A x x 0
La igualdad (1) nos pone de manifiesto la relacin de dependencia que existe entre la
operacin diferencia y las de interseccin y complementacin (ver la prxima operacin),
sealndonos de paso la posibilidad de adoptar dicha igualdad (1) como definicin de
diferencia.
2). a di$erencia de ( 6 ( es igual al conjunto vac-o0
A A
En efecto:
( )
A C A A A
3). a di$erencia entre un conjunto dado 2 el conjunto vac-o es igual al conjunto dado0
A A
En efecto:
( ) A A C A A

4). a di$erencia entre el conjunto vac-o 2 un conjunto dado es igual al conjunto vac-o0
A

101
Sean A y B sbcon2ntos del con2nto ni+ersal5 llamaremos di1erencia

de A con B al con2nto de todos los elementos qe se encentran en A
(sstraendo) y no en B (minendo) 5 y se espec71ica por comprensi6n como
si*e8
{ } B x A x x B A 0
En efecto:
( )
A C A
(ver propiedad 1)
5). a di$erencia entre el conjunto universal 2 un conjunto dado es igual a complemento
del conjunto dado0
( ) A C A

En efecto:
( ) ( ) A C A C A

6). a di$erencia entre un conjunto dado 2 el conjunto universal es igual al conjunto vac-o0
A
En efecto:
( )
A C A A
7). El complemento de la di$erencia es igual a la unin del complemento de ( con )0
( ) ( ) B A C B A C

En efecto:
( ) ( ) ( ) ( ) ( ) ( ) B A C B C C A C B C A C B A C
,
_

8). e2es de "organ0
(a/
( ) ( ) ( ) % A B A % B A

En efecto:

( ) ( ) ( )

% C B C A % B C A % B A

( ) ( ) { } % C x B C x A x x

0

{ } % x B x A x x 0

{ } B x A x x 0
y
{ } ( ) ( ) % A B A % x A x x 0
(b/
( ) ( ) ( ) % A B A % B A

En efecto:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) % C A B C A % C B C A % B C A % B A

( ) ( ) % A B A
(9) L a di$erencia de ( 6 ) es igual al complemento de ) menos el complemento de (0
( ) ( ) A C B C B A

En efecto:
{ } B x A x x B A 0

( ) ( )
'

B C x A C x x 0
102

( ) ( ) { } ( ) ( ) A C B C A C x B C x x

0
(10)
( ) ( ) % B A % B A
En efecto:
( ) ( ) { } % x B A x x % B A 0

{ } % x B x A x x 0

( ) ( ) ( ) % A B A % B A
(11)
( ) ( ) ( ) % A B A % B A
En efecto:
( ) ( ) ( ) ( )

% B C A % B C A % B A

( ) ( ) ( ) ( ) ( )& % A B A % A B C A
(12)
( ) B A B A A
En efecto:
( ) ( ) ( ) ( ) B A B A ; B A A A B A A
(13)
( ) ( ) ( ) A % B A % B A
En efecto:
( ) ( ) ( ) ( ) ( ) ( ) % C A B A % C B A % B A

( ) ( ) ( ) ( ) ( ) A % C B A A % C B A

( ) ( )& A % B A
(14) Propiedad 3istributiva0
( ) ( ) ( ) % A B A % B A

(15)
B A B A

SUMA ,OOLEANA O DI+ERENCIA SIMETRICA
La Suma Booleana o tambin llamada diferencia simtrica de dos conjuntos cualesquiera
( y ), se simboliza por el signo "W y $ y la suma booleana de ( con ) queda escrita
de la forma siguiente: A B.
103
En general la suma booleana se define como:
De acuerdo a la definicin anterior tenemos la igualdad

( ) ( ) ( ) ( ) A B B A B A B A B A
Recordando el ejemplo inicial de esta lectura, en el cual
{ } m k i 1 e d c b a A , , , , , , , ,
y
{ } k 2 i 3 * c b a B , , , , , , ,
, entonces
B A { } m 2 3 * 1 e d , , , , , ,

E?emlos2
a) Si A
{ } 5 , 4 , 3 , 2 , 1
y B
{ } 8 , 7 , 6 , 5 , 4
,

( ) ( ) { } { } { } 8 , 7 , 6 , 3 , 2 , 1 8 , 7 , 6 3 , 2 , 1 A B B A B A
b) Si A
{ } 4 , 3 , 2 , 1
y B
{ } 8 , 7 , 6
,

( ) ( ) { } { } { } 8 , 7 , 6 , 4 , 3 , 2 , 1 8 , 7 , 6 4 , 3 , 2 , 1 A B B A B A
c) Si A
{ } 6 , 5 , 4 , 3 , 2 , 1
y B
{ } 5 , 4 , 3
,

( ) ( ) { } { } { } 6 , 2 , 1 , 6 , 2 , 1 A B B A B A
Proiedades de la S'ma ,ooleana o DiEeren%ia SimLtri%a2
1).
B A B A B A
En efecto:
( ) ( ) ( ) ( ) [ ] B A A B B A A B B A B A

( ) ( ) [ ] B A A B A B

( ) & B A B A B A B B A B
2).
A A
3).
A A

4).
A C A

En efecto:
A C A A A A

5).
( ) ( ) ( ) ( ) ( ) B C A C B A B A C

6). Propiedad *onmutativa:
A B B A

7). Propiedad (sociativa:
( ) ( ) C B A C B A

104
Sean A y B sbco2ntos del con2nto ni+ersal5 llamaremos sma booleana o
di1erencia sim<trica de A con B al con2nto de todos los elementos qe se
encentran en la ni6n de A con B a excepci6n de los qe est=n en la
intersecci6n de A con B5 y se especi1ica por comprensi6n como si*e8
( ) ( ) { } B A x B A x x B A 0
8). Propiedad 3istributiva:
( ) ( ) ( ) C A B A C B A

9).
( ) ( ) ( ) [ ] C B A C % B A % B A

10).
( ) ( ) ( ) ( ) ( ) % C B % C A C B A

11).
( ) ( ) ( ) ( ) ( ) % C B C A % B A % B A

E?er%i%ios2
1. Si
{ } 9 , 8 , 7 , 6 , 5 , 4 , 3 , 2 , 1 , 0
,
{ } 9 , 4 , 3 , 2 , 1 , 0 A
,
{ } 6 , 5 , 4 , 3 , 2 B
y
{ } 9 , 7 , 5 , 4 , 3 %
, se
pide: determinar las operaciones siguientes y representar en un da digrama de Venn
los conjuntos y dicha operaciones:
(a)
( ) % B A
(b)
( ) % B A
(c)
( ) ( ) A C % C
% B A

2. Utilizando diagramas de Venn verificar la relacin:

( ) ( ) ( ) % A B A % B A
3. Utilizando las definiciones y propiedades verifique la igualdad
( ) A B A
4. Si es el conjunto de los empleados de un ministerio, en el que supondremos no
hay viudos-as ni divorciados-as, (, ), 3, E y 7 respectivamente, son los conjuntos
de hombres casados, hombres solteros, empleados (hombres o mujeres) con ttulo
universitario, mujeres casadas y mujeres solteras. Se pide:
(a) Completa la siguiente representacin grfica de cada uno de estos
conjuntos:
(b) Expresar como una operacin los siguientes enunciados:
b. 1.- Todos los hombres sin ttulo
b. 2.- Todos los empleados solteros, casadas y casados sin ttulo
b. 3.- El conjunto vaco
(c) Expresar con palabras la operacin entre conjunto:
105
"
olteros
Lombres
c.1.- ( 6 * c.,.4
( ) B A
c.8.4 B A c.4.
( ) B A C
%

.
LECTURA N> 352 APLICACIONES DE LAS
OPERACIONES ENTRE CONJUNTOS
En los siguientes ejercicios se evidencia la utilidad que tienen las operaciones de
conjuntos para resolver situaciones de la vida cotidiana, proporcionando a cada individuo
que la utiliza el ejercicio mental que se requiere para obtener la habilidad en la resolucin
de problemas, ejercitando de esta forma la observacin, la cual nos permite extraer
informacin necesaria y ms an relacionarlas de forma coherente para llegar a la solucin
de las situaciones que se plantean como problemas o mas bien como retos.
Pro@lema 12
A un grupo de estudiantes de la UNEFA, quienes tienen por actividad complementaria
visitar diferentes lugares del pas, se les pregunta acerca de su gusto para visitar los
siguientes parques nacionales: Sierra de San Lus (Edo. Falcn), Sierra Nevada (Edo.
Mrida) y Mochima (En Sucre), a cada grupo de respuesta lo identificaremos con una
letra al lado, la informacin obtenida es la siguiente:
a) A 33 estudiantes slo les gusta El
Parque Nacional Sierra de San Lus
i. A 15 estudiantes les
gusta los Parques Nacionales Sierra
de San Lus y Mochima
b) (b) A 32 estudiantes slo les gusta
El Parque Nacional Sierra Nevada
c) A 14 estudiantes les gusta los
Parques Nacionales Sierra Nevada y
Mochima
i. A 28 estudiantes slo
les gusta El Parque Nacional Mochima
d. A 5 estudiantes les gusta por igual
los Tres
i& A 11 estudiantes les
gusta los Parques Nacionales Sierra
de San Lus y Sierra Nevada
e) A 7 estudiantes no les gusta
ninguno de estos Parques Nacionales
Utilizando esta informacin sobre las preferencias de los estudiantes por los Parques
Nacionales, responde las siguientes preguntas:
a) Cul es el nmero total de estudiantes encuestados?
b) A cuntos estudiantes le gustara El Parque Nacional Mochima?
c) A cuntos estudiantes les gustara dos de estos Parques?
106
Gmez, Teresa / Gonzlez, Neida / Lorenzo Juana.
(2007). Ali%a%iones de las Oera%iones entre
Con?'ntos. Artculo no publicado (p.1-3). Caracas.
Res'estas2
A simple vista parece fcil responder a la primera pregunta sumando las ocho cifras dadas
para cada grupo de respuesta, pero no es cierto, este procedimiento no basta, pues
algunas respuestas estn solapadas, obsrvelo en la siguiente figura:
Entonces, consideremos que los 33 estudiantes a quienes les gusta El Parque Sierra de
San Luis no deben ser colocados dentro de la regin identificada con a, pero si deben ser
distribuidos en las regiones a, d, e y !, de tal forma que sea consistente con la informacin
dada. Como en un principio, no sabemos como distribuir a los 33 estudiantes a quienes
les gusta El Parque Sierra de San Lus, buscamos la informacin ms fcil de manejar.
Por lo tanto los 11 a quienes les gusta Sierra de San Lus y Sierra Nevada deben ir en
las regiones d y !. Como la regin ! ya contiene 5 estudiantes es fcil conocer que en
d hay 6, restando 11 5 = 6. Como hay 15 estudiantes a quienes les gusta Sierra de
San Lus y Mochima (regiones e y g) y conocemos cuantos hay en !, obtenemos e
restando 15- 5 = 10, hay 10 estudiantes en la regin !. Mediante razonamientos similares,
107
3
a
e
*
d 1
b
c
$oc%ima
&ierra Nevada
&ierra de
&an 'uis
2os solapamientos -intersecciones. entre
unos 3ustos y otros estGn representados
por las si3uientes letras, d, e, f y g &
7
3
a
e
5
*
d 1
b
c
$oc%ima
&ierra Nevada
&ierra de
&an 'u(s
En este caso tomaremos el nmero ms
pequeo en la lista "5 estudiantes a
quienes les gustan los tres lugares este
grupo de alumnos deben ser colocados
en la regin ! (interseccin de los tres
conjuntos) y los 7 a los que no les gusta
ninguno se ubican en la regin ", como
muestra el diagrama al lado derecho de
este prrafo
a cada regin se le asignan de forma correcta los nmeros correspondientes, como se
muestra en el siguiente diagrama de Venn:

Ahora podemos responder a cada una de las preguntas planteadas originalmente:
Puesto cada estudiante en la encuesta fue colocado en exactamente en una regin de
la figura 19, el nmero total de estudiantes encuestados es la suma de los nmeros
en cada regin:
a W b + c + d + e W # + ! + " = 12 + 11 + 7 + 6 + 10 + 9 + 5 + 7 = 65
Se encuestaron a 65 estudiantes.
b) A cuntos estudiantes le gustara nicamente El Parque Nacional Mochima?
Un estudiante a quien slo le gusta Mochima, no le gusta Sierra Nevada ni Sierra de
San lus, este tipo de estudiante se encuentra en la regin c, donde se observa que
slo a 4 estudiantes les El Parque Nacional Mochima.
c) A cuntos estudiantes les gustara dos de estos Parques?
A los estudiantes de las regiones d, e y # les gusta exactamente dos parques, si
sumamos los nmeros en cada regin obtenemos: 10 + 6 + 9 = 25 estudiantes.
Comentario so@re las res'estas2 En el problema que se acaba de resolver se observa
que para la respuesta de cada una de las preguntas se utilizaron las operaciones entre
conjuntos, lo cual muestra la importancia de manejar las definiciones y conceptos de
dichas operaciones. Para la primera pregunta se aplic la unin como una operacin de
conjunto como sigue
{ } { } { } Moc3ima ?e%ada ierra 2u)s an de ierra
. Para la
segunda pregunta se evidencia la operacin de diferencia de conjuntos quedando de la
forma
{ } { } { } [ ] 2u)s an de ?e%ada Sierra Sierra Moc3ima
. Y en para la tercera pregunta
la operacin utilizada fue la interseccin y unin de conjuntos, como sigue:
{ } { } [ ] { } { } [ ] { } { } [ ] Moc3ima Sierra Sierra 2u)s an de ;oc'ima ?e%ada ierra ?e%ada ierra 2u)s an de
108
7
3
12
a
10
e
5
*
6
d
9
1
12
b
4
c
$oc%ima
&ierra Nevada
&ierra de
&an 'uis
f -ierra ?e%ada y ;oc'ima. M 14 N g M 14 N 5 M 9
a -nicamente ierra de an 2u)s.M 331 d N g 1 e M 12
b -nicamente ierra ?e%ada.M 321 d N g 1 f M 12
c -nicamente ;oc'ima.M 28 1 g 1 e 1 fM 4
Pro@lema 32
El Coordinador del ciclo bsico de ingeniera de la UNEFA aplic una encuesta en el
primer y segundo semestre para conocer el avance de sus alumnos en el rea numrica:
Fundamentos de Matemtica, Razonamiento Lgico y Geometra Analtica. Los resultados
fueron los siguientes:
a) 4300 estudiantes slo han aprobado
matemticas
b) 2500 matemticas y geometra
analtica
c) 5800 estudiantes slo han aprobado
Razonamiento lgico
d) 2800 razonamiento y geometra
analtica
e) 6500 estudiantes slo han aprobado
Geometra Analtica
f) 2010 alumnos aprobaron las tres
g) 1900 Matemticas y Razonamiento
lgico
h) 956 alumnos no aprobaron ninguna
de las materias
Utilizando esta informacin, responda las siguientes preguntas:
b) Cuntos estudiantes aprobaron Fundamentos de Matemtica?
c) Cuntos estudiantes aprobaron dos de estas materias?
d) Qu tipo de decisiones puedes tomar con esta informacin
LECTURA N> 362 NXMERO DE ELEMENTOS DE UN
CONJUNTO
En lecturas anteriores se han resuelto ejercicios del quehacer diario, mostrando la
aplicabilidad de las operaciones entre conjuntos, y cuya resolucin se realiza por simple
inspeccin de la informacin dada, por supuesto, con el apoyo de diagramas de Venn y en
otros casos con tablas y otros, pero sin disponer de una frmula que permita, en todo
caso, determinar nmero de elementos de un conjunto o de varios conjuntos y de los
conjuntos resultantes de las operaciones establecidas entre los mismos.
La notacin para nmero de elementos de un conjunto es la siguiente: n( conjunto).
109
NMmero de Elementos de 'n Con?'nto.
Artculo no publicado (p.3). Caracas.
Por ejemplo: n()),
( ) B A n
,
( ) B A n
y se lee nmero de elementos del conjunto (,
nmero de elementos del conjunto ( interceptado con el conjunto ), y nmero de
elementos del conjunto ( unido con el conjunto ), respectivamente.
Para determinar el nmero de elementos de la unin de dos conjuntos se usa la siguiente
frmula:
( ) ( ) ( ) ( ) B A n B n A n B A n +
()
Es importante sealar que al calcular el nmero de elementos de la unin de dos
conjuntos ( y ), cuando contamos el nmero de elementos en (, n((/ 2 el nmero de
elementos en ), n()/, 2 los sumamos, el nmero de elementos de la interseccin,
( ) B A n
, se ha contado dos veces, una vez cuando contamos n((/y otra vez cuando
contamos el n()/, ya que esos elementos pertenecen a ambos conjuntos, por lo que en la
frmula se restan una vez. Con el nmero de elementos de la unin de ( con ), nos
estamos refiriendo al nmero de elementos que estn en ( o en )
En caso de que los dos conjuntos sean disjuntos la frmula quedara:
( ) ( ) ( ) B n A n B A n +
Ya que la
B A
, luego
( ) 0 B A n
.
E?emlo N> 12
Sea el conjunto universal
{ } m k 2 i 3 * n 1 e d c b a , , , , , , , , , , , ,
y sean los conjuntos
{ } m k i 1 e d c b a A , , , , , , , ,
,
{ } k 2 i 3 * c b a B , , , , , , ,
y
{ } n C
, entonces observa
que:
( ) ( ) + B n A n
9 + 8 = 17,
estamos contando dos veces los elementos comunes que son
( ) B A n
= 5, luego hay que
restarlos para tener el nmero de elementos real de la unin de ( con ). que seran 12.
( ) ( ) ( ) ( ) B A n B n A n B A n +
= 9 + 8 - 5= 12
Vamos a calcular ahora el nmero de elementos de ( unin *,
( ) ( ) ( ) ( ) C A n C n A n C A n +
= 9 + 1 + 0 =10
el
( ) ( ) ( ) C n A n C A n +
, debido a que ( y * son conjuntos disjuntos
La frmula dada para dos conjuntos puede ser generalizada para tres conjuntos de la
siguiente manera:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) C B A n C B n C A n B A n C n B n A n C B A n + + +
()
Cuando hablamos de
( ) C B A n
nos referimos al nmero de elementos que estn en
( o en ), o en *.
Procedemos a realizar el clculo del nmero de elementos de la unin de tres conjuntos,
de manera anloga al realizado para el nmero de elementos de la unin entre dos
conjuntos, a saber: primero contamos los elementos de cada conjunto, y luego los
110
sumamos (
( ) ( ) ( ) C n B n A n + +
). Restamos a la suma anterior el nmero de elementos que
se han contado dos veces, los cuales son:
( ) B A n
,
( ) C A n
, y
( ) C B n
, es decir
( ) ( ) ( ) [ ] C B n C A n B A n + +
,
sin embargo debemos incorporar la interseccin de los tres conjuntos (, ) y ), ya que
esos elementos se incorporaron tres veces cuando se realiz la suma de:

( ) ( ) ( ) C n B n A n + +

y posteriormente se descontaron tres veces cuando efectuamos
( ) ( ) ( ) [ ] C B n C A n B A n + +
,
por lo que debemos sumar C B A una vez.
E?emlo N>32
Sean los conjuntos:
{ } 7 , 5 , 1 , 1 , 2 , 3 A
,
{ } 9 , 7 , 5 , 3 , 2 , 1 , 4 B
y
{ } 7 , 3 , 1 , 1 , 3 , 6 C
.
De manera directa se obtienen los siguientes conjuntos:
{ } 7 , 5 , 1 B A
,
{ } 7 , 1 , 1 , 3 C A
,
{ } 7 , 3 , 1 C B
,
{ } 7 , 1 C B A
y
{ } 9 , 7 , 5 , 3 , 2 , 1 , 1 , 2 , 3 , 4 , 6 C B A
De lo anterior tenemos:
n((/9:, n()/9;, n(*/9:,
( ) 3 B A n
,
( ) 4 C A n
,
( ) 3 C B n
,
( ) 2 C B A n
,
reemplazaremos estos valores en la ecuacin y tenemos:
( ) 11 2 3 4 3 6 7 6 + + + C B A n
,
este valor puede ser comprobado si contamos los elementos de
{ } 9 , 7 , 5 , 3 , 2 , 1 , 1 , 2 , 3 , 4 , 6 C B A
, que son 11.
E?er%i%ios2
1/ En una encuesta realizada a 2.000 personas para saber sus preferencias por tres
teatros de Caracas, se obtuvieron los siguientes resultados:
580 personas asistan al Teatro Nacional
840 personas asistan al Teatro Municipal
920 personas asistan al Teatro Teresa Carreo
260 personas asistan al Teatro Nacional y al Teatro Municipal
220 personas asistan al Teatro Nacional y al Teatro Teresa Carreo
300 personas asistan al Teatro Municipal y al Teatro Teresa Carreo
111
100 personas asistan al Teatro Nacional, Teatro Municipal y al Teatro Teresa
Carreo
Se pregunta:
a) Cuntas personas asisten al Teatro Nacional o al Teatro Municipal, o al Teatro
Teresa Carreo?
@) Cuntas personas no van a ninguno de los tres teatros?
112

Lógica Matematica

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Lógica Matematica

Încărcat de

Drepturi de autor:

Formate disponibile

Vicealmirante Franklin M.

; por tanto, la proposicin

; por tanto, la proposicin

El condicional R est compuesto de las proposiciones

Esta tabla nos indica que:

LECTURA N> 92 CUANTI+ICADORES

Es importante destacar, adems, que se cumple

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

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

La implicacin correspondiente es:

Si la conjuncin de dos proposiciones es verdadera, podemos obtener, como conclusin,

De esa forma queda demostrado que el anterior razonamiento es vlido.

(+ala%ia del Re%Jro%o)

el cual, es un razonamiento vlido, de acuerdo al P.P.

b = a' a (siendo a' un nmero natural)

c= b' b (siendo b' un nmero natural)

[ (b = a' a ) (c= b' b )], a',b' son nmeros Nos. naturales.

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

el cual es un razonamiento vlido, de acuerdo al P.P.

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

n m = 2(km) (propiedades conmutativa y Asociativa)

n m = 2k' (k' es un entero, tal que, k' = km)

b) Si suponemos ahora que para cualquier valor de k , k

Aplicando la raz cuadrada en ambos lados obtenemos

Pero 1 i (nmero imaginario) y

es un conjunto sin elementos;

(letra griega mayscula p.i/.

"se lee "incluido o contenido en y se dice que un

En general la complementacin de conjuntos se define respecto al conjunto universal y

Se de?a la %omro@a%i(n del re%Jro%o

Sean A y B sbcon2ntos del con2nto ni+ersal5 llamaremos di1erencia

2. Utilizando diagramas de Venn verificar la relacin:

S-ar putea să vă placă și