PONTIFICIA UNIVERSIDAD CATLICA

DE VALPARASO
TEMAS


I.- LOGICA




1.- Determine el valor de verdad de cada una de las siguientes proposiciones:


( )
2
3
a) p : 1 1
2 8
b) q :
3 27
c) r : 8 6 3 1 7
d) s : Los divisores de 15 son 1,3,5 y 15

=
| |
=
|
\ .
+ + =


Respuesta:
a) Como
2
( 1) 1 y 1 1 = = , la proposicin es F.

b) Segn propiedades de potencias tenemos que:

( )
( )
( )
( )
3
3
3
3
2 1
3
2
3
1
2
3
1
8
27
27 27 8
pero luego la proposicin es F.
8 8 27

| |
=
|
\ . | |
|
\ .
=

= =


c) 8 6 3 1 16 7 + + = = por lo tanto la proposicin es V.

d) Segn descomposicin de nmeros se tiene que: 15 135 = , luego los divisores son: 1,3,5 y 15.
La proposicin es V.

PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO



2.- Determine el valor de verdad de cada una de las siguientes proposiciones, considerando como
conjunto universo { } 5 4 3 2 1 , , , , U =
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( )( ) ( )
2
2
2
a) 3 10
b) 2 5
c) 1 0
d) 3 4
e) 2 1
f) 2 3 5
x U x
x U x
x U x
x U x
x U x x
x U y U x y
- e + =
e + s
e >
- e >
- e >
- e - e =




Respuesta:

a) Como existe 2 x = en , tal que 2 3 10 + = es verdad, la proposicin ( )( ) 3 10 x U x - e + = es V.
Recuerde que cuando el cuantificador es , basta que encuentre un elemento que haga
verdadera la proposicin, para que sta sea verdadera. No siga buscando.


b) Como el cuantificador es un , debemos revisar el valor de verdad de la proposicin con todos
los valores de . En el caso del , al primer elemento que usted encuentre que haga falsa la
proposicin, lo entrega como contraejemplo y no sigue buscando.
Comencemos a completar la siguiente tabla:
2
( ) : 2 5 Valor de verdad
1 3 5
2 6 5
3
4
5
x U p x x
V
F
e + s
s
s


Nos detenemos en = 2, ya que este valor hace falsa la proposicin.
Como existe = 2 en tal que 6 5 es falsa, la proposicin
( )( )
2
2 5 x U x e + s es F.










PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

c) Comencemos a completar la siguiente tabla:
2
2
2
2
2
2
( ) : 1 0 Valor de verdad
1 1 1 0
2 2 1 0
3 3 1 0
4 4 1 0
5 5 1 0
x U p x x
V
V
V
V
V
e >
>
>
>
>
>



Como todos los elementos de hacen verdadera la proposicin, concluimos que
la proposicin
( )( )
2
1 0 x U x e > es V.


d) Comencemos a completar la siguiente tabla:

( ) : 3 4 Valor de verdad
1 1 3 4
2 2 3 4
3 3 3 4
4 4 3 4
5 5 3 4
x U p x x
F
F
F
F
F
e >
>
>
>
>
>

Como no existe un valor en U que haga verdadera la proposicin, concluimos que
la proposicin ( )( ) 3 4 x U x - e > es F.


e) Comencemos a completar la siguiente tabla:

2
2
2
2
( ) : 2 1 Valor de verdad
1 1 21 1
2 2 22 1
3 3 23 1
4
5
x U p x x x
F
F
V
e >
>
>
>

Nos detenemos en = 3, ya que este valor hace verdadera la proposicin.
Como existe = 3 en tal que 3
2
2 3 es verdad,
la proposicin ( )( )
2
2 1 x U x x - e > es V.






PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

f) Notamos que en esta proposicin aparecen dos variables , , donde ambas toman su valor
en el mismo universo . Como ambas estn cuantificadas por un , basta con encontrar un
valor para y un valor para que hagan verdadera la proposicin. Una vez
encontrados estos valores puede afirmar que la proposicin es verdadera y no sigue buscando.
Comencemos a completar la siguiente tabla:

2 3 5 Valor de verdad
1 1 2 3 5
1 2 2 6 5
1 3 2 9 5
2 1 4 3 5
2 2 4 6 5
2 3 4 9 5
4 1 8 3 5
x U y U x y
F
F
F
F
F
F
V
e e =
=
=
=
=
=
=
=


Detenemos nuestra bsqueda ya que hemos encontrado = 4 = 1 en talque
2 4 3 1 = 5 es verdad.
Como existe = 4 = 1 en talque 2 4 3 1 = 5 es verdad,
la proposicin ( )( )( ) 2 3 5 x U y U x y - e - e = es V.

3.- Determine el valor de verdad de cada una de las proposiciones del problema anterior, considerando
los siguientes universos:
3.1) =
3.2) U= 0
3.3) U=

Respuesta:
3.1) =

a) Como (por ejemplo) existe 2 x = en , tal que 2 3 10 + = es verdad, la proposicin
( )( ) 3 10 x R x - e + = es V.


b) Comencemos a completar la siguiente tabla:

:
2
+2 5 Valor de verdad
1 3 5 V
5 25 +2 5 F

Detenemos nuestra bsqueda ya que existe = 5 en tal que 25 +2 5 es falsa.

Por lo tanto la proposicin ( )( )
2
2 5 x R x e + s es F.



PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

c) Comencemos a completar la siguiente tabla:

:
2
1 0 Valor de verdad
1 1
2
1 0 V

1
2

1
4
1 0 F


Nos detenemos, ya que existe =
1
2
en tal que
1
4
1 0 es falsa.
La proposicin
( )( )
2
1 0 x R x e > es F.


d) Comencemos a completar la siguiente tabla:

: 3 4 Valor de verdad
1 1 3 4 F
9 9 3 4 V


Como existe = 9 en tal que 9 3 4 es verdad, la proposicin
( )( ) 3 4 x R x - e > es V.


e) Comencemos a completar la siguiente tabla:

:
2
2 > 1 Valor de verdad
2 2
2
2 2 > 1 F
11 11
2
2 11 > 1 V


Como existe = 11 en tal que 11
2
2 11 > 1 es verdad, la proposicin

( )( )
2
2 1 x R x x - e > es V.


f) Comencemos a completar la siguiente tabla:

2 3 = 5 Valor de verdad
3 2 6 6 = 5 F
4 1 8 3 = 5 V


Como existe = 4 = 1 tal que 8 3 = 5 es verdad, la proposicin
( )( )( ) 2 3 5 x R y R x y - e - e = es V.




PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO
3.2) = 0

a) Como (por ejemplo) existe = 11en 0, tal que 11 + 3 10 es verdad, la proposicin
0 +3 10es V.


b) Comencemos a completar la siguiente tabla:

0 :
2
+2 5 Valor de verdad
1 3 5 V
10 100 +2 5 F

Detenemos nuestra bsqueda ya que existe = 10 en 0 tal que 100 +2 5 es falsa.

Por lo tanto la proposicin 0
2
+2 5es F.


c) Comencemos a completar la siguiente tabla:

0 :
2
1 0 Valor de verdad
1 1
2
1 0 V
0 0 1 0 F

Nos detenemos, ya que existe = 0 en 0 tal que 0 1 0 es falsa.
La proposicin 0
2
1 0es F.


d) Comencemos a completar la siguiente tabla:

0 : 3 4 Valor de verdad
1 1 3 4 F
20 20 3 4 V


Como existe = 20 en 0 tal que 20 3 4 es verdad, la proposicin
0 3 4 es V.


e) Comencemos a completar la siguiente tabla:

0 :
2
2 > 1 Valor de verdad
2 2
2
2 2 > 1 F
10 10
2
2 10 > 1 V


Como existe = 10 en 0 tal que 10
2
2 10 > 1 es verdad, la proposicin
0
2
2 > 1 es V.



PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO
f) Comencemos a completar la siguiente tabla:

0 0 2 3 = 5 Valor de verdad
3 2 6 6 = 5 F
7 3 14 9 = 5 V

Como existe = 7 = 3 0 tal que 14 9 = 5 es verdad, la proposicin
0 02 3 = 5 es V.


3.3) =
a) Como (por ejemplo) existe = 11en , tal que 11 +3 10 es verdad,
la proposicin +3 10es V

. b) Comencemos a completar la siguiente tabla:
:
2
+2 5 Valor de verdad
1 3 5 V
10 100 +2 5 F
Detenemos nuestra bsqueda ya que existe = 10 en tal que 100 + 2 5 es falsa.
Por lo tanto la proposicin
2
+2 5es F.

c)Comencemos a completar la siguiente tabla:
:
2
1 0 Valor de verdad
1 1
2
1 0 V
0 0 1 0 F
Nos detenemos, ya que existe = 0 en tal que 0 1 0 es falsa.
La proposicin
2
1 0es F.

d) Comencemos a completar la siguiente tabla:
: 3 4 Valor de verdad
1 1 3 4 F
20 20 3 4 V
Como existe = 20 en tal que 20 3 4 es verdad, la proposicin
3 4 es V.

e) Comencemos a completar la siguiente tabla:
:
2
2 > 1 Valor de verdad
2 2
2
2 2 > 1 F
10 10
2
2 10 > 1 V
Como existe = 10 en tal que 10
2
2 10 > 1 es verdad, la proposicin

2
2 > 1 es V.

f) Comencemos a completar la siguiente tabla:
2 3 = 5 Valor de verdad
3 2 6 6 = 5 F
7 3 14 9 = 5 V
Como existe = 7 = 3 tal que 14 9 = 5 es verdad, la proposicin
2 3 = 5 es V.


PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

4.- Dados los conjuntos { } { } 1 0 1 2 3 3 2 1 , , , , B y , , A = = . Determine el valor de verdad
de las siguientes proposiciones:

a) ( )( ) ( ) ( ) ( ) 0 10 2 > s e - e y x y B y A x
x

b) ( )( ) ( ) ( ) ( ) 0 10 2 > s e e - y x y B y A x
x


Respuesta:

Sea

Completemos la siguiente tabla donde los valores de estn en la 1fila y los valores de
en la 1 columna:

y 1 2 3
3
2
1
0
1
x
F F V
F F F
F F F
F F F
V V V

Como se cumple que:
Para x=1, existe y=1.
Para x=2, existe y=1.
Para x=3, existe y=1 ( o bien, existe y=-3) . Es decir para cada valor de fue posible
encontrar un valor de de modo que la proposicin es verdadera.

a) Por lo tanto ( )( ) ( ) ( ) ( ) 0 10 2 > s e - e y x y B y A x
x
es V.
b) Si observamos la tabla, vemos que no existe un valor para que haga verdadera la
proposicin para todos los valores de . De hecho en cada columna siempre se da que la
proposicin es falsa para algn valor de . Como no existe un x tal que para cada y la
proposicin es V, ( )( ) ( ) ( ) ( ) 0 10 2 > s e e - y x y B y A x
x
es F












( ) ( ) ( ) 0 10 2 : ) , ( > s y x y y x p
x
PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO
5.- Dados los conjuntos { } { } 1 0 2 1 2 1 , , B y , , A = = .
Determine el valor de verdad de las siguientes proposiciones:
a) ( )( ) ( ) ( ) ( )
2 2
y y x x xy B y A x < v > e e -
b) ( )( ) ( ) ( ) ( ) par es 2
2
y x x y x B y A x . < + e - e


Respuesta:

a) Trabajemos de la siguiente manera: Sea ( ) ( ) ( )
2 2
: ) , ( y y x x xy y x q < v >

y no sigo analizando q(x,y) ya que con y=0 es F.

Si 2, 2 0 1
(2, )
x y
q y V F
=

y no sigo analizando q(x,y) ya que con y=0 es F.

Si 1, 2 0 1
( 1, )
x y
q y V F
=

y no sigo analizando q(x,y) ya que con y=0 es F.
Como no fue posible encontrar un valor para que hiciera verdadera la proposicin para
cada valor de la proposicin ( )( ) ( ) ( ) ( )
2 2
y y x x xy B y A x < v > e e - es F.


b) Trabajemos de la siguiente manera:
Sea
( ) ( )
2
( , ) : 2 es par t x y x y x x y + < . y analicemos para cada valor de x.

Si 1 2 0 1 y no sigo analizando ya que
(2, ) para 1, existe 2, tal que (1, 2) es
x y
t y V x y t V
=
= =


Si 2 2 0 1 y no sigo analizando ya que
(2, ) para 2, existe 2, tal que (2, 2) es
x y
t y V x y t V
=
= =


Si 1 2 0 1 y no sigo analizando ya que
( 1, ) para 1, existe 2, tal que ( 1, 2) es
x y
t y V x y t V
=
= =

Como para cada valor de fue posible encontrar un valor para que hiciera verdadera
la proposicin, afirmamos que ( )( ) ( ) ( ) ( ) par es 2
2
y x x y x B y A x . < + e - e es V







Si 1, 2 0 1
(1, )
x y
q y V F
=

PONTIFICIA UNIVERSIDAD CATLICA

DE VALPARASO
6.- Niegue cada una de las proposiciones anteriores.

Respuesta:
a) La negacin de ( )( ) ( ) ( ) ( )
2 2
y y x x xy B y A x < v > e e - es:

( )( ) ( ) ( ) ( )
( )( ) ( ) ( )
( )
( )( ) ( ) ( ) ( )
2 2 2 2
2 2
a) x A y B xy x x y y x A y B xy x x y y
x A y B xy x x y y
- e e > v < e - e > v <
e - e < . >


b) La negacin de ( )( ) ( ) ( ) ( ) par es 2
2
y x x y x B y A x . < + e - e es:

( )( ) ( ) ( )
( )
( )( ) ( ) ( )
( )
( )( ) ( ) ( )
( )
2 2
2
b) 2 es par 2 es par
2 es impar
x A y B x y x x y x A y B x y x x y
x A y B x y x x y
e - e + < . - e e + < .
- e e + > v



7.- Clasifique las siguientes proposiciones en tautologas, contradicciones o contingencias.
a) ( ) p q p . b) ( ) p p p
c) ( ) | | ( ) | | r q p r q p v . : v . d) ( ) ( ) | | | | p q q p q p .

Respuesta:

Como no se especifica el mtodo para clasificar, se mostrarn dos maneras de clasificar:
a) Por tabla:
( ) ( ) p q p q p q p
V V V V
V F F V
F V F V
F F F V
. .

Como para cualquier valor de verdad de y para cualquier valor de verdad de ,
la proposicin ( ) p q p . es siempre verdadera , tenemos que ( ) p q p . es una
Tautologa.

b) Por tabla:


V V V
F V V


Como para todos los valores de verdad de la proposicin es verdadera, la proposicin
( ) p p p es una Tautologa.


PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO
c) Por tabla:
Note que ( ) | | ( ) | | r q p r q p v . : v .


V V V V V V V V
V V F V V V V V
V F V V F V V V
V F F F F F F V
F V V V F F V V
F V F V F F F V
F F V V F F V V
F F F F F F F V

Como para cualquier valor de verdad de , , ,la proposicin es
siempre verdadera , tenemos que es unaTautologa.

d) Por tabla


( ) ( ) | | | | p q q p q p .
V V F V V F V F
V F F F F V V V
F V V F V V V V
F F V F V V V V

Como no siempre los valores de verdad son los mismos, la proposicin
( ) ( ) | | | | p q q p q p . es una contingencia.

a) Mediante Tautologas Fundamentales.




V
Como independiente del valor de verdad de la proposicin es verdadera, se tiene
que la proposicin es una Tautologa.

b) Mediante tautologas Fundamentales.



V
Como independiente del valor de verdad de la proposicin la proposicin
, es siempre verdadera, se tiene que es una tautologa.





PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO




c) Mediante Tautologas Fundamentales:


( ) ( ) ( ) ( )
( ) ( )
( ) ( )



p q r p q r p q r p q r
p q r p q r
p q r p q r
. v : . v . v . v ( ( ( (

. v v . v ( (

v . v . v ( (

( ) ( )
( ) ( )
( ) ( ) ( ) ( )




p q r p q r
p p q q r r
p p p q q r r r
v . v . v
v . v . v ( (

v . v v v . v ( (

( ) ( )
( ) ( )
( )





V p q q r V
p q q r
p q q r
p V r
. v v v . ( (

v v v
v v v
v v
V



Luego es una Tautologia.



d) Mediante Tautologas Fundamentales:


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

(
. v v v v

. . . v v (

. . . v v
. v v
v v
v



Luego es una Contingencia.



PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO
8.- Considerando las proposiciones del ejercicio 1.) determine el valor de verdad de:

a) ( ) ( ) s r q p . b) ( ) ( ) s q q p .

Respuesta:

Segn ejercicio 1. tenemos que:

( )
2
3
a) p : 1 1
2 8
b) q :
3 27
c) r : 8 6 3 1 7
d) s : Los divisores de 15 son 1,3,5 y 15
F
F
V
V

=
| |
=
|
\ .
+ + =


Entonces:

( ) ( ) ( ) ( ) a) F F V V V V
V
. ( (

El valor de verdad de la proposicin es V.

( ) ( ) ( ) ( )
| |
b) F F F V V F V V
F F
V
( (
. . v

El valor de verdad de la proposicin es V.

9.- Demuestre que ( ) ( ) | | V r q q p v


Respuesta:


( ) ( ) ( ) ( )
( )
( )
p q q r p q q r
p q q r
p V r
V
v v v v ( (

v v v (

v v (

Queda demostrado





PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

10.- Si los valores de verdad de p, q, r son V, F, F respectivamente, determinar el valor de
Verdad de la siguiente proposicin compuesta: ( ) ( ) ( ) | | r q r p q p v . v .

Respuesta:

Reemplazando los valores de verdad en la proposicin, se tiene lo siguiente:


( ) ( )
( )
( ) ( )
( )
( ) ( ) ( )
( )
p q p r q r V F V F F F
F V V
V V
V
( ( ( (
. v . v . v . v

(
. (


(

El valor de verdad de la proposicin es V.


11.- Si ud. sabe que las proposiciones ( ) ( ) | | q r , q p . v r p y son verdaderas. Puede decidir el valor
de verdad de cada una de las proposiciones dadas a continuacin?
a) r q
b) ( ) q r p v
c) ( ) p r q v


Respuesta:

Como hiptesis se tiene que son verdaderas, esto es:
o ( ) verdadera ssi es es p q p V q V v
o r es V.
o
( ) es p r q V . (

. De acuerdo a lo anterior se nos presentan los siguientes casos:
( ) p q r p r q
V V V V
V F V F
F V V F
.

Luego la proposicin
( ) es p r q V . (

solamente cuando las tres proposiciones son
V.


Con lo anterior afirmamos que:

a) r q es V.
b) ( ) q r p v es V.
c) ( ) p r q v es F.
( ) ( ) | | q r , q p . v r p y
PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO


12.- Determine los valores de verdad de p, q y r de manera tal que la proposicin
( ) | | ( ) ( ) | | q r p r r q p v sea falsa.

Respuesta: La proposicin


( ) | | ( ) ( ) | | q r p r r q p v es Falsa ssi
( ) p q r es V y ( ) ( ) r p r q v es F.

A B

Analizaremos B: es F ssi ( ) r p es F y ( ) r q
ssi ( ) es y es r V p F y ( ) es y es r V q F

Analizamos A: Con los valores obtenidos de las proposiciones simples anteriores verificamos que
A es V reemplazando:

( ) ( )
| |
p q r F F V
V V
V
( (

Por lo tanto los valores de verdad de las proposiciones simples es:
:
:
:
r V
p F
q F





















( ) ( ) r p r q v
PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

13.- Determine el valor de verdad de ( ) ( ) q r q r v . si se sabe que:
( ) | | ( ) ( ) | | q p q p p r q v . . es contradiccin.


Respuesta: La proposicin


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

es F ssi ambas son de distinto valor de verdad.

Pero si analizamos la proposicin compuesta ( ) ( ) p q p q . v nos damos cuenta que:

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


v v v

Por lo tanto la proposicin original se reduce a lo siguiente:
( )
( ) ( )
( )
q r p p q p q q r p V
( ( (
. . v .



Ahora, la proposicin es una contradiccin ssi
( )
q r p
(
.

es F.
Entonces:

( ) ( )
es ssi es y es
ssi es , es y es
q r p F q r V p F
q V r F p F
(
. .




Con los valores de verdad de las proposiciones simples, vamos a la proposicin a la que se pide
su valor de verdad y reemplazamos:


( ) ( ) ( ) ( )
( ) ( )
q r q r V F V F
V F
F
v . v . ( (

(

Luego la proposicin es F.









PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

14.- Sabiendo que: ( ) | | ( ) ( ) | | F t p p q p q p es . . v
Determine el valor de verdad de: ( ) ( ) ( ) ( )
p q t q t q v . v


Respuesta:


Se sabe que:


( )
( ) ( )
( )
( ) ( )
( ) ( )
( )
( )
( ) ( ) ( ) ( )
( )
, ,
p q p q p p t F
p q p V q p p t F
q p p t F p q p V
q p V p t F p q p V
p V q F t V
( (
v . . (


( (
v . . . (


(
(
( . . . v (

(

(
( . . . . v (






Teniendo los valores de verdad de las proposiciones simples, reemplazamos en la proposicin
compuesta quedando:

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( )
( ) ( )
p q t q t q F F V V F V
F V V V
F V
F
( ( v . v v . v

. (

. (

Luego el valor de verdad de ( ) ( ) ( ) ( )
p q t q t q v . v es F.
















PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

15.-Dados { } { } 2 , 1 , 0 1 , 2 , 1 = = B A


Determine el valor de verdad de la siguiente proposicin:



Respuesta:


Trabajemos (como en ejercicios anteriores) con una tabla.


Primero para 1 x =
( ) ( )
2 2
1 0 no sigo ya que debe ser para todo valor de
x y xy x xy y
F V y
< <



Ahora para 2 x =
( ) ( )
2 2
2 0 no sigo ya que debe ser para todo valor de
x y xy x xy y
F V y
< <



Finalmente para 1 x =
( ) ( )
2 2
1 0 no sigo ya que debe ser para todo valor de
x y xy x xy y
F V y
< <

Por lo tanto la proposicin ( )( )( )
2 2
y xy x xy B y A x < < e e - es F.

















( )( ) ( ) ( ) ( )
2 2
y xy x xy B y A x < < e e -
PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

16.-Dados { } { } 1 , 2 , 2 y 2 , 0 , 1 = = B A

Determine el valor de verdad de las siguientes proposiciones:


( )( ) ( ) ( ) ( )
( )( ) ( ) ( ) ( )
2 2
2 2
a) 1 0 0
b) 1 0 0
x A y B xy x y
x A y B xy x y
e - e + < v =
- e e + < v =



Respuesta:


Trabajemos con una tabla.

a)
Primero para 1 x =
( ) ( )
2 2
1 0 0 no sigo con los calculos ya que se verific que para
1 2 1, existe 2 que hace verdadera la proposicin.
x y xy x y
V x y
+ < v =
= =


Ahora para 0 x =
( ) ( )
2 2
1 0 0
0 2 podemos apreciar que para cada
2 valor de no se encontr un que
1 satisfaga la funcion proposicional
x y xy x y
F
F x y
F
+ < v =

Estamos, con lo anterior, en condiciones de afirmar que

( )( ) ( ) ( ) ( )
2 2
1 0 0 x A y B xy x y e - e + < v = es F















PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

b) Primero para 1 x =

( ) ( )
2 2
1 0 0
1 2 podemos apreciar que
2 1 no satisface la funcion
proposicional para cada valor de
x y xy x y
V
F x
y
+ < v =

=



Ahora para 2 x =

( ) ( )
2 2
1 0 0
2 2 podemos apreciar que existe
2 2 de modo que para cada ,
1 se satisface la funcion proposicional
x y xy x y
V
V x y B
V
+ < v =

= e


Por lo tanto ( )( ) ( ) ( ) ( )
2 2
1 0 0 x A y B xy x y - e e + < v = es V.






























PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

17) Dados { } { } 0 , 2 , 3 y 2 , 5 , 3 = = B A

a) Determine el valor de verdad de ( )( )( ) 0 x A y B xy e - e >
b) Determine si la proposicin anterior es equivalente a ( )( )( ) 0 > e e - xy A x B y
c) Escriba una negacin de la proposicin a) de modo que no aparezca el smbolo " "


Respuesta:

a) Trabajando con la tabla pueden observar que:
Para 3 x = , existe 2 y = tal que 0 xy >
Para 5 x = , existe 2 y = tal que 0 xy >
Para 2 x = , existe 3 y = tal que 0 xy >
Por lo tanto ( )( )( ) 0 x A y B xy e - e > es V
b) La proposicin ( )( )( ) 0 > e e - xy A x B y no es equivalente a la anterior ya que esta es F.
Por qu es F? Porque la negacin de esta es V.
Veamos, la negacin de la proposicin ( )( )( ) 0 > e e - xy A x B y es
( )( )( ) 0 s e - e xy A x B y
Y podemos verificar que:
- Para 3 y = , existe 3 ( o bien 5) x x = = tal que 0 xy s .
- Para 2 y = , existe 2 y = tal que 0 xy s .
- Para 0 y = , existe 3 ( 5 = 2) y x x = = tal que 0 xy s


( )( )( ) ( )( )( )
( )( )( )
c) 0 0
0
x A y B xy x A y B xy
x A y B xy
e - e > e - e >
- e e s
















PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

II CONJUNTOS Y CUANTIFICADORES


1.- Sean { } { } 21 / 11 /
* *
< . e = s e = n par es n IN n B y n IN n A conjuntos.
Escriba por extensin los siguientes conjuntos:
a) B A
b) B A
c)
B A

d) B AA
Observacin: se define la diferencia simtrica entre dos conjuntos A y B como
B AA =
En un diagrama de Venn sera:


Respuesta:

Primero escribiremos por extensin los conjuntos A y B.
{ } 1, 2, 3, 4, 5, 6, 7,8, 9,10,11 A=
{ } 2, 4, 6,8,10,12,14,16,18, 20 B =

a) { } 1, 2, 3, 4, 5, 6, 7,8, 9,10,11,12,14,16,18, 20 A B =
b) { } 2, 4, 6,8,10 A B =
c) { } 1, 3, 5, 7, 9,11 A B =
d) { } 20 , 18 , 16 , 14 , 12 , 11 , 9 , 7 , 5 , 3 , 1 = AB A











PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

2.- Considere los conjuntos { } { } { } { } 2 , , 1 , 2 , 1 , 1 2 , , , , 1 , , 1
5
1
5
2
5
2
5
2
5
2
5
1
4
1
= = = =

C B A U
Escriba por extensin los conjuntos:

a) ( )
c
c c
C B A
b) ( ) ( ) ( ) ( ) ( ) C B A A C B A
c


Respuesta:

a) Tenemos que
{ }
1 1 2 2
4 5 5 5
, , ,
c
A

= ,
c
B C B C | = = y , finalmente,
( )
c
c
B C U =
Por lo tanto
( )
c
c c
A B C U =
b) { } ( ) , 1 , y
c
A B A C A B C B A B C | = = = =
Por lo tanto ( ) ( ) ( ) ( ) ( ) C B A A C B A
c
=A.

































PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

3.- Sean { } 20 1 / s < e = x IN x E conjunto Universo.
{ } 18 11 / s s e = x E x A
{ } 3 de mltiplo es / x E x B e =
{ } par es / x E x C e = sub-conjuntos de E.
Hallar por extensin:
a) A
b) ( ) B C A A

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

d) B C
e)
( ) ( )
( )
c c
B A C C A A A


f) ( )
C
C B A

Respuesta:
Cada conjunto por extensin es:
{ } 11,12,13,14,15,16,17,18 A=
{ } 3, 6, 9,12,15,18 B =
{ } 2, 4, 6,8,10,12,14,16,18, 20 C =
Por lo tanto:
a) { } 11,12,13,14,15,16,17,18 A=
b) ( ) { } 2, 3, 4,8, 9,10,14,15,16, 20 B C A A =
( )
( )
( ) { } ( ) { }
{ } { }
{ }
c) 2, 3, 4, 5, 7,8, 9,10,11,13,14,15,16,17,19, 20 12,18
11,13,14,15,16,17 2, 3, 4, 5, 6, 7,8, 9,10,11,13,14,15,16,17,19, 20
2, 3, 4, 5, 6, 7,8, 9,10,11,13,14,15,16,17,19, 20
c c c
A B C A B C A =
=
=

d) { } 6,12,18 B C =

( ) ( )
( )
{ } { }
( )
{ } { } ( )
{ } { }
{ }
e) 3, 6, 9,11,13,14,16,17 2, 4, 6,8,10,11,13,15,17, 20
2, 4, 5, 7,8,10,12,15,18,19, 20 3, 5, 7, 9,12,14,16,18,19
2, 4, 5, 7,8,10,12,15,18,19, 20 2, 4, 6,8,10, 20
2, 4,8,10, 20
c c c c
B A C C A C
C
A A =
=
=
=

( ) { }
{ }
f ) 2, 3, 4, 6,8, 9,10,11,12,13,14,15,16,17,18, 20
5, 7,19
c c
A B C =
=



PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

4.- Dados los conjuntos { } { } { } { } { } { } 1 , 0 , 3 , 2 , 1 , 0 1 , 0 0 | | = = = = = D E C B A .
Determine cul de las siguientes proposiciones es V o F:
a) B A _
b) C E _
c) C B _
d) D C =
e) E D .
f) D A.
g) A = |

Respuesta:
a) Proposicin F ya que ambos conjuntos tienen un elemento. A tiene el elemento | y B tiene
el elemento 0.

b) Proposicin V ya que C tiene a los elementos 0 y 1 que tambin lo son de E.

c) Proposicin V ya que B tiene al elemento 0 que tambin lo es de C.

d) Proposicin F ya que C tiene dos elementos y D tiene tres elementos.

e) Proposicin V ya que { } D | e , sin embargo { } | e E.

f) Proposicin V , ya que no hay relacin entre los elementos de A y de D

g) Proposicin F ya que A tiene un elemento y | no tiene elementos.














PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

5.- Dado { } { } | , e A = , determine cul de las siguientes proposiciones es V o F:
a) { } A e e
b) { } A _ |
c) { } A e _
d) { } { } A , e e |
e) A e |
f) A c |

Respuesta:
a) V puesto que { } e se presenta como un elemento de A.
b) V ya que , si miramos el conjunto A, nos damos cuenta que | es un elemento de ste,
por lo tanto {|}cA
c) F ya que { } e es un elemento de A, por lo tanto lo correcto es decir que { } e eA.
d) F , lo correcto es { } { } A e = | , .
e) V ya que , si miramos el conjunto A, nos damos cuenta que | es un elemento de ste.
f) V ya que, si vamos a las propiedades de conjunto, encontraremos una que dice: Ac A, A
conjunto.














PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

6.- Sea = U 0 =

conjunto universo.
18 : ) ( y 15 3 : ) ( , 5 1 2 : ) ( s < < = + x x r x x q x x p funciones proposicionales
{ } ( ) { } { } ) ( / ) ( ) ( / ) ( /
* * *
x r p(x) IN x C x q x q p(x) IN x B x r p(x) IN x A v e = . v e = e =
subconjuntos de U
Escriba por extensin los siguientes conjuntos:
a) ( ) ( )
c
c c
B C B A
b) ( ) ( ) B A B A

Respuesta

Primero escribiremos por extensin cada uno de los conjuntos definidos anteriormente:
{ } { } / 2 1 5 18 2 A x U x x U = e + = v > =
{ } 4, 5, 6, 7,8, 9,10,11,12,13,14 B =
{ } 19, 20, 21, 22, 23,........... C =
Por lo tanto, tenemos que:

( ) ( ) { } ( ) { } { } ( )
{ } { }
{ }
a) 2 1, 2, 3, 4, 5, 6, 7,8, 9,10,11,12,13,14,15,16,17,18 4, 5, 6, 7,8, 9,10,11,12,13,14
2, 4, 5, 6, 7,8, 9,10,11,12,13,14 4, 5, 6, 7,8, 9,10,11,12,13,14
2
c c
c c
c
A B C B B =
=
=



( ) ( ) ( ) ( ) b)
c
c
A B A B A B A B
A B A B
|
=
=
=















PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

7.- Dados los conjuntos { } { } 1 , 1 y 0 , 1 , 2 = = B A y las siguientes funciones proposicionales
impar 2 3 : ) ; ( y x y x p + y Z y y x q
x
e
3
2 : ) , ( .
Determine el valor de verdad de las siguientes proposiciones:
a) ( )( )( ) ) , ( ) , ( y x q y x p B y A x v e e -
b) ( )( )( ) ) , ( ) , ( y x p y x q A y B x e e

Respuesta

a) La proposicin ( )( )( ) ) , ( ) , ( y x q y x p B y A x v e e - es V ya que:
Si 0 x =

( ) ( , ) ( , )
0 1
1
x y p x y q x y
V
V
v


b) La proposicin ( )( )( ) ) , ( ) , ( y x p y x q A y B x e e es V ya que:

( ) ( , ) ( , )
1 2
1
0
1 2
1
0
x y q x y p x y
V
V
V
V
V
V

PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

8.- Dados los conjuntos { } { } 2 , 1 , 0 2 , 1 , 0 , 1 = = B y A y las siguientes funciones proposicionales
y x y x p =
2
: ) ; ( ; 1 : ) , ( =
y
x y x q . y
2
2 : ) , ( y y x r
x
s
Determine el valor de verdad de las siguientes proposiciones:
a) ( )( )( ) ) , ( ) , ( y x q y x p B y A x v e - e
b) ( )( )( ) ) , ( ) , ( y x p y x r A y B x e e -
c) ( )( )( ) ) , ( ) , ( y x q y x p B y A x . e - e -
d) ( )( )( ) ) , ( ) , ( y x r y x q A y B x e e ( )( )( ) ) , ( ) , ( y x q y x p B y A x e e -
e) ( )( )( ) ) , ( ) , ( y x q y x p B y A x v e e - ( )( )( ) ) , ( ) , ( y x q y x r A y B x . e - e

Respuesta:

a) La proposicin ( )( )( ) ) , ( ) , ( y x q y x p B y A x v e - e es V ya que :
Para 1 x = , existe 1 y = tal que ( ) ) 1 , 1 ( ) 1 , 1 ( v q p es V
Para 0 x = , existe 0 y = tal que ( ) ) 0 , 0 ( ) 0 , 0 ( q p v es V
Para 1 x = , existe 2 y = (por ejemplo) tal que ( ) ) 2 , 1 ( ) 2 , 1 ( q p v es V
Para 2 x = , existe 0 y = tal que ( ) ) 0 , 2 ( ) 0 , 2 ( q p v es V


b) La proposicin ( )( )( ) ) , ( ) , ( y x p y x r A y B x e e - es F. ya que
Para 0 x = e 1 y = , la proposicin (0, 1) (0, 1) r p es F.
Para 1 x = e 2 y = , la proposicin (1, 2) (1, 2) r p es F.
Para 2 x = e 2 y = , la proposicin (2, 2) (2, 2) r p es F.


c) La proposicin ( )( )( ) ) , ( ) , ( y x q y x p B y A x . e - e - es ya que :
Existe 1 x = e 1 y = , la proposicin (1,1) (1,1) p q . es V

d) Analizaremos cada proposicin por separado primero:

+ ( )( )( ) ) , ( ) , ( y x r y x q A y B x e e es F. ya que
Si 0 x = e 1 y = tal que (0,1) (0,1) q r es F.

+ ( )( )( ) ) , ( ) , ( y x q y x p B y A x e e - es V ya que:
Existe 1 x = tal que para

PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

( ) ( )
2 2
1 1
0
1
2
y y
y x y x x y x
F F V
V V V
F F V
= = = =




Por lo tanto ( )( )( ) ) , ( ) , ( y x r y x q A y B x e e ( )( )( ) ) , ( ) , ( y x q y x p B y A x e e -
es F.


e) ( )( )( ) ) , ( ) , ( y x q y x p B y A x v e e - ( )( )( ) ) , ( ) , ( y x q y x r A y B x . e - e
Analizaremos cada proposicin por separado primero:
+ ( )( )( ) ) , ( ) , ( y x q y x p B y A x v e e - es una proposicin V ya que:
Existe 1 x = tal que para
( ) ( )
2 2
1 1
0
1
2
y y
y x y x x y x
F V V
V F V
F V V
= = = v =



+ ( )( )( ) ) , ( ) , ( y x q y x r A y B x . e - e es una proposicin F ya que:
Para 0 x = se tiene que:

( ) ( )
2
2 1
0 1 *
0 *
1
2
x y
x y y x
F
V
F F F
F F F
> . =
.
.
.
.

Observacin: * se debe a que
1 0
0 y 0

no estn definidos.




PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

9.- Dados { } { } 1 , 2 , 2 y 2 , 0 , 1 = = B A

Determine el valor de verdad de las siguientes proposiciones:

( )( )( ) ( )
( )( )( ) ( ) 0 0 1 )
0 0 1 )
2 2
2 2
= v < + e e -
= v < + e - e
y x xy B y A x b
y x xy B y A x a



Respuesta:

a) La proposicin ( )( )( ) ( ) 0 0 1
2 2
= v < + e - e y x xy B y A x es F ya que :

Si 0 x = :
( ) ( )
2 2
1 0 0
2
2
1
y xy x y
F
F
F
+ < v =

Vemos que no existe un y B e que satisfaga la funcin proposicional.

b) La proposicin ( )( )( ) ( ) 0 0 1
2 2
= v < + e e - y x xy B y A x es V ya que :
Existe 2 x = tal que


( ) ( )
2 2
1 0 0
2
2
1
y xy x y
V
V
V
+ < v =

PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

10.- 82 estudiantes ingresaron a la carrera de Agronoma en el 1 Semestre.
Despus de haber cursado Matemticas, Estadsticas y Fsica. Se obtuvieron los siguientes
resultados:
35 estudiantes aprobaron Estadstica, 45 estudiantes aprobaron Matemticas, 5 aprobaron Estadstica
y Matemticas, ninguno aprob los tres ramos, 7 aprobaron slo Fsica, 21 aprobaron slo
Estadsticas, 25 de ellos aprobaron solamente dos ramos de los mencionados. Todos estudian al
menos uno de estos ramos.
a) Cuntos estudiantes aprobaron slo Matemticas?
b) Cuantos estudiantes aprobaron Fsica y Matemticas?
c) Cuantos estudiantes aprobaron Matemticas pero no Estadstica?

Respuesta:

Llamaremos M : Conjunto de estudiantes de Agronoma que aprobaron Matemticas.
E : Conjunto de estudiantes de Agronoma que aprobaron Estadstica.
F : Conjunto de estudiantes de Agronoma que aprobaron Fsica.
Luego se sabe que:

( )
( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
82
35
45
5
0
7
21
25
M E F
E
M
E M
M E F
F M E
E M F
M E F E F M F M E M E F
=
=
=
=
=
=
=
=


En el Diagrama de Venn


PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO


a) 29 estudiantes aprobaron solo Matemticas.
b) 11 estudiantes aprobaron Fsica y Matemticas.
c) 40 estudiantes aprobaron Matemticas pero no Estadstica.


11.- Llamemos E y F a dos revistas en las cuales se publican avisos. Si 237000 personas leen E,
173000 personas leen F, 51000 personas leen E y F. Cuntas personas pueden leer el aviso?

Respuesta: Llamemos A al conjunto de las personas que leen E.
Llamemos B al conjunto de las personas que leen F.
Por lo tanto:


237000 Se sabe que:
173000 reemplazando
51000 237000 173000 51000
? 359000
A
B A B A B A B
A B A B
A B A B
=
= = +
= = +
= =


Por lo tanto, 359000 personas pueden leer el aviso















PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

12.- En un Instituto de Lenguas y Ciencias Polticas, hay 100 alumnos, de los cuales 64 estudian a
lo menos un idioma y no Ciencias, 35 estudian alemn, 29 estudian francs, 36 estudian
ingls, 15 estudian alemn y francs, 11 estudian ingls y francs, 13 estudian ingls y
alemn, 3 estudian los tres idiomas.
a) Cuntos alumnos estudian slo alemn?
b) Cuntos alumnos estudian slo francs?
c) Cuntos alumnos estudian slo ingls?
d) Cuntos alumnos estudian slo alemn o slo ingls?
e) Cuntos alumnos estudian Ciencias o a lo ms dos idiomas?

Respuesta: Llamemos:
A al conjunto de alumnos que estudian Alemn.
F al conjunto de alumnos que estudian Frances
I al conjunto de alumnos que estudian Ingls.
Por lo tanto:
100
1 ) 3 2 ) 15 3 ) 11
4 ) 13 5 ) 35 6 ) 29
7 ) 36 8 ) 64
U
A F I A F I F
A I A F
I A F I
=
= = =
= = =
= =




PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO
a) Solo Alemn:
( ) 10 A F I =
b) Solo Francs:
( ) 6 F A I =
c) Slo Ingles:
( ) 15 I A F =
d) Solo Alemn o solo Ingles:
( ) ( ) 25 A F I I A F + =
e) Ciencias a lo ms dos idiomas:
( ) ( ) ( ) 36 13 8 12 69
C
A E I A I F I A A F I + + + = + + + =


13.- En una encuesta realizada a 135 alumnos sobre los hobbys se obtuvo que:
56 coleccionan estampillas
15 coleccionan slo ceniceros y estampillas
38 coleccionan insectos pero no estampillas
4 coleccionan slo insectos y ceniceros.
59 coleccionan ceniceros
16 coleccionan estampillas e insectos.
91 coleccionan estampillas insectos.
10 coleccionan otro tipo de objetos

a) Cuntos coleccionan slo dos de los objetos?
b) Cuntos coleccionan slo insectos?
c) Cuntos coleccionan estampillas e insectos pero no ceniceros?
d) Cuntos coleccionan un solo tipo de los objetos?
e) Cuntos coleccionan otras cosas?

Respuesta:

Llamemos: E conjunto de alumnos que coleccionan estampillas.
C conjunto de alumnos que coleccionan ceniceros.
I conjunto de alumnos que coleccionan insectos.


La informacin la expresamos de la siguiente manera:

( )
( )
1 ) 56 2) 15 3) 38
4) 4 5 ) 59 6 ) 16
E C E I I E
I C E C E I
= = =
= = =


PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO
Se va indicando en el extremo superior izquierdo , paso a paso, la informacin que se va
utilizando.








Por lo tanto:
a) 26 alumnos coleccionan slo dos de los objetos (15+7+4)
b) 34 alumnos coleccionan slo insectos ( I-(EC)).
c) 7 alumnos coleccionan estampillas e insectos , pero no ceniceros.((EI)-C).
d) 90 alumnos coleccionan un solo tipo de los objetos. (25+31+34).
e) 10 alumnos coleccionan otras cosas. (135-25-15-31-7-9-4-34)






PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO

14.- Se encuesta a 148 personas para saber sus preferencias en los programas de T.V. y se obtienen los
siguientes resultados:

75 ven H&H slo uno de los canales.
Slo ven y VH1. el mismo nmero de los que ven solo H&H y HBO
28 ven H&H y VH1.
27 ven solo dos canales.
20 ven slo HBO.
3 ven slo VH1. y HBO.
85 no ven H&H.
35 ven VH1 pero no H&H
a) Cuntas personas ven los tres canales?
b) Cuntas personas ven otros canales que no corresponden a los sealados?
c) Cuntas personas ven el canal HBO?
d) Cuntas personas ven solo el canal VH1 o HBO?

Respuesta:

Llamemos: H las personas que ven H&H.
B las personas que ven HBO.
V las personas que ven VH1.

Ahora la informacin dice que:


( ) ( ) ( )
( ) ( )
( ) ( ) ( )
( )
( )
1 ) 75
2 )
3 ) 28
4 ) 27
5 ) 20
6 ) 3
7 ) 85
8 ) 35
c
H B V B H V V B H
H V B H B V
H V
B V H H V B B H V
H B V
V B H
H
V H
+ + =
=
=
+ + =
=
=
=
=


Se va indicando en el extremo superior izquierdo , paso a paso, la informacin que se va
utilizando.

PONTIFICIA UNIVERSIDAD CATLICA
DE VALPARASO








Por lo tanto:

a) 16 personas ven los tres canales.
b) 30 personas ven otros canales que no corresponden a los sealados.
c) 51 personas ven HBO.
d) 83 ven solo el canal VH1 o HBO (32+ 51)