Lógica y Matemáticas

Tautología: Todo V

Contradicción: Todo F

Contingencia: Lo demás

¬(p^q)=¬pv¬q // ¬(pvq)=¬p^¬q

p->q = ¬pvq

pq = (p->q)^(q->p)->

p->(p^q)adición
(p^q)->psimplificación
(p^q)->p^qconjunción
(p^(p->q))->qmodus ponens
(¬q^(p->q))->¬pmodus tollens
((p->q)^(q->r))->(p->r)silogismo hipotético
((pvq)^(¬p))->qsilogismo disyuntivo
((pvq)^(¬pvr))->(qvr)ley de resolución

Demostaciones:

-Directa: Suponer p, simplificarlo hasta llegar a q

-Indirecta: (p->q)=(¬q->¬p) Suponer ¬q, llegar a ¬p

-Contradicción: Suponer ¬q, llegar a p y como p es verdadera, ¬q es falsa y, por lo tanto, q es verdadera

-Vacua: Supongamos que p es falsa, entonces p->q es verdadera.

-Trivial: Supongamos que q es verdadera, entonces p->q es verdadera

Funciones:

f:A->B es la asignación de un elemento de B a cada elem de A. (A es el dominio y B el codominio de la función)

Imagen: Subconj de B formado por los elementos asignados a A

Operaciones con funciones:

f1+f2(x)=f1(x)+f2(x) f1·f2(x)=f1(x)·f2(x)

gof(x)=g(f(x))

F. inyectiva: f(a)=f(a’) -> a = a’ (Todos los elementos tienen una imagen distinta a la del resto de elementos)

F. sobreyectiva: Todos los elementos de A tienen imagen en B

F. biyectiva: Es inyectiva y sobreyectiva


Conjuntos:

Ecuacion

Ecuacion

Ecuacion card(A) = Cardinal de A, nº de elementos distintos entre si en el conj A

P(A) = Partes de A, todas las combinaciones de sus elementos. Ecuacion

card(P(A))=2^card(A)

Operaciones con conjuntos:Ecuacion

 Ecuacion  

Ecuacion  

card(AxB)=card(A) · card(B)

Propiedades:

Ecuacion

Ecuacion

Ecuacion

Partición de un conjunto:

Colección de 2 subconjuntos de A distintos y no vacíos tal que unión=A

Combinatoria:

Regla del producto: Si hay 2 tareas, n1 formas de hacer una y n2 formas de hacer otra. Hay n1·n2 formas de hacer las tareas

Regla de la suma: Lo mismo pero si las tareas son incompatibles. Hay n1+n2 formas de hacer las tareas.

Principio del complementario: Si hay una tarea que se puede hacer de n1 formas y n2 formas cumpliendo una condición, hay n1-n2 formas sin cumplir la condición.

Principio de inclusión-exclusión: Si una tarea se realiza de n1 formas y otra de n2 formas, y hay n3 formas de hacer las dos tareas juntas, hay n1+n2-n3 formas de hacer una tarea sin hacer la otra.

Principio de las cajas:

   Principio restringido: Si k+1 objetos se meten en k cajas, hay al menos una caja con 2 objetos. (Ej: En un grupo de 367 (=366+1), hay al menos 2 personas que cumplen el mismo día)

   Principio generalizado: Si colocas n obj en k cajas, hay al menos una caja con n/k o más objetos. (Ej. En un grupo de 100 personas hay al menos 100/12=9 que nacieron el mismo mes)

Permutaciones: Variación del orden de los elementos

Sin repetición: P=n!        Ej: {1,2,3}->1,2,3 / 1,3,2 / 2,1,3 / 2,3,1 / 3,1,2 / 3,2,1

Con repetición: n! / (n1!*n2!*…*n3!)      Ej: Tienes 10 libros, 3 de física, 2 de mates, 5 de inf. Hay 10!/(3!*2!*5!) formas de colocar los libros sin separar los de cada tipo.

Variaciones: Ordenaciones de tamaño R de N elementos.

Sin repetición: n! / (n-r)!    Ej: Variaciones de orden 2 de {1,2,3} = 1,2 / 1,3 / 2,1 / 2,3 / 3,1 / 3,2

Con repetición: n^r       Ej: Variaciones de orden 2 de {1,2,3} = 1,2 / 1,3 / 2,1 / 2,3/ 3,1/ 3,2 / 1,1 / 2,2 / 3,3

Combinaciones: Lo mismo pero sin importar el orden (2 combinaciones son distintas si tienen elementos distintos)

Sin repetición:  n! / ((n-r)!*r!)

Ej: Combinaciones orden 2 {1,2,3} = 1,2 / 1,3 / 3,2

Con repetición: (n+r-1)! / ((n-r)!*r!)

Ej: Combinaciones orden 2 {1,2,3} = 1,2 / 1,3 / 3,2 / 1,1 / 2,2 / 3,3

RELACIONES: Subconjunto de AxB

Ej: A={1,2} y B={a,b}, AxB={{1,a},{1,b},{2,a},{2,b}} R={{1,a},{2,b}}

Propiedades relaciones en A (Subconj de AxA):

REFLEXIVA: Todos los elementos se relacionan entre sí

SIMÉTRICA: Por cada {a,b} hay un {b,a}

ANTISIMÉTRICA: No hay ningún {b,a} si hay un {a,b}

TRANSITIVA: Si hay {a,b}, {b,c} y {a,c}

Operaciones con relaciones:

R1UR2=Conj con los elementos de ambos

R1nR2=Conj con los elementos comunes

R1·R2=Conj con los que están en uno y no en el otro

R1(Negado)=Los que están en AxB y no están en R1

R1(+)R2=Los que están o en uno o en otro (No comunes)

R1oR2(Composición)=

R1^-1(Inversa)=Darle la vuelta {a,b}->{b,a}

R^n=RoRoRo…n veces…oR

Grafos: G{V,E} Por cada letra de V hacer círculo, hacer flechas según lo que diga E (Ej, {a,b}=Hacer flecha de a a b)

Propiedades grafos:

REFLEXIVO: Hay un bucle en cada vértice {a,a}

SIMÉTRICO: Por cada flecha hay otra con sentido opuesto

ANTISIMÉTRICO: Ningún par de flechas con sent opuesto

TRANSITIVO: Si flecha {a,b} y flecha {b,c} hay flecha {a,c}

Relaciones de equivalencia: Reflexiva, simétrica y transitiva

Clases de equivalencia: R={{0,0},{1,2},{0,2},{2,0}}

[0]R={{0,0},{0,2}} / [1]R={{1,2}} / [2]R={{2,0}}

Relación convergencia modulo m (m=Entero>1)

R=Conjunto formado por todos los a que al dividir entre m dan b // R={(a,b)/a=b mod m}

Relaciones de orden: Reflexivas, antisimétricas y transitivas

Son conjuntos parcialmente ordenados y se denotan (A,R) y a ≤ b (o a≤b para denotar que a

Dos elementos de (A,≤) son comparables si a≤b o b≤a

Si en un conjunto parcialmente ordenado, dos elementos cualesquiera son comparables. Es un conjunto totalmente ordenado.

Sean A1 y A2 dos conj parcialmente ordenados, A1xA2 es un orden parcial ordenado (orden lexicográfico)

Diagramas de Hasse: Lo mismo que un grafo PERO:

Como es reflexivo, se omiten los bucles en cada vértice.

Como es antisimétrico, no hay flechas, solo líneas, y ponemos más abajo en el diagrama el primer elemento de la relación ({a,b}, a abajo)

Como es transitivo, no hay que representar las aristas derivadas de la transitividad

Elementos distinguidos de un conj parc ordenado:

Maximal: Es comparable con todos los términos

Minimal: Todos los elementos son comparables con él

Maximo y Minimo: Ni puta idea, lo mismo?

Cota superior de B: Todos los b de B se comparan

Cota inferior de B: Se compara con todos los b de B

Supremo (sup(B)): min(Cotas superiores)

Infimo (inf(B)): max(Cotas inferiores)