PROPOSICIONES
Tautología: tabla de valor positiva
Dos proposiciones compuestas son equivalentes si tienen
la misma tabla de verdad (P ≡ Q)
Un argumento es una lista de proposiciones llamadas
premisas y una proposición llamada conclusión.
Un argumento es válido cuando la veracidad de las premisas implica la veracidad de la conclusión.
Un argumento es válido si y solo si P1 ∧P2 ∧···∧Pn → Q es una tautología.
Contradicción: asumo que la conclusión es falsa y las premisas verdaderas, si cumple que si es falso entonces no
es válido.
CUANTIFICADORES
Una variable es un símbolo que representa un miembro no especificado de una colección.
Cuantificador universal: “Para todo ...” y se denota por ∀.
Cuantificador existencial: “Existe ...” y se denota por ∃.
Si escribimos ∃! esto quiere decir que existe un único x que satisface la propiedad
CONJUNTOS
Un conjunto es una colección abstracta cuyos miembros son llamados elementos.
El conjunto A está incluido en B si todo elemento de A es un elemento de B. ∀x∈U, [x∈A→x∈B].
A y B son iguales si A ⊂ B y B ⊂ A. Esto último es equivalente a mostrar que ∀x∈U, [x∈A↔x∈B].
El complemento de A en U es el conjunto Ac = {x ∈ U : x ∈/ A}.
La uni ́on de A y B se define como A ∪ B = {x ∈ U : (x ∈ A) ∨ (x ∈ B)}.
La interseccio ́n de A y B es el conjunto A ∩ B = {x ∈ U : (x ∈ A) ∧ (x ∈ B)}.
La diferencia de A y B es el conjunto A − B = {x ∈ U : (x ∈ A) ∧ ¬(x ∈ B)}.
La diferencia sim é trica de A y B es el conjunto A∆B = {x ∈ U : (x ∈ A) (x ∈ B)}
Decimos que los conjuntos A y B son disjuntos cuando A ∩ B = ∅.
RELACIONES
El producto cartesiano de A y B se define como A×B={(x,y): (x∈A)∧(y∈B)}.
El dominio de R se define como dom R = {x ∈ A : ∃ y ∈ B, [(x, y) ∈ R]}
El rango de R como ran R = {y ∈ B : ∃ x ∈ A, [(x, y) ∈ R]}
Una relación es una función cuando cada elemento del dominio se relaciona con un único elemento del rango.
En símbolos tenemos: ∀x ∈ domR,∃!y ∈ ranR, [(x,y) ∈ R].
NÚMEROS REALES
∀a,b,c∈R, [a+(b+c)=(a+b)+c ∧ a·(b·c)=(a·b)·c](Clausura)
∀a,b∈R, [a+b=b+a ∧ a·b=b·a](Conmutatividad)
∀a,b,c∈R, [a·(b+c)=a·b+a·c](Distributividad)
∀a∈R, [a+0=a ∧ a·1=a](Elementoneutro)
∀a∈R, ∃b∈R, [a+b=0](Inversoaditivo)
∀a ̸= 0 ∈ R, ∃b ∈ R, [a · b = 1] (Inverso multiplicativo)
∆ = b2 − 4ac como el discriminante del polinomio
∆ = 0 la solución es única.
∆ < 0 no tiene raices reales
∆ > 0 dos raices reales distintas
Acotado es que hayan números a la derecha
SUP: la menor cota superior
Máximo entero de un número: x
El supremo de un conjunto A acotado superiormente es la menor de las cotas superiores.
El máximo entero de un entero es el mismo
INTERVALOS
Un intervalo es un subconjunto de R tal que cualquier nu ́mero entre dos elementos del subconjunto tambi ́en
pertenece a dicho subconjunto
VALOR ABSOLUTO
La distancia entre dos puntos a, b ∈ R en la recta real se define como d(a, b) = |b − a|
INDUCCIÓN
Principio de Inducción. Para todo predicado P si P (1) es verdadero y se puede mostrar que P (k) implica P (k + 1) para
cualquier k ∈ N entonces podemos concluir que P (n) es verda- dero para todo n ∈ N. Análogamente, este principio se
puede expresar diciendo que para todo predicado P el argumento P(1), ∀k∈N[P(k)→P(k+1)] ⊢ ∀n∈N[P(n)] es válido. En
una prueba por inducción la parte en donde mostramos que ∀ k ∈ N, [P (k) → P (k + 1)] se suele llamar el paso inductivo
y nos referimos a P(k) como la hipótesis inductiva.
