UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SÁNCHEZ CARRIÓN

FACULTAD DE INGENIERIA PESQUERA Y ACUICOLA

LÓGICO MATEMÁTICA
TALLER GRUPAL S6

1. Usando leyes lógicas simplifica los esquemas de las proposiciones siguientes:

a) ~(~p → q) Rp. ~p ʌ ~q

b) [(p → q) ν ~p] ʌ [~q → p] Rp. q

c) [(~p ν q) ʌ q] ν [q ʌ ~q] Rp. q

d) ~ (p ν ~q) → ~(~p ʌ r) Rp. p ν ~q ν ~r

e) q → ~(p ʌ ~q) Rp. T

f) [(~p ʌ q) → (r ʌ ~r)] ʌ ~q Rp. ~q

g) [(p → ~ q) ʌ (~r ν q) ʌ r ] →~p Rp. T

h) [p ʌ ~ q → ~p] ʌ ~ (p → q) Rp. C

i) (p ʌ q → r) ↔ (p ʌ ~r → q) Rp. ~p ν r

2. a) Si “t” es falsa y la proposición: ~{(r ν s) → [(p ʌ ~s) → (p ʌ ~q)]} Δ (t ʌ q)

es verdadera, hallar los valores de verdad de p, q y r.

b) Si la proposición: ~ [r → (~p ν q)] ʌ [(p → q) ν ~s] es verdadera, hallar los

valores de verdad de p, q, r y s.

3. La proposición: [r ʌ ~ (p → q)] ʌ ~[p ʌ ~(s → q)] es verdadera. Los valores de verdad

de las proposiciones p, q, r y s son respectivamente: :