PRACTICA DIRIGIDA N 04

1. Simbolice y clasifique las siguientes proposiciones predicativas:

a. Scrates es ateniense.
b. Todos los nios son inocentes.
c. Ciertos polticos son demcratas.
d. Ningn filosofo es escptico.
e. Algunas justificaciones no son vlidas.
f. Descartes fue un brillante matemtico y un filsofo profundo.
g. Si ngel estudia obtendr su ttulo.
h. ngel estudia obtendr su ttulo si y slo si estudia.
i. Pablo lleg temprano a clase.
j. Algunos estudiantes son atentos.
2. Determine cules de las siguientes frmulas representan funciones y cules funciones proposicionales:
a. Fx
b.

( x) Fx

c.

Fx Gx

d.

e.

Fa (x) Gx
( x ) Fx Ga

3. Simbolice cuantificacionalmente:
a. Todas las secretarias son pelirrojas.
b. Ningn lcali es cido.
c. Algunos docentes son polglotas.
d. Algunos vertebrados no son mamferos.
e. Todos los problemas no son insolubles.
f. Todas las mujeres no son sinceras.
g. Las colegialas son romnticas.
h. Las estrellas brillan.
i. Los timbales y las campanas son instrumentos de percusin.
j. Los fsicos y los astrnomos son cientficos.
k. Ningn payaso que sea equilibrista es tmido.
l. Ninguna mujer indiscreta puede ser secretaria.
m. Ningn Filsofo es fantico del ftbol o del box.
n. No es el caso de que algunos caballos no sean equinos y mamferos.
o. No existen envidiosos que no sean infelices.
p. Ningn insecto es vertebrado. Por lo tanto, algunos no insectos no son invertebrados.
q. Todas las aleaciones de cobre son metales, pero ningn metal es no conductor. Luego, todas las aleaciones de
cobre son conductores.
r. Todos los jaenos son peruanos y Jos es jaeno. Luego, Jos es peruano.
s. Ninguna muchacha es bella si se maquilla.
t. Algunos alumnos aprobarn el curso si estudian.
C = { 1,3,5} . Calcular:
4. Dados los conjuntos: U = { 1,2,3,4,5} , A = { 1,2,4} B = { 3,5} ,
a. A
b. A B
c. C-B
d. A C
e. ( A B) C
C = { 2,4,8,10} . Calcular:
5. Dados los conjuntos: U = { 2,4,6,8,10} , A = { 2,4,6} B = { 6,8,10} ,
a. ( A - B) ( A B)
b. ( A B) ( B - A )
c. ( A B) - ( B - A )
d. ( A - B) ( A B)
e. ( A B) ( B C)
f. ( A B C) - A
g. ( A C) ( B C)

h. ( C - A ) - ( B - A )
6. Traducir a circuitos:
a. ~ ( p q r ) ~ (~ p ~ q ~ r )
b.
c.

~ (~ p ~ q) [ ( r s) (~ s r ] ( p ~ q )
~ p ~ [ ~ q ~ ( r ~ s) ] ~ ( q r )

d. ~ ( ~ p ~ q )
7. Traducir los circuitos a proposiciones:

8.
9.
10.
11.
12.

13.

14.