1

CAPTULO 1

LGICA MATEMTICA Y TEORA DE CONJUNTOS.


1.1 Introduccin a la lgica matemtica

La lgica matemtica es importante ya que es el lenguaje bsico que utilizar en su
carrera el estudiante.

El alumno pregunta frecuentemente para que me sirve, le parece que no tendr un
uso inmediato, no determina, no es futurista puede decirse que es miope, ve solo
de cerca, desea comprobar de inmediato; por ejemplo si le ofrecen un helado hoy y
3 para maana, prefiere el uno hoy.

Entre los usos destaca la capacidad que adquirir para reconocer entre
argumentos vlidos y no vlidos; saber argumentar adecuadamente; como
generalmente se dice, con lgica.

El alumno se familiarizar con un sistema axiomtico, tendr una comunicacin
inteligente y no como se escucha a veces por ejemplo no hay ningn (doble
negacin).

Podr discernir expresiones polticas; hay quienes argumentan por ejemplo: Si
gano las elecciones se terminar la corrupcin, como sinnimo o conclusin, de si
no gano las elecciones, no se terminar la corrupcin.

Debemos ser consumidores inteligentes pues la propaganda llama la atencin y
nos hace pensar que ciertas cosas ms o menos triviales son necesarias o de
primera necesidad.

En general, est dirigido a que los estudiantes superan las dificultades que se
presentan en la simbologa, en el desarrollo de procesos lgicos, as como
interpretar modelos matemticos y discernir con lgica ciertas ambigedades del
idioma.

OBJETIVOS

Determinar valores de verdad de proposiciones moleculares y la validez de
razonamientos.

Utilizar y demostrar leyes lgicas.

Emplear con propiedad la terminologa de la lgica matemtica y operar
correctamente con conjuntos

Desarrollar estndares matemticos adecuados con el clculo numrico, el
pensamiento crtico y creativo.
2

Discernir que el avance de la informtica, electrnica,etc. Se debi antes que a la
aritmtica, a la lgica.

1.2 Enunciados y proposiciones

Toda oracin que tiene sentido completo toma el nombre de enunciado; pero, los
enunciados en los que se puede decidir directamente si es verdadero o falso se
llaman enunciados proposicionales o proposiciones...

Toda proposicin debe cumplir 2 axiomas:

1
er
axioma: Debe poder adjudicarse el valor de verdad o verdadero o falso (Tercer
excluido)

2
do
Axioma: No puede ser verdadero o falso al mismo tiempo (No contradiccin).

En este curso se estudiar nicamente desde el punto de vista de la lgica
FORMAL es decir que no depende de las proposiciones sino de cmo estn
conectadas, solo sintaxis y no semntica
1
a diferencia de la lgica difusa que fue
creada con la informtica para darle un comportamiento ms humano o inteligente
con apoyo de las probabilidades. Inteligencia artificial Sistemas Expertos

Ejemplo de Enunciados:

1. La capital del Ecuador es Quito.
2. El Cotopaxi es el volcn activo ms alto del Ecuador.
3. Jefferson Prez es el mejor deportista del pas y es cuencano.
4. Cuanta emocin, cuanta angustia.
5. Dadme la libertad o dame la muerte.
6. 5 + 7 = 12.
7. El Liceo Naval es multicampen en natacin.
8. Donde est la voluntad.

De los enunciado el 1, 2, 3, 6, 7, son proposiciones mientras las dems son
enunciados.

Las proposiciones se denotan con letras minsculas y pueden ser simple y
compuestas; Una proposicin es compuesta si est formada de dos o ms
proposiciones simples unidades mediante conectivas lgicas o conectores.

Ej: Jefferson Prez es el mejor deportista del pas y es cuencano.
Los principales conectores y conectivos lgicos son:

Negacin, conjuncin, disyuncin, condicional y bicondicional.

El valor de verdad de una proposicin compuesta depende del valor de verdad de
cada proposicin simple y en funcin de la conectiva usada.


1
La lgica formal se interesa por la forma y no contenidos.
3


1.3 Conectivas lgicas. Tablas.

1.3.1 Conjuncin. ()

Se dice de dos proposiciones unidas mediante la conjuncin gramatical i y se
representa por el smbolo (); as p q, se lee p i q.

Por ejemplo: Para graduarse en la Politcnica debe ser inteligente y estudioso.
p: Para graduarse en la Politcnica debe ser inteligente
q: Para graduarse en la ESPOL debe ser estudioso.
p q. Representa a la oracin.

Adems de la palabra i en ciertos casos se puede utilizar la coma, la palabra pero o
ms .Por ejemplo;

Me fui a invitarle a pasar a mi pap pero no le encontr.
Me fui a visitarle a mi hermano ms no estuvo en casa.

Tabla de valores de verdad.

p q p q p q p V q
V V V 1 1 1
V F F 1 0 0
F V F 0 1 0
F F F 0 0 0

La conjuncin slo es verdadera si ambas proposiciones simples son verdaderas

La conjuncin tambin se la denomina Producto Lgico.





A la conjuncin se la representa como la conexin de circuitos en serie. ( graf)

1.3.2 Disyuncin. (V)

Se obtiene uniendo las proposiciones simples mediante la disyuncin gramatical o
as (p V q) se lee p o q.

La juventud actual estudia o trabaja.
e: La juventud actual estudia.
t: La juventud actual trabaja e t
En ciertos casos la coma puede sustituir a este vocablo.
Ej: La mujer actual estudia, trabaja o ayuda en casa.



0 0 0
0 1 0
1 0 1
1 1 1
= -
= -
= -
= -
4

Tabla de verdad.

La disyuncin solo es falsa cuando ambas proposiciones simples son falsas.


p q p V q p q p V q
V V V 1 1 1
V F V 1 0 1
F V V 0 1 1
F F F 0 0 0

A veces es necesario utilizar la V exclusiva ya que no admite las dos cosas a la
vez: por Ejemplo Simn Bolvar naci en Quito en Caracas. Si naci en Caracas
no pudo nacer en Quito. En nuestro caso al hablar de O consideraremos siempre
slo la o inclusiva.



1.3.3 Negacin.

La negacin es un conector que se antepone a la proposicin para cambiar el valor
de verdad de la proposicin.

Se acostumbra a expresar de varias maneras as:

Ejemplo: El Liceo Naval presenta cambios positivos en todos los aspectos (V).

Negacin: p se lee. No es verdad que el Liceo Naval presenta cambios positivos
en todos los aspectos (F) o el Liceo Naval no presenta cambios positivo en todos
los aspectos (F).

La negacin de una negacin es una afirmacin. Ley de la doble negacin.


Para negar proposiciones compuestas como p q o p V q se niega cada
proposicin y se cambia la conectiva. As:




Leyes de Morgan:

Ejemplo: Negar la proposicin: El Ecuador estuvo en pie de guerra y supo
defenderse.

g: Ecuador estuvo en pie de guerra

d: Ecuador supo defenderse.

( ) p p
( )
( ) p p q p
p p q p
. v
v .
5

Prop: g d

Negacin: g V d

Enunciado: Ecuador no estuvo en pie de guerra o no supo defenderse.

1.3.4 Condicional ().

Se forma anteponiendo la palabra si a la primera preposicin y la palabra
entonces a la segunda preposicin.

Ejemplo: Si un nmero es divisible para cuatro entonces es divisible para dos.
p: nmero divisible para 4.
q: nmero divisible para 2. p q

La primera proposicin recibe el nombre de antecedente y la segunda
consecuente.

Otros ejemplos:

Si una funcin es derivable en un punto entonces es continua en dicho punto.

El antecedente es suficiente. Es suficiente que sea derivable para que sea
continua.

El consecuente es necesario. Es necesario que una funcin sea continua para que
sea derivable.

Si es un buen esposo entonces es carioso, fiel y comprensivo, etc.

Si deseo obtener el trabajo entonces debo llevar certificado de buena conducta,
honorabilidad, experiencia mnima, etc.

La palabra si y entonces pueden ser sustituidos por otras expresiones o lo que se
dice parafraseando.

Si a = antecedente y b = consecuente a b se tiene.

- Si a entonces b
- Es suficiente a para que b
- Basta a para que b
- a implica a b
- a solo si b
- Es necesario b para que a
- b si a
- Se tiene b siempre que a
- b puesto que a
- b ya que a
- b cada vez que a

6

Ejemplo.
- Si Juan ha venido tarde entonces el jefe est enfadado.
- Es suficiente que Juan haya llegado tarde para que el jefe est enfadado.
- Basta que Juan haya llegado tarde para que el jefe est enfadado.
- El que Juan llegue tarde implica que el jefe se enfade.
- Es necesario que el jefe est enfadado para saber que Juan lleg tarde.
- El jefe est enfadado si Juan lleg tarde.
- Se tiene que el jefe est enfadado siempre que Juan llega tarde
- El jefe est enfadado puesto que Juan lleg tarde.
- El jefe est enfadado ya que Juan lleg tarde.
- El jefe se enfada cada vez que Juan llega tarde.


Tabla de valores de verdad.

El condicional es falso slo si parte de algo verdadero y llega a algo falso.
Si parte de algo falso adonde llegue ya es verdadero.


p q p q p q p q
V V V 1 1 1
V F F 1 0 0
F V V 0 1 1
F F V 0 0 1

Conviene aclarar que las tablas sirven como esquema matemtico y no guardan
relacin con la interpretacin del idioma.
En el condicional o enunciacin hipottica () no se establece relacin alguna
entre antecedente y consecuente por ejemplo. Si Guayaquil es la capital del
Ecuador entonces los vegetales tienen locomocin. Es una proposicin de valor de
verdad verdadero.
Cuando en un condicional hay una relacin causal entre el antecedente y
consecuente toma el nombre de IMPLICACION () en tal caso el antecedente
toma el nombre de hiptesis y el consecuente teora; siendo la hiptesis
subconjunto de la teora.

Ejemplo: Si una figura geomtrica es un cuadrado entonces es un rectngulo.

Para nuestro curso no haremos diferenciacin alguna y en cualquier caso
consideraremos como un condicional y en funcin de la tabla dada.

El condicional p q se define como p v q

(p q) p v q

De all que la negacin del condicional
q p q) (p .

a b Enunciacin hipottica (original o directa).
7

b a Recproca. (a b) (b a)
a b Inversa b a Contra recproca o contra positiva.
( b a) (a b)

Con frecuencia los polticos hacen aparecer como equivalente entre
(p q) (q p) lo que no es verdad.


1.3.5 Bicondicional.

Si dos proposiciones simples se enlazan mediante las palabras Si y solo si se
tiene un bicondicional (Suficiente y necesario).

Tabla de valores de verdad.








El bicondicional es verdadero si ambos son verdaderos o ambos falsos, en los
dems casos es falso.

Negacin

(p q) (p q) v (q p)


1.4 Proposiciones Moleculares.

Una proposicin molecular que puede ser designado por una letra mayscula
constituyen proposiciones compuestas enlazadas entre si con otras conectivas;
siendo cada proposicin simple carente de conector alguno una proposicin
atmica.

Ejemplo: [( p q) b] [( p v q) v p]

Cuando el valor de verdad de una proposicin molecular son todos verdaderos se
dice que es una ley lgica (sustituible) o TAUTOLOGIA.

Si todos son falsos una contradiccin y si hay valores verdaderos y falsos por lo
tanto carentes de aplicacin toman el nombre de CONTINGENCIA.






.
8

4.- [( p q ) r ] [ r ( p V q ) ]
1 1 1 1 1 1 1 1 0 0 0
1 1 1 0 0 1 0 0 0 0 0 Tautologa
1 0 0 1 1 1 1 1 0 1 1
1 0 0 1 0 1 0 1 0 1 1
0 0 1 1 1 1 1 1 1 1 0
0 0 1 1 0 1 0 1 1 1 0
0 0 0 1 1 1 1 1 1 1 1
0 0 0 1 0 1 0 1 1 1 1
1.- ( p V q ) ( q p )
1 1 0 1 1 1 1
1 1 1 1 0 1 1 Tautologa
0 0 0 1 1 0 0
0 1 1 1 0 1 0
2.- [( p q ) V p ] [ p ( p V q )]
1 1 1 1 1 1 0 1 0 0 0
1 0 0 1 1 0 0 0 0 1 1 Contingencia
0 0 1 0 0 0 1 1 1 1 0
0 0 0 0 0 0 1 1 1 1 1
3.- [( p q ) q ] [ (q p ) q ]
0 0 1 1 0 0 1 0 0 0 1
0 0 0 1 1 0 0 0 0 0 0 Contradiccin
1 1 1 0 0 0 1 1 1 1 1
1 0 0 1 1 0 0 0 1 0 0
Nmero de alternativas es ; n = # de proposiciones
n
2
1.4.1 Tablas.
Determina el tipo de proposicin molecular con ayuda de una tabla.





































Dividir en cuatro partes congruentes y de igual forma

Sol.


.
No es la nica




9

Ejercicios propuestos 1.1

1. En cada uno de los siguientes enunciados decida si son proposiciones o
no, en caso de serlo exprese su valor de verdad y clasifique como simple o
compuesto.

a) Guayaquil es la capital del Ecuador.
b) Los oficiales de la armada son hombres de honor.
c) Si soy guardiamarina, cumplir fielmente con el cdigo de honor.
d) La bandera del Ecuador fue izada el 24 de Mayo de 1822
e) ! Oh que perfeccin!
f) Cuntos sueos, cuntos temores.
g) 15 5 3 s x
h) Ecuador exigi a Colombia respeto a su soberana.
i) Los caminos de la paz son tortuosos pero necesarios.
j) Si deseas ser oficial de la armada, debes prepararte fsica y moralmente.
k) Qu significa lealtad?
l) Si estudias y cumples a cabalidad tus obligaciones entonces aprobars el
ao.
m) S i pienso, existo.
n) Cul ser nuestra posicin ante el atropello!

2. Dadas las proposiciones a: Carlos estudia b: Carlos trabaja c: Carlos es
responsable, exprese en lenguaje comn los siguientes esquemas lgicos:

a) b a . h) c b a . ) (
b) b a v i) c b a v ) (
c) c a j) c a
d) c b k) ( ) b a .
e) ( ) c a b . l) b a .
f) c b m) c a .
g) c b

3. Dado el condicional Si un nmero es mltiplo de 2 y de tres entonces es
mltiplo de 6 Escriba:

a) La misma proposicin utilizando uno a uno los 10 trminos
equivalentes dados (parafraseando)

b) Escriba la recproca, inversa y contrarecproca.

4. Determine con la ayuda de una tabla que clase de proposicin molecular
es cada una de las siguientes; considerando que p, q y r son proposiciones
atmicas:

a) ( ) | | ( ) q p q q p v .
b) ( ) | | ( ) | | q p q q q p v v .
c) ( ) | | ( ) p q q q p v .
10

d) ( ) | | ( ) | | q p p p q p . . v
e) ( ) | | ( ) q p p q p v . v
f) ( ) | | | ) ( )( | q p r r q p . v .
g) ( ) | | ( ) | | q p r r q p . v .

5. Determine el valor de verdad de las dems proposiciones conociendo que:

a) ( ) ( ) ( ) V q q p y F q v

b) ( ) ( ) ( ) F r q p y F r .

c) ( ) ( ) | | ( ) ( ) V p r r q p y F r v v .

d) ( ) | | ( ) V p q q p . v

e) ( ) | | ( ) ( ) F r p r q p v .


TEST

Marque con una X la nica respuesta correcta, segn corresponda, a los
ejercicios planteados:

1.- Dados los siguientes enunciados: a) Codera es la plataforma construida
en los palos reales b) Qu clase de hlice tiene ese velero? c) La milla
terrestre y la martima son medidas de longitud mayores que el kilmetro
d) Bajo al interior del buque si est abierta la escotilla. Entonces es
verdad que:
( ) Todos son proposiciones ( ) Slo una proposicin es
compuesta
( ) Tres proposiciones son compuestas ( ) La proposicin simple es falsa

2.- Dada la proposicin Si tienes alma fuerte, jams te sentirs ni vencido
ni esclavo Entonces la recproca es equivalente a:
( ) Si tienes alma fuerte te sentirs vencido y esclavo ( ) Ests vencido
o eres esclavo y no tienes alma fuerte ( ) Tienes alma fuerte ya que
jams te sientes ni vencido ni esclavo ( ) Si no tienes alma fuerte, te
sentirs vencido y esclavo

3.- De las siguientes proposiciones moleculares la no tautolgica es:
( ) ( ) ( ) q p q p v ( ) ( ) ( ) | | ( ) r p r q q p .
( ) ( ) | | ( ) | | r q p r q p v . ( ) ( ) ( ) | | r p p q p . v v

4.- Si la proposicin molecular ( ) | | ( ) | | q p q r q p v . v es falsa
entonces los valores de verdad de las proposiciones atmicas p, q y r
son:
( ) { } ( ) { } ( ) { } ( ) { } 1 , 1 , 1 0 , 1 , 1 0 , 0 , 1 0 , 0 , 0
11

Divide el grfico en cinco partes iguales tal que cada parte contenga cinco elementos
diferente.





1.4.2 Traducciones.

Para traducir del lenguaje comn al lenguaje formal se deben considerar el orden
de jerarqua siendo en orden el bicondicional el condicional, la conjuncin y
disyuncin en igual jerarqua y la negacin que cambia el valor de verdad. Sin
embargo utilizando signos de agrupacin cualquiera puede tener la mayor
jerarqua.

En la traduccin los signos de puntuacin sirven para utilizar los signos de
agrupacin en forma adecuada.

Traducir correctamente al lenguaje formal las siguientes proposiciones
moleculares.

a) Haca fro o calor, pero si llova, no haca calor.
f: haca fro c: haca calor l: llova.

(f V c) (l c)

b) Me voy y, si no me sigues, te dejar.
v: me voy s: me sigues d: te dejar

v ( s d)

c) Si me voy y no me sigues, te dejar.

(v s) d

d) Si ustedes saben estas cosas, felices son si las hacen.
Se puede traducir como:
Si ustedes saben estas cosas entonces, si las hacen, son felices.
e: ustedes saben estas cosas h: ustedes las hacen f: son felices.

e (hf)

e) Formar la recproca de la proposicin: Compro varias computadoras ya
que Camila me ayuda.
Segn parafraseando b ya que a se puede traducir: Si Camila me ayuda entonces
compro varias computadoras.
c: Compro varias computadoras l: Camila me ayuda.

l c Directa. cl Recproca.
Traduccin: Si compro varias computadoras entonces Camila me ayuda.
12


f) Formar la contra recproca de la proposicin: Carlos no es feliz solo si no
es casado. a solo si b.
Traduccin: si Carlos no es feliz entonces no es casado.
F: Carlos es feliz. C: Carlos es casado.
Esquema: f c
Contra recproca: ( c) ( f) o sea cf
Enunciado: Si Carlos es casado entonces es feliz.

g) Formar la inversa de la proposicin: Estudiar Ingeniera puesto que
aprob el prepolitcnico. b puesto que a.
Traduccin: Si apruebo el prepolitcnico entonces estudiar Ingeniera.
p: Apruebo el prepolitcnico. i: Estudiar ingeniera.
Esquema: pi
Inversa: p i
Enunciado: Si no apruebo el prepolitcnico entonces no estudiar ingeniera.

h) Negar la proposicin: Se sabe que Arjona se presentar siempre que no
llueva. se tiene que b siempre que a.
Traduccin: Si no llueve entonces se presentar Arjona.
Esquema: l a
Negacin: l
.
a
Enunciado: No llueve y Arjona no se presenta.

i) Negar la proposicin: Si t eres inteligente y no actas con prudencia,
eres un ignorante en la materia.
i: T eres inteligente. p: T actas con prudencia.
m: T eres un ignorante en la materia.
Esquema: (i p) m
Negacin: (i p) m
Traduccin: Eres inteligente y no actas con prudencia, y no eres ignorante en la
materia.

1.5 Leyes del lgebra de proposiciones.

Dos proposiciones son equivalentes cuando todos sus valores de verdad son
iguales.

Leyes de Idempotencia.
pv pp
p.pp

Leyes Conmutativas.
(pv q) (qv p)
(p.q) (q.p)

Leyes de Complemento.
pv p1
p. p0
( p) p
13

(1) 0
(0) 1

Leyes de Morgan.
(p.q) pv q
(pv q) p. q
(pq) p. q
(pq) (p. q) v (q. p)

Leyes Distributivas.
pv (q.r) (pv q) . (pv r)
p. (qv r) (p.q) v (p.r)

Leyes Asociativas.
(pv q) v r pv (qv r)
(p.q) .r p. (q.r)

Leyes de Identidad.
pv 0p
p.1p
pv 11
p.00


Otras Leyes:

[(pq) . (pq)] (pr) Silogismo.
(pq) [(p. q) o] Reduccin Al absurdo.
(pq) ( qp) Contraposicin.
(pq) ( pv q) Tautologa til.
[p. (pq)] q Modus Ponens.
[(pq) . q] p Modus Tollens.
[(pv q) . p] q Silogismo disyuntivo.
(p.q) p Simplificacin.
p (pv q) Adicin.

Ejercicios:


a) Demostrar que (ab) (a.b)
av b Tautologa til.
(a.b) Ley de Morgan.

b) Demostrar que [(p.q) r ] es equivalente a [ pv (qr)]
(p.q) v r Tautologa til.
( pv q) v r Ley de Morgan.
pv ( qv r) Asociativa.
pv (qr) Definicin de condicional.

14

c) pv ( p.q) p. ( pv q)
( pv p) . ( pv q) p. ( pv q) Distributiva
p. ( pv q) p. ( pv q) Idempotencia.


d) (p.q) v (p. q) p
p.(qv q) p Distributiva.
p.(1) p Idempotencia.
pp Identidad.

e) p. ( pv q) p.q
(p. p) v (p.q) p.q Distributiva.
0v (p.q) p.q Idempotencia.
p.qp.q Identidad.

f) p. (pv q) p
(p.p) v (p.q) p Distributiva.
pv (p.q) p Idempotencia.
pv pp Simplificacin.

g) [(p. q) q] [(p. q) p]
[ (p. q) v q] [(p. q) p]
[ ( pv q) v q] [(p. q) p]
[ ( pv q) v q] [(p. q) p]
[ pv (qv q)] [(p. q) p]
[ ( pv q) v q] [(p. q) p]
[ pv (qv q)] [(p. q) p] Adicin.
[ ( pv p) v q] [(p. q) p]
[ ( pv q) v p] [(p. q) p]
[ ( pv q) v p] [(p. q) p]
[ (p. q) p] [(p. q) p]

Ejercicios traducciones.

1) La traduccin al lenguaje formal del enunciado Si la informacin es correcta,
entonces existe un incremento en los costos de produccin, o el analista tiene un
error de apreciacin, considerando las proposiciones:

( ) (ca) .p ( ) (ap) v c ( ) cv (ap)
( ) cv ( ap) ( ) cv (ap)

Solucin: R/ 4
Traduccin:
Esquema formal: c (pv a)
Tautologa til: cv (pv a)
Asociativa: cv ( pv a)
Conmutativa: cv (av p)
Definicin de condicional: cv ( ap)

15

2) Si se tienen las proposiciones: a: Invierto mi dinero en acciones. b: Deposito mi
dinero en una cuenta de ahorros. Entonces la traduccin al lenguaje formal de No
deposito mi dinero en una cuenta de ahorros puesto que lo invert en acciones es:

( ) (av b) . (a.b) ( ) (av b) . (a.b) ( ) (av b) . ( a.b)
( ) (av b) . (a.b) ( ) (a.b)

Solucin: R/ 5. El enunciado equivale a:
Traduccin: Si invierto mi dinero en acciones entonces no lo deposito en la cuenta
de ahorros.
Esquema: ab
av b Tautologa til.
(a.b) Ley Morgan.

3) La forma correcta de traducir al lenguaje formal la proposicin Juan estudia o
trabaja, pero si se enamora ya no estudia, considerando: e: estudia, t: trabaja, m:
se enamora es:

( ) (ev t) . (m. t) ( ) (ev t) (mt)
( ) (t .e) ( m. e) ( ) (ev t) . (m.e)

Solucin: R/ 4
Esquema: (ev t) . (me)
(ev t) . ( mv e)
(ev t) . (m.e)

4) La traduccin al lenguaje formal de la siguiente proposicin: Si yo hablo en
varios idiomas y no tengo amor, soy como un metal que resuena. Siendo las
proposiciones atmicas: i: Yo hablo en varios idiomas, a: Yo tengo amor, r: soy
como un metal que resuena es:

( ) (i v a) v r ( ) ( i v a) r ( ) r . ( i .a)
( ) r . ( av i)

Solucin: R/ 2
Esquema: (i . a) r

( i v a) r Ley de Morgan.

5) La contra recproca del enunciado Es necesario que Carlos no sea casado
para que sea feliz si f: Carlos es feliz, c: Carlos es casado es:

( ) Carlos no es feliz o no es casado.
( ) Carlos no es feliz pero es casado.
( ) Carlos ni es feliz ni es casado.
( ) Si Carlos es feliz es casado.
( ) Carlos es feliz y es casado.

Solucin: R/ 1
Esquema: f c
cf Contra recproca.
16

cv f
f v c
Traduccin: Carlos no es feliz o no es casado.

6) La negacin de la proposicin Si Uds. Saben estas cosas, felices son si las
hacen Siendo: s: Ustedes saben estas cosas, f: Ustedes son felices, h: Ustedes
las hacen es:

( ) (hf) s ( ) (s . f) . h ( ) s . (f v h)
( ) sv ( hv f) ( ) s . f . h

Solucin: R/ 3
Traduccin: Si ustedes saben estas cosas entonces, si las hacen entonces son
felices.
Esquema: s (hf)
Negacin: s . (hf) s . (h. f)
s . ( hv f)
s . (f v h)

7) La salida va al monitor siempre que xy; mas si los resultados van a la
impresora, x = y. La traduccin al lenguaje formal si a: x = y, b: La salida va al
monitor, c: Los resultados van a la impresora es:

( ) (ba) . (ca) ( ) (av b) . ( av c) ( ) a. (bv c)
( ) (ca) . ( ba)

Solucin: R/ 4. En parafraseando b siempre que a.
Traduccin: Si xy entonces la salida va al monitor; mas, si los resultados van a la
impresora entonces x = y
Esquema formal: ( ab) .(ca)
(ca) . ( ab) Conmutativa.
(ca) . ( ba) Contra recproca.

8) La contra recproca de la proposicin No maneje ya que est tomado.
Siendo m: manejar, t: estar tomado, es:

( ) t .m ( ) t v m ( ) mv t ( ) t m

Solucin: R/ 3. En parafraseando b ya que a.
Traduccin: si est tomado entonces no maneje.
Esquema formal: t m
m t t v m Contra recproca

9) Una matriz tiene inversa puesto que es cuadrada y su determinante es
diferente de cero representa a una proposicin. La negacin de dicha proposicin
si: p: tiene inversa, q: es cuadrada, r: determinante igual a cero, equivale a:

( ) (q. r) . p ( ) (qv r) . p ( ) qv ( r v p)
( ) q. ( pr)

17

Solucin: R/ 4. En parafraseando b puesto que a
Traduccin: Si una matriz es cuadrada y su determinante es diferente de cero
entonces tiene inversa.
Esquema formal: (q. r) p
Negacin: (q. r) . p
q. ( r . p) Asociativa.
q. (r v p) Ley de Morgan
q. ( r p) Tautologa til.

10) Si un hijo Pal est sano, tanto Fausto como Isabel son felices suponiendo
que s: Pal est sano, f: Fausto es feliz, p: Isabel es feliz, la negacin de la
proposicin equivale a:

( ) (sf) v ( p.s) ( ) s ( f v p) ( ) (f .p) . s
( ) sv (f .p)

Esquema formal: s (f .p)
Negacin: s . (f .p) s .( f v p) Ley de Morgan.
(s . f) v (s . p) Distributiva
( sv f) v ( p.s) Propiedad Conmutativa
(sf) v ( p.s) Tautologa til.

1.6 Funcin proposicional

Funcin proposicional (predicado). Se dice funcin proposicional toda oracin
abierta en la que se ha definido correctamente el conjunto referencial o universo.

Ej: p(x): 2x + 3 <13 Re: {Dgitos de nuestro sistema de numeracin}

La razn de llamarse funcin proposicional es porque al sustituir en la funcin cada
elemento del conjunto referencial transforma a la funcin proposicional en una
proposicin.
P(x) es un predicado si y solo si al remplazar x por cualquier elemento (a); del Re
p(a) se convierte en una proposicin.

p(x) : 2x + 3 < 13
p(0) = 2(0) + 3 < 13 (v)
p(1) = 2(1) + 3 < 13 (v)
p(2) = 2(2) + 3 < 13 (v)
p(3) = 2(3) + 3 < 13 (v)
p(4) = 2(4) + 3 < 13 (v)
p(5) = 2(5) + 3 < 13 (f)
p(6) = 2(6) + 3 < 13 (f)

El conjunto de elementos del referencial que hacen que la funcin proposicional
sea una proposicin verdadera se denomina conjunto solucin de esa proposicin y
se denota por A(p(x)) = {0,1,2,3,4}

A(p(x)) = {a/p(a) 1; a e Re}

18

Se lee El conjunto solucin de la funcin proposicional p(x) es igual al conjunto de
todas las a tales que p(a) equivale a 1 (v) siendo a elementos del conjunto
referencial o universo.

Operaciones entre conjuntos de verdad.

A [ p(x)] A
c
p(x)
A [p(x) .q(x)] A (p(x)) A(q(x))
A [p(x) v q(x)] A (p(x)) U A(q(x))
A [p(x) q(x)] A
c
(p(x)) U A(q(x))

Ej: Sea el conjunto referencial Re = {10,15, 20, 25, 30, 35, 40, 45, 50,} y los
predicados.
P(x): x es mltiplo de 10, q(x): x es divisible para 3.

Cul de las siguientes afirmaciones es verdadera?
( ) A [p(x) .q(x)] = {45}
( ) A [p(x) v q(x)] = {10,15, 20, 25, 30,}
( ) A [p(x) v q(x)] = {10, 20, 30, 40, 50}
( ) A [p(x) q(x)] = {15, 25, 30, 35, 45}

Solucin:

A (p(x)) = {10, 20, 30, 40, 50} A (q(x)) = {15, 30, 45}

A
c
(p(x)) = {15, 25, 35, 45} A
c
(q(x)) = {10, 20, 25, 35, 40, 50}

A [p(x) .q(x)] = A

(p(x)) A (q(x)) = {30}
A [p(x) v q(x)] = A

(p(x)) U A (q(x)) = {10, 15, 20, 30, 45}
A [p(x) v q(x)] = A

(p(x)) U A
c
(q(x)) = {10, 20, 25, 30, 35, 40, 50}
A [p(x) q(x)] = A
c
(p(x)) U A(q(x)) = {15, 25, 30, 35, 45} correcta.

1.7.- Cuantificadores.

Son expresiones que se anteponen a un predicado o funcin proposicional dando
lugar a una proposicin. Los cuantificadores pueden ser existenciales o
universales.

El cuantificador universal permite construir proposiciones en las que incluye todo el
conjunto referencial de la forma x, p(x) se lee para toda x del Re p(x), para
cualquier x satisface p(x), se emplea palabras como todos, todas, todo, toda,
ninguna, etc.
x, p(x) es verdadera si y solo si p(x) es verdadera para toda x e Re caso
contrario x, p(x) es FALSO.
x, p(x) A (p(x)) = Re

Para demostrar que una proposicin formada con cuantificador universal tiene
valor de verdad falsos es suficiente que se demuestre que no se cumple para un
elemento del referencial (1 contra ejemplo).

19

Ej: p(x): 2x + 3 < 15; Re = {Dgitos}
x, p(x) se lee: para toda x del Re; 2x + 3 < 15 (F)
Por ejemplo para x = 7 17 < 15 (F)

El cuantificador existencial permite construir proposiciones en la que se incluye por
lo menos un elemento del conjunto referencial -x, p(x) se lee: existe por lo menos
un elemento x del referencial tal que p(x).
[ -x, p(x)] A(p(x)) =
( A(p(x)) = )

Para demostrar que una proposicin formada con cuantificador existencial es
suficiente con un ejemplo.

Ej: p(x): 2x + 3 < 15; Re = {dgitos}
-x/p(x) se lee: existe por lo menos un x Re tal que 2x + 3 < 15 (V)
2(1) + 3 < 15
5 < 15 (V)
Leyes de Morgan.
Se cambia el cuantificador se niega la proposicin.
( x,p(x)) -x/ p(x)
( -x/p(x)) x, p(x)

Leyes distributivas.
x, [p(x) .q(x)] x, p(x) . x, q(x)]
-x/[p(x) v q(x)] -x/,p(x) v -x/q(x)
x,[p(x) v q(x)] x [p(x) v q(x)] no la recproca.
-x/[p(x) .q(x)] [ -x/p(x) . -x/q(x)]

Interpretaciones.

Expresin gramatical Traduccin a esquema.
Toda p es q x[p(x) q(x)]
Ningn p es q x[p(x) q(x)]
Algunos p son q -x[p(x) .q(x)]
Algunos p no son q -x[p(x) . q(x)]

En general una proposicin con cuantificador universal se traduce en una
condicional y si tiene cuantificador existencial en una conjuncin.

Todos los nmeros racionales son reales.
Re = {Nmero del sistema decimal} p(x): x es racional g(x): x es real.
Si x es racional entonces x es real. x (p(x) q(x))


Ningn ser humano es inmortal.
Re: {Seres vivos} p(x): x es ser humano q(x): x es inmortal.
Para cualquier ser vivo, si x es humano entonces es mortal.
todos los humanos son mortales x (p(x) q(x))


20

Algunos perros son cazadores.
Re: {animales domsticos} p(x): x es perro g(x): x es cazador.
Algn animal domstico es perro y es cazador. -x/(p(x) .q(x))

Algunos cadetes del Liceo Naval no tienen hbito de estudio.
Re: {estudiante} p(x): x es cadete del Liceo Naval q(x): x estudia.
Existe por lo menos un estudiante que es cadete del Liceo Naval y no tiene hbito
de estudio. -x/p(x) . q(x)

1.7.1 Predicado de varias variables

Si hubiesen dos variables el conjunto solucin, seran pares ordenados, si fuesen
tres seran triadas, etc.

A
1
x A
2
= {(x
1
, x
2
)/x
1
e

A
1
. x
2
e

A
2
}
A
1
x A
2
x A
3
= {(x
1
, x
2
, x
3
)/x
1
e

A
1
, x
2
e

A
2
. x
3
e

A
3
}

Ej: Rex= Rey= {1, 2, 3, 4} p(x, y): x>y
A(p(x, y)) = {(2, 1)(3, 1)(3, 2)(4, 1)(4, 2)(4, 3)} _ Re
x
x Re
y


x- y/p(x, y) 0 Para toda x existe una y tal que x>y (no para 1)
xy/p(x, y) 0 Para toda x, cualquier y cumple que x>y.
-x/ -y/p(x, y) 1 Existe por lo menos una x y una y tal que x> y
-y/ -x/p(x, y) 1 Existe por lo menos una y y una x tal que x>y
-x/ y, p(x, y) 0 Existe por lo menos una x tal que para cualquier y x>y (no ya
que no hay (4, 4))
y/ -x/p(x, y) 0 Para toda y existe por lo menos una x tal que x>y. no (4,4)
-y/ x, p(x, y) 0 Existe por lo menos una y para cualquier x, x>y. no para 1

Es importante el orden en el cual aparecen los cuantificadores.

Ejercicios resueltos.

1. Determine El valor de verdad de -x/p(x) x, p(x) Si Re = y p(x) cualquier
predicado.

A(p(x)) = A (p(x)) = Re y Re =
x, p(x) =1
-x(p(x)) = 0 ya que A(p(x)) =
-x(p(x)) x(p(x)) = 1
O 1


2. Determine el valor de verdad de [ x(p(x)) -xp(x)] si Re = {a} y p(x) es un
predicado tal que p(a) = 1

A(p(x)) = {a} = Re -x/p(x) = 1 ya que es x = ap(x) = 1
x (p(x)) = 1 x p(x) -x p(x) = 1
1 1

21

3. Demostrar que A(p(x)) A
c
(p(x))
aeA[ (p(x))] aeRe. (p(a) 1)

aeRe. (p(a) 0)

aeRe. (ae

A p(x))

aeRe. A(p(x))

A
c
(p(x))
4. Re = {1,2,3,4} q(x, y):
xsyq(x, y) = {(1, 1)(1, 2)(1, 3)(1, 4)(2, 2)(2, 3)(2, 4)(3, 3)(3, 4)(4, 4)}
-x / -y/q(x, y) 1
-x / y, q(x, y) 1 {(1, 1)(1, 2)(1, 3)(1, 4)}
x , -y/q(x, y) 1
-y / x, q(x, y) 1 {(1, 4)(2, 4)(3, 4)(4, 4)}
y , -x/q(x, y) 1
x , y, q(x, y) 0

5. Negar la proposicin x, y, z [x < y < z]
-x / [ y, z(x < y . y < z)]
-x / -y/ -z/(x > yv y > z)

6. Negar la proposicin x, y, -z[x < z < y]
-x / -y/ z[x > zv z > y]

7. Negar la proposicin -xy-z [z > y . z > x
2
]
x-yz (z > y . z > x
2
)

8. La negacin de la proposicin: Para todo nmero natural n, n+2>10 es:
( ) Para algunos n, n+2>10 ( ) Ningn n cumple con n+2>10
( ) Existe un n tal que n+2s10 ( ) Existe un n tal que n+2>10
( ) Existe un n tal que n+2>10
Solucin: R// c.
Traduccin: n e N, n+2 > 10
Negacin: -n e N/ (n+2 > 10) o -n e N/n+2s10

9. Una de las siguientes proposiciones es falsa, identifquela:
( ) x p(x) A(p(x)) = ( ) [Re= ] [ xp(x) -xp(x)]
( ) A[p(x) q(x)] = Ap(x) U Aq(x)
( ) [ x(p(x) q(x))] -x(p(x) .q(x))
( ) Una de las proposiciones anteriores es falsa.
Solucin: Re
c
= (V); Si Re= si;(pq) qv p (V);
pqp. q (V), la quinta es falsa porque las anteriores son verdaderas.

1.8 Razonamiento.

El razonamiento es una secuencia lgica finita de proposiciones llamadas premisas
o hiptesis enlazadas por una enunciacin hipottica que permite llegar a otra
proposicin llamada conclusin o teora.

Estructura del razonamiento: Es una enunciacin hipottica de una conjuncin de
hiptesis y la conclusin.
{P
1
P
2
P
3
, P
n
} C
22

Validez: Un razonamiento es vlido si la conclusin puede inferirse lgicamente a
partir de las premisas, es decir, su estructura lgica corresponde a una forma
proposicional tautolgica.

Ejemplo:
1. P
1
: Si una persona es ecuatoriana entonces es sudamericana
P
2
: Johayra es ecuatoriana, entonces
C: Johayra es sudamericana

E: Ser ecuatoriano s: Ser sudamericano







La validez de un razonamiento no depende del valor de verdad de las
proposiciones sino de que su estructura sea tautolgica.

Ejemplo:
2. P
1
: Si un nmero es racional entonces es real.
P
2
: 4 No es real, entonces
C: No es racional.

q: racional r: real.

Estructura Tollendo Tollens






3. P1: Simn Bolvar naci en Quito o en Caracas.
P2: Simn Bolvar no naci en Quito: Por tanto
C: Simn Bolvar naci en Caracas

a: Simn Bolvar naci en Quito b: Simn Bolvar naci en Caracas.

Estructura: Silogismo Disyuntivo

.




4. P1: Si Carlos naci en Guayaquil entonces es ecuatoriano.
P2: Si es nacido en Ecuador entonces es sudamericano.
P3: Si Carlos naci en Guayaquil entonces:
( ) { }
0 1 1 0 0 0 0
1 1 1 1 1 1 0
0 1 0 0 0 1 1
1 1 0 0 1 1 1
b a b a . v
( ) { }
1 1 1 1 0 1 0
1 1 0 0 1 1 0
0 1 0 0 0 0 1
0 1 0 0 1 1 1
q r q . r
23

C: Carlos es sudamericano.

p: Carlos naci en Guayaquil. Q: Carlos es ecuatoriano.
t: Carlos es sudamericano.

Estructura:

Silogismo
Hipottico








Cuando un razonamiento tiene varias proposiciones atmicas resulta muy largo
trabajar con tablas por tal motivo se propone el siguiente proceso haciendo falsa la
conclusin (reduccin al absurdo) as:

[(es) . e] s
0 0 0 0
1
0


[(q r) . r] q

1 1 0

1 0 1

0

[(av b) . a] b
1 0 0

1 0 1

0

{[(pq) . (qr)] . p} r
0 0 0 0 0 0


1

Como el razonamiento es un
condicional de la conjuncin de
premisas y la conclusin; se parte de
hacer la conclusin falsa de tal manera
que al reemplazar los valores de
verdad as asignados se consigue en
por lo menos una premisa falsa
obligatoria, con lo que hara 0 al
antecedente y por tanto el condicional
verdadero; caso contrario no es
tautologa. En el primer caso el
razonamiento es vlido y en el segundo
no.








0
( ) ( ) | | { }
0 1 0 0 0 1 0 1 0 1 0
1 1 0 0 1 1 0 1 0 1 0
0 1 0 0 0 0 1 0 1 1 0
1 1 0 0 1 1 1 1 1 1 0
0 1 1 0 0 1 0 0 0 0 1
1 1 1 1 1 1 0 1 0 0 1
0 1 1 0 0 0 1 0 1 1 1
1 1 1 1 1 1 1 1 1 1 1
r p r q q p . .
24

Traduccin
P1: a b
P2: ( b v c )
P3: a
C: c
Traduccin
P1: Si es diccionario entonces es til a b
P2: Si son diccionarios y tiles entonces son vliosos ( a b ) c
C: Si es diccionario entonces es valioso (a c)
5. Si ella es bonita entonces la invitar a salir. La invit a salir por tanto ella es
bonita.
a: Ella es bonita b: La invitar a salir.






6. Los diccionarios son libros tiles. Los diccionarios tiles son valiosos por tanto
los diccionarios son valiosos.

a: x es diccionario b: x es un libro til c: x es libro valioso.











7. Si la vctima tena dinero en sus bolsillos, entonces el robo no fue el motivo
del crimen. Pero el motivo del crimen fue o bien el robo o bien la venganza. La
vctima tena dinero en sus bolsillos luego el motivo del crimen debi ser la
venganza
a: La vctima tena dinero en sus bolsillos b: Motivo del crimen fue el robo
c: Motivo del crimen fue la venganza.






8. Si estudias lgica, las matemticas te resultarn sencillas. Las matemticas te
resultaron complicadas, por lo tanto, no estudiaste lgica.
a: Estudias lgica. b: Las matemticas te resultarn sencillas.

Traduccin:
P1: a b
P2:
C =


25



9. Si las leyes son buenas y su cumplimiento es estricto, disminuir el delito. Si
el cumplimiento estricto de la ley hace disminuir el delito, entonces nuestro
problema es de carecer prctico. Las leyes son buenas, luego nuestro problema
es de carcter prctico.
a: Leyes son buenas b: Cumplimiento estricto de leyes
c: Disminuye el delito d: Nuestro problema es de carcter pblico.


P
1
: ( ) b a . c Estructura:
P
2
: ( ) d c b .
P
3
: a
P
4
: d






10. Si hay lluvias, hay cosechas. Si hay heladas, no hay cosechas. Hay heladas o
hay enfermedades. No hay enfermedades, por tanto hay lluvias.
a: lluvias b: cosechas c: heladas d: enfermedades.

P
1
: ( ) b a Estructura:
P
2
: ( ) b c
P
3
: ( ) d c v
P
4
: c
C: a

11. Si estudio o soy un genio, entonces aprobar el curso. Si apruebo el curso
entonces me permiten tomar el siguiente curso. Por consiguiente Si no me
permiten tomar el siguiente curso no soy un genio.
e: Yo estudio g: soy un genio a: yo aprobar el curso
t: tomar el siguiente curso.

P
1
: ( ) ( ) a g c v Estructura:
P
2
: ( ) t a
C: ( ) g t



12. Todos los nmeros enteros son racionales. Algunos nmeros reales son
enteros. Entonces, algunos nmeros reales son racionales.
a: # enteros b: # racionales c: # reales
P
1
: ( ) b a
P
2
: ( ) b c .
C: ( ) b c .
26


Estructura: ( ) ( ) | | ( ) b c b c b a . . .
0 0 0
0 0 1
0 1 0 vlido

13. Dadas las premisas:

P
1
: Todos los poetas son pobres.
P
2
: Para ser maestro hay que ser graduado.
P
3
: Algunos matemticos son poetas.
P
4
: Ningn graduado es pobre.

a: poetas b: pobres c: maestro d: graduado
e: matemticos

Cul de las siguientes conclusiones hace no vlido al razonamiento.


( ) Algunos matemticos no son maestros.
( ) ( ) ( ) ( ) | | ( ) c e b d a e d c b a . . . . .
0 0 0
0 0 1 1 1 0 1 1 1 0
0 0 1 Vlido


( ) Los maestros no son pobres.
( ) ( ) ( ) ( ) | | ( ) b c b d a e d c b a . . . .
1 1 1 0 1 1 0 0 1 0
0 Vlido


( ) Los poetas no son maestros.
( ) ( ) ( ) ( ) | | ( ) c a b d a e d c b a . . . .
1 1 1 1 1 1 1 0 1 0
1 1 1 0 Vlido


( ) Algunos maestros no son matemticos.
( ) ( ) ( ) ( ) | | ( ) e c b d a e d c b a . . . . .
1 1 0 0 1 1 0 0 0 0
1 1 1 1 0 No Vlido

( ) Si es graduado entonces no es poeta.
( ) ( ) ( ) ( ) | | ( ) a d b d a e d c b a . . . .
1 1 1 1 1 1 0 1 0
0 Vlido

27

14. Considere las siguientes hiptesis:

P
1
: El conflicto blico lleg a su fin y Ecuador supo defenderse
P
2
: Si Ecuador supo defenderse entonces no existe estado de alerta
P
3
: El conflicto blico no lleg a su fin o no existe estado de alerta.
Entonces una conclusin vlida para el razonamiento es:
( ) Ni el conflicto llego a su fin, ni Ecuador supo defenderse.
( ) Si Ecuador supo defenderse entonces no existe estado de alerta.
( ) Sino existe estado de alerta entonces Ecuador no supo defenderse
( ) No existe estado de alerta y Ecuador supo defenderse.
( ) Marque esta casilla si ninguna de las conclusiones anteriores es vlida.

Solucin:

f: El conflicto lleg a su fin. d: Ecuador supo defenderse.
a: Existe estado de alerta.


Estructura: ( ) ( ) ( ) | | ( ) d f a f a d d f . v . . . No Vlido

( ) ( ) ( ) | | f a f a d d f v . . . No Vlido

( ) ( ) ( ) | | ( ) d a a f a d d f v . . . No Vlido

( ) ( ) ( ) | | ( ) d a a f a d d f . v . . . Vlido



Con slo 4 rectas divide al crculo a 11 partes de tal forma que cada una
contenga un slo punto.


Sol.



Ejercicios propuestos Grupo 1.2

1 Traducir al lenguaje formal las siguientes proposiciones:

a) Si es oficial de la Armada; entonces es un ejemplo de superacin y liderazgo
siendo a: Ser oficial de la Armada; b: Ser ejemplo de superacin; c: Ser lder.
b) Platero es pequeo, tierno y mimoso equivalente a un nio o una nia siendo p:
Platero es pequeo; t: tierno; m: mimoso; n: nio; m: nia.
c) Sers considerado un patriota si y solo si respetas y veneras tu suelo natal y vives
con honor; siendo p: patriota; r: respetas el suelo natal; v: veneras el suelo natal;
h: vives con honor.
28

d) Si deseo seguir la carrera naval entonces adecuar mi porte, destreza y salud
corporal, siendo: m Carrera Naval; p: adecuar el porte corporal; d: adecuar la
destreza corporal; s: salud corporal.
e) Negar las proposiciones a, b, c y d.


2 Negar las siguientes proposiciones:
a) p(x) x, x/ -
b) (x) p x/ x, -
c) c o o c < < < > - > L f(x) a - x 0/0 0,
d) N f(x) a - x 0/0 0, N > < < > - > o o

3 Traducir al lenguaje formal las siguientes proposiciones.

a) Existen algunos humanos que tienen muerta el alma; p(x): x es humano q(x): x es
pilar del futuro xito.
b) Todos los hombres leales a su institucin son pilares del futuro xito; p(x): x es un
hombre leal a la institucin, q(x): x es pilar del futuro xito.
c) Ningn vegetal tiene locomocin; p(x): x es vegetal, q(x): x tiene locomocin.
d) Algunos profesores no son maestros; p(x): x es profesor, q(x): x es maestro.
e) Los marinos son soadores; p(x): x es marino, q(x): x es soador.
f) Algunos ros del Oriente ecuatoriano no son navegables; p(x): x es un ro del
Oriente ecuatoriano, q(x): x es navegable.


4 Determine si los siguientes razonamientos son vlidos:

a)
- Todos los marinos so soadores.
- Ningn creyente es soador.
- Algunos profesores son soadores por tanto: Ningn creyente es marino.
b)
4.1 Si gano las elecciones, la provincia 23 tendr agua.
4.2 Si la provincia 23 tiene agua ustedes mejorarn su forma de vida por tanto o
mejoran su forma de vida o la provincia 23 no tendr agua.

c)
- La sopa est fra o no le gusta a la nia.
- Si el arroz est caliente entonces la sopa no est fra por tanto: La sopa no
est fra y no le gusta a la nia.

TEST

1) La traduccin al lenguaje formal de la proposicin Si tu has navegado y no te has
empapado con espuma de mar el corazn, no eres marino, siendo n: T has
navegado, e: empapado con espuma el corazn, m: ser marino; es:
( ) m) (e n v ( ) e) (m n v
( ) e) (n m . ( ) e m) (n .



29


2) Dadas las proposiciones; y: Yorna come, i: Isabel est alegre, j: Jos est triste
entonces la NEGACIN de: Si Yorna come, tanto Isabel como Jos estn alegres.
Es:

( ) j) (i y . . ( ) j) (i y .
( ) j i) (y . . ( ) j) i ( y v .



3) La contrarecproca de: La cerveza y el vino es para los marinos ya que el agua es
para los bueyes, siendo; e: cerveza para los marinos, v: vino es para los marinos, a:
agua para los bueyes, es:

( ) v) (c a . ( ) v) (a c) (a .
( ) a v) (c v v ( ) v) c ( a v v



4) Los siguientes son esquemas de razonamientos, entonces aquel que NO ES VLIDO
es:

( ) ( ) ( ) | | ( ) c a c b b a .
( ) ( ) ( ) | | a c c b b a . .
( ) ( ) | | b a b a .
( ) ( ) ( ) | | ( ) b c c b b a .

5) La conclusin que hace vlido al razonamiento es: Si viajo al campo, disfruto las
vacaciones; pero si me quedo en casa no disfruto las vacaciones, por tanto:

( ) Me voy al campo y no me quedo en casa.
( ) Si no me quedo en casa no me voy al campo.
( ) Me voy al campo si y solo si no me quedo en casa.
( ) No viajo al campo no me quedo en casa.


Con 3 lneas rectas divide el rectngulo en 7 partes tal que cada una contenga un ramo
de uvas.












30

1.9 Teora de Conjuntos

Conjunto: Es la reunin o posible reunin de elementos perfectamente definidos
capaces de diferenciarse incluso con otros de la misma especie.
Ej:
A = {Vocales abiertas del alfabeto castellano}
B = {2, 3, 4}

1.9.1 Clasificacin de Conjuntos:

Conjunto Vaco: Es el que carece de elementos, su smbolo es { } C
Ej:
A = {Conjunto de elementos que son pares e impares a la vez}
A = C
Conjunto Unitario: Es el que tiene un solo elemento.
Ej:
P = {Luna}

Conjunto Finito: Es el que tiene principio y tiene fin, es decir que podemos
contar hasta el ltimo elemento.
Ej:
U = {Meses del ao}

Conjunto Infinito: Es el que tiene infinita cantidad de elementos y es imposible
de contar hasta el ltimo elemento.
Ej:
A = {1, 2, 3, 4}

Conjunto Universo o Referencial: Es el que contiene a todos los subconjuntos
agrupados por una propiedad o condicin.
Ej:
A = {Das del ao}

1.9.2 Determinacin de Conjuntos

Tabulacin: Un conjunto est determinado por tabulacin cuando se enlista todos
los elementos que lo conforman; en el caso de ser infinito se expresa con puntos
suspensivos () despus de un determinado nmero de elementos. Tambin le
llaman enumeracin.
Ej:
A = {a, e, o}
B = {2, 3, 4}

Comprensin: Un conjunto est determinado por comprensin cuando expresa la
cualidad especifica que le permite diferenciarse de cualquier otro conjunto.
Ej:
A = {Vocales abiertas del alfabeto castellano}
B = {Dgitos mayores o iguales que dos y menores o iguales que cuatro}

Standart: Cuando se utiliza signos matemticos.
31

Ej:
A = {

x/x vocales abiertas}
B = {

x/2 x 4, x dgitos}

1.9.3 Relaciones:

Relacin de Pertenencia: Se realiza entre un elemento y un conjunto y se utiliza
el siguiente smbolo .

Vocales abiertas = A
A

a A Se lee: a pertenece al conjunto A.
o A
i A Se lee: i no pertenece al conjunto A.


Se denomina conjunto potencia al conjunto en el que se ha anotado todos los
subconjuntos de un conjunto.
El nmero de elementos del conjunto potencia es igual a 2
n
siendo n el nmero de
elementos del conjunto.

A = {2, 3, 4}
Potencia = {C, {2}, {3}, {4}, {2,3}, {2,4}, {3,4}, {2, 3, 4}}
2
3
= 8 alternativas.

Relacin de Inclusin: Se realiza entre dos conjuntos; la expresin: A B
Se lee: A es subconjunto de B A est incluido en B, significa que todos los
elementos de A pertenecen o estn incluidos en B.

Ej: A B

A = {Alumnos del 5
to
B del Liceo Naval}
B = {Alumnos del 5
to
curso del Liceo Naval}

BA Se lee: B contiene a A o que B incluye al conjunto A.
Se acostumbra a diferenciar entre AB y AB, en el primer caso se lee A
subconjunto propio de B lo que significa que en B hay por lo menos un elemento
que no est en A. En el segundo caso se expresa que A es subconjunto o igual a
B por tanto admite la posibilidad de la igualdad.

Relacin de Intersecancia: Se dice que dos conjuntos son intersecantes si
existe por lo menos un elemento comn, es decir, pertenece a ambos conjuntos.

32








Si dos conjuntos no tienen ningn elemento comn se dice que son disjuntos.

Igualdad de Conjuntos: Se dice que el conjunto A es igual al conjunto B si y slo
si A es subconjunto o igual a B y B es subconjunto o igual a A.
Ejemplo:
A = B A B B A
A = {1, 2, 3, 4} A B B A
B = {2, 3, 1, 4} A = B

1.10 Operaciones con Conjuntos


Unin de Conjuntos:
AB = {

x/x A x B}








A B A B
Conjuntos Intersecantes Conjuntos Disjuntos








Conjuntos
A B Incluyentes A B




Dados los siguientes conjuntos:
A B
33


A = {1, 2, 3, 4, 5} B = {2, 4, 6, 8} C = {1, 3, 5, 7} D = {2, 4, 6}
E = {1, 2, 3, 4, 5, 6} F = {3, 4, 5} Determinar:

A B = {1, 2, 3, 4, 5} {2, 4, 6, 8} = {1, 2, 3, 4, 5, 6, 8}
C D = {1, 3, 5, 7} {2, 4, 6} = {1, 2, 3, 4, 5, 6, 7}
E F = {1, 2, 3, 4, 5, 6} {3, 4, 5} = {1, 2, 3, 4, 5, 6}

Interseccin de Conjuntos:
A B = { x/x A x B}







A B A B = C
Conjuntos Intersecantes Conjuntos Disjuntos



Conjuntos La solucin
Incluyentes es el subconjunto



A B = A

A B = {1, 2, 3, 4, 5} {2, 4, 6, 8} = {2, 4}
C D = {1, 3, 5, 7} {2, 4, 6} = { }
E F = {1, 2, 3, 4, 5, 6} {3, 4, 5} = {3, 4, 5}


Complementacin de Conjuntos:

A
c
=

= {x/x x A}
Se lee: Complemento de A = {x/x
(
(x A)}
A Complemento = {x/x
(
(x A)}
A = {1, 2, 3, 4, 5} = {0, 1, 2, 3, 9}

A
c
= {0, 6, 7, 8, 9}

34



B = {2, 4, 6, 8} = {0, 1, 2, 3, 9}
B
c
= {0, 1, 3, 5, 7,9}

C = {1, 3, 5, 7} = {0, 1, 2, 3, 9}
C
c
= {0, 2, 4, 6, 8, 9}

D = {2, 4, 6} = {0, 1, 2, 3, 9}
D
c
= {0, 1, 3, 5, 7, 8, 9}

E
c
= {1, 2, 3, 4, 5, 6}
c
= {0, 7, 8, 9}
F
c
= {3, 4, 5}
c
= {0, 1 2 6 7 8 9}

Diferencia de Conjuntos:

AB = {

x/x A x B}
{x/x A
(
(x B)}







A B A - B
Intersecantes Disjuntos







A B = C A B = B
c

Incluyentes

A B = {1, 2, 3, 4, 5} {2, 4, 6, 8}
= {1, 3, 5} B A = {6, 8}

C D = {1, 3, 5, 7} - {2, 4, 6}
= {1, 3, 5, 7} D C = {2, 4, 6}

35

E F = {1, 2, 3, 4, 5, 6} - {3, 4, 5}
= {1, 2, 6} F E = { }

Diferencia Simtrica:

AB = A B = { x/x A x B}
= (AB) (A B)
= (A B) (B A)








A B A B
Intersecantes Disjuntos



A B
Incluyentes



Particin de Conjuntos:



(1
ra
2
da
) (3
ra
) = A






Ejercicios Resueltos

1. (A B) C
A B = {1, 2, 3, 4, 5} {2, 4, 6, 8}
(A B) C = {1, 2, 3, 4, 5, 6, 7, 8} {1, 3, 5, 7}
= {1, 3, 5}

2. (A B) C
A B = {1, 2, 3, 4, 5} {2, 4, 6, 8} = {1, 2, 3, 4, 5, 6, 8}
(A B) C = {2, 4} {1, 3, 5, 7}
= { }

36

3. (A - B) C
c


A B = {1, 2, 3, 4, 5} {2, 4, 6, 8} = {1, 3, 5}
C
c
= {1, 3, 5, 7}
c
= {0, 2, 4, 6, 8, 9}
(A - B) C
c
= {1, 3, 5} {0, 2, 4, 6, 8, 9}
= { }

4. (A B) (C
c
- D)
A B = {1, 2, 3, 4, 5} {2, 4, 6, 8} = {1, 3, 5, 6, 8}
C
c
= {1, 3, 5, 7}
c
= {0, 2, 4, 6, 8, 9}
C
c
D = {0, 2, 4, 6, 8, 9} {2, 4, 6} = {0, 8, 9}
(A B) (C
c
- D) = {1, 3, 5, 6, 8} {0, 8, 9}
= {0, 1, 3, 5, 6, 8, 9}

5. Hacer un grfico que presente a la operacin A B












6. Dado:
= [N] A = {X/X 12} B = {X/X 12}
Entonces; (A B)
c
es igual a:

( ) C A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}
( ) {12} B = {13, 14, 15,+}
( ) {12}
c
(A B) = {1, 2, 3, , 11, 13, 14, , +} = [N] {12}
( ) [N] (A B)
c
= {1, 2, 3, , 11, 13, 14, , +} = {12}

7. Siendo A, B y C conjuntos no vacos, la parte rayada en el grfico adjunto
corresponde a.



( ) [

]
( ) (B - C
c
) (A - B)
c

( )

]
( ) (BC)
c
(A - C)



A = {2, 3, 4, 5, 6, 7}
B = {5, 6, 7, 8, 9, 10}
37

C = {3, 6, 9, 11}
= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}

- [

]
(BC) = {5, 6, 7, 8, 9, 10} {3, 6, 9, 11} = {6, 9}
(BC)
c
= {1, 2, 3, 4, 5, 7, 8, 10, 11}
[A (B C)
c
] = {2, 3, 4, 5, 6, 7} {1, 2, 3, 4, 5, 6, 7, 8, 10, 11} = {6}
[A (B C)
c
] B = {6} {5, 6, 7, 8, 9, 10}
= {5, 6, 7, 8, 9, 10}

- (B - C
c
) (A - B)
c

C
c
= {1, 2, 4, 5, 7, 8, 10}
(B - C
c
) = {5, 6, 7, 8, 9, 10} {1, 2, 4, 5, 7, 8, 10} = {6, 9}
(A - B) = {2, 3, 4}
(A B)
c
= {1, 5, 6, 7, 8, 9, 10, 11}
(B - C
c
) (A - B)
c
= {6, 9} {1, 5, 6, 7, 8, 9, 10, 11} = {6, 9}

-

]
B
c
= {3, 4, 11} C
c
= {1, 2, 4, 5, 7, 8, 10}
(B
c

C) = {1, 2, 3, 4, 11} {3, 6, 9, 11} = {3, 11}
(B
c

C) = {1, 2, 3, 4, 11} {1, 2, 4, 5, 7, 8, 10} = {1, 2, 3, 4, 5, 7, 8, 10, 11}
(B
c

C
c
) = {6, 9}
B (C
c
)
c
= {5, 6, 7, 8, 9, 10} {6, 9} = {5, 7, 8, 10}
(B
c
C[B (B
c

C
c
)
c
]) = {3, 11}

{5, 7, 8, 10} = {3, 5, 7, 8, 10, 11}

8. Dados Conjuntos A, B y C no vacos representados en el siguiente diagrama de
Venn; entonces la regin sombreada es representada por:

( ) (ABC) - C
( ) C (A - B)
( ) (C A) - B
( ) C [(A - B) (B - A)]
( ) (C - B) (C - A)



A = {3, 4, 7, 8, 9}
B = {2, 4, 5, 8, 10}
C = {6, 7, 8, 9, 10}
= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

- (ABC) C
(ABC) = {8}
(ABC) C = { }

- C (A - B)
(A - B) = {3, 4, 7, 8, 9} {2, 4, 5, 8, 10} = {3, 7, 9}
C (A - B) = {6, 7, 8, 9, 10} {3, 7, 9} = {7, 9}

38


- (C A) B
C A = {6, 7, 8, 9, 10} {3, 4, 7, 8, 9} = {7, 8, 9}
(C A) B = {7, 8, 9} {2, 4, 5, 8, 10} = {7, 9}

- C [(A - B) (B - A)]
(A - B) = {3, 4, 7, 8, 9} {2, 4, 5, 8, 10} = {3, 7, 9}
(B - A) = {2, 4, 5, 8, 10} {3, 4, 7, 8, 9} = {2, 5, 10}
(A - B) (B - A) = {3, 7, 9} {2, 5, 10} = {2, 3, 5, 7, 9, 10}
C [(A - B) (B - A)] = {6, 7, 8, 9, 10} {2, 3, 5, 7, 9, 10} = {7, 9, 10}

- (C - B) (C - A)
C B = {6, 7, 8, 9, 10} - {2, 4, 5, 8, 10} = {6, 7, 9}
C A = {6, 7, 8, 9, 10} - {3, 4, 7, 8, 9} = {6, 10}
(C - B) (C - A) = {6, 7, 9} {6, 10} = {6}

9. Slo una de las siguientes opciones no corresponde al conjunto representado
por la parte sombreada del diagrama de Venn. Identifquelo.



( ) AB
( ) (B A
c
) (A B
c
)
( ) (A B) (A
c

B
c
)
( ) (A B) - (A B)
( ) (A B)
c

(A - B)


A = {3, 4, 5} A
c
= {1, 2, 6}
B = {2, 4, 6} B
c
= {1, 3, 5}

- A B = {3, 5} {2, 6} = {2, 3, 5, 6}
- (B A
c
) (A B
c
) = {2, 6} {3, 5} = {2, 3, 5, 6}
- (A B) (A
c
B
c
) = {2, 3, 4, 5, 6} {1, 2, 3, 5, 6} = {2, 3, 5, 6}
- (A B) (A B) = {2, 3, 4, 5, 6} - {4} = {2, 3, 5, 6}
- (A B)
c
(A - B) =
(A B)
c
= {4}
c
= {1, 2, 3, 5, 6}
(A - B) = {3, 5}
(A B)
c
(A - B) = {1, 2, 3, 5, 6} {3, 5} = {3, 5}

10. Si Re = {1, 2, 3, 4, 5, 6, 7, 8} y A y B son Conjuntos no vacos tales que:

(A B)
c
= {1, 2, 6, 7, 8}
Re [AB] = {8}
B A = {6, 7}

Entonces es verdad que:
( ) A B = {3, 4, 5}
( ) B = {3, 4, 6, 7}
39

( ) A = {1, 2, 4, 5}
( ) A (A - B) = { }
( ) (A - B) (B A) = {1, 2}



A = {1, 2, 3, 4, 5}
B = {3, 4, 5, 6, 7}


- A B = {3, 4, 5}
A B = {1, 2}

- B = {3, 4, 6, 7}
B = {3, 4, 5, 6, 7}

- A = {1, 2, 4, 5}
A = {1, 2, 3, 4, 5}

- A (A - B) = { }
A (A - B) = {1, 2}

- (A - B) (B A) = {1, 2}
(A - B) = {1, 2}
(B A) = {1, 2, 3, 4, 5, 6, 7, 8}
(A - B) (B A) = {1, 2}

11. Considere: Re = {1, 2, 3, 4, 5 , 6, 7, 8, 9, 10} y los conjuntos A, B y C no
vacos tales que:
(A B) = {1, 2, 3, 4}
A C = {1, 2, 7}
(B C) A = {8, 9}
(A B C)
c
= {5, 6}
n A = n B = 6













40


A = {1, 2, 3, 4, 7, 10}
B = {1, 2, 3, 4, 8, 9}
C = {3, 4, 8, 9, 10}


( ) A = {1, 2, 3, 4, 5} Resp. = {1, 2, 3, 4, 7, 10}
( ) B
c
= {5, 6, 7} Resp. = {5, 6, 7, 10}
( ) n (A C) = 2 Resp. = 3; {3, 4, 10}
( ) C = (BC)(AC)


(BC) = {3, 4, 8, 9}
(AC) = {3, 4, 8, 9}
C = (BC)(AC) = {3, 4, 8, 9} {3, 4, 8, 9} = {3, 4, 8, 9, 10}


12. Determinar los elementos de los conjuntos A, B y C conociendo que:
A B; (A C) B
= {a, b, c, d, e, n, o, p}
B= {j, k, n, o, p}
B C = {d, e, f, g}
C= {a, b, c, h, i, l, m, n, o, p}
A C = {a, b, c}
(A C) B = {d, e}

Respuesta:
A = {a, b, c, d, e}
B = {a, b, c, d, e, f, g, h, i, l, m}
C = {d, e, f, g, j, k}



13. Determine los elementos de los Conjuntos A, B y C. Si:
C y A no son intersecantes.
B y C son disjuntos y
A y B no son disjuntos
(AB) = {10, 11, 12, 13, 14, 15}
- C = {2, 3, 4, 5, 6, 7, 8, 9, 14, 15}
B A = {8, 9}
AB = {2, 3, 4, 5}



A = {2, 3, 4, 5}
B = {8, 9}
C = {10, 11, 12, 13}



41

1.10.1 Operaciones con intervalos como conjuntos

- Cerrado:

[a, b] Conjunto infinito de nmeros reales entre a y b incluyendo los extremos a y
b.

[a, b] = a x b


- Semiabierto hacia la izquierda:

(a, b] Conjunto infinito de nmeros reales entre a y b incluyendo el extremo b.

(a, b] = a x b



- Semiabierto hacia la derecha:

[a, b) Conjunto infinito de nmeros reales entre a y b incluyendo el extremo a.

[a, b) = a x b

- Abierto:

(a, b) Conjunto infinito de nmeros reales entre a y b no considera los extremos.



- Infinitos:

[a, +) = x a


(a, +) = x a


(-, b] = x b

(-, b) = x b

(-, +) = x 0 x 0

Conjuntos numricos de base 10

= Nat = {1, 2, 3, +}

No = {0, 1, 2, 3, , +} =
42


=

Q = Nmeros Racionales

Enteros
Q Fracciones Comunes
Fraccionarios
Exactos
Decimales Puros
Peridicos
Mixtos

Q = Nmeros irracionales Ej: e,
= 3.141569
=QQ


- Dados los conjuntos:
A = [-2, 7) B = [3, 11] C = (-5, 9] =

Determinar:


(AB) (BC)
(AB) = [-2, 11]

(BC) = [3, 9]




(AB) (BC) = [-2, 11] - [3, 9]
= [-2, 3) (9, 11]




[(A-B)C ]- (A
c
- B
c
)

A B = [-2, 7) [3, 11] = [-2, 3)
(A - B) C = [-2, 3) (-5, 9] = (-5, 9]

A
c
= (-, -2) [7, +)
B
c
= (-, 3) (11, +)
A
c
B
c
= [7, 11]
[(A-B)C ]- (A
c
- B
c
) = (-5, 9] [7, 11] = (-5, 7)


43

- Dados los conjuntos:
A = (-7, 4] B = (-20, 7] C = (3, 17) Determinar:

{(A - B) C
c
} (B C)
c
A B = C C
c
= C C {1} = C
B C = (-20, 17) C - {1} = C
(B C)
c
= (-, -20] [17, +) = C
{(A - B) C
c
} (B C)
c
= C

(A
c
- B
c
) {(A C) B}
A
c
= (-, -7] (4, +)
B
c
= (-, -20] (7, +)
A
c
B
c
= (-20, -7] (4, 7]
A C = (-7, 4] (3, 17) = (3, 4]
(A C) B = (3, 4] (-20, 7] = (-20, 3] (4, 7]
(A
c
- B
c
) {(A C) B} = {(-20, -7] (4, 7]} {(-20, 3] (4, 7]}

- Dadas las funciones proporcionales:
e = p(x) = 3x 5 3 + 7x
q(x) = x
2
+ 5x + 6 0 entonces es verdad que:

( ) A (p(x)) A (p(x)) ( ) A (p(x)) A (q(x)) = (-3, +)
( ) [A (p(x))]
c
= (-2, +) ( ) A (q(x)) = C

3x - 7x 3 + 5 x
2
+ 5x + 6 0
-4x 8 (x + 3) (x + 2) = 0 (Asoc.)
4x -8 x = -3; x = -2
x -2 (x + 3)(x + 2) 0
A (p(x)) = [-2, +) A(q(x)) = (-3, -2)


A (p(x)) A (q(x))
[-2, +) (-3, -2) = (-3, +)


A (p(x))
c
= [-2, +)
c

= (-, -2)


- Dados e = ; p(x) =

entonces es verdad que:

( ) A [p(x)] = [-2, 3)
c





( ) A [p(x)] = (-2, 3]
c
- {-3} x = -3 x = 3 punto blanco
( ) A [p(x)] = (-3, 2]
c
x + 3 = 0 x = -3
( ) A [p(x)] = (-3, 2] x + 2 = 0 x = -2

44



(-, -3) (-3, -2] (3, +)
( ) A [p(x)] = [-2, 3)
c
= (-, -2) [3, +)
( ) A [p(x)] = (-2, 3]
c
- {-3} = (-, -2] (3, +) - {-3}
= (-, -3) (-3, -2] (3, +)

- Si e = ; p(x) =

entonces es verdad que:

( ) A [q(x)] A p(x) =
( ) A
c
[p(x)] A
c
q(x) = e
( ) A [p(x)] A q(x) = A (p(x))
( ) A [q(x)] A p(x) = e
( ) A
c
[q(x)] A
c
p(x) = A
c
q (x)

| |
2x 3 = 0 | |
x = 3/2 punto blanco ||= 9 x = 9 x = -9
3x + 2 = 6 3x + 2 = -6

x = 4/3 x = -8/3
x + 5 = 0 pto. blanco pto. blanco
x = -5 punto negro








A (p(x)) = [-5, 3/2) | |
||
No
| |
Si

A (q(x)) = (-8/3, 4/3) | |
No

A (p(x)) = [-5, 3/2) A (q(x)) = (-8/3, 4/3)

A
c
p(x) = (-, -5) [3/2, +),) A
c
q(x) = (-, -8/3] [4/3, +)


1)

45




2)



3)




4)




5)






1.10.2 Problemas de aplicacin sobre encuestas (cardinalidad)

1) Una farmacia baja el precio de una locin y de una crema, la contabilidad al
final de un da indic que 66 personas haban comprado la crema y 21 la locin.
Si 12 personas compraron ambos productos, Cul es el nmero de personas
que compraron nicamente la locin?

C = 66
L = 21
(C L) = 12


Resp. = 21 12 = 9



2) De 65 familias encuestadas en un barrio; 38 tienen televisin y 40 equipos
de sonido. Cuntas familias tienen un solo artefacto?



= 65
T = 38
S = 40
(T S) = x

46

40 x + x + 38 x = 65
-x = -78 + 65
-x = -13
x = 13

Resp. 25 + 27 = 52


3) En una escuela secundaria de 1600 estudiantes, 800 aprobaron matemticas,
900 fsica, 752 qumica, matemticas y fsica 435, matemticas y qumica 398,
fsica y qumica 412, matemticas, fsica y qumica 310.
a) Cuntos aprobaron solo matemticas?
b) Cuntos aprobaron solo dos materias?
c) Cuntos aprobaron al menos una materia?
d) Cuntos aprobaron dos materias?

= 1600
f = 900
m = 800
q = 752
(f m) = 435
(m q) = 398
(f q) = 412
(f q m) = 310
( - {f q m}) = 83

Respuestas:

a) 277
b) 125 + 88 + 102 = 315
c) 1600 83 = 1517
d) 125 + 88 + 102 + 310 = 625

4) En una encuesta a 100 inversionistas se observa lo siguiente: 5 slo poseen
acciones, 15 solamente valores, 70 son propietarios de bonos, 13 poseen
acciones y valores, 23 tienen valores y bonos, 10 son propietarios de acciones y
bonos. Cada uno de los 100 invierte por lo menos en algo. Calcular el nmero de
inversionistas que son propietarios de valores.

= 100
[A (B V)] = 5
[V (A B) = 15
B = 70
(A V) = 13
(V B) = 23
(A B) = 10
(A B V)
C
= C


70 (10 - x) x (23 - x) = 37 + x
47

70 10 + x x 23 + x = 37 + x

5 + 13 x + 15 + 10 x + x + 23 x + 37 + x = 100
x = 3



Respuesta:
V = 15 + 10 + 3 + 20 = 48







5) En un colegio luego de realizar una encuesta a 200 alumnos se encontr
que 68 se comportan bien, 138 son inteligentes, 160 son habladores, 120 son
habladores e inteligentes, 20 se comportan bien y no son inteligentes, 15 se
comportan bien y son habladores pero no son inteligentes, 13 se comportan bien
y no son habladores, 17 no se comportan bien, ni son habladores, ni son
inteligentes. Calcular el nmero de estudiantes que son habladores e inteligentes
pero no se portan bien.

= 200
B = 68
I = 138
H = 160
(H I) = 120
(B - I) = 20
[(B H) I] = 15
(B - H) = 13
(B H I)
C
= 17


[(H I) B] = 80

6) De 100 cadetes encuestados, 45 practican ftbol, 20 natacin, 32 tenis, 15
ftbol y tenis, 7 tenis y natacin, 10 ftbol y natacin, 30 practican otros deportes.
Cuntos practican slo natacin.


F= 45 20 - (10 - x) - x - (7 - x)
N = 20 20 - 10 + x - x - 7 + x
T = 32 3 + x
(F T) = 15
(T N) = 7 32 - (15 - x) - x - (7 - x)
(F N) = 10 32 - 15 + x - x - 7 + x
(F N T)
C
= 30 10 + x

48



20 + x + 10 - x + x + 15 - x + 10 + x + 7 - x + 3 + x = 70
20 + 10 + 15 + 10 + 7 + 3 - 70 = -x
x = 70 - 65
x = 5

Respuesta: Slo N = 20 - 5 - 5 - 2 = 8


7) En una encuesta de 500 estudiantes se tiene que: 220 estudian lgebra,
180 lgica, 300 estudian clculo, 150 estudian lgica y clculo, 120 lgebra y
clculo, 50 estudian las 3 materias, 120 estudian lgebra o lgica pero no clculo,
entonces los que estudian slo lgica son:

( ) 20 ( ) 30 ( ) 60 ( ) 100 ( ) 150

= 500
A = 220
L = 180
C = 300
(L C) = 150
(A C) = 120
(A C L) = 50
(A L) - C = 120



A: 220 x 50 70 L: 180 x 50 - 100
100 x 30 - x

100 x + x + 30 x = 120
-x +130 = 120
-x = -10
x = 10

8) En la encuadernacin de un libro han resultado 120 ejemplos con fallas, de
los cuales 68 tienen la primera falla, 32 la segunda, 40 slo la primera falla, 5 la
primera y segunda pero no la tercera, 17 la segunda y tercera pero no la primera,
4 libros tienen las 3 fallas. Cuntos libros tienen por lo menos la tercera falla.

= 120
A = 68
B = 32
[A - (B C)] = 40 Respuesta:
[(A B) - C] = 5 C = 29 + 17 + 19 + 4
[(B C) - A] = 17 C = 69
(A B C) = 4


49

40 + 5 + 6 + 4 + 19 + 17 + x = 120
91 - 120 = -x
x = 29

9) De una encuesta a 33 personas sobre cual o cuales de los 3 proyectos A, B
o C deber ser aprobado por el congreso, se obtuvieron los siguientes resultados:
23 escogieron B o C, 5 escogieron A y B, 12 se opusieron al A o B, 3 escogieron
A y C, 13 escogieron slo B slo C, solo una persona escogi los tres
proyectos. El nmero de personas que escogieron solo A es igual al nmero de
personas que se opusieron a los tres proyectos, entonces el nmero de personas
que se opusieron a los tres proyectos es:

( ) 3 ( ) 5 ( ) 7 ( ) 11

= 33
(B C) = 23 B: 13 - (12 - x)
(A B) = 5 13 - 12 + x
(A C) = 3 1 + x
(A B C) = 1
[C - (A B)] [B - (A C)] = 13




C: 4 + 1 + 2 + 12 - x + 1 + x = 23
20 = 23
3

x + 4 + 1 + 2 + 3 + 12 x + 1 + x + x = 33
2x = 33 - 23
2x = 10
x = 10/2
x = 5

10) En una encuesta realizada por Pacifictel a un grupo de 26 abonados, 23
han realizado llamadas nacionales o internacionales, 5 han hecho nacionales y
locales, 12 internacionales pero no locales, el nmero de personas que han hecho
slo llamadas nacionales es igual al doble de las personas que han hecho
llamadas internacionales y locales pero no nacionales. Entonces el nmero de
personas que han realizado llamadas locales es:

( ) 2 ( ) 4 ( ) 7 ( ) 10 ( ) 14


= 26
(N I) = 23 2x + 5 + 12 + x = 23
(N L) = 5 17 + 3x = 23
(I - L) = 12 3x = 6
[(N - (I L)] = 2x x = 2
[(I L) - N] = x
50






Respuesta:
L: 5 + 3 +2 = 10




1.11 lgebra de Conjuntos

A B = {

x/x A x B}

Propiedades

A B = B A Conmutativa
A B C = (A B) C Asociativa
A A = A Idempotencia
A C = A Identidad
A = Absorcin
A B C = (A B) (A C)

A B = {

x/x A x B }

Propiedades

A B = B A Conmutativa
A B C = (A B) C Asociativa
A C = C Idempotencia
A = A Identidad
A A = A Absorcin
A B C = (A B) (A C)

Distributivas

A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
A - (B C) = (A - B) (A - C)
A (B C) = (A - B) (A - C)

Complementacin

A = {x/x
(
(x A)}
(A
c
)
c
= A (A B)
C
=
(
A
(
B = A
c
B
c

A A
C
= (A B)
C
=
(
A
(
B = A
c
B
c

C
= C
C
C
=
51

A A
c
= C
A
c
= A
A = - A
c

Diferencia de Conjuntos

- A B {

x/x A
(
(x B)}
- A B x A x B


Ejercicios Resueltos:

Demostrar las siguientes equivalencias:

- A - (C B) = (A - C) (A - B)
[x A
(
x (C B)] = (A - C) (A - B)
[x A
(
(x C x B)] = (A - C) (A - B)
[x A (
(
x C
(
x B)] = (A - C) (A - B)
(x A
(
x C) (x A
(
x B)] = (A - C) (A - B)
[x (A - C) [x (A - B)] = (A - C) (A - B)
x [(A - C) (A - B)] = (A - C) (A - B)
(A - C) (A - B) = (A - C) (A - B)

- (A B) = A B
c

x (A - B) = A B
c
[x A
(
(x B)] = A B
c
[x A x
(
(x B) = A B
c
x A x B
c
= A B
c
x (A B
c
)= A B
c
A B
c
= A B
c

- A (B C) = (A B) (A C)
x [A (B C)] = (A B) (A C)
[x A x (B C)] = (A B) (A C)
[x A (x B x C)] = (A B) (A C)
[(x A x B) (x A x C)] = (A B) (A C)
[x (A B) x (A C)] = (A B) (A C)
x [(A B) (A C)] = (A B) (A C)
(A B) (A C) = (A B) (A C)


- (A B) = (A
c
B)
c

x (A - B) = (A
c
B)
c

[x A
(
(x B)] = (A
c
B)
c

(
[
(
x A x B] = (A
c
B)
c

(
[x
(
x A x B] = (A
c
B)
c

(
[x A
c
x B] = (A
c
B)
c

x
(
x (A
c
B) = (A
c
B)
c
x [
(
(A
c
B) = (A
c
B)
c

52

x (A
c
B)
c
= (A
c
B)
c

(A
c
B)
c
= (A
c
B)
c


- (A B)
c
= A
c

B
c

x (A B)
c
= A
c

B
c

x
(
x (A B) = A
c

B
c

x
(
(x A x B) = A
c

B
c

x (
(
x A
(
x B) = A
c

B
c

(x
(
x A) (x
(
x B = A
c

B
c

(x A
c
) (x B
c
) = A
c

B
c

x (A
c

B
c
) = A
c

B
c

A
c

B
c
= A
c

B
c

- A B (A B
c
) = C
x (A B) = C
[x A x B] = 1
(
[ x A x B] =
(
1
(x A
(
x B) = C
(x A x
(
x B) = C
(x A x B
c
) = C
x (A B
c
= C

1.11.1 Circuitos Lgicos:

p q Asociacin en serie p q Asociacin en paralela


p = el interruptor p est cerrado
p = el interruptor p est abierto
q = el interruptor q est cerrado
q = el interruptor q est abierto

Expresar en forma simblica el siguiente grfico:


p (q r)



(p q) (q r)


[(p q) (q p)] p
[(q p) (q p)] p
q (p p) p


53



[(p q) (q p)] q





Graficar:

p (q p) [(p q) (p q)] r






Determinar la validez del siguiente razonamiento utilizando operaciones con
conjuntos:
p
1
: Algunos nmeros complejos son reales.
p
2
: Ningn nmero real es imaginario.
C: Algunos nmeros complejos no son imaginarios.



p
1:

x/ C(x) R(x)
A(C(x)) A(R(x))

p
2:

, R(x)
(

I(x)=
(
A (R(x))
(
A (I (x))

C: x/ C(x)
(
I (x)
A(c (x)) A (
(
I(x))



Si A y B son subconjuntos de U grafique A B




Sol.







54

Ejercicios del Grupo 1.3

1. Dados los siguientes conjuntos A = {1, 2, 3, 4, 5} B = {0, 2, 4, 5, 6}
C = {1, 3, 5, 6, 7} y conociendo que = {dgitos}; determinar:
a) (AB) C
b) (AC) B
c) (AB) - C
d) (A
C
B
C
) - C
e) (A
C
C
C
)B
f) (AB)
C
- B
C

g) (A - B)
C
C
h) (BC)
C
- A
C

i) Graficar los conjuntos

2. Dados los conjuntos Re = A = {x/2x7} B = {x/x<5} C = {x/x<12x=impar}

a) (AB) C
b) (AC) B
c) (AB) - C
d) (A
C
B
C
) - C
e) (A
C
C
C
)B
f) (AB)
C
- B
C

g) (A - B)
C
C
h) (BC)
C
- A
C

i) Graficar los conjuntos

3. Si A, B y C del grfico son conjuntos no vacos, entonces pintar la parte
correspondiente a: (AB) (BC
c
)











4. Si A, B y C del grfico son conjuntos no vacos, entonces pintar la parte
correspondiente a: (A - B) (B
C
C
C
)












5. Determinar los conjuntos A y B conociendo que: = {a, e, i, o, u};
(AB)
C
= { u }; (AB)
C
= { a, o, u }; B - A = { a }

6. Determinar B C conociendo que: = {1, 2, 3,, 10}; (AC) = ; C-B ={6, 8}
(ABC)
C
= {1, 10}; (AC)
C
= {1, 4, 9, 10}; B - C = {3, 4, 9}; A - B = {2, 7}

7. En una produccin de libros cien tienen fallas de encuadernacin; 50 slo le faltan
hojas; El nmero de libros que slo tiene fallas de orden es igual al nmero de los
que tienen fallas de orden y manchadas pero no le faltan hojas; 58 le faltan hojas
55

pero estn bien ordenadas; 35 le faltan hojas y hay desorden; 75 les faltan hojas o
estn manchadas pero estn ordenadas, entonces, determinar:
a) Cuntos de estos libros tienen slo fallas de orden?
b) Cuntos libros estn manchados?

8. Dados los siguientes intervalos A = [-20, 30) B = (-5, 40) C = (10, 35], determinar:
a) (AB)C
b) (AC)B
c) (AB)C
C

d) (BC)A
e) (BC)A
f) A
C
(B
C
-C
C
)

9. Demostrar que: a) ABC = (AB) (AC)
b) A(BC) = (AB) (AC)
c) A(BC) = (A - B) (A - C)

10. Expresar en forma lgica el siguiente circuito lgico.









11. Graficar el siguiente circuito lgico.

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

12. Determinar la validez de los siguientes razonamientos utilizando conjuntos.
a: Todos los guardiamarinas son responsables.
Los guardiamarinas responsables son oficiales, por tanto,
Algunos guardiamarinas son oficiales.

b: Todos los que estudian lgica, razonan.
Algunos que no razonan estudian msica.
Todos los que no estudian msica razonan, por tanto:
Todos los que no estudian msica no razonan.

13. Infiera dos conclusiones que hagan vlido al razonamiento.
P
1
: Para ser oficial hay que aprobar 4 aos en ESSUNA.
P
2
: Todos los de la armada utilizan uniforme blanco.
P
3
: Algunos que usan uniforme blanco son oficiales; por tanto:
C
1
:
C
2
:

Se tiene 2 toneles de vino del primer tonel se hecha al segundo. Tantos litros de vino
como litros haban en el segundo tonel. Luego del segundo tonel se echan al primero
tantos litros como litros haban quedado en este despus de la primera operacin. Por
ltimo del primero se echan al segundo tantos litros como litros haban en el segundo
tonel despus de la segunda operacin. Si al final cada uno tiene 72 litros. Cunto
tena cada uno al principio?





56

AUTOEVALUACIN

1.- A la derecha de cada enunciado escriba el valor de verdad si es una
proposicin, caso contrario escriba la palabra NO.

a) Shakespeare es uno de los ms grandes escritores que hubo en el mundo.
b) Por la compra de libros no se paga iba.
c) La abstraccin cambia lo borroso en amarillo.
d) Sintate y permanece quieto!
e) Si una figura geomtrica es un tringulo entonces la suma de sus ngulos
interiores es 180.
f) La divisin para cero no est definida.
g) Guayaquil es la capital del Ecuador.
h) Si un nmero es mltiplo de 6 entonces es mltiplo de 3.

2.- Determine que tipo de proposicin molecular es cada una de las siguientes.
Aydese con una tabla.

a)
b) ( ) ( ) q p q p .
c) ( ) ( ) q p q p v
d) ( ) ( ) p q q p v
e) ( ) ( ) p q q p
f) ( ) ( ) | | ( ) p q p q q p v v . v
g) ( ) ( ) q p q p
h) ( ) | | ( ) ( ) | | q p p p p q p v . v v
i) ( ) | | ( ) | | p p p p q p v . .
j) ( ) ( ) | | ( ) r p r q q p .
k) ( ) | | ( ) | | q p q r q p v . v
l) ( ) | | ( ) | | p q r r q p . . .
m) ( ) | | ( ) | | r r p r q p . . . v
n) ( ) | | ( ) ( ) | | r q q p q r p . v . .

3.- Determine el valor de verdad de la proposicin molecular conociendo que p(v),
q(f) y r(v).

a) ( ) | | ( ) | | q r p r q p . v .
b) ( ) | | ( ) | | q r p r q p . v v


4.- Si la proposicin molecular es falsa y las proposiciones p(v) y q(f) entonces r
es F o V.

a) ( ) | | ( ) | | r q p r q p .
b) ( ) | | ( ) | | r q p r q p v v .

( ) | | p q q p .
57

5.- Dadas las proposiciones: p: 20 es mltiplo de 4. q: 20 es un nmero impar.
r: 7 es un nmero primo. Escriba el enunciado de las siguientes proposiciones
compuestas y anote a la derecha un valor de verdad.

a) ) ( q p . b) ) ( s q v c) ) ( q p d) ) ( p q
e) ) ( p q f) ) ( r q v g) ) ( q r v h) r q p . ) (
i) q r p ) ( j) ) ( r q p .

6.- Traducir a lenguaje formal las siguientes proposiciones moleculares.

a) Si un tringulo es equiltero entonces tiene 3 lados congruentes.
b) Si el hijo tiene buena salud, tanto Geovanny como Gina son felices.
c) Patricia est comiendo, bebiendo y divirtindose; si y solo si tiene buena salud
o tiene dinero.

7.- Traducir a lenguaje formal la proposicin y luego formar la reciproca, inversa y
contra recproca con su respectivo enunciado.

a) El amar nos permitir ser mejores si sabemos que es un mandato de Dios.
b) Es necesario que tenga muchos libros para formar una biblioteca.
c) Basta que la juventud tenga moral y tica para que el futuro sea prspero.
d) Triunfar; ya que tengo fe, esperanza y voluntad.

8.- Negar las siguientes proposiciones siguiendo los siguientes pasos. Traducir al
lenguaje formal, expresar la negacin esquemtica y luego enunciar en palabras
la negacin.

a) Los profesores esperan que sus alumnos triunfen o cambien al pas.
b) El amor y la felicidad en cuanto llegan se van.
c) El pas progresar si y solo si preparamos convenientemente a los alumnos
ms capaces.
d) Bienvenida sea cualquier religin puesto que todas dan moral.
e) Hay que luchar por disminuir o desaparecer las guerras ya que dejan
desolacin y muerte.

9.- Demostrar las siguientes identidades.

a.

[p (q
.
r)] [(

q
.
p)
v
(p
.
r)]
b. [p

(q

r)] [(p.q)

r]
c. [a
.
(

a
v
b)] (a
.
b)
d. [(a
.
b)
v
(

b
.
a)] a
e. [(p
v
q)
v
(p
v
r)] [(p
v
q)
v
r]
f. [(r
.
s) q] [(s
.
q)

r]
g. [(p

q) v (p

r)] [p

(qv r)]
h. [

(p
v
q)
v
(

p
.
q)]

p
i. [p
v
(

p
.
q)] (p
v
q)
j. [

(p
v
q)
v
(

p
.
q)]

p
k. {[p

(qv p)] v p} .pp

l. {[(p
.
q) r]
.
[r (p
.
q)]}

[c(p
.
q)]
58


10.-Negar la proposicin

m
-
n/ [m + n=0].

11.-Negar la proposicin
-
m

n, [m n=n].

12.-Determinar el valor de verdad de las siguientes proposiciones conociendo que
Rem = R en = N.

m
-
n[m +n=0] ( )
-
m

n[m n=n] ( )
-
m
-
n[m +n=0] ( )

n
-
m[m n=m] ( )

m
-
n[m n=0] ( )

m
-
n[m n=m] ( )
-
m

n[m n=0] ( )
Sol: R// e y g son verdaderas.

13.- Re = Re
x
= Re
y
= {1,2,3,4} q(x,y): x>y. Determine el valor de verdad.
-
x
-
y/q(x,y) ( )
-
y

x, q(x,y) ( )
-
x

y, q(x,y) ( )

x
-
y/q(x,y) ( )

y
-
x/ q(x,y) ( )

y, q(x,y) ( )
Sol: R// f(F).
14.- Dado p(x,y): x>y donde Rex = {0,1,2} y el Rey = {-1,-3,10} entonces es verdad
que:
( )

y
-
x/p(x,y) ( )

x, p(x,y) ( )
-
x

y, p(x,y)
( )
-
y

x, p(x,y) ( )
-
x

y, p(x,y)
Sol: R// d.

15.- Demostrar que A[p(x) q(x)] A
c
p(x)UAq(x)
16.- Demostrar que x[p(x) .q(x)] xp(x) . xq(x)
17.- Demostrar que -x[p(x) v q(x)] -xp(x) v -xq(x)
18.- Demostrar que -x[p(x) .q(x)] -xp(x) . -xq(x)
19.- Demostrar que no se puede inferir que si -xp(x) . -xq(x) -x[p(x) .q(x)]
20.- Demostrar que xp(x) v xq(x) x[p(x) v q(x)]

TEST.

1. Una de las siguientes proposiciones no es tautologa. Identifquela.

( )
( ) | | q p q p . v
( )
( ) p q p .
( )
( ) | | p q p p .

( )
( ) ( ) | | ( ) ( ) | | s q r p s r q p v v .
( )
( ) | | q p q p .


2. La expresin ( ) | | r q p . es equivalente a:

( )
( ) | | r q p .
( )
( ) | | r q p v
( )
( ) | | r q p v

( )
( ) | | r q p .
( )
( ) | | r q p


3. Si se analizan las siguientes proposiciones:

f:El xito no es un estado mental o aquel es fruto del trabajo.
g: No es verdad que, si el xito es un estado mental es fruto del trabajo.
59

h: El xito es un estado mental y no es fruto del trabajo.
i: Si el xito no es un estado mental entonces no es fruto del trabajo.
j: El xito no es fruto del trabajo slo si no es un estado mental.


Entonces es falso que:
( ) Las proposiciones g y h son equivalentes.
( ) Las proposiciones g e i no son equivalentes.
( ) Es tautolgico afirmar que la frase El xito no es fruto del trabajo
solo si no es un estado mental se concluye que El xito no
es un estado mental o aquel es fruto del trabajo.
( ) Si la proposicin f es verdadera la proposicin h es falsa y viceversa.
Si la proposicin i es verdadera la proposicin j es falsa y viceversa.

Traducciones.

4. Determine cual de estas proposiciones es verdadera.

( ) Una condicin suficiente para que n sea divisible para 6 es que sea
divisible para 3.
( ) (p

q) ( p.q)
( )

(p
v
q) (

p
v
q)
( ) (p

q) ( q

p)

5. Dadas las siguientes proposiciones.

P1: Si me amas y te correspondo no te dejar.
P2: Yo te dejar si y solo si tu no me amas y yo no te correspondo.
Considerando p: tu me amas, q: yo te correspondo, r: yo te dejar,
entonces es cierto que:
( ) P1 se traduce como: r (pv q)
( ) P1 se traduce como: r ( p. q)
( ) P2 se traduce como: (p
.
q)

r
( ) P1 se traduce como:

r (p
.
q)
( ) P2 se traduce como: r ( p. q)

6. 16.- Considere las siguientes premisas, la afirmacin: Si el Ecuador est en
pie de guerra entonces no hay clases es equivalente a:
( ) Si no hay clases entonces Ecuador est en pie de guerra.
( ) Si el Ecuador no est en pie de guerra entonces hay clases.
( ) Si hay clases entonces Ecuador no est en pie de guerra.
( ) El Ecuador no est en pie de guerra y no hay clases.

7. 17.- Sea f. Camila habla francs y d: Camila habla dans, entonces la
expresin No es cierto que; Camila no habla ni francs ni Dans es:

( ) f
.
d ( ) f
v
d ( ) f
.
d ( )

f
.
d



60



8. Sea j: hoy es jueves, e: El examen se toma el lunes y p: Es suficiente que el
examen se tome el lunes para que hoy sea jueves pero es necesario que el
examen se tome el lunes para que hoy no sea jueves. Entonces la traduccin
correcta de p es:

( ) (j

e) . (e

j)
( ) (e

j) .(j

e)
( ) (j
.
j) (e
.
e)
( ) (e

j) .( j

e)
( ) (

e
v
j)
.
(e

j)

9. La traduccin al lenguaje formal del enunciado. Los datos no son correctos
si existe un lazo infinito, o el programa tiene un error lgico siendo a: Existe
un lazo infinito, b: Los datos no son correctos y c: El programa tiene un error
lgico es:
( ) (b

c) .a ( ) av (c

b) ( ) av ( c

b)
( ) (cb) v a ( ) av ( cv b)

10. La recproca de la proposicin:

Es necesario que haya nieve para que Luis pueda esquiar es:
( ) Si hay nieve, Luis puede esquiar.
( ) Si no hay nieve, entonces Luis puede esquiar.
( ) Si Luis puede esquiar, entonces hay nieve.
( ) Si hay nieve entonces Luis no puede esquiar.
( ) Solo si hay nieve, Luis puede esquiar.

11. Dada la proposicin La vida te sonre solo si eres feliz; es falso que:

( ) Si la vida te sonre, entonces eres feliz.
( ) Eres feliz cuando la vida te sonre.
( ) Ser feliz es necesario para que la vida te sonra.
( ) Eres feliz si la vida te sonre.
( ) Ser feliz es suficiente para que la vida te sonra.

12. Una de las siguientes proposiciones es falsa, identifquela.
( ) [p

(q

p)] 1 ( ) (p

q) ( q

p)
( )

[
-
x/p(x) q(x)]

x,p(x)
.
q(x)
( ) Si N(Re) >1: entonces

xp(x)
-
xp(x) Sol: R// d.

13. La negacin de la proposicine>0, -neNn>n[(an-l<e) .(-e<an-l)] es:
( )

e
s
0,
-
n.N

n<n [(an-l
>
e)
v
(-e<an-l)]
( )
-
e
s
0,

n.N
-
n<n [(an-l
>
e)
v
(-e
>
an-l)]
( )

e>0,
-
n
e
N

n
>
n [(an-l
>
e)
v
(an-l
s
-e)]
( )
-
e>0,

n
e
N
-
n
>
n [(e
>
an-l)
v
(an-l
s
-e)]
( ) Ninguna de las anteriores. Sol: R// d.

61

14. Considrese el predicado de 2 variables p(x,y): x<3-y. Si un Re
x
= {2,4,6,8} y
Re
y
: {2,1,0,-1,-2,-3,-4,-5,-6}. Bajo estas condiciones determine cul de las
siguientes proposiciones es verdadera.

( )

y p(x,y) ( )

x
-
y/p(x,y) ( ) Ap(x,y) Re
x
x Re
y

( ) x y y son variables libres.( ) y-x/p(x,y) Sol: R// b.

15. Sean los conjuntos Rex = {1,2,3} Rey = {a,b,c,d} y el predicado p(x,y) x es el
nmero que indica el lugar que ocupa y en el alfabeto, entonces la
proposicin verdadera es:

( )

y[p(x,y)] ( )
-
x

y[p(x,y)] ( )

x
-
y[p(x,y)]
( )

y
-
x[p(x,y)] ( )
-
y

x[p(x,y)] Sol: R// c.

16. Si p(x) y q(x) son predicados cualesquiera, entonces una de las siguientes
proposiciones es Falsa. Identifquela.

( ) Si Re = ,
-
x/p(x)

xp(x) ( ) Si Re = {a},
-
xp(x)

xp(x)
( ) Si Re = {a,b,c},

xp(x)
-
xp(x)
( ) Si Re = {1,2},
-
x[p(x)
.
q(x)]
-
xp(x)
. -
xq(x)
( ) Si Re = {1,2,3},

x[p(x)
.
q(x)]

xp(x)
v
xq(x) Sol: R// e.

17. Dado el conjunto referencial Re = {1,2,3,4,5} p(x): x es # par, q(x): x es impar
entonces es verdad que:

( ) [

xp(x)
-
xp(x)] 0 ( ) [A(p(x))
.
A(q(x))] {2}
( ) [
-
xp(x)
.
xq(x)] 1 ( ) [

xp(x)
v
xq(x)] 1
( ) A[p(x) q(x)] = {1,3,5} Sol: R// e.



















62

RESPUESTAS:

Ejercicios Grupo 1.1:

1)
a) Proposicin (F) Simple.
b) Proposicin (V) Simple.
c) Proposicin (V) Compuesta.
d) Proposicin (V) Simple.
e) No es proposicin.
f) No es proposicin
g) No es proposicin, no redefine el conjunto referencial.
h) Proposicin (V) Simple.
i) Proposicin (V) Compuesta.
j) Proposicin (V) Compuesta
k) No es proposicin.
l) Proposicin (V) Compuesta
m) Proposicin (V) Compuesta
n) No es proposicin

2)
a) Carlos estudia y trabaja.
b) Carlos estudia o trabaja
c) Si Carlos estudia entonces es responsable
d) Si Carlos estudia y trabaja entonces es responsable.
e) Si Carlos trabaja y estudia, entonces es responsable.
f) Si Carlos no trabaja entonces no es responsable.
g) Carlos trabaja si y slo si es responsable.
h) Si Carlos estudia y trabaja, entonces es responsable.
i) Si Carlos estudia o trabaja, entonces es responsable.
j) Si Carlos no trabaja entonces es responsable.
k) No es verdad que, Carlos estudie y trabaje.
l) Carlos no estudia y no trabaja.
m) Carlos estudia y no es responsable.
3)
a) Es suficiente que un nmero sea mltiplo de 2 y 3 para que sea mltiplo de
6.

Es necesario que sea mltiplo de 6 para que sea mltiplo de 2 y 3.

Ser mltiplo de 2 y 3 implica ser mltiplo de 6.

Es mltiplo de 2 y 3 slo si es mltiplo de 6.

Basta que sea mltiplo de 2 y 3 para que sea mltiplo de 6.

Se tiene que es mltiplo de 6 si es mltiplo de 2 y 3.

Es mltiplo de 6 si es mltiplo de 2 y 3.

Es mltiplo de 6; puesto que es mltiplo de 2 y 3.

Es mltiplo de 6 ya que es mltiplo de 2 y 3

63

Ser mltiplo de 6 cada vez que sea mltiplo de 2 y 3.


b) Si es mltiplo de 6 entonces es mltiplo de 2 y 3.

Si no es mltiplo de 2 y 3 entones no es mltiplo de6.

Si no es mltiplo de 6 entonces no es mltiplo de 2 y 3.

4)

a) Contingencia.
b) Contingencia
c) Tautologa.
d) Tautologa.
e) Contradiccin.
f) Contingencia.
g) Tautologa.
h) Contingencia.
i) Contradiccin.
j) Contingencia.

5)
a) p ( F ).
b) p ( V ) y q ( V )
c) p ( V ) y q ( F )
d) p ( V ) y q ( V )
e) p ( V ) , q ( F ) y r ( F )


TEST
1. Cuarta
2. Tercera
3. Cuarta.
4. Segunda





Ejercicio del Grupo 1.2:

1)
a) c) (b a .
b) m) (n m) t (p v . .
c) ( ) | | h v r p . .
d) s) d (p p . .
e)
( ) ( ) | | ( ) ( )
( ) ( )
( ) s d p p d)
p h v r h v r p c)
m t n m n m n m t p b)
c) b ( a a)
. . .
. . . . . .
. . . v v . . . .
v .

64

2)
a) p(x) x/ x, -
b) p(x) x, x/ -
c) c o o c > . < < > > - L f(x) a - x 0 0, 0/
d) N f(x) a x 0 0, 0, N s . < < > > - o o

3)
a) q(x) p(x) .
b) q(x) p(x)
c) q(x) p(x)
d) q(x) p(x) .
e) q(x) p(x)
f) q(x) p(x) .

4)
a) Vlido
b) Vlido
c) No vlido


TEST

1) 1
2) 4
3) 3
4) 3
5) 4








Respuestas:
1.
a) {1, 3, 5, 6}
b) {2, 4, 5, 6}
c) {0, 2, 4}
d) {0, 8, 9}
e) {2, 4, 5, 6, 8, 9}
f) {2, 4, 5}
g) {5, 6, 7}
h) {3, 5}
i)
2.
a) {1, 3, 5, 7}
b) {1, 3, 4}
c) {0, 2, 4}
d) {2, 8, 10, 6, 12, 13,}
e) {4, 5, 6, 10, 12, 13, 14,}
f) {3, 4}
65

g) {1, 3, 9, 11} i)

h) {1, 8, 10, 12, 13}







3.







4.









5. A = {a, e, i} B = {i, e, o}

6. B C = {5}

7. a) 10 b) 40

8. a) (10, 35] b) (-5, 35] c) (-, 10] (35, +)
d) [-20, -5] (10, 30) (35, 40) e) (35, 40) f) (-, -20) [30, +)

9. {[p (q r)] (p r)} s


10.







11. a) vlido b) vlido


99 y 65 litros