1. ¿Qué es una proposición?

Una proposición es el significado de una oración declarativa.

2. ¿Qué es un enunciado?
Se entiende por enunciado una oración que puede ser verdadera o falsa.

3. Tablas de verdad
● Negación (not): p v = ~p f
● Conjunción (and): p^q = v
● Disyunción débil (or): p(^ esto pero alrevez)q = f
● Disyunción fuerte: Si los símbolos son iguales es f
● Condicional: Es falso si la condición no se cumple
● Bicondicional: Es verdadero si los símbolos son iguales

4. Cuantificadores
Un cuantificador es un operador que especifica cuántos individuos en el dominio del
discurso satisfacen una fórmula abierta.

5. Tipos de cuantificadores
● Cuantificador universal (∀): Para todos existe
● Cuantificador existencial(∃): Para al menos uno existe

6. Leyes conmutativas de los cuantificadores

7. Los cuantificadores permiten la construcción de proposiciones a partir de

oraciones abiertas, bien sea particularizando o generalizando. Así, un
cuantificador transforma una oración abierta, en una proposición a la cual se le
asigna un valor de verdad. Verdadero
8. Los cuantificadores trabajan con sentencias abiertas, ya que al aplicarles un
cuantificador se vuelven una proposición normal. Verdadero
9. La proposición no es válida ya que no expresa su dominio
10. La proposición tiene sentido
11. ¿Qué es inducción matemática?
Es un razonamiento que permite demostrar una infinidad de proposiciones, o
una proposición que depende de un parámetro n que toma una infinidad de
valores, usualmente en el conjunto de los enteros naturales N.

Otra puede ser: Consiste en probar que una propiedad es verdadera para el
conjunto de los números naturales.
12. Aplicación de la fórmula
 n(n+1)(2 n+1)
n= Se utiliza para calcular la suma de 1^2 + … n^2
6

13. ¿Qué es la inducción fuerte?

Es un método de demostración matemática similar a la inducción matemática
común, pero difiere en el razonamiento de lo que queremos demostrar. Se toma
un número fijo y se toma como hipótesis que es cierto para otro número fijo
mayor que este y para todos los que están entre ellos.

14. Principio de Inducción Fuerte:

Una propiedad P es cierta de todos los números naturales si:
P(1) es cierto, y para todo número natural n, si P(j) es cierto para todo
J pertenece a [1,n] entonces P(n+1) también es cierto.

15. Pruebas por resolución

Si p o q, y ~p o r son ambas verdaderas, entonces q o r verdadera.

16. Tabla cuantificadores anidados

17. Tabla de ejercicios de conjuntos

18.

19. Concepto de relaciones

Es un vínculo o una correspondencia. En el caso de la relación matemática, se
trata de la correspondencia que existe entre dos conjuntos: a cada elemento del
primer conjunto le corresponde al menos un elemento del segundo conjunto.
20. Tipos de relaciones
● Relación unaria: Una relación unaria se da cuando se observa un solo
conjunto, y la misma puede definirse como el subconjunto de los
elementos que pertenece al mismo y cumple una condición determinada,
expresada en la relación.
● Relación binaria: Esta relación matemática parte de dos conjuntos, y por
lo tanto la complejidad aumenta considerablemente. Los elementos de
ambos pueden relacionarse de más formas, y los subconjuntos
resultantes se expresan como pares ordenados.
● Relación ternaria: Cuando definimos una condición que deben cumplir
elementos de tres conjuntos diferentes hablamos de relación ternaria.
● Relación cuaternaria: Es el conjunto de cuaternas, que cumplen una
determinada condición que define R. Las dos proposiciones siguientes
son correctas para representar una relación cuaternaria R.
● Relación n-aria: Es una generalización binaria, donde R está formada
por una tupla de n términos.

21. Tipos de funciones

Una función es una relación cuya regla de correspondencia está limitada a que a
cada elemento del primer conjunto le corresponde uno y solo un elemento del
segundo conjunto.
● Función inyectiva: A cada elemento del primer conjunto le corresponde
uno del segundo y puede sobrar alguno del segundo conjunto.
● Función biyectiva: A cada elemento del primer conjunto le corresponde
uno del segundo y viceversa, por lo tanto, no se repiten. Se trata de una
función inyectiva y suprayectiva a la vez.
● Función suprayectiva o sobreyectiva: A cada elemento del segundo
conjunto le corresponde al menos uno del primero y puede ser más de
uno.
22. Concepto de bases de datos
Es una recolección estructurada de registros o datos que se almacena en un
sistema informático.