Formulario algebra superior 1 Logica matematica: imi iv :no ary vio —! entonces 0 implica or siy solo si Tablas de verdad P 4 pAq pvVq poq | poq | =p | 1 1 icy 1 1 a jo 0 1 o o 1 o 10 oO 1 0 1 0 1 1 10 1 oO oO oO o o 1 fa 1 1 Tautologia: T1: A+ (BA) T2: (A+B) > [(A (8 +€)) + (A>) T3: A> (B= (AnB)) T4: AAB OA TS: (AC) + [(B +0) > [(AvB) +l] T6: A>AVB, B> AVB T7: (A+B) + [(4 > 48) > 74] T8: aA A Proposiciones equivalente: 1.- Contra positiva: (p+ 4) + (=p +779) 2.- Implicativa: (p> 4) > (pva) scone con CaScannet(pa) = oyna) 3.- Asociativa: [eva)vrlo vay] [@aag)ar]= [parr] 4.- Conmutativa: (eva) (ave) (pag)> (aarp) (pea)o (aor) 5.- Distributiva by Ganlolovaaevnl atavr]-l@rgv(rar)] 6.- Leyes de DeMorgan: a(pvq) 3 (apy na) a(p Aq) + (apana) (pvq) 6 4p v9) (pag) ap 4-4) 7.- Impotencia (pvp)or (parlor 8.- Doble Negacién: peop Cuantificadores légicos: 1.- Cuantificador universal v: para todo 2.- Cuantificador existencial a: existe scone con CaScannetNegacion de cuantificadores: aly xe 4,P(x)] = 3x 4, 4P(x) a[a x € A, P(x) = ¥ x € A, 4P(x) tra r0 Demostracién directa: PLP, t Ppt thi 7Q Modus Ponens: [Pa(P > @)]=@ Se asignan valores de verdad a las proposiciones que forman la hipotesis Si la hipétesis es verdadera, y la hipétesis implica la conclusién, entonces la conclusién es verdadera El argumento falla si una proposicién resulta falsa o no fuerza a la hipétesis a ser verdadera Demostracién Indirecta: Realas validas de interferenci: PLE PLP AHP, Q Se dice que la conclusién falla Si todas las proposiciones son validas, como la conclusion es falsa se dice que el argumento es invalido El argumento es valido si una proposicién resulta falsa 0 no fuerza a la hipétesis (que se le asigno valor falso) a ser cierta. Modus Ponens: [AA(A— 8)| +8 Silogismo hipotético: [(A > B)A(B > C)] > (A> C) Modus Tollendo Ponens: [(Av #) AA] +B Regla de Reduccién al absurdo: [A + (4A)] +B scone con CaScannetConjunto: Conjuntos importantes: Numeros Naturales: N:{1,2,3,4,5 } 1,0,1,2,3,..) Numeros enteros: 2:{ x € A: x pertenece al conjunto A x € A: X no pertenece al conjunto A Subconjuntos: Notacién B es subconjunto de A: Bc A B no es subconjunto de A: BA 8 CAs Wx €B,x € A: B es subconjunto de A si y solo si para todo x que pertenece a B, x pertenece a A Operaciones con conjuntos: Unio AUB xix €Aox eB} Nota: el simbolo que usamos en la clase para representar el tal que (el Palito vertical) no esta en los operadores de Word. Investigué y otra forma de representarlo es con dos puntos : Propriedades de la Union: SiACAUBentonces BC AUB AUB =BUA (conmutativa) (4uB) UC = Au (BUC) (asociativa) Interseccion: ANB={xixe€Ayx eB} Propriedades de la interseccin: SiACANBentonces BC ANB AQ B= BNA (conmutativa) scone con CaScannet(AnB)nc =An(BNC)=ANBAC (asociativa) Propiedades distributivas: An(BuC) =(AnB)u(Anc) Au(BNC) = (AUB) n(Auc) Complemento de conjunto: (x4 €X,x € A] Donde X es el conjunto universal y A un conjunto arbitrario A Propriedades del complemento de conjunto: (ay=4 AuA =X Ana =0 Leyes de Morgan: (AuB) =A 0B (4nB) =A UB Diferencia de conjuntos: A-B=(x:xEAyxeB} Propriedades de la diferencia de conjuntos: A-B=AnB (4-(B8nC)) =(4—B)u(a-c) Producto cartesiano: (a,b) = {la}. fa. b}} AxB=({(ab) ae AybeB} Relacién entre conjuntos: rcAxB Dominio: D,= {ae A: 3b€B,(a,b) Er} Imagen: 1, =(beB: 3a€A,(ab) er} scone con CaScannetCodominio: e! codominio de r es el conjunto B Funcién: La relacion debe satisfacer los dos puntos siguientes 1. D, =A Es decir: Vee A, a(uy)er 2. Cada elemento x € A tiene asociado 1 de B es decir: (xy) er Notacién: f:A > B Imagen de funcion f:A > B: Im, ={b €B: 3a €Acon f(a) =b} Otra notacion de funcién /:A > B con el conjunto A finito y f(a) = a a any f= (bby By Composicién de funciones: Sea: fiAsBy g:Boe gefiase (92 (x) =a) vxeA Teorema: ef=f fen=f Teorema: Sea: f:A+Bg:B>Ch:C+D he(ges)=(heg)es Inverso derecho: (eh Inverso izquierdo: (fog) =o Funciones inyectivas suprayectivas y biyectivas Sea: f:A>B Funcién Inyectiva: Vaya, €A,a, #42, f(a.) + f(a:) 2 F(ax) = f(a2) Esto equivale que: scone con CaScannetFuncién Suprayectiva: ybeBaae Atal que f(a) = Funcidn Biyectiva: Cumple las dos propriedades Matrices: = (yy nitty) GHB = (ay + dy, Ay + Day oer +b,) a+0=a (04,3, nes Ay) a@-b= ) = (ay = By, dy = Boy ver dn = Ba) ke = (kay, katz, .., kay) Matrices cuadradas: Asse Vector renglon: # = (are ix2@ies) ay Vector columni (@2x1) yet Transformaciones ¢lementales: 1. Intercambio de renglones y columnas 2. Suma de renglones con renglones y columnas con columnas 3. Multiplicacién de escalar a un renglén o matriz Estas transformaciones dan matrices equivalentes: A=B Matriz Diagonal: cre scone con CaScannetMatriz triangular superior: B4 soi 02 triz tri ferioy 7 0 0 A=[9 12 09] 8 4 2 Matriz Identidad: 100 A=[o 1 0] oot Submatriz: fan x2 Ax Aaa = [dre dace aoe, Una Submatriz [fe ava 3x1 dax2 onl Seria as = [Qe ol Determ -terminante de matriz de orden ; Azz — aya, as S23] = aul] ~ @ylAyal + ays|Ays) ay 421 day 21 Azz las ay! * slay an = ana (azzttys ~ as2025) ~ aya A211 — As1ays) + ay s(n @3;ax2) Determinante de matriz de orden n 8 = (1) 141 IAI = a 8¢) + 25,2 4+ And, IA] = 44/84; + a/82) ++ 04/6, Teorema: Si todos los elementos de un renglén o columna de una matriz son 0, entonces su determinante es 0 o 0 0 A=[9 12 0} B84 2 lal =o scone con CaScannetTeorema: El determinante de una matriz triangular es igual al producto de los elementos diagonales. Y el determinante de una matriz identidad esi a, Ay is Al = 10 azz G23] = ayyaz2a43 0 0 ay 100 lA|=|0 1 Oj=1 oo. Matriz transpuesta: Teorema: 1A] = 1A") Teorema: Sea B la matriz obtenida de una matriz cuadrada A al intercambiar 2 renglones o columnas de A. Entonces su determinante es igual a el determinante negativo de A M2 Ay ay aye \Bl =| Teorema: Sea B la matriz obtenida de una matriz cuadrada A sumando a un rengién 0 columna de A a un multiplo numérico de otro rengién o columna de A, entonces sus determinantes son iguales. nt2n on yy + Zag, ayy + 2ayy ay, ay, ay Ay ay, ay IBl =| |Al Teorema: Si dos renglones o dos columnas de una matriz cuadrada A tienen elementos proporcionales, entonces su determinante es 0. Rango: Teorema: Las transformaciones de una matriz no alteran el rango Entonces el rango se puede calcular sumando los elementos de la diagonal de una matriz triangular. scone con CaScannetSuma y resta de Matrices: ay thy Gin E Pin AtB=[ : a : An EPyy oe Ana Dye