ESCUELA MILITAR DE INGENIERIA

UNIDAD ACADÉMICA COCHABAMBA Docente: Miguel Villarroel Galian

ALGEBRA I Tema: Lógica

LOGICA PROPOSICIONAL

1. Simboliza las siguientes frases indicando su enunciado correspondiente:

a) Juan debe declarar y ser sincero, o no debe declarar.
b) Si todo va bien y obtienen buenas ventas, entonces la empresa crecerá y tendrán incremento en sus
sueldos
c) El hombre araña es un invento y, si lo mismo ocurre con papá Noel entonces los niños están siendo
engañados.
d) Si tengo habilidades matemáticas y me gusta la tecnología, estudiaré Ingeniería, o por otro lado haré
caso a mi padre y estudiaré medicina.
2. Enunciar y hallar el valor de la verdad de la proposición compuesta:

a) p: Cinco es mayor a tres. q: Cinco es divisor de quince.

r: Quince es múltiplo de tres s: Tres es un numero primo
( p  r )  (∼ q  ∼ s)

b) p: Adán fue hermano de Eva. q: Noé fue un profeta de Dios.

r: Dios creó el Universo
( r  ∼ p )  (∼ q  ∼ r)
3. Validar las siguientes proposiciones:
 ~ p q   p  v  p q 
a)  ^    ^ 

b)
~ p v ~ q   p ~ q  v ~ ~ p  q 
 ^ 
 p q  v  p ~ p v q   v ~  p  ~ q 
c)    
 ^   ^ 
   
d) p   q ~ p  ~ q   ~ p v q 
  ^  ^ 

e) ~ p v ~ r   ~  p q  v ~ r 
  ^  
 ~ p q   ~ r   r ~ p v ~ q  
f)  ^    ^ 

g)
r  ~ p  p  ~ q  v ~ p  r  ~ q  p
 ^   ^ 

4. Sean q y s proposiciones cualesquiera, p y r proposiciones tales que ~  p v ~ r es verdadera. Hallar el valor de

verdad de las siguientes proposiciones:

~  p ~ q   ~ s v r  p   q s  v ~ q  r 
  
 ^ 
a) c)
 ^ 
 ~ r q  v ~ p  ~  p s  v ~ r 
  
b)  d) r v q    p r   ~ q v s 
^    ^     ^ 
 ESCUELA MILITAR DE INGENIERIA
UNIDAD ACADÉMICA COCHABAMBA Docente: Miguel Villarroel Galian
ALGEBRA I Tema: Lógica

5. Sean p y r proposiciones cualesquiera, q y s proposiciones tales que ~  ~ q s  es falsa. Hallar el valor de verdad
 ^ 
de las siguientes proposiciones:

 p v ~ q  s   ~ ~ r v s 
a)
 ^ 
 ~ p q   ~ r  v ~ p v s 
b)  ^  
~ p v s    q r    p  ~ q 
  
 ^  
c)

q  p  v  ~ p r   p  s  v ~ r 

d)   ^   ^
6. Hallar el valor de verdad de las siguientes proposiciones p, q, r y s, sabiendo que:

a) ~ p  q  v ~  r ~ s  es falsa.
 ^ 
b) ~ r  ~ p   ~ q s  es verdadera.
^ ^ 
c) ~ p  q  v ~  r ~ s  es falso.
 ^ 
d) ~ r  ~ p   ~ q v ~ s  es falso.

e) ~  p v ~ r ~ q  ~ s  es verdadera.
^
f) ~  r ~ q   ~ p  s  es verdadera.
 ^  

 p ~ q   q  p q   ~ r
7. Si las implicaciones y son verdaderas, ¿Cuál es el valor de verdad de las
 ^   ^ 
proposiciones p y r?

8. Determinar cuál de las siguientes proposiciones son lógicamente equivalentes:

 p v ~ q  ~ p ~  p  q    p v q  ~ q 
a) I: b) I:  ^ 
 p  ~ q  v  p q   ~ p ~ q  v ~ q   ~  p v q  q 
II:
 ^ 
II:  ^    ^ 
III:  p  ~ q    ~ p q  III: ~ q v  p v q  ~  ~ p  q
 ^ 
 ESCUELA MILITAR DE INGENIERIA
UNIDAD ACADÉMICA COCHABAMBA Docente: Miguel Villarroel Galian
ALGEBRA I Tema: Lógica

9. Sabiendo que p es falso y que q es una proposición cualquiera, determinar el valor de verdad de la proposición x, talque:

 x   p q   p
  
 ^ 
a) sea F

 x v  p ~ q   ~ p v q 
b)   ^ 

sea V

c)  p  q   x  v ~  p q  sea V
 ^ 
10. Construir el circuito lógico que representa a cada una de las siguientes proposiciones moleculares:

     
a)  p ~ q  v ~ q v  ~ p q     p v q 
 ^    ^   ^
 p  q v r  v  p ~ r   ~ p v ~ q 
b) 
 ^   ^   ^
      
c)    p v q  ~ p v r  v  p q  v  ~ r ~ q   p v q v r 
 ^   ^   ^   ^
~ r  p v q  v ~ p v r  ~ q v ~ r   ~ p v  q r 
d)      ^  
 ^ ^  ^ 

11. Los valores de verdad de las proposiciones p, q, r y s son, respectivamente, V, F, F y V. Obtener el valor de verdad
resultante de las siguientes proposiciones:
a) ( r → s) (p → s)~( r → s) ( p → ~s)
b) [(p  r)  (s  q)]  [( p  q) r]
c) [(r  s)  (p  q)]  [( p  q)  r]

12. Simplificar al máximo las siguientes proposiciones compuestas

a) [~( p  q)  (~p  q)] → (~p  q) R. (p  q)

b) [ (p  r)  p ]  [ p  (p  q) ] R. p

c) [ (p → p)  q ]  [ ~q  (r  q) ]  [ p → (p  ~q)] R. ~q  r

d) [ (q  r)  (q  r) ]  [(r  p)  (p  r)] R. ~r

13. Utilizando Leyes Lógicas Simplificar las siguientes proposiciones compuestas

a) [(p  q)  (r  r]  q
b) [(q → p) ∧ (∼ p → q )] →∼ (p ∨∼ q )
c) [(p → q) → (~p ∧∼ q)] ∧ [(~p ∧ q ) ∧ p]
d) [(∼ q → r)  ∼ (q ∧∼ r)] → [(r → p) ∧ (p →∼ r)]
 ESCUELA MILITAR DE INGENIERIA
UNIDAD ACADÉMICA COCHABAMBA Docente: Miguel Villarroel Galian
ALGEBRA I Tema: Lógica

14. Construir un circuito correspondiente a estas proposiciones

a) [(p  q)  (p  r)]  [(r  q) (r  p)]
b) {[(p  q)  (p  r)]  q]}  [(p  r)  q]
c) {(p  ∼ q)  [∼ q ∨ (∼ p  q)]}  (p ∨ q)
d) {[∼ r  (p  q)] ∨ [(∼ p  r) ∧ (∼ q  ∼ r)]}  [∼ p  (q  r)]

15. Escribir la proposición que caracteriza al siguiente circuito:

16. Escribir la proposición que caracteriza al siguiente circuito lógico, y simplificar:

a)

b)

17. Dadas las proposiciones compuestas:

a) {[(p  q)  (p  q)]  [(p  q)  (p  q)  p]}  q

b) {[(p  q)  (q  p)]  (q  p)}  p

Representarla en circuito lógico original
Simplificarla usando leyes lógicas y graficar el circuito lógico equivalente.