PROGRAMA SEMIPRESENCIAL

LÓGICA
MATEMÁTICA
MG. VERÓNICA RISCO MEDINA
2021-II
 SESIÓN 1:
LÓGICA
PROPOSICIONAL
https://forms.gle/7jzaPiwfvW5bquMw8
DISTRIBUCIÓN DE TEMAS
UNIDAD TEMA
EVALUACIÓN DIAGNÓSTICA
PROPOSICIÓN: ENUNCIADO ABIERTO, ENUNCIADO CERRADO
OPERACIONES LÓGICAS
TABLAS DE VERDAD: TAUTOLOGÍA, CONTRADICTORIO Y CONTINGENTE
FORMALIZACIÓN
IDEA Y DETERMINACIÓN DE CONJUNTOS
CLASIFICACIÓN Y REPRESENTACIÓN
RELACIONES ENTRE CONJUNTOS
UNIDAD 1
OPERACIONES ENTRE CONJUNTOS
PROBLEMAS ENTRE CONJUNTOS
ECUACIONES DE PRIMER GRADO Y CLASIFICACIÓN DE LAS ECUACIONES
RESOLUCIÓN DE ECUACIONES DE PRIMER GRADO Y PROBLEMAS
RESOLUCIÓN DE ECUACIONES DE SEGUNDO GRADO
PLANTEAMIENTO DE ECUACIONES DE SEGUNDO GRADO E INECUACIONES DE PRIMER Y SEGUNDO GRADO
FUNCIONES
PRACTICA CALIFICADA
 RAZÓN ARITMÉTICA Y GEOMÉTRICA
PROPORCIÓN ARITMÉTICA Y GEOMÉTRICA
TIPOS DE PROPORCIÓN GEOMÉTRICA Y PROPIEDAD FUNDAMENTAL
OTRAS PROPIEDADES DE UNA PROPORCIÓN GEOMÉTRICA
PROBLEMAS CON PROPORCIONES Y RAZONES
REGLA DE TRES SIMPLE DIRECTA
REGLA DE TRES SIMPLE INVERSA
REGLA DE TRES COMPUESTA
UNIDAD 4
TANTO POR CIENTO: HALLAR EL TANTO POR CIENTO DE UNA CANTIDAD
RELACIÓN PARTE TODO Y PROBLEMAS DE PORCENTAJE
AUMENTOS Y DESCUENTOS SUCESIVOS
REGLA DE INTERÉS SIMPLE Y PROBLEMAS
ESTADISTICA: NOCIONES PRELIMINARES (POBLACIÓN Y MUESTRA, CLASES DE VARIABLES) Y TABLAS DE FRECUENCIAS
CONSTRUCCIÓN DE UNA DISTRIBUCIÓN DE FRECUENCIAS
REPRESENTACIÓN GRÁFICAS DE DISTRIBUCIONES: BARRAS, LÍNEAS Y CIRCULARES
MEDIDA DE TENDENCIA CENTRAL: MEDIA, MEDIANA Y MODA
 Estudia
la
Lógica
estructura UTILIZA UN
LENGUAJE
EXACTO

formal
del
pensamiento
 ES UNA PROPOSICIÓN QUE

Premisas
SE AFIRMA O SE NIEGA ALGO

Lógica
Conclusiones
 PROPOSICIONES

Proposiciones

Se define como
una frase que Se representa
puede ser mediante las Son oraciones
verdadera o letras p, q, r, s declarativas
falsa

No todos los enunciados son proposiciones

7
La Lógica

Es una ciencia que estudia métodos o procedimientos que aplican

definiciones y leyes o reglas con el propósito de determinar la validez o
invalidez de las proposiciones. La lógica matemática es una variedad de la
lógica filosófica.

Se puede decir también, que la Lógica es el estudio de la inferencia: Inferir

es extraer la conclusión a partir de sus premisas.

Ejemplo

“Si Cipriano quiere a Eloisa entonces le escribirá una carta. No le escribió

la carta; por tanto, Cipriano, no quiere a Eloisa”
Los objetivos principales de la lógica son esencialmente:

1. Eliminar las ambigüedades propias del lenguaje ordinario.

2. Dar rigor a aquello que se está estudiando.

En la Lógica existen dos procesos fundamentales:

1. Conceptualización: consiste en definir los objetos matemáticos

que se van a definir

2. Demostración: consiste en demostrar rigurosamente aquellas

propiedades, proposiciones o teoremas que se estén estudiando
Proposiciones

Es una expresión lingüística, libre de ambigüedades ,que tiene la propiedad de ser

verdadera o falsa pero nunca ambas simultáneamente.
Por ejemplo NO SON PROPOSICIONES

SON PROPOSICIONES ➢ Pare inmediatamente!

➢ El 2 es un número primo. ➢ ¿15 y 18 tienen la misma
➢ 25 es divisible entre 3 . cantidad de divisores?.
➢ 6 + 5 = 10 ”. ➢ En realidad, ¿a qué se refiere?.
➢El aula A1-205 está en el 2do piso ➢ Lávalo”.
➢ El sol es una estrella ➢ ¡ Qué hermosos son tus ojos !
➢ ¿lloverá mañana?
➢Manuel saco 20 en matemática
➢ Haz esto por favor
Proposiciones

¿Cuáles de los siguientes enunciados son proposiciones?

(Explica por qué lo son o no lo son)

1) “ El trabajo en grupo es lo más fácil que existe”.

2) “ 2 es divisor de 15”.
3) “ ¿Fuiste a la manifestación del sábado?”.
4) “ El aula A1-205 de la Unimet tiene más de 50 mts. cuadrados”.
5) “ x + 3 es un entero positivo”.
6) “ Tranquilícese”.
Respuestas: Sólo son proposiciones los
enunciados dados en 2 y 4
Valor de verdad

Toda proposición se califica como verdadera (V) o falsa (F).

Ejemplos:

➢ La tierra es un satélite (F)

➢ El conjunto unitario tiene un solo elemento (V)

➢ 9 es cuadrado perfecto (V)

➢ 3 es múltiplo de 5 (F)
 Variable Proposicional

Es la representación de las proposiciones por medio de letras minúsculas: p, q, r, s, etc..

Lo que simplifica las operaciones

p: El aula A1-204 está en el 2do piso

q: El aula A1-204 es iluminada
r: El 5 es un entero par”
s: La Tierra es el único planeta con vida en el universo
t: El aula A1-204 no está iluminada
u: Un decenio tiene 10 años
Enunciado abierto
Llamado también función proposicional, es toda expresión que se refiere a
números; esta conformado por constantes y variables.
➢Goza de la propiedad de transformarse en proposición al sustituir la variable
o variables por constantes.
Ejemplos:
Enunciado abierto
Proposición para (V)
Enunciado abierto
Proposición para (F)

Prof. Niño
2006
➢Además todo enunciado abierto se transforma en una proposición
anteponiéndole “para todo” o “Existe” los que son llamados
cuantificadores
Ejemplos:
Enunciado abierto (V)
Proposición
Enunciado abierto
Clases de proposiciones

1) Simple Llamadas también Atómica, o elementales, son remplazadas,

por una sola variable proposicional
Ejemplos:
El río Rímac es llamado “El Hablador” p
La tierra es un planeta del sistema solar
2) Compuesta : Llamadas también moleculares, son aquellas que niegan a
las proposiciones simples o combinan dos o más proposiciones simples
conectadas por partículas o conectivos lógicos.
Ejemplos
Las gallinas no tienen cuatro patas. No p
Juan es médico y psicólogo q y r
Conectivos lógicos u operadores proposicionales:
Llamados también “operadores”, “signos de enlace”, “conectores, etc. Son
usados en las operaciones lógicas.
Los mas importantes son: la negación, conjunción, disyunción ( fuerte débil)
condicional y bicondicial.

1. Negación ( ) Puede afectar a una sola proposición o a un conjunto

de ellas. Puede ser:
1.1 Simple : Usa la partícula: No, jamás, nunca, ni sub, infra, des, etc. Cambia
el valor de verdad de una proposición simple.
Ejemplos:
El Rímac NO es llamado “El Hablador”
La tierra NO es un planeta del sistema solar
 1.2 compuesta
➢Usa no es cierto que, no es el caso que , es falso que, , no es verdad que, es
imposible que, no es que, es objetable que, etc. Niega al operador más no a la
variable proposicional.
Ejemplo
➢Es imposible que Juan ni estudie ni trabaje
➢No es el caso que franco escriba o juegue
➢El General de San Martin no nació en el Perú.
➢No es cierto que la pizarra sea blanca y el plumón sea negro
Ejemplo:
Lima es la capital del Perú.
Es una
proposición

V F
Ejemplo:
Paolo Guerrero es un futbolista calificado.
Es una
proposición

V F
Ejemplo:
1+3=6
Es una
proposición

V F
No son proposiciones
¿Cómo te llamas?

No se puede
afirmar si es
verdadero o
falso
No son proposiciones
Deseo ser feliz

Es un deseo
afirmar si es
verdadero o
falso
Ejemplos :

• El cielo es verde P
• Lima es la capital del Perú P
• 1 + 5 = 12 P
• Mañana es Lunes P
• La tierra es cuadrada P
2
3 =8P

Las siguientes no son proposiciones

¿Qué día es hoy?
¡Bravo!
Espero ingresar a la universidad.
¿Cómo te llamas?
Ejercicios

1. Determine cuales de las siguientes oraciones son proposiciones y escribe.

a) En 2012, Ollanta era presidente de Perú. P

b) x + 3 es un entero positivo. NP

c) ¡Si todas las mañanas fuesen tan soleadas como hoy! NP

d) Quince es un número par. P

e)¿Qué hora es? NP

F) ¡Oh maravilla! NP

G) Julián tiene20 años. P

H) Ayer estuvo lindo el día. NP

i) Ecuador tiene 24 provincias. P

J) - 7 + 15 = 14 P

k) - Los animales omnívoros se alimentan únicamente de carne. P

1.- PROPOSICIONES SIMPLES

Cuando no existe conectivo u operador lógico alguno.

Ejemplo:

P: Hoy es domingo

q: 3+2<9

r: 24 es divisible por 3

r
 La lógica proposicional se basa en la aplicación de símbolos por medio de tablas
de verdad que nos permite si es verdadero o falso.
P
Si p es una proposición sus posibles valores se
representan por medio de una tabla de la verdad V
con la siguiente:
F
La negación u opuesto de una proposición con los valores

P -P
Su tabla de la verdad será:
V F
F V

Si p = Mañana es jueves entonces -p = Mañana no es jueves

Signo de negación ejercicios

29
 Conectivos lógicos: son
2.- PROPOSICIONES COMPUESTAS
símbolos que sirven para
Tiene 2 o mas significados y contiene al menos un unir dos o más
conector lógico proposiciones

NOMBRE SIMBOLO EXPRESION

LA NEGACION Cambia los valores

LA CONJUNCIÓN
~
v
NO
Y Es V si VV

LA DISYUNCIÓN INCLUSIVA O DEBIL v O Es F si FF

LA CONDICIONAL Si…entonces ES F si VF

LA BICONICIONAL …Si y solo si… Es V si es VV o FF

LA DISYUNCIÓN EXCLUSIVA O FUERTE v o……o…………. o……o………….

Es lo contrario de la bicondicional
Como se forma las proposiciones:

n Número de proposiciones

2 p q
2 V V
2 =4 V
F
F
V
F F
 3 p q r
2 =8 V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
 TEMA 2
OPERACIONES
PROPOSICIONALES

2021-II
 OPERACIONES PROPOSICIONALES
La conjunción se presenta cuando
dos proposiciones arbitrarias
Conjunción (cualquier) se combinan mediante la
palabra V
“y”
V
Se denota p q

y se lee p y q
Generalización:
Sólo es verdadero cuando ambas son verdaderos en los demás casos es falso

34
 V
Conjunción Es V si VV
Edith viajó a Lima y Trujillo

p q p V q
Generalización: V V V V V
Sólo es verdadero cuando ambas
son verdaderos en los demás V F V F F
casos es falso
F V F F V
F F F F F
 En toda proposición, la palabras “pero”, “sin embargo”,
Nota: “además”, “no obstante”, “aunque”, “a la vez”, etc.
V
Equivalen al conectivo
Porque en cada uno de estos esta el antecedente

Llegué tarde a clases, pero, di el examen.

Fernando esta enfermo, sin embargo, asiste a clase.

Estudie muchas horas, aunque, estuve cansado.

 La disyunción se presenta cuando
dos proposiciones arbitrarias
Disyunción (cualquier) se combinan mediante la
palabra
“ó” V

Se denota p V q

y se lee p o q
Generalización:
Sólo es falsa cuando ambas son falsas, en los demás siempre es verdadero
Disyunción V Es F si FF
Lucas es abogado o profesor

p q pVq
V V V V V
V F V V F
F V F V V
F F F F F
 Son proposiciones de la forma
“si p entonces q”
Condicional

flecha
Se denota p q

y se lee p implica q
Generalización:
Sólo es falsa cuando es verdadera la primera y la segunda es falsa, en los demás
casos es verdadero.
La condicional ES F si VF
Si hace sol, entonces iremos a la playa

p q p q
V V V V V
V F V F F
F V F V V
F F F V F
 En toda proposición, las palabras, “puesto que”, “ya que”,
Nota: “siempre que ”, “cuando”, “si”, “cada vez que” son conectivos
que representan a la condicional

Estoy cansado puesto que estuve haciendo mi tarea

condicional

p q

No se puede ir a clases ya que estamos en cuarentena

-p q
EJERCICIO:

(P V -Q) (Q V
P)
 Son proposiciones de la forma
bicondicional “p si y sólo si q”

Es V si es VV o FF

Doble flecha
Se denota p q

y se lee p si y sólo si q
bicondicional Es V si es VV o FF
Cesar se graduará si y sólo si termina sus estudios superiores

p q p q
V V V V V
V F V F F
F V F F V
F F F V F
 La disyunción exclusiva Es F si es VV o FF
Dadas las proposiciones p, q se escribe “p q”
Dadas las proposiciones p, q se escribe “p q”

Es un tipo de disyunción lógica de dos proposiciones que es

verdad si una proposición es verdad pero ambos no

O es una O es otra pero no las dos

La disyunción exclusiva ES si hay un
verdadero en ambos
La radio o esta prendida o apagada

p q p q
V V V F V
Ejemplo: V F V V F
O vas al baile o vas F V F V V
al cine F F F F F
 TEMA 3
TABLAS DE LA
VERDAD:TAUTOLOGIA,
CONTRADICTORIO Y
CONTINGENTE

2021-II
 RECORDANDO
Conjunción Disyunción
Negación p q p∧q p q p˅q
p -q V V V V V V

V F V F F V F V
F V F F V V
F V
F F F F F F
Condicional
Bicondicional Disyunción exclusiva
p q p→q p q p↔q p q p𝚫q
V V V V V V V V F

V F F V F F V F V
F V V F V F F V V
F F V F F V F F F
 TAUTOLOGIA
Es una formula que bajo cualquier interpretación sus valores serán verdaderos.
Nunca será falso.

𝑝 ∧ 𝑞 → ~[( 𝑝 ∧ 𝑞 → ~p)]
p q
𝑝∧𝑞 ~p [( 𝑝 ∧ 𝑞 → ~p)] ~[( 𝑝 ∧ 𝑞 → ~p)] 𝑝 ∧ 𝑞 → ~[( 𝑝 ∧ 𝑞 → ~p)]

V V V F F V V
V F F F V F V
F V F V V F V
F F F V V F V
CONTRADICCIÓN
Cuando todos los valores son falsos.

𝑝 ∧ 𝑞 ∧ (~p ∧ ~q)

p q 𝑝∧𝑞 ~p ~q (~p ∧ ~q) 𝑝 ∧ 𝑞 ∧ (~p ∧ ~q)

V V V F F F F
V F F F V F F
F V F V F F F
F F F V V V F
 ~p˅ 𝑝˅~q → 𝑟 ∧ ~r 2 1
p q r ~p ~q ~r 𝑝˅~q (𝑟 ∧ ~r) ~p˅ 𝑝˅~q ~p˅ 𝑝˅~q →(𝑟 ∧ ~r)

V V V F F F V F V F
V V F F F V V F V F
V F V F V F V F V F
V F F F V V V F V F
F V V V F F F F V F
F V F V F V F F V F
F F V V V F V F V F
F F F V V V V F V F
 CONTINGENCIA
Aquella proposición que puede ser combinadas, verdadera y falsa.

[ 𝑝 → 𝑞 ∧ (q → p)]

p q 𝑝→𝑞 (q → p) [ 𝑝 → 𝑞 ∧ (q → p)]

V V V V V
V F F V F
F V V F F
F F V V V
EJERCICIOS

COMPROBAR

1.- (p ∨ q) ∨ (∼ p ∧∼ q) Tautología
2.- ∼ (p ∨∼ q) → (∼ p ∨ q) Tautología
3.- [(p → q) ∧∼ q] →∼ p Tautología
4.- [(p → q) ∧ p] ∧ ~q Contradicción
5.- (p ∨ q) ∧ (∼ p ∧∼ q) Contradicción
6.- [(q ∨ p) ∧ p] ∧ ~q Contingencia
7.- p → [~r ∨ (~q ⊻ r)] Contingencia
8.- {~[(p ∧ r) ∨ q] → (~r ⊻ ~p)} ↔ r Contingencia
9.- (~p ∨ q) ∧ (p ∨ ~q) Contingencia
10.- (p ∨ ~q) → (~r ∧ p) Contingencia
E TAREA
𝑝 ˅ ~ 𝑞 → (𝑞 ∧ ~p)
J
E 𝑝 → (𝑞 ∧ ~r)
R ((~ p ˅ q) ∧ p)
C
I ~𝑝 ˅ 𝑞 ↔ (𝑞 ∧ ~ p )
C 𝑝 → ~𝑞 ∧ ~(𝑞 → p)
I
O (~ 𝑝 → ~𝑟 ∧ ~q)˅(~𝑞Δq)
S [email protected]
Construye la tabla de valores de verdad de la proposición compuesta:

((𝑝 → ~𝑞) ∧(r → ~q)) → ~r

(~𝑝˅ q) → (r ∧p)
((𝑝 ∧ ~𝑟) →(~𝑝 ˅ q)) ∧ ~(r ↔ ~q)

~((𝑟 → 𝑝) ∧ (~𝑞˅𝑝)) ∧ (p ∧ (~(p ↔ r)

(~ 𝑝 → 𝑝 ∧ 𝑞)) ∧ ~p

(s ∧ 𝑡) → ~((t˅s) → ~s)
 TEMA 4
FORMALIZACIÓN

2021-II
 RECORDANDO
OPERADOR SIMBOLO SE LEE OPERADOR O SIMBOLO SE LEE
O O CONECTOR O
CONECTOR SIGNO SIGNO

Conjunción pyq Disyunción P o también q,

∧ p pero q, ∨ p o incluso q,
y p aunque q,
P además q,
O p a no ser q,
p o en todo caso q,
p sin embargo q , P a menos que q
p a pesar de q,
p también q,
p incluso q,
p tanto como q,
p tanto como q
 RECORDANDO
OPERADOR O CONECTOR SIMBOLO SE LEE
O
SIGNO

Condicional P Entonces q,
→ P implica a,
P por lo tanto q,
P luego q,
P en consecuencia q,
ya que p entonces q
P en consecuencia q
Puesto que p entonces q
 OPERADOR O SIMBOLO SE LEE
CONECTOR O
SIGNO

Bicondicional P Si y solo si q,
↔ p siempre y cuando q,
P es condición suficiente y necesaria para q
P porque y solamente q
P es equivalente a q
P es lo mismo que q
Solo si p entonces q
OPERADOR O SIMBOLO SE LEE
CONECTOR O
SIGNO

Negación Es falso que p

~ p Es absurdo que p
Es mentira que p
 FORMALIZACIÓN
Es un procedimiento por el cual identificamos proposiciones , pero tenemos que
tener en cuenta que existe un :

Transmite sentimiento, información,

Lenguaje natural emociones esta sujeto a interpretaciones.

Es estrictamente simbólico. Implica

Lenguaje formal traducción asignado símbolos al lenguaje de
la lógica proposicional.
JERARQUIZACIÓN DE FÓRMULAS
En cualquier formula lógica, el operador que tiene mayor jerarquía es aquel operador
múltiple fuera o en la parte externa de los signos de agrupación (divide a la formula
en dos) o en todo caso la negación libre.
 EJERCICIOS
1.- Si Renzo es policía, entonces Fredy es juez.

p: Renzo es policía
p → q
q: Fredy es juez

2.- María murió ayer, pero no estaba enferma.

p: María Murió ayer p ∧¬q
¬q: no estaba enferma
 FORMALIZACIÓN DE LAS PROPOSICIONES
Es representar las proposiciones del lenguaje verbal mediante el lenguaje simbólico de la lógica
de proposiciones. A la hora de formalizar habrá que tener en cuenta los siguientes requisitos:

1.- Se emplearán diferente variable enunciativas para cada diferente enunciado para ello se
usaran las minúsculas p ,q, r, s, t…..

2.- Se utilizará una variable solo para cada enunciado, aunque este sea muy largo

ejemplo El sol es una estrella y la tierra es un planeta

p q

FORMALIZACIÓN p∧q
ejemplo

Es falso que si se te cruza un gato negro entonces tendrás mala suerte.

1.- 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛

se te cruza un gato negro p

Tendrás mala suerte q

2. − 𝑓𝑜𝑟𝑚𝑎𝑙𝑖𝑧𝑎𝑐𝑖𝑜𝑛
Es falso que si se te cruza un gato negro entonces tendrás mala suerte.

~ p q

~ (p → q) Lenguaje simbólico
 ejemplo

Eres policía o abogado, pero no eres abogado. Por lo tanto eres policía.
∧
1.- 𝒑𝒓𝒐𝒑𝒐𝒔𝒊𝒄𝒊𝒐𝒏
∨ ~
Eres policía p

Eres abogado q

𝟐. − 𝒇𝒐𝒓𝒎𝒂𝒍𝒊𝒛𝒂𝒄𝒊𝒐𝒏
Eres policía o abogado p ∨ q

…pero no eres abogado ~q

…por lo tanto eres policia →p

[(p ∨ q) ∧ ~ q] → p
 TAREA
FORMALIZA´R PROPOSICIONES AL LENGUAJE SÍMBÓLICO

1.- Vizcarra no es presidente

2.- Jefferson Farfán es futbolista y Paolo Guerrero se enfermó

3.- Edith estudia educción o Bertha estudia Contabilidad

4.- Estamos en enero pero eso no significa que haga frío

5.- Puede ocurrir que el caño se quedara abierto o que las tuberías estén dañadas,
pero no que la llave de paso esté averiado.

6.- Si hiciera gimnasia en consecuencia estaría en forma, pero no la hace.

7.- “Puedes ir al cine o al concierto (pero no a los dos lugares) y, si tienes tarjeta, puedes
comprar las entradas en el cajero automático”.

8.- tengo gripe y dolor de cabeza cunado tomo limonada helada

“Tengo escalofríos y dolor de cabeza cuando como queso” E: “(Yo) tengo escalofríos”; D:
“(Yo) tengo dolor de cabeza”; Q: “(Yo) como queso”: Q ® E Ù D
 TEMA 5 - II
FORMALIZACIÓN / EJERCICIOS

2021-II
TAREA

Cuando es el día de San Valentín y las tiendas están autorizados a abrir, entonces las

ventas son abundantes si no llueve.

SIMBOLIZA LAS SIGUIENTES PROPOSICIONES:

1.- El jueves es el examen y el viernes viajo

2.- El jueves es el examen o el viernes viajo, o ambas cosas”

3.- El jueves es el examen o el viernes viajo, pero no ambas cosas”

4.- El jueves es el examen implica que el viernes viajo”

5.- Si el jueves es el examen, entonces el viernes viajo”

6.- El jueves es el examen si y solo si el viernes viajo

7.- En la expresión “La comida es buena y el servicio no es bueno“

8.- No me gusta trasnochar ni madrugar

9.- José hará el doctorado cuando y solamente cuando obtenga la licenciatura

10.- No es cierto que no me guste bailar Huayno

11.- Me gusta bailar y leer cuentos

12.- No es cierto que vi la película y leí la novela favorita

SIMBOLIZA

1. Si p, entonces q:

2. No es el caso que p y q:

3. p solamente si q y no-r:

4. p o no-q:

5. Si p y q, entonces no-r o s:

5. Si p, entonces q, y si q, entonces p:
 CONFECCIONA LAS TABLAS

1 (pq)(r)

2 [(p  q)  r]  s

3 r  (s  p)

4 (p  r)  (r  s)

[ (p  q)   q]  q
5

6  [ r  ( p  q) ]
 ENLAZA CADA PROPOSICIÓN CON SU FORMALIZACIÓN

2
3