CÓDIGO DEL ESTUDIANTE

TECNOLÓGICO EMI …………

PRACTICA N°2 NOMBRE Y APELLIDO

……………………………………..
CARRERA: Técnico Superior ASIGNATURA: Matemática Aplicada
CURSO: Informática DOCENTE: Ing. Miguel Villarroel Galian FECHA: 18/08/2022
UNIDAD TEMÁTICA 1.- Lógica Proposicional

 Simbolizar en el lenguaje algebraico de proposiciones los siguientes enunciados:

a) “El gordo Alberto vive para comer y no para vivir”.
b) “La decisión dependerá del juicio o la intuición, y no de quién pagó más”.
c) “Si esta planta no crece, entonces necesita más agua o necesita mejor abono”.
d) “El juez lo sentencia a Octavio si y solo si el fiscal puede probar su culpabilidad o el testigo no dice la verdad”.
e) “Si una sustancia orgánica se descompone, entonces sus componentes se transforman en abono y fertilizan al suelo”.

 Sean p, q y r proposiciones que corresponden a los siguientes enunciados:

p: Estudiaré algebra moderna
r: Estoy de buen humor
q: Iré a mi laboratorio de computación
Realizar la construcción de la oración respectiva de las siguientes proposiciones correspondientes:
a) ~p q b) r → (p v q ) c) ~ r → (p v ~ q ) d) (~ p q)  r
^ ^
 Validar las siguientes proposiciones:

 ~ p q  → p  v (p v q )    
a)
 ^   p →  q ~ p  v ~ q   ~ (p v q )
 ^ 
e)
 
(p → ~ q ) p  v  ~ p q 
 ^   ^  (~ p v ~ r )  ~  p q  v ~ r 
b)

  ^  
f)
(~ p v ~ q ) ( p →~ q ) v ~ (~ p  q )
c)
 ^ 
(~ p v q )v (q → r ) → ~  p ~ r 
 ^ 
g)
 p q  v  p (~ p v q )  v ~ ( p → ~ q )
   
d)
 ^   ^ (~ p v q ) → ~ r   r ~ (p v ~ q ) 

 ^
h)

(r → ~ p ) ( p → ~ q ) v (~ p → r ) v (~ q → p )
i)
 ^ 

~ p v ~  p q   q  ~ r  ~ t  v ~ (~ r v t ) v ~  p → r  v ~ (q v ~ t ) → p
  ^ 
j)
^ 
 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) b)
 ^ 
 ~ r q  v ~ p → ~  p s  v ~ r  (r v q ) →  p r  → (~ q v s )
c)  ^    ^   d)   
 ^ 
 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 )  ~ p q  → ~ r  v ~ (p v s )
a)  ^  b)  ^  
(~ p v s ) →  q r    (p → ~ q ) (q → p ) v  ~ p r   (p → s ) v ~ r 
  
c)   ^  
d)   ^   ^
 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
 Si las implicaciones y son verdaderas, ¿Cuál es el valor de verdad de
 ^   ^ 
las proposiciones p y r?

 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 )
 ^ 
 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
 ^ 
 Construir el circuito lógico que representa a cada una de las siguientes proposiciones moleculares:

a) ( p → q) → ~ p
b) ( p  q)  ~ q
c) ( p v q) → ~ p
 
d)  p ~ q  v ~ q v  ~ p q     ( p v q )
 ^    ^  
 p ( q v r ) →  p ~ r   → (~ p v ~ q )
e) 
 ^   ^  
      
f)   ( p v q ) (~ p v r ) →  p q  v  ~ r ~ q   (p v q v r )
 ^   ^   ^  
~ r ( p v q ) →(~ p v r ) → (~ q v ~ r )  → ~ p v  q r 
    
  ^ 
g)
 ^  
(r → ~ p ) ( p → ~ q ) v (~ p → r ) v (~ q → p )
h)  ^ 

i) ~ p v ~  p q   q  ~ r  ~ t  v ~ (~ r v t ) v ~  p → r  v ~ (q v ~ t ) → p
  ^  ^ 