Documentos de Académico
Documentos de Profesional
Documentos de Cultura
PROPOSICIONAL
1.2 ASOCIATIVAS
1. [(p ∨ q) ∨ r] ⇐⇒ [p ∨ (q ∨ r)]
2. [(p ∧ q) ∧ r] ⇐⇒ [p ∧ (q ∧ r)]
1.3 DISTRIBUTIVAS
1. [p ∨ (q ∧ r)] ⇐⇒ [(p ∨ q) ∧ (p ∨ r)]
2. [p ∧ (q ∨ r)] ⇐⇒ [(p ∧ q) ∨ (p ∧ r)]
1.4 DE MORGAN
1. ∼ (p ∨ q) ⇐⇒ (∼ p∧ ∼ q)
2. ∼ (p ∧ q) ⇐⇒ (∼ p∨ ∼ q)
1.5 ABSORCIÓN
1. [p ∨ (p ∧ q)] ⇐⇒ p
2. [p ∧ (p ∨ q)] ⇐⇒ p
1
1.6 SIMPLIFICACIÓN
1. (p ∧ q) ⇒ p
2. (p ∧ q) ⇒ q
3. [(p ⇒ (p ∨ q)) ∧ p] ⇐⇒ (p ∨ q)
2 CIANTIFICADORES
2.1 CUANTIFICADOR UNIVERSAL (∀)
Es la expresión para todo, para cada , se la nota con el símbolo ∀. Se usa
para indicar que todo elemento x de un conjunto C, cumpla con la propiedad
p(x).
3 METODOS DE DEMOSTRACIÓN
3.1 ¾QUÉ ES UNA DEMOSTRACIÓN?
Es un razonamiento válido para establecer la veracidad de un teorema.
2. Si p(k) verdadera implica p(k + 1) verdadera, para cualquier kZ+ tal que
k ≥ n0 , entonces p(n) es verdadera ∀n ≥ n0 .
2
4.2 EJERCICIOS
1) Demostrar, usando inducción que ∀nZ+ :
n(n + 1)
p(n) : 1 + 2 + 3 + 4 + ........ + n =
2
Solución:
Solución:
2
n(n + 1)
p(n) : 13 + 23 + 33 + ........ + n3 =
2
Solución: