Lógica Proposicional – Pensamiento Lógico

EJERCICIOS PARA PRACTICAR – LOGICA PROPOSICIONAL

I. Indique cual (es) de los siguientes enunciados son proposiciones:

a) 5 + 7 = 16 - 4 ( )
b) ¡Estudie lógica proposicional! ( )
c) Los hombres no pueden vivir sin oxigeno ( )
d) 3 x 6 = 15 + 1 y 4 - 2  23 x 5 ( )
e) ¿El silencio es fundamental para estudiar? ( )
f) 20 -18 = 2 ( )
g) Breña es un distrito de la provincia de Lima ( )
h) Un lápiz no es un cuaderno ( )
i) ¿Eres estudiante de matemática? ( )
j) 15 < 13 ( )
k) Ponga atención ( )

II. Determine cuales de los siguientes enunciados son enunciados abiertos y para que valores de
la variable las proposiciones son verdaderas y falsas
a) x es hermano de y
b) 28 < 15
c) El es arquitecto
d) Tenga calma ,no se impaciente
e) 9x + 3 = 12 , x  R
f) x es Ingeniero y Juan es Matemático
g) 3x – 8 > 15 , x  R
h) x + y  15 , x,y R
i) 2x + 5 > 11, x  R
j) 3x + 7 = 11, x  N
l) x es un animal

III. Confeccione la tabla de verdad de las siguientes proposiciones compuestas

a) ( p  q)  (q   p) d) p  (q  p) g) ( p  q)  ( p  q) j)  ( p  q)  ( p  q)

b) ( p  q)  ( p  q) e) p(q  p) h) ( p  q)  (q  p) k)  ( p  q)p
c) ( p  q)  ( p  q) f) ( p  q)  q i) [ p  (q   p)]  q l)  p  q   q

IV. Niegue y transforme usando leyes lógicas la proposición compuesta  p  (q  r )

a) ( p  q)  r b) ( p  q)  r c) p  (q  r )

V.
a) Si el valor de verdad de p  q s verdadero ¿puede determinar el valor de verdad de
 p  ( p  q) ?
b) Si el valor de verdad de ( pq)  p es falso ¿ puede determinar el valor de verdad de q ?
 Lógica Proposicional – Pensamiento Lógico

c) Si p   q es verdadero ¿se puede determinar el valor de verdad de ( p  q)  ( p  q) ?

d) Si  p  q es verdadero ¿se puede determinar el valor de verdad de ( p  q)  ( p  q)
e) Halle el valor de verdad de ( p  q)  (q   p) si q es verdad
f) Halle el valor de verdad de ( p  q)  ( p  q) si q es verdad
En todos los casos justifique su respuesta

VI. Simplifique los siguientes circuitos lógicos.