Razonamiento lógico

matemático
Archivo de apoyo
SimPLIficAR
PROPOSICIONES
 RAZONAMIENTO LÓGICO MATEMÁTICO

1. De las siguientes proposiciones encontrar sus valores de verdad utilizando las tablas de verdad:
A. [(p v q) v r]⟷[p v (q v r)]

R: La respuesta es la A, ya que al analizar esta proposición se puede notar que mediante los conectores lógicos están
expresando que la conjunción o conclusión de dos proposiciones sería una tercera proposición, generando así una relación entre las 3,
debido a que si una proposición (p) influye en otra (q), esta también influiría en (r), diciendo esto genera mediante una tabla de verdad
de conjunción (^)

[(p v q) v r]⟷[p v (q v [(p v q) v r]⟷[p v (q v

r)] r)]
V V
V V
V V
V V
V V
V V
V V
V F

a) b)

B. [(p ˄ q) v ¬r] ⟷ p

R: La respuesta es la B, ya que lo primero que hice fue darme cuenta que en este caso es una proposición compuesta condicional, por
lo que lo primero que hice fue despejar primero p ˄ q para así conseguir los resultados de sus combinaciones mediante una tabla
de conjunción. Ya que teníamos despejada una parte, nos falta realizar otra tabla de verdad, pero esta vez para ¬r, después el
resultado tanto de p ˄ q y de ¬r lo resolvemos con una tabla de disyunción, y por ultimo nada más asignamos valores de p junto
con los de la otra tabla, dando así como opción la B

(ESTA ES LA OPCION B)
[(p ˄ q) v ¬r] ⟷ p
V
V
F
V
V
F
V
F
p v
q
v ˄
v V
v ˄
v V
v ˄
f F
v ˄
f F
f ˄
v F
f ˄
v F
f ˄
f F
f ˄
f F

r ¬r P RESPUESTA

V F v
V ↔ V V
F V v
V ↔ V V
V F v
F ↔ V F
F V v
V ↔ V V
V F v
F ↔ F V
F V v
V ↔ F F
V F v
F ↔ F V
F V v
V ↔ F F
 C. (p ⟶ q) ⟶ [p ⟶ (p ˄ q)]

(p ⟶ q) ⟶ [p ⟶ (p ˄ (p ⟶ q) ⟶ [p ⟶ (p ˄
q)] q)]
V V
V V
V F
V V
a) b)

R: la respuesta es la b, lo que hice para resolver este ejercicio fue analizar lo propuesto y despejar inicialmente la formula [p ⟶ (p ˄ q)]
utilizando una tabla de conjunción para así conseguir el resultado, ya después de esto conseguí los demás resultados por una tabla de
implicación

p q
V → V V
V → F F
F → V V
F → F V

v
p p q
˄
V → V V v v
˄
V → V F f f
˄
F → F V f v
˄
F → F F f v

RESPUESTA
v
v
f
v
 RAZONAMIENTO LÓGICO MATEMÁTICO BLOqUE uno

D. (p ˄ ¬p)⟶p

(p ˄ ¬p)⟶p (p ˄ ¬p)⟶p
V V
V V
V V
F V

a) b)

R: la respuesta es la A lo que hice en este inciso fue primero despejar lo que se encuentra entre paréntesis mediante
tablas de conjunción y negación con respecto a ¬p y conseguí el resultado mediante combinar los resultados de la
tabla de implicación, claro antes le asigné datos a P

P v ¬p P RESPUESTA
V ˄ F F → V F V
V ˄ F F → V F V
F ˄ V F → F F V
F ˄ V F → F F V

E. q⟷(¬p ˄ ¬q) ⩡ (p ˄ ¬p)⟶p

q⟷(¬p ˄ ¬q) ⩡ (p ˄ q⟷(¬p ˄ ¬q) ⩡ (p ˄

¬p)⟶p ¬p)⟶p
V V
F V
V V
V V
a) b)

R: la respuesta es la B y conseguí este resultado al despejar las fórmulas que se encontraban entre paréntesis, por lo que me
resulto lo que se presenta a continuación (UTILICE LAS LEYES DE ALGEBRA EN PROPOCIONES)

⟷
¬p v ¬q v ¬p
q p p RESPUESTA

⟷
˄ v ˄
V F F F F V F F → V v V V

⟷
˄ v ˄
V F V F F V F F → V V V V

⟷
˄ v ˄
F V F F V F V F → F V V V
˄ v ˄
F V V V V F v F → f V V V
2. De las siguientes proposiciones encontrar sus valores de verdad, utilizando las leyes de algebra
proposicional.
A. [p → (p ^ q)] ^ [¬p → (p ^ q)]
a) (p v q)

c) (p ⩡ q)
b) (p ^ q)

B. [(q → r) ^ (¬r → q)] → ¬ (r ν ¬q)

a) ¬r
b) ¬q
c) r

C. (r→p) → [(p ν r) → (r ^ ¬p)]

a) ¬r
b) p
c) ¬p
 RAZONAMIENTO LÓGICO MATEMÁTICO

D. (r → q) ^ (r ↔ q)
a) (r ν q)
b) (¬r ν q)
c) (¬r ν ¬q)
E. [p ν (p ^ s)] → [(p → s) ^ ¬s]
a) ¬p
b) ¬s
c) p
F. [(s ↔ q) → s] ν (s ν q)
a) (s ^ q)
b) (s ⟶ q)
c) (s ν q)
G. ¬[t ^ ¬(t ^ ¬q)] → ¬(q v ¬t)
a) q
b) t
c) ¬t
H. (¬p → q) ^ [(p ^ ¬q) v (¬p ^ ¬q) v (¬p ^ q)] ^ (p v ¬q)
a) q ^ p
b) ¬q ^ p
c) ¬q ^ ¬p
I. {{p v [s ^ (¬p v s)]} ^ (p v s)} ^ [p ^ (s v r)]
a) p ^ (s v r)
b) p v (s ^ r)
c) p ^ (s ^ r)
J. {¬q v [p v ¬(q ^ p)]} ^ ¬[¬(q v r) v (¬p v q)]
a) (¬q v r) ^ p
b) (¬q ^ r) ^ p
c) (¬q ^ r) v p