Universidad de Concepción

Facultad de Ciencias Fı́sicas y Matemáticas

Departamento de Matemática

20/05/2011 A. Barrı́a C. - L.Tapia C.

Matemática (529105)
Listado 1 - Lógica y Conjuntos.

1. Escriba la tabla de verdad de las siguientes proposiciones compuestas.

a) ∼ (p ∧ q) h) (∼ p ∧ q) → (p ∨ q) ñ) ∼ r∨ ∼ (p ↔ q)
b) ∼ p ∧ q i ) p → (∼ p ∨ p) o) (p∧ ∼ p) → p
c) ∼ (p ∨ p) j ) (p → q) ∨ (∼ p ∧ q)
p) (p∧ ∼ p) → r
d) ∼ p ∨ p k ) (p ∨ q) ∨ r
q) p → (p∨ ∼ p)
e) ∼ (p ∨ q) l ) (p ∧ q) ∧ r
f) ∼ p∨q m) (p → q) → r r ) q → (p∨ ∼ p)
g) ∼ p ∧ p n) p ↔ (q ↔ r) s) (p → q) ↔ (q → q)

t) (p ↔ q) ↔ [(p → q) ∧ (q → p)] u) [∼ (p ↔ q)] ↔ [∼ (p → q)∨ ∼ (q → p)]

2. Observando las tablas obtenidas en 1 diga en cada caso, si la proposición es una

tautologı́a, contradicción o una contingencia.

3. Considere la siguiente proposición: “Si x2 = 1, entonces x = 1 o x = −1”.

a) Escribir simbólicamente la proposición.

b) Negar simbólicamente la proposición.
c) Escribir la negación en palabras.

4. Dadas las siguientes proposiciones,

√ √ √
p : (a − b)2 = a2 − b2 q :8+4:4=3 r: a+b= a+ b

determinar el valor de verdad de las siguientes proposiciones:

a) p ∧ q → p c) p ∧ r ↔∼ (q ∧ r) e) (r ∧ q) ↔ q
b) p ∧ q → r d ) p ∨ (q → r) f) ∼ q∨r

5. Determinar en cada caso, si la información que se da es suficiente para conocer

el valor de verdad de las siguientes proposiciones compuestas. En caso afirmativo,
determinar el valor de verdad justificadamente.

a) (p → q) → r ; Información: r es verdadera.

1
 b) (p ∧ q) ↔ (∼ p∧ ∼ q) ; Información: q es verdadera.
c) p ∧ (q → r) ; Información: p → r es verdadera.
d ) [(p ∨ q)∧ ∼ q] → q ; Información: p ∨ q es verdadera y ∼ q es verdadera.
e) [(p ∨ r)∧ ∼ q] ↔ (∼ q ∧ p); Información: p es verdadera y q es falsa.

6. Sabiendo que la proposición (∼ p ∧ q) → (∼ s ∨ r) es falsa, determine el valor de

verdad de las siguientes proposiciones:

a) ∼ [(p → q) → r] b) [(p∨ ∼ q) ∧ p] ∨ ∼ q

7. Sabiendo que la proposición (a ∧ ∼ b) → (b ∨ c) es falsa, determine el valor de

verdad de la proposición

∼ [(c ∧ ∼ a) ↔ (b ∨ a)] ∧ c

8. Pruebe las siguientes equivalencias lógicas:

a) p ⇔ p i ) p → q ⇔ ∼ q →∼ p
b) p ∧ q ⇔ q ∧ p j) p → q ⇔ ∼ p ∨ q
c) p ∨ q ⇔ q ∨ p k ) ∼ (p → q) ⇔ p∧ ∼ q
d) p ↔ q ⇔ q ↔ p l ) ∼ (p ∨ q) ⇔ ∼ p∧ ∼ q
e) p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r m) ∼ (p ∧ q) ⇔ ∼ p∨ ∼ q
f ) p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r n) p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)
g) p ↔ (q ↔ r) ⇔ (p ↔ q) ↔ r ñ) p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
h) ∼ (∼ p) ⇔ p o) p ↔ q ⇔ (p → q) ∧ (q → p)

9. Demuestre las siguientes implicaciones lógicas:

a) [(p → q) ∧ (q → r)] ⇒ (p → r)
b) [p → (q ∧ r)] ⇒ (∼ p ∨ r)