Lógica Proposicional

1) Proposiciones Lógicas: Son aquellas expresiones u oraciones que

pueden ser calificadas bien como verdaderas o falsas, sin ambigüedades.
Las proposiciones lógicas serán denotadas con letras minúsculas y
generalmente p, q, r,…, etc.
Si la veracidad o falsedad de un enunciado (proposición) se le denomina
valor veritativo o valor de verdad.

2) Ejemplos de Proposiciones Lógicas:

1) 18 - 6=12 (V) Si es Proposición Lógica ( P. L)

2) Roma es capital de Italia (V ) Si es P.L
3) 1 + 1 = 3 (F) Si es P.L
4) ¡Que día tan bello! No es P.L (ambigua)
5) (V) Si es P.L
6) ¿Quieres ser mi amiga? No es P.L (ambigua)
7) Ciro Alegria no fue literato (F) Si es P.L
8) No es P.L (ambigua)
9) (F) Si es P.L
10) Todo organismo viviente se adapta a su medio ambiente. (V) Si es P.L
11) Batman es el hombre murciélago. No es P.L
12) Mas vale pájaro en mano que cien volando. No es proposición
13) ¿Habrá juicio final? No es proposición
14) ¡Si no regresas antes de las 10pm nunca más sales a la calle! No es P.L

El siguiente cuadro ilustra mejor como identificar una P.L

Son Proposiciones Lógicas No son Proposiciones Lógicas

- Las oraciones aseverativas - Los proverbios, modismos y

- Las leyes científicas. refranes.
- Las fórmulas matemáticas. - Creencias religiosas y
- Las formulas y expresiones supersticiones.
lógicas. - Enunciados abiertos o
- Los enunciados cerrados o indefinidos.
definidos. - Las interrogaciones.
- Las interjecciones.
3) Clases de Proposiciónes :

- P. Simples o Atómicas: son aquellas que deben representarse por

una sola variable, así:
p: 1 + 8 = 8
- P. Compuestas o Moleculares: son aquellas que se deben
representar por lo menos por una variable y algún o algunos
símbolos que representan a la siguiente palabra:
, Implica, si y solo si, no.

4) Operaciones Proposicionales:

4.1)Negación: Negación de la proposición es la proposición ~ (no

)
Símbolo:

p ~p
V F
F V

Traducción Verbal:
- No , Nunca , Jamás , Tampoco .
- Es absurdo que .
- No es innegable que , es incierto que .

4.1.1) Criterios Convencionales del uso del negador

Caso: Ejemplos:
a) NO ES CIERTO QUE se haya acabado con la recesión: ~
b) La recesión no se ha acabado: ~
Caso: Ejemplos:
a) Es falso que, Manuel canta y Laura sonríe.
Formalización:
b) De ninguna forma si hay nevada entonces es verano.
Formalización:
Caso: Ejemplos:
a) No es verdad que, estas alegre y no rías.
Formalización:
b) Es incorrecto que, Raúl no sea abogado o profesor.
Formalización:
 Caso: Ejemplos:
a) Si no es cierto que es de día entonces es de noche.
Formalización:
Caso: Ejemplos:
a) El mar NI es verde NI es azul.
Formalización:
4.2) Conjunción : Definición: Conjunción de las proposiciones y
es la proposición cuya tabla de valores es:

p q p q
V V V
V F F
F V F
F F F
Ejemplos:
i) 3 es un numero impar y 2 es un numero par.

V V
V La conjunción es verdadera.

ii) Hoy es lunes y mañana es jueves.

V F
F F
Luego esta conjunción es falsa.

Traducción Verbal:
a) del mismo modo .
b) sin embargo .
c) igual que .
d) así como . i) es compatible con .
e) no obstante . j) Siempre ambos con .
k) pero .
f) también . l) de la misma forma .
g) aunque . m) incluso .
h) tal como . n) Tanto como (cuanto ) .
ñ) No solo también .

4.3) Disyunción:
Def: Disyunción de las proposiciones y es la proposición
cuya tabla de valores es
 p q p q
V V V
V F V
F V V
F F F
Ejemplos:
i) Hoy es lunes o martes.
ii) Regalo libros o los boto lo que no me sirven.

Traducción Verbal:
a) o . d) a menos que .
b) salvo que . e) o también .
c) A menos que f) excepto que , etc.

4.4) Implicación o Condicional:

Definicion: Implicación de las proposiciones y es la proposición
cuya tabla de valores es: Si entonces .

p q p q
V V V
V F F
F V V
F F V
Ejemplos: Si un cuerpo se calienta entonces se dilata.

Antecedente Consecuente
Causa efecto
Traducción Verbal: Se lee:
a) Si A entonces B.
b) Cuando así pues .
c) Con tal que es obvio que .
d) En el caso de que es evidente .
e) Dado por eso .
f) En cuanto por tanto .
g) De deviene .
h) De deducimos (inferimos, llegamos, concluimos) en .
i) es condición suficiente para , etc.
 j) Siempre que por consiguiente .
k) De inmediatamente .
l) De derivamos .
m) impone ,etc.

4.4.1)Casos especiales de formalización de la Implicación:

Se da cuando la operación esta desordenada (en lenguaje natural o científico). Es decir cu

consecuente y luego el antecedente.
Ejemplo: A B
a) Transpiro porque hago deporte. H G

Consecuente termino Antecedente

A B
b) Transpiro, si hago deporte.

Consecuente termino Antecedente

A B

c) Transpirar es condición necesaria para hacer deporte.

Consecuente termino implicador Antecedente

A B

Casos especiales de Replicación:

 porque .
 es condición necesaria para .
 si .
 se concluye (deduce, infiere o sigue) de , etc.
 siempre que .
 es insuficiente para .
 pues . A B
 cada vez que .
 dado que .
 ya que .
 puesto que .
 condición de que .
 en vista de que , etc.

4.5) Doble implicación o Bicondicional:

Def: Doble implicación de las proposiciones y es la proposición
cuya tabla de valores de verdad es:
 p q p q
V V V p  q  p  q  q  p 
V F F
F V F
F F V
Ejemplos:
i) es equilátero si y solo si es equiángulo.
ii) si y solo si .
iii) Charo ingresa a la UNASAM si y solo si obtiene una vacante.

La doble implicación se entenderá así:

Si Charo ingresa a la UNASAM entonces obtiene una vacante, si Charo
obtiene una vacante entonces ingresará a la UNASAM.
Traducción Verbal:
 si y solo si .
 es equivalente, equivale a .
 siempre que y solo cuando .
 por lo cual y según lo cual .
 se define como .
 es lo mismo que .
 si de la forma .
 es idéntica a .
 igualmente entonces (es igual entonces) a .
 cada vez y solo si .
 es equipolente a , etc.

4.6) Disyuntos fuerte o excluyente:

Definicion : La disyunción de las proposiciones y es la
proposición cuya tabla de valores
de verdad es:

p q p  q

V V F
V F V
F V V
F F F
Símbolos:

Ejemplos:
1) O Darwin fue científico o fue religioso.
2) O bien la tierra es planeta o bien es una estrella.
3) O Vallejo nació en la libertad o Cajamarca.

Traducción Verbal: o A o B, o bien A o bien B.

5) Procedimientos para formalizar Proposiciones Lógicas.

“Thales de Mileto fue matemático tal como filosofo Calvino fue protestante
SI Y SOLO SI no se sometió a la ortodoxia católica.
EN CONSECUENCIA, Thales fue matemático salvo que Calvino fue
protestante.”

Formalizando el párrafo

1er Paso: Detectar los conectores lógicos.

a) Tal como e) En consecuencia
b) f) Salvo que
c) Si y solamente si:
d) No

2 do Paso: Darle variables a cada proposición simple.

No olvidar que de punto (signo lingüístico) a punto hay una proposición
simple o compuesta.
Ejemplo:
a) Thales de Mileto fue matemático
b) Thales de Mileto fue filosofo
c) Calvino fue protestante
d) Calvino se sometió a la ortodoxia católica

3er Paso: Agrupar ordenadamente las proposiciones con la ayuda de los

símbolos auxiliares.
Así:
La proposición formalizada por tanto es Implicativa.
Nota:
1) Los signos lingüísticos (coma, punto, punto y coma)
Pueden ser conectores, en algunos casos dependiendo del sentido de la
expresión. Ejemplos:
a) Juan estudia, Maria se divierte (Aquí la coma es conjuntor “y”)
 b) Si es que Juan estudia, Maria se divierte (Aquí la coma es implicador
).
c) Juan estudia, y Maria se divierte (Aquí la coma no es ningún
conector).

2) El punto y segundo (.) mayormente si es que NO hay ningún termino

conector adjunto es un conjuntor ( ).

Ejercicios
1)Formaliza el siguiente enunciado:
“No es verdad que sea falso qu Newton sea físico”
Solución

“No es verdad que sea falso que Newton sea físico.”

~ ~ A
La Formalización es : ~ ~ A.

2) Formaliza el siguiente enunciado:

“No es cierto que si es verano, hace [Link]í como si es verdad que si
llueve es obvio que es invierno.”

Solución

Se formaliza como:

3) Formaliza el siguiente argumento: “Estudio a menos que sea

irresponsable. Juego porque soy deportista. Por tanto, estudio y
juego.”
Solución

Leyenda:_
a menos Estudio: A.
Irresponsable: B.
Porque: Juego: C.
Por tanto: Deportista: D.

La formalización es :

4) El argumento: “Pitágoras fue matemático tal como filosofo. Pero

Lutero fue protestante siempre que y solo cuando no se sometió a la
ortodoxia católica. Pitágoras fue matemático salvo que Lutero fue
protestante.” se formaliza como:

Solución

Haciendo la leyenda correcta se tiene :

Tal como: ~ : no siempre que y solo cuando:

Pero: salvo que:

Pitágoras fue matemático: A.
Pitágoras fue filósofo: B.
Lutero fue protestante: C.
Lutero no se sometió a la ortodoxia católica: D
La formalización es:

5) De los siguientes enunciados dados, la formalización lógica correcta

de son :
a) Son tiranos excepto que dictadores. Si imponen así como coaccionan y
dominan.
b) Son músicos o cantores. Si Pedro, Lucho y Maria cantan.
c) Son vertebrados salvo que mamíferos porque su estructura es ósea,
tiene pelos y sangre caliente.
d) Ellos son músicos amenos que cantores. Si Pedro canta, Lucho canta y
Maria canta.
e) Son tiranos o dictadores porque dominan, coaccionan e imponen.
Es mentira que no son falsas:
a) b) c) d) e) Todas.
Solucion

Formalizando cada enunciado dado se tiene :

1)
2)
3) . La respuesta es la e) Todos son falsos
4)
5)

6) Formaliza lógicamente el siguiente párrafo textual:

 Solución:

Leyenda :

El Perú es una nación subdesarrollada.

El Perú tiene atraso tecnológico.
El Perú tiene atraso científico.
Podemos salir de este atraso.
Desarrollamos nuestra conciencia.
Nos esforzamos.
El desarrollo se alcanza con buenas intenciones.
El desarrollo se alcanza con deseos.
El Perú supera sus problemas.

La formalización Lógica del texto es:

6. Tautología y Contradicción

6.1. Tautología: Es toda proposición simple o compuesta cuyo valor es

Siempre VERDADERO para cualquier combinación de valores
veritativos de sus componentes y se le denota por V.
6.2. Contradicción: Es toda proposición que siempre es FALSA para todas
las combinaciones de valores veritativos de sus componentes y se le
llama CONTRADICCION y se le denota simplemente por F.
6.3. Contingencia: Es una proposición cuya tabla de verdad contiene al
menos un V y al menos un F.
La proposición:

Es una tautología

Verificar que las proposiciones son una tautología, contradicción o

contingencia:
1)
2)

 p  q   q  ~ q

V V V V F F
V F F F F V
F F V V F F
F F F F F V

Contradicción
7. Proposiciones Equivalentes: Dos proposiciones y se llama
EQUIVALENTE si sus tablas de verdad son idénticas.
Simbólicamente:
p  q ~p  q

V V V F V V
V F F F F F
F V V V V V
F V F V V F

Son equivalentes
[Link] Proposiciones Equivalentes:
1)
2)
3) Leyes de absorción:
4)
5)
6)
8. Leyes del Algebra Proposicional:
1)
9)
2)
3) 10)
4) 11)
5) 12)
6) 13)
7) 14)
8) 15)
 Ejercicios

1) Simplificar la proposición:
Solución:

2) Simplificar:
Solución:

Entonces:

3) Comprobar si son equivalentes:

Solución:

Usar:

4) Utilizando las leyes lógicas simplificar:

Solución:
5) Simplificar la proposición:

9. Inferencia Lógica: Se llama inferencia lógica o argumento lógico a toda

condicional de la forma.

Donde son llamadas PREMISAS y originan como

consecuencia otra proposición denotada y llamada CONCLUSION.
Una inferencia puede ser tautología, una contingencia o una
Contradicción.
1) Si la condicional es una TAUTOLOGIA, es decir si es una Implicación
entonces recibe el nombre de ARGUMENTO VALIDO.
2) Si la condicional no es una TAUTOLOGIA entonces se denomina
FALACIA.
El valor de verdad de un argumento se determina como sigue.

5.1.- Definición: El argumento es verdadero si es verdadera cuando todas

las
premisas , son verdaderas. En cualquier caso el argumento
es falso.
5.2.- Teorema: Si el argumento es VALIDO y las premisas , son
Verdaderas, entonces la CONCLUSION es verdadera.

Observación: Una inferencia se modifica si una o varias de las proposiciones

componentes , se reemplazan por otra u otra que sean
EQUIVALENTES.

Notación: Un argumento también se denota de la forma

siguiente:

Ejemplo:
1) Demostrar que el siguiente argumento es valido:
 Solución:

2) Su argumento lógico de la ley transitiva es:

Su argumento lógico será:

10. Inferencias Validas Notables

Métodos de demostración
10.1.- Ley del modus poniendo ponens:

También se simboliza:
Ejemplo:

10.2.- Ley del Silogismo Hipotético:

Simbolizando:

Ejemplo:

10.3.- Ley del Silogismo Disyuntivo:

Esquematizado por:

Ejemplo:
10.4.- Ley del Dilema Constructivo:

Esquematizado por:

Ejemplo:

10.5.- Leyes de simplificación:

Esquematizado por:

Ejemplo: Ningún estudiante es ocioso y Carlos es un excelente pianista. Por lo

tanto, ningún estudiante es ocioso.
10.6.- Ley de la Adición:

Ejemplo: Todos los poetas son desordenados. Luego, los poetas son desordenados
o son temperamentales.
Ejemplo:

Entonces:
10.7.- Ley del Modus Tollendo Tollens:

Simbolizado también como:

Ejemplo:

Ejemplo:

Entonces:

11. Métodos de Demostración:

11.1 Método Directo: Cuando se utiliza el argumento lógico valido en la forma:

11.2 Método Indirecto:En cambio, si consideramos la negación de la conclusión

y de una de las premisas , digamos de y se construye el
siguiente argumento:

Nota : Cuando se desea emplear el argumento valido en una demostración,

se dice que se esta aplicando el MÉTODO INDIRECTO o Método por Reducción
al absurdo.

Ejercicio: Utilice los dos métodos: Directo e indirecto para comprobar la validez
del argumento.

Método Directo:

Método Indirecto:

Ejemplo:

Solución:

El argumento es:
Así hemos comprobado que el argumento dado es una IMPLICACION.

Ejercicio:
Verificar la validez del argumento:

Solución:

Verifiquemos el argumento:

En efecto:

Por lo tanto:
, de modo que el argumento
dado es válido.

II. Conjuntos
1.- Definición: Es una colección, agrupación o reunión de objetos llamados
elementos.
2.- Clases: Pueden ser:
2.1.- Por extensión: Cuando sus elementos están indicados explícitamente.
2.2.- Por Comprensión: Cuando existe una propiedad o condición que es común
a todos sus elementos.

3.- Subconjuntos: Se dice que es un subconjunto de , si todo elemento de

es
también elemento del conjunto simbólicamente es:

También se dice: “ esta incluido en ”

“ esta contenido en ”
 B A B
A

3.1.- Definición: En el caso en que , si tuviese uno o mas elementos que

no pertenecen al conjunto , se dice que es un SUBCONJUNTO
PROPIO
de .
3.2.- Definición: El conjunto universal contiene a todos los elementos que están
siendo considerados en estudio o contexto particular.
4.- Operaciones entre conjuntos:
4.1.- Unión de dos conjuntos:

4.2.- Intersección de dos conjuntos:

4.3.- Definición: Si la intersección de dos conjuntos y es vacía se dice que

y son disjuntos.

4.4.- Complemento de un conjunto:

Es aquel conjunto formado por todos aquellos elementos del universo
Que no pertenecen al conjunto , y se le denota indistintamente por:
 o .

Ejemplo # 1:
y si

Ejemplo # 2: Sea el universo . Si . Hallar y

por extensión.
Solución:

4.5.- Diferencia de conjuntos:

Esta constituido por aquellos elementos de que no pertenecen al conjunto
.

A  B  x U / x  A  x  B 
A B A B

U U

A B B A
Ejemplo: Dados y

4.6.- Diferencia Simétrica: Es el conjunto formado por la recesión de aquellos

elementos que pertenecen exclusivamente a uno solo de los conjuntos o .
 A  B   x U /  x  A  x  B    x  B  x  A 
A B  A  B   B  A 
A B

Propiedades de la diferencia simétrica:

1)
2)
3)
Ejemplo:

4.7.- Producto Cartesiano:

Es el conjunto de todos los pares ordenados que se forman así:

Este conjunto puede ser graficado en un sistema de ejes cartesianos.

Ejemplo: Sea y

  

  

1 2 3

A  B   1 , a  ;  1 , b  ;  2 , a  ;  2 , b  ;  3 , a  ;  3 , b  
Observación: Consideremos que los pares son ordenados, entonces no son
simétricos, de manera que:

Entonces se deducirá:

Ejercicios:
1) ¿Cuales de los siguientes conjuntos son iguales?
I) II) III)
A) I y II B) Todos C) II y III D) I y II E) N.A
Solución:
Solo los conjuntos I y II son vacíos, el tercero no, porque tiene un elemento,
aunque este sea el conjunto vacío.
Rpta: D
2) Si
Entonces podremos afirmar que:
1) es subconjunto de .
2) es subconjunto de .
3) es elemento de .
4) es elemento de .
5) son elementos de .
De las afirmaciones son ciertas solamente:
A)
B)
C)
D)
E)
Solución:
Analizaremos una a una:
1) FALSO porque es elemento de .
2) VERDADERO, si es subconjunto de .
3) VERDADERO, si es elemento de .
4) VERDADERO, si es elemento de .
5) FALSO, primero porque no es la forma de enumerar los elementos y
segundo porque: y no son elementos de .
3) Si el 61% de los habitantes de una población consume carne de ave y el 77%
consume carne de pescado. El porcentaje de la población que consume ambas
carnes es:
A) 26% B) 38% C) 41% D) No se puede calcular E) Pasa del 100%
Solución:
El diagrama correspondiente es:

AVE PESCADO U (100%)

61-x x 77-x
Ecuación:

4) Sea N el conjunto de los números naturales:

 Si el conjunto universal es: entonces el complemento de es:
A) B) C)
D) E)
Solución:
Los elementos son:

Rpta: E

5) Sea Z el conjunto de los números enteros:

Entonces:
1) 3)
2) 4)
De las afirmaciones anteriores son ciertas solamente:
A) B) C) D) E)
Solución:

1)
2)
3)

4)

Rpta: E

6) En el diagrama la parte sombreada representa:

 P Q

1.- El complemento de respecto a .

2.- Que es subconjunto de .
3.- La unión de con
4.- Que es subconjunto de
A) D)
B) E)
C)
Solución:
1.- Verdadero: La parte sombreada es
2.- Falso: Porque aunque sea cierto que el diagrama no muestra
precisamente eso.
3.- Verdadero:
4.- Falso: Misma razón de 2.

7) Si y son conjuntos tales que: , entonces:

A) D)
B) E)
C)
Solución:
Según el diagrama, es evidente que no tendrá ningún elemento que no este en
.
Rpta: D
Q

8) Sea y , entonces:
1)
2)
3) es relación de a y de a .
4) tiene 10 elementos.
 A) D)
B) E)
C)
Solución:
Se pueden obtener:

Analicemos ahora las afirmaciones:

1.- Falso.
2.-
3.-
4.-

9) Hallar el conjunto que incluye todos los valores de “x” que satisfacen:

A) D)

B) E)

C)
Solución:

10) Se afirma que la parte sombreada:

 y
Contiene a
Es

z
De ellas son falsas: A) B) C) D) E)

11) En la figura:

x z
La parte sombreada es:

A) C)
B) D)
E) El complemento de respecto en
.

5.-Leyes del Algebra de Conjuntos:

1)
2)
3)
4)
5)
6)
7)
8)
9)
Leyes de Morgan
10)
11)
12)
 13)
14)
15)
16)
17)
18)

1) Demostrar que
Solución:
i)
ii)
 Sea

Luego:
 Sea

Por i y ii se tiene que:

2) Utilizando las leyes del algebra de conjuntos y la relación ,

demostrar que:

3) Demostrar que:
a) Leyes de Absorción
b)
Solución:
a) Si
 b) Si

4) Demostrar que
Solución:

Luego: B  U  B

5) Demostrar que:
a)
Solución:

Ejercicios Adicionales:

b)
c)

6) Dados y de un universo U. Demostrar que el siguiente enunciado es

verdadero:
Solución:
a)

Sea
Sea

Como
Luego:
b) Sea
6.-Conjunto Potencia: Es el conjunto formado por todos los subconjuntos de ,
incluyendo al conjunto vacío .

Un elemento de es un subconjunto de : es decir

Ejemplo: Si
Observación:
1) Al conjunto también se le llama EL CONJUNTOR DE PARTES de
A.
2) Se prueba que si un conjunto A es finito, y tiene elementos, entonces
tiene elementos, razón por la cual también se le denota por .
3) El conjunto vacío siempre es un elemento del conjunto potencia .

2) Si Hallar

3) Demostrar que si
Solución:
a)Si

b)
Sea

4) Demostrar que:
Sea

Luego:
7.-Números de Elementos: N (A):
Dados dos conjuntos finitos y disjuntos y se define el NUMERO de
ELEMENTOS DE LA UNIÓN como:

La relación siguiente que se cumple para cualquier par de conjuntos y no

necesariamente disjuntos.

Implica que:
 A A B B

A- B B-A

En el caso en que y son conjuntos finitos arbitrarios (no necesariamente

disjuntos), puesto que:
, ya que
Entonces:

Además siendo una unión de tres conjuntos disjuntos

entre si (dos a dos) se tiene que:

A B Equivale a la unión en
un diagrama en zonas
disjuntas como en la figura,
x y z
donde:

Problema: Una encuesta sobre 500 estudiantes inscritos en una o más de las
asignaturas de MATEMATICAS, FISICA y QUIMICA durante un semestre,
revelo los siguientes números de estudiantes en los cursos indicados.
MATEMATICA: 329, FISICA: 186, QUIMICA: 295, MATEMATICA y FISICA:
83, MATEMATICA y QUIMICA: 217, FISICA y QUIMICA: 63.
¿Cuantos alumnos estarán inscritos en?
1) Los tres cursos (g)
2) Matemática pero no química (a + d)
3) Física pero no Matemáticas (b + e)
4) Química pero no Física (c + f)
 5) Matemática o Química, pero no Física (a + f + c)
6) Matemática y Química, pero no Física
7) Matemáticas pero no Física ni Química (a)
Solución:

M F
a d b
eg f
c
Q

Así mismo
Además:

8.-Inducción Completa:
8.1) Concepto: El concepto de inducción completa proporciona un método de
demostración por recurrencia, de vastas aplicaciones en matemáticas.
8.2) Teorema: Si es un subconjunto de que satisface:
i)
ii)
En otras palabras: “Todo subconjunto de que incluya al 1, y al siguiente de ,
siempre que incluye al , es igual al ”
Hipótesis:
i)
ii)
Tesis:

8.3) Principio de Inducción Completa:

Sea una función proposicional, donde . Si ocurre que es
verdadera, y, además, de la verdad de se deduce de , entonces
es verdadera para todo
Hipótesis:
Tesis:
Ejemplo: Demostramos por inducción completa:
a) La suma de los primeros números naturales es .
Es decir, se verifica:

i) Debemos probar que la propiedad se verifica para

 En este caso, la suma se reduce al primer termino, y se tiene:

ii) Demostraremos la verdad de la implicación de la hipótesis del principio de

inducción completa, es decir, el siguiente teorema:
 Hipótesis:

 Tesis:
Demostración:
Teniendo en cuenta la hipótesis inductiva, el primer número de la tesis se
transforma en:

Reduciendo a común denominador, y por distributividad:

Resulta entonces la formula anterior, valida para todo numero natural . De

acuerdo con ella, la suma de los 10 primeros números naturales es:

b) Probaremos ahora:

i)
ii)
Hipótesis:

Tesis:
Demostración: Procediendo como en el caso anterior