Álgebra II
AMP/amp
UNIVERSIDAD DE MAGALLANES
DEPARTAMENTO DE MATEMÁTICAS Y FÍSICA
PUNTA ARENAS
[Link]@[Link]
Listado: Lógica
I. Sean las siguientes proposiciones, p = 18 es múltiplo de 6 y q = 4 es divisor de 16. Escriba las
siguientes proposiciones:
1. p ∧ q 6. p ⇔ q
2. p ∨ q 7. ∼ p ∧ q
3. ∼ p 8. p ∨ ∼ q
4. ∼ q 9. ∼ (p ∨ q)
5. p ⇒ q 10. ∼ (p ∧ q)
II. Represente cada uno de los siguientes enunciados usando simbologı́a lógica:
1. El coche enciende cuando tiene gasolina en el estanque y tiene corriente la baterı́a.
2. Una persona puede entrar al cine si compra su boleto u obtiene un pase.
3. Es buen estudiante, si y solo si, tiene promedio siete.
4. Si no pago la luz, entonces me cortarán la corriente eléctrica. Y si pago la luz, entonces me quedaré sin
dinero o pediré prestado. Y si me quedo sin dinero y pido prestado, entonces no podré pagar la deuda, si
y solo si, soy desorganizado.
III.- Resuelve los siguientes ejercicios:
1. La proposición: [r ∧ ∼ (p ⇒ q)] ∧ ∼ [p ∧ ∼ (s ⇒ q)] es verdadera. Determinar los valores de las proposi-
ciones p, q , r, s son respectivamente.
2. Si la proposición: [(∼ p ∨ q) ⇒ (q ⇔ r)] ∨ (q ∧ s) es falsa, siendo p una proposición verdadera, determine
los valores de verdad de q, r, ,s respectivamente.
3. Si la proposición: (∼ p ⇒ q) ∨ (r ⇒∼ s) ≡ F . Determine el valor de verdad de las siguientes proposiciones.
a) (∼ p∧ ∼ q)∨ ∼ q
b) (∼ r ∨ q) ⇔ [(∼ q ∨ r) ∧ s]
c) (p ⇒ q) ⇒ [(p ∨ q)∧ ∼ q]
4. Dada la proposición: ∼ [(r ∨ q) ⇒ (r ⇒ p)] ≡ V , donde se sabe que q es una proposición falsa. Halle el
valor de verdad de las siguientes proposiciones.
a) r ⇒ (∼ p∨ ∼ q)
b) [r ⇔ (p ∧ q)] ⇔ (q∧ ∼ p)
c) (r∨ ∼ p) ∧ (q ∨ p)
IV. Indica el valor de verdad de las siguientes proposiciones:
1. a: 4 es un número par y 5 es múltiplo de 2.
2. b: La vı́vora no es un reptil o el canario es un pez.
3. c: Si 21 es un multiplo de 7, entonces 21 es múltiplo de 2.
4. d: El Salmón es un pez si y solo si el tiburón es un ave.
5. e: Si el oro es un metal, entonces es un buen conductor de la electricidad.
6. f: 3 es divisor de 18 o 18 es múltiplo de 24.
V. Construye la tabla de verdad para cada una de las siguientes proposiciones:
1. p ∨ q 5. (p ∧ q) ⇔ (p ∨ q) 9. (p ∧ (p ⇒ q)) ⇒ p
2. p ∧ ∼ q 6. (p ∨ q)∧ ∼ (p ⇒ q) 10. (∼ p∧ ∼ q) ⇒ (p ∨ q)
3. ∼ p ⇒∼ q 7. (∼ p∧ ∼ q)∨ ∼ q 11. (p ∨ q) ∧ (p ∨ r)
4. ∼ (p ∨ q) ⇒∼ q 8. (p ⇒ q) ∨ (q ⇒ p) 12. ∼ p ∨ (∼ q ⇔ r)
VI. Utilizando tablas de verdad, demostrar las siguientes equivalencias lógicas
1. ∼ (∼ p) ⇐⇒ p 10. ∼ (p ∧ q) ⇐⇒∼ p ∨ ∼ q
2. p ∧ ∼ p ⇐⇒ F 11. ∼ (p ∨ q) ⇐⇒∼ p ∧ ∼ q
3. p ∨ ∼ p ⇐⇒ V 12. (p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r)
4. p ∨ V ⇐⇒ V 13. (p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r)
5. p ∧ V ⇐⇒ p 14. (p ↔ q) ↔ r ⇐⇒ p ↔ (q ↔ r)
6. p ∨ F ⇐⇒ p 15. p ∧ (q ∨ r) ⇐⇒ (p ∧ q) ∨ (p ∧ q)
7. p ∧ F ⇐⇒ F 16. p ∨ (q ∧ r) ⇐⇒ (p ∨ q) ∧ (p ∨ r)
8. p ∧ (p ∨ q) ⇐⇒ p 17. ∼ p ∨ q ⇐⇒ p → q
9. p ∨ (p ∧ q) ⇐⇒ p 18. p ↔ q ⇐⇒ (p ↔ q) ∧ (q ↔ p)
VII. Demostrar las siguientes tautologı́as:
1. p → q ⇐⇒∼ q →∼ p 9. p ↔ q ⇐⇒ (p ∧ q) ∨ (∼ p ∧ ∼ q)
2. ∼ (p → q) ⇐⇒ p ∧ ∼ q 10. ∼ p ↔∼ q ⇐⇒ p ↔ q
3. p → (q∧ ∼ q) ⇐⇒∼ p
11. ∼ (p ↔ q) ⇐⇒∼ p ↔ q
4. (q ∨ ∼ q) → p ⇐⇒ p
12. (p → q) ∧ (p → r) ⇐⇒ p → (q ∧ r)
5. (p ∧ q) → r ⇐⇒ p → (q → r)
13. (p → q) ∨ (p → r) ⇐⇒ p → (q ∨ r)
6. p → (q → r) ⇐⇒ q → (p → r)
7. (p → q) ↔ p ⇐⇒ p ∧ q 14. (p → r) ∧ (q → r) ⇐⇒ (p ∨ q) → r
8. (p → q) ↔ q ⇐⇒ p ∨ q 15. (p → r) ∨ (q → r) ⇐⇒ (p ∧ q) → r
