Está en la página 1de 3

CLASE 3 DE MATEMÁTICA I - CALCULO

PROPOSICIONAL

June 23, 2021

1 PROPIEDADES DE LAS OPERACIONES LOG-


ICAS (TAUTOLOGÍAS)
1.1 CONMUTATIVAS
1. (p ∨ q) ⇐⇒ (q ∨ p)
2. (p ∧ q) ⇐⇒ (q ∧ p)

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).

2.2 CUANTIFICADOR EXISTENCIAL (∃)


Es la expresión existe al menos un, se lo nota con el símbolo ∃. Se usa para
indicar por lo menos un 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.

4 PRINCIPIO DE INDUCCIÓN MATEMÁTICA


4.1 TEOREMA
Sea p(n) una proposición denida ∀nZ+ si
1. p(1) es verdadera

2. p(k) ⇒ p(k + 1), ∀k ≥ 1, es verdadera supuesto que p(k) es verdadera,


+
entonces la proposición p(n) es verdadera ∀nZ

OBSERVACIÓN: Hay situaciones en las que p(n) no se cumple para n = 1 ,


pero si a partir de cierto n0 Z+ , con n ≥ n0 . En esta situación, el principio de
inducción se expresa asi:

1. p(n0 ) es verdadera para n0 Z+ .

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:

ˆ 2) Demuestre por inducción que ∀nZ+ :

p(n) : 1 + 3 + 5 + ...... + (2n − 1) = n2

Solución:

ˆ 3) Mostrar usando inducción que ∀nZ+ :

 2
n(n + 1)
p(n) : 13 + 23 + 33 + ........ + n3 =
2

Solución:

También podría gustarte