Lógica demostraciones

y sucesiones

Leyes de equivalencia
conmutativas pug q up
Asociativa es
pr lq u s pr q vs
Distrivutivas pulques pu g pus
Identidad pre p
pvc p
Limites universales put t

pra c

Idempotencia p
p up
Doblenegación es C p p
Leyes de Morgan pu g I p n
g
Negación es p u p t
p r p c
Absorbe ión s
pr pug p

tautología siempre T
contradicción siempre F
 Premisas y conclusiones métodos
Modus ponens
pas q
Í
pug
p q
i q
Modus Tollens Modus tollendo Ponens
p q ppr q C pu q
p
_q
Generalización
1 q
conjunción
ya p
q
Simplificación
PAG prof
Reglacontradicción
F p a
transitividad p
p q
q r

p r

prueba pordivisiónde casos

pug
por
qur
r
Resolución
pre
pur
qur
 Condicionales
p q pr q

p g f q p
formas p q

Recíprocas q p
Inversa p q
Contrapositivas que p

Bicondicional pa q pyqst.pe squat

Condicional exclusivo es
pa q pu g
n l pu q

Div y mod

n mods resto de

diu s M n cociente de
ng
train
mod
n diu s n si diu mod
si ndius x sn s.tt mod

pa q p g n l q p TP 7 1 7 Pl
locontrario
pa q l pu g n
pug d
demostrarcon
 bl d

Proposiciones

Existenciales 17
Demostrar
Método constructivo
1 buscamos un xD quecumpla XIX

2 Detallarprocedimiento paraencontrar x tal queQ a siempre

Método no constructivo
1 garantizarqueexiste x poraxiomas o teoremasprevios
2 demostrar
que la no existenciade x lleva a la
contradicción

Refutar
Demostrar la negación
1 Escribirla inversa y demostrar

Universales V
Demostrar
Método de generalización pruebadirecta
1 Expresar lo que queremos demostrar comocondicionaluniversal
2 Suponemos ED PA
3 Localizamos loquequeremos probar
4 Aplicamoslas reglas de inferencia a travésdelasdefiniciones

Refutar
Demostrar la reg
 Contra ejemplo

Sucesiones
aritméticas 172754
geométricas 1754,5

Sumatorio
n limitesuperior hastadondellegalasucesión
formula
m
limiteinferior dondeempieza
yvalorque itt hasta acabar
Cambiovariable de unsumatorio
6

Es k 1 cambiar Keo a KII y elindicesuperior 1

µ

E limites
Superior 3 7 7
EI Í Ets E
51 o
Inferior 3 1 K1
Its
Productorio
indice
µ superior
aka formula
Rindiceinferior
Üar jkayak 9h
Propiedades sumatorios y productor ios

EKIM
ar t
Enor E mi
art br

1 am t bm t anti tb me
t t
fan tbn

Izar Enba Én Én ar
ar
Kent 1 k Em
Sr

ma nah M

Encanta E ni
En c ar C En ak

Int b Emanaba

Inducción matemática es demostraciones

sucesiones
Tiene quecumplirse
peal
Kk y a Pl K Pert 1
Pasos
1 Identifico Pen
2 Pasobásico demostrar Plas
3 Paso inductivo y demostrar p K1
asumirpers pra
Ejemplo for MI Uno HER 1

E Pen orina rn 1
1
r

E Prole Ear r 1 1 1
r e

5 PRR Ear _Er s

1
pre
EI rr Était
r 1
z
r 1
y

Egr r
nit 11 rather r
1
1

path 1 F r 1 rata 1
µ 1 graft pre y
elotroladodel r 2 1 reta_y
igual elotro deligual
lado

últimopaso ÉI Htt EEE

ellosolo
 Ecuación general sucesión
ar 3Gt Éa k 2 K 72

tealgfa.es La an cirntb.in
953 dependen raíces zaformula
ps 2 an c rntD.sn

ecuacióngeneral E At B o
2
1 sustituyes E 3 2 0 Resolver tosaraíces
t 1 s

2 2 formula y sustituyes an c.rntb.sn an c 2 D 1h

3 hacersistema con los dosvaloresde n no IC ID 1

GE
n 21C LA 3
4 concluir con la formula 2.2 141 an

Factorial nfnen ss.mn a 1

4 4.3.2 1 24

01 1
Definición número combinatorio
n
1 r Ar r

E Fin asi 3