PRACTICA No 1

1.- Se tiene las siguientes proposiciones:

p = 8x 2 R f0g x + x1 2 q = f9x 2 R [[ x 1 ]] = 1g

r = f9!x 2 R cos(x ) = 0g s = f@x 2 R jx 1j = 1g

Determinar el valor de verdad de los siguientes enunciados:

a) [(p ) r) _ q] ^ s b) (p ) r) , [r ) (q ^ s)]

c) ( q ) p) 4 [ p Y (s ^ q)] d) ( q ) p) 4 [ (r 4 q) Y p]

2.- Construir la tabla de verdad, circuito lgico y luego simplicar.

a) f(p^ q) _ [ q_( p ^ q)]g ^ (p _ q)

b) (p ) q) ) [(p _ q) ) (q^ p)]

c) f[(p 4 q) _ p] ^ qg _ f[ (p _ q) ) ( p^ q)] ) rg

d) Determinar una proposicion x tal que:

[(p4 x) ) x] ^ (q _ x) (p_ q)

3.- Determinar el Conjunto de Validez:

a) V (p^ q) _ [(q_ p) ^ r]

x 3 x+5
si: p = 8x 1+x > x r = 8x ( [[ (6 2x)=x]] = 4 )
q p
x+3 1 2x 1 x
q = 8x 25 < 0:22x 1

b) V[ (q _ p) ) ( p^ q)] ) r

5 1
si: p = 8x (j2 + 7xj < 4) r = 8x 2x 1 x 2

q = 8x x2 4 2x + 4

Aux: : U niv Sunagua F ernandez Julian D: www:sunanf er:es:tl:

1
 c) V( p ^ q) ) [p^ (r^ q)]

si: p = 8x ( [[ (2x 1)=(x + 3)]] = 4 )

qp
x2 3x+2 x 2 x2 px 2 2
q = 8x x 2 x+2 <0 r = 8x 2 x+4
(x 5)

d) V [( p , q) ^ r] _ [r ^ (p 4 q)]

si: p = 8x log 13 x2 1 > log 13 (2x 7) r = 8x log 31 > log 41 x

q q
2x 1 x+2 x 3 1 3x 1
q = 8x (0:00032) < 5

e) V [( p ^ q) _ (p^ q)] _ ( p ) q) _ r
p
x x
p
2
si: p = 8x 0:2401x 5 0:05764801x+3
q p
2
q = 8x p x p3x 4 0 r = 8x log8 x+1
log4 (x 4)
21 x2 4 x

4.- Negar y simplicar las siguientes proposiciones:

a) f[(p ) r) ) p] ) [p ^ ( q ) r)]g ^ (r _ p)

b) (p^ q) ) [p _ (p 4 r)]

c) [( p , q) ^ r] _ [r ^ (p 4 q)]

d) (f(p^ q) _ (p , q) _ [(q ) p) _ (r ) s)]g 4 [q ^ (p ) q)]) ^ q

- Fecha de Entrega Miercoles 18 de septiembre en clase de ayudantia

- Tanto el Carimbo como enunciados se podra recibir la misma copia de la
presente.
- Clases de Ayudantia: Miercoles horas 19:30 amb. 135
- Copia disponible de la presente y el carimbo en la fotocopiadora frente al
B.E.I.
en la pgina www:sunanf er:es:tl

U niv:Sunagua F ernandez Julian D: Lic:Lopez M amani M arco

AU XILIAR DE LA M AT ERIA DOCEN T E DE LA M AT ERIA