UNIDAD 4 CONJUNTOS

Propiedades o leyes de Operaciones entre Conjuntos

1- Involución
2- Idempotencia AuA = A; AnA = A
3- Conmutativa
4- Asociativa
5- Distributiva
6- Leyes de Demorgan –(AuB) = -An-B
7- Identidad Auo = A; AnU = A
8- Acotación o Dominación AuU = U; Ano = o
9- Complemento Au-A = U; -U = o; An-A = o; -o = U

Propiedades de la Inclusión
1- Reflexiva: todo conjunto es parte de sí mismo.
2- Transitiva: los subconjuntos de un subconjunto -> son subconjuntos del conjunto.
3- Antisimétrica: uno incluido en el otro -> son iguales
4- Vacío Siempre Presente
5- Unicidad del Vacío
6- Cardinalidad de conjuntos finitos

INCLUCIÓN: para todo x en A -> (también) x en B

⊆ AMPLIA: o sea que los del x B en A también

⊂ ESTRICTA: Existe x en B que no en A

Proposiciones Categóricas
Todo miembro de A es miembro de B

Ningún miembro de A es miembro de B

Algunos miembros de A son miembros de B

Algunos miembros de A no son miembros de B

 UNIDAD 3 RAZONAMIENTO

Una sucesión es una estructura discreta utilizada para representar una lista ordenada de
elementos.

Una sucesión numérica es una secuencia ordenada de números, llamados términos, entre cada
uno de los cuales hay una relación que se debe cumplir para determinar el próximo número.

MODUS PONENS p, p –>q ∴ q ≡ (p ∧ p –>q) –> q [O LEY DE SEPARACIÓN]

MODUS TOLENS p –> q and –q ∴ –p []

Ley de Silogismo hipotético (p –> q and q –> r) –> (p –> r)

SI (P1 ∧ P2 ∧ P3) -> Q; Hipótesis -> Conclusión entonces es un razonamiento (Válido si es la implicancia
compuesta es una tautología… Falacia si no lo es)

CLASE: serie de objetos que comparten alguna característica en común

FUNCIÓN PROPOCICIONAL: F(x) al instanciar (dar valor a x), se convierte en proposición lógica

INDUCCIÓN

BASE INDUCTIVA (se cumple para un caso base n = 0)

PASO INDUCTIVO (fórmula general para cualquier n)

HIPÓTESIS INDUCTIVA PARA k

DEMOSTRACIÓN PARA k+1

UNIDAD 1 TEORÍA DE LOS NUMEROS

ALGORITMO DE LA DIVISION EUCLIDEA o Teorema del Resto

Dados dos enteros a y b ≠ 0, existen dos enteros únicos q (cociente) y r (resto), tales que 0 ≤ r < |b|

Y se cumple que a = (b.q) + r

a) (bxq) ≤ a siempre
b) El resto r es siempre positivo y menor que |b| … 0 ≤ r < |b|

1- PASO 1: SE DIVIDE EL NÚMERO MAYOR ENTRE EL MENOR

2- PASO 2: SI ES EXACTA, EL DIVISOR ES EL m.c.d.
3- PASO 3: SI NO, DIVIDIR EL DIVISOR ENTRE EL RESTO, HASTA OBTENER UNA DIVISIÓN EXACTA,
SIENDO EL ÚLTIMO DIVISOR EL m.c.d.

DIVISIBILIDAD: Sean a y b dos números enteros, se dice que a divide a b y se escribe a|b si existe un
número entero c tal que b = a.c

a es divisor de b ≡ b es múltiplo de a ≡ a es un factor de b

 TEOREMAS
TEOREMA 1: 1|a y a|0

TEOREMA 2: si a|b y b|c entonces a|c

TEOREMA 3: Todo entero que es divisor de otros es divisor de la suma de ellos.

Si d|A y d|B y d|C entonces d|A+B+C

TEOREMA 4: Todo entero que es divisor de otro es también divisor de los múltiplos de ese otro.

Si d|A entonces d|n.A para n∈Z

TEOREMA 5: Todo entero que es divisor de otros dos es también divisor de su diferencia.

Si d|A y d|B entonces d|A-B

TEOREMA 6: Todo entero que es divisor de otros dos es también divisor del resto de la división de estos.

Si d|A y d|B entonces d|resto

Ejemplo: 6|12 y 6|36, entonces si 36 mod 12 = 0 luego 6|0

TEOREMA 7: Si n es un entero compuesto, (n no primo), entonces n tiene un divisor primo menor o igual
a la raíz cuadrada de n
Todo número compuesto tiene un divisor que es menor o igual a su raíz cuadrada.

TEOREMA 8: Hay una cantidad infinita de primos

TEOREMA 9: Sean a y b enteros positivos factorizados, mcd(a, b) = multiplicación de factores comunes

con el exponente de menor grado.

TEOREMA 10: Sean a y b enteros positivos. a x b = mcd(a, b) x mcm (a, b)

NUMEROS PRIMOS

Un entero positivo p ≠ 1 se dice que es primo absoluto o primo si sus únicos divisores positivos
son p y 1.

PRIMOS RELATIVOS: Si dos enteros positivos a y b verifican que mcd(a, b) = 1

NÚMERO COMPUESTO: Todo número entero mayor que 1 que no es primo.

COMÚN DIVISOR. (Máximo Común Divisor) calcular factores de ambos números y seleccionar el mayor
que se encuentre como factor en ambos números.

TEOREMA FUNDAMENTAL DE LA ARITMÉTICA

Todo entero positivo debe ser escrito como producto de primos, y la factorización es única
menos en el orden de los primos.

COMÚN MULTIPLO (MÍNIMO)

El mínimo común múltiplo de los enteros positivos a y b es el menor entero positivo que es
múltiplo tanto de a como de b.

mcm(a, b) = (multiplicación de) factores comunes con el mayor exponente

UNIDAD 2 LÓGICA

Tablas de Verdad

TAUTOLOGÍA (todo Verdadero) CONTINGENCIA (V y F) CONTRADICCIÓN (todo Falso)

PROPOSICIÓN LÓGICA: es todo oración declarativa de la cual pueda decirse que es o verdadera o falsa.

PRINCIPIO DE IDENTIDAD: Toda proposición es idéntica a sí misma.

PRINCIPIO DE NO CONTRADICCIÓN: Dadas dos proposiciones contradictorias entre sí, no pueden ser
ambas verdaderas.

PRINCIPIO DE TERCERO EXCLUIDO: Dadas dos proposiciones contradictorias entre sí, no pueden ser
ambas falsas (no hay un tercer valor).

p->q RECÍPROCA q -> p; CONTRARIA –q -> -p; CONTRARECÍPROCA -q -> -p

JERARQUÍA DE CONECTORES 1º ~ 2º ∧ 3º ∨ 4º → 5º ↔

PRINCIPIO DE DUALIDAD: Si T es un teorema de la lógica matemática, entonces el dual de T, denotado

por T*, construido reemplazando los símbolos V0, F0, ∧, ∨, de T por los símbolos … es también un
teorema.

LEYES LÓGICAS

1- Involución –(-p) = p
2- Idempotencia p o p = p; p y p = p
3- Conmutativa
4- Asociativa
5- Distributiva
6- Leyes de Demorgan –(p or q) = -p and –q; –(p and q) = –p or –q
7- Leyes de Neutro p or F0 (Falso) = p; p and V0 (Verdadero) = p
8- Acotación o Dominación p or True = True; p and False = False
9- Complementos p or –p = V; p and –p = F