EJERCICIOS DE INFERENCIA

1. Realizar la tabla de verdad de las siguientes expresiones y determinar si es tautología, contingencia

o contradicción
a. ¬(p Λ q) ↔ (¬p V ¬q)

b. [¬(p Λ ¬p)] → [(p Λ ¬q) V (p Λ ¬r)]

c. (p V q) ↔ (q → p)

d. [p Λ ¬ (q V r)] ↔ [(p Λ q) → (¬p Λ r)]

e. [¬p → (¬q V r)] ↔ [¬ (p → q) V ¬ (p → ¬r)]

2. Sean las proposiciones p, q, r, cuyos valores de verdad son V, F y F respectivamente. hallar el valor
de verdad de las siguientes proposiciones:
a. ¬ (r Λ q) → [¬ (¬p Λ q) V (p Λ ¬r)]

b. [p Λ ¬ (¬q V r)] → [(p → ¬q) V (p → r)]

c. (p V ¬r) V (q ↔ p)

d. [¬p Λ (¬q V r)] ↔ [(p Λ ¬q) V (p Λ ¬r)]

e. [¬p → (q V r)] → [¬ (p → q) V (p → r)]

3. El conjunto universal es E = {1, 2, 3, 4, 5, 6, 7, 8, 9, b, f} y los conjuntos

A = {1, 3, 4, 5} B = {2, 3, 5, 6} C = {4, 5, 6, 7} D = {b, f}.
Hallar:
a. Su diagrama de Venn
b. A - (B  C)
c. (A  B) – C
d. [(A  C)  D]  B
e. (A  B)  (B  C)

4. Determinar la validez o invalidez de los siguientes razonamientos deductivos:

a) 1. p ∧ q c) 1. -p
2. p 2. r ∧ s
3. p → s 3. p ↔ q
4. -p ∨ q 4. -q ∨ s
5. -(p ∧ r) 5. q → -p
6. s → -r __________
__________ ∴ p
∴ -r

d) 1. -(p ∨ q) ∧ s e) 1. (r ∧ s) ∨ p
2. p ∨ s 2. -p ∨ q
3. p → q 3. p → q
4. r ∧ s 4. (q ∧ s) → r
5. p _________
___________ ∴ r
∴ p
f) 1. r ∨ s g) 1. - q → -r
2. p → r 2. p ∧ s
3. s ∧ q 3. r
4. - q → -r 4. t → q
5. r ________
6. q → t ∴ q
____________
∴ t

h) 1. –p → -q i) 1. p ∨ q
2. r ∧ s 2. r ∧ s
3. p → r 3. r ∧ q
4. q ∨ r 4. q → p
___________ 5. q
∴ r ______________
∴ q↔ s

5. Sea U={2, 4, 6, 8, 10, 12, 14, 16, 18, 20} el conjunto universal, y sean A = { x є U / x es múltiplo de 3
}, B = { x є U / x es múltiplo de 4}. Comprobar las leyes de Morgan con A y B.
Leyes de Morgan:
➢ A '∩B' = (A∪B)'
➢ A '∪B' = (A∩B)'

6. Demostrar la validez del siguiente ejercicio:

Si sigue lloviendo, entonces el rio crecerá. Si sigue lloviendo. Si sigue lloviendo y el rio crece,
entonces el puente será arrastrado por las aguas. Si la continuación de la lluvia hace que el puente
sea arrastrado por las aguas, entonces no será suficiente un solo camino para toda la ciudad. O bien
un solo camino es suficiente para toda la ciudad o bien los ingenieros han cometido un error. Por
tanto, los ingenieros han cometido un error. Utilizando el siguiente lenguaje simbólico:

C: continúa lloviendo
R: el rio crece
P: el puente es arrastrado por las aguas
S: un solo camino es suficiente para toda la ciudad
E: los ingenieros han cometido un error

La prueba formal de validez es: