MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.

2.4.7 Ejercicios propuestos

1) Indique el valor veritativo de las siguientes proposiciones:

a) Todo número natural es mayor que 2

b) (x  ƒ)(y  ƒ) : xy ! 0

c) x  N : x 2 ! 100

2) Use tablas de verdad para clasificar las siguientes proposiciones como: Tautología,
Contradicción o Contingencia

a) >( p › q) Ÿ q @ Ÿ (~ p › q)
b) ( p Ÿ q ) Ÿ >( p š r ) Ÿ (q š r )@

c) ~ >(~ p Ÿ q )š ~ ( p š q )@ š q

d) >( p Ÿ q) š (q Ÿ r )@ Ÿ ( p Ÿ r )

3) Demuestre mediante Algebra de proposiciones:

a) >( p › q)š ~ p@ œ (~ p š q)
b) >~ ( p › q) › (~ p š q)@ œ ~ p
c) > p Ÿ (q š r )@ œ >( p Ÿ q) š ( p Ÿ r )@

4) Usando los datos proporcionados en cada caso, obtenga el valor veritativo pedido:

a) Si se sabe que: p š q es V y además r š p es F, determine el valor de

(r › q) Ÿ (r š q) Resp. F

b) Sabiendo que: p Ÿ q es F, r š p es F, determine el valor veritativo de

i) p œ r Resp. F
ii) ~ > p š (~ r )@ Resp. F

c) De la falsedad de ( p Ÿ~ q) › (~ r Ÿ s ) deduzca el valor veritativo de

i) (~ p š ~ q ) › (~ q ) Resp. F

UNIVERSIDAD DE SANTIAGO DE CHILE 22

FACULTAD DE CIENCIA - DEPTO. DE MATEMATICA Y C.C.
.
.
.
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.

ii) >(~ r › q) š q@ œ >(~ q › r ) š s @ Resp. F

iii) ( p Ÿ r ) Ÿ >( p › q ) š (~ q )@ Resp. V

5) Si p p q significa “ ni p y ni q” ¿Cuáles de las siguientes proposiciones son

tautologías?
> @
a) ( p p q ) p (q p p ) œ ( p › q )
b) ~ ( p š q ) œ p p q
c) ( p p q ) œ ~ ( p › q )
d) ~ ( p p q ) œ p › q

6) Sabiendo que la proposición compuesta ~ p ›>q Ÿ (~ r › ~ s )@ es verdadera,


determine el valor de verdad de >~ p Ÿ (~ r › q)@ › s Resp. V

7) Demuestre que cada uno de los siguientes argumentos es válido (es decir, que la
proposición es una tautología) , usando el álgebra de proposiciones.
a) >( p Ÿ q ) š p @ Ÿ q
b) >( p Ÿ q ) š (~ p )@ Ÿ~ p
c) >( p Ÿ q) š (q Ÿ r )@ Ÿ ( p Ÿ r )
d) >( p › q ) š (~ p )@ Ÿ q
e) ( p š q ) Ÿ p , ( p š q) Ÿ q
f) p Ÿ ( p › q )

Además, identifique cada una de las siguientes “frases” con alguno de los
argumentos anteriores

1) José tiene un cuaderno o un lápiz , José no tiene un cuaderno , por lo tanto,

José tiene un lápiz
2) Si José gana el concurso entonces obtendrá una beca , José ganó el
concurso, por lo tanto, José obtendrá la beca
3) Si José gana el concurso entonces obtendrá una beca , José no obtuvo la
beca, por lo tanto, José no ganó el concurso
4) Todos los monos son desordenados, luego, los monos son desordenados o
son peludos
5) Si no llueve entonces se perderá la cosecha, si se pierde la cosecha entonces
no se podrá cancelar la deuda entonces , si no llueve, no se podrá cancelar
la deuda
6) Ningún estudiante es ocioso y María es una excelente bailarina, luego,
ningún estudiante es ocioso

8) Sean: U ^1,2,3,4,5,6,7, a, b, c, d , e, f , g , h`
A ^3,5,7, c, d ` , B ^2,3,4,5, b, c, e` , C ^2,6,7, a, b, g`
UNIVERSIDAD DE SANTIAGO DE CHILE 23
FACULTAD DE CIENCIA - DEPTO. DE MATEMATICA Y C.C.
.
.
.
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.

Determine:

a) ( A ‰ B c ) ˆ (C  A) C

b) ( A ˆ C ) ‰ ( B  A C ) C

c) las operaciones para obtener

i) ^6,2, b`
ii) ^7`
iii) ^3,4,5, c, d , e`

9) Demuestre:
a) A  B A ˆ BC

b) A ˆ ( B ‰ C ) ( A ˆ B) ‰ ( A ˆ C )

c) ( A ˆ B) C AC ‰ B C

10) Usando Algebra de Conjuntos, verifique si:

a) ( A  B) ‰ ( A  B C ) A

>
b) B ˆ ( B C ‰ A C ) ‰ ( A ‰ B) C @ BA

c) >( A ˆ B) ‰ ( A C
ˆ B) ‰ ( A C ˆ B C ) @ AC ‰ B

d) A  ^A  >( A  B) ‰ A@ ` A

e) >A  ( A ˆ B)@ ‰ >B  ( A ˆ B)@ I

11) En un universo de 30 elementos se considera dos conjuntos A y B tales que:

n( A ˆ B) 10 , n( B) 18 , n( B C ˆ A) 5
Determine:
a) n(B  A) b) n( A) c) n( A C ˆ B C )

Resp. a) 8 b) 15 c) 7

12) Demuestre que:

a) n( A'B) n( A)  n( B)  2 n( A ˆ B)

UNIVERSIDAD DE SANTIAGO DE CHILE 24

FACULTAD DE CIENCIA - DEPTO. DE MATEMATICA Y C.C.
.
.
.
MATEMATICA GENERAL 10.052, HERALDO GONZALEZ S.

b) n(( A'B) ‰ C ) n( A)  n( B)  n(C )  n( A ˆ C )  n( B ˆ C )  2n( A ˆ B)  2n( A ˆ B ˆ C )

13) En un universo U se considera tres conjuntos A,B,C tales que:

A ˆ C I , n( A ˆ B) 5 , n( A C ) 25 , n(C ) 13 , n( B  A) 15

n( B ˆ C ) 9 , n( A ‰ B ‰ C ) 27

Determine:
a) n(B) b) n( A) c) n(U )

Resp. a) 20 b) 8 c) 33

14) En un universo de 45 elementos se considera tres conjuntos A,B,C tales que:

AˆC I , BˆC >

I , n( A ˆ B) 4 , n(C  B) 10 , n ( A ‰ B ‰ C ) C @ 16

n( B  C ) 12

Calcule:
a) n( A) b) n(B) c) n( B  A) d) n>( B  A)  C @

Resp. a) 11 b) 12 c) 8 d) 8

15) Una encuesta acerca de las preferencias de 180 personas sobre tres marcas A, B, C

arrojó los siguientes resultados:

>
n>( B ˆ C )  A@ 25 , n( A ˆ B) 15 , n ( A ˆ B)  C C @ 175 , n( A  B) 50

>
n>C  ( A ‰ B)@ 35 , n>( A ˆ C )  B @ 20 , n ( A ‰ B ‰ C ) C @ 40

Determine el número de personas que:

a) compran sólo B Resp. 15

b) compran sólo dos marcas Resp. 50

c) no compran de las marcas consultadas Resp. 40

UNIVERSIDAD DE SANTIAGO DE CHILE 25

FACULTAD DE CIENCIA - DEPTO. DE MATEMATICA Y C.C.
.
.
.