Fundamentos de Matemática

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Fundamentos de Matemática"

Transcripción

1 Fundamentos de Matemática 1 CAPÍTULO LÓGICA PROPOICIONAL I PROPOICIÓN-CONECTIVO-TABLA DE VERDAD CAPACIDADE: - Identifica roosiciones lógicas simles y comuestas. - Relaciona roosiciones con conectivos lógicos y reresenta esuemas moleculares. - Organiza y elabora tablas de verdad. 1. PROPOICIÓN Es el significado de una exresión aseverativa ue se caracteriza or tener valor veritativo; es decir el significado tiene la osibilidad de ser verdadero o falso, ero no los dos a la vez. Las roosiciones lógicas se denotan con letras minúsculas como or ejemlo:,, r, s, t, u,. etc. Ejemlo: : : r:. CLAE DE PROPOICIÓN Existen dos tios:.1. Proosición simle o atómica. Es auella ue tiene un sujeto y un redicado. Ejemlo: : 6 es dos veces más ue. : 4 es dos veces menos ue 8. r : Juan come manzana... Proosición comuesta o molecular. Es la combinación de dos o más roosiciones simles, enlazadas or medio de conectivos lógicos, o en todo caso ue contienen el adverbio de negación no. Ejemlo: - 8 es menor o igual ue el doble de 5 : Ú - Juan come manzana y era : Ù 3. CONECTIVO LÓGICO (Oeradores roosicionales) on símbolos ue enlazan roosiciones simles, sin formar arte de ellas. ean las roosiciones y, luego: ÍMBOLO (CONECTOR LÓGICO) ~ Ù Ú D «OPERACIÓN LÓGICA Negación Conjunción Disyunción inclusiva Disyunción exclusiva Condicional Bicondicional 3.1. NEGACIÓN: (~) Es una roosición ue cambia el valor de la roosición y se lee: Es falso ue, No es cierto ue, No. 3.. CONJUNCIÓN: (Ù) Las alabras ero, también, sin embargo, además, tal como, aunue, no obstante, a la vez, etc. euivalen al conectivo y DIYUNCIÓN INCLUIVA: (Ú) o Ejemlo: 17 es un número imar o rimo Lógica Proosicional EQUEMA ~ Ù Ú D «No y o IGNIFICADO o o i, entonces, si sólo si 3.4. DIYUNCIÓN EXCLUIVA: (D) Ejemlo: O bien 17 es un número entero o bien 17 es un número irracional CONDICIONAL: ( ) i, entonces Las alabras: orue, uesto ue, cuando, si, cada vez, etc. Euivalen al conectivo condicional.( ) 3.6. BICONDICIONAL («) i y solo si Las alabras: cuando y solo cuando, entonces y solamente entonces, etc. Euivalen al conectivo bicondicional. («) 4. TABLA DE VERDAD on interretaciones semánticas de las osibilidades de verdad (V) o falsedad (F). El valor de verdad de una roosición comuesta se determina or medio de valores de verdad de sus comonentes. n Número de arreglos = donde: n es la cantidad de roosiciones Negación de una roosición: cambia el valor de verdad de una roosición. ~ V F F V ~ se lee: Es falso ue ; no 4.. Conjunción: Es la unión de dos o más roosiciones mediante la artícula y y se denota or Ù. Ù V V V V F F F V F F F F Ù es verdadera (V), solamente cuando y son ambas verdaderas 4.3. Disyunción (débil o inclusiva): Es la unión de dos o más roosiciones mediante la artícula o y se denota or v. Ú V V V V F V F V V F F F Ú es falsa (F), solamente cuando y son ambas falsas 4.4. Condicional.- Una roosición condicional es la combinación de dos roosiciones con si entonces., la roosición ue aarece entre si y entonces se llama antecedente y la roosición ue le sigue a la alabra entonces se llama consecuente. e denota or. V V V V F F F V V F F V es falsa (F), solamente cuando el antecedente es verdadero y el consecuente es falso. 1

2 Fundamentos de Matemática 4.5. Bicondicional: Es la unión de dos roosiciones or si y sólo sí y se denota or «. «V V V V F F F V F F F V «es verdadera (V), cuando y son ambas verdaderas o ambas son falsas Disyunción Exclusiva: e denota or D y se lee o ero no ambos o también o bien o bien D V V F V F V F V V F F F D es verdadera (V), solamente cuando y tienen valores ouestos 5. EQUEMA MOLECULARE on fórmulas lógicas ue resultan de la combinación de variables roosicionales, constantes lógicas y signos de agruación, siemre en cuando sea una fórmula bien formada 5.1. Tautología.. Ejemlo [ (~Ú )Ù~ ] ~ V V V F F V F F 5.. Contradicción. Ejemlo [(Ù)Ú]Ù~ V V V F F V F F 5.3. Contingencia. Ejemlo ( Ú ) ~ V V V F F V F F 6. IMPLICACIÓN LÓGICA Y EQUIVALENCIA LÓGICA 6.1. IMPLICACIÓN Toda condicional ue sea una tautología Þ Por ejemlo, tenemos: ë $ a Ú ) Ù! ù û! Cuya tabla de verdad ya se ha dado. 9.. EQUIVALENCIA Toda bicondicional «ue sea una tautología Û Por ejemlo: [Ù(Ú)]Û Ú Ù(Ú) [Ù(Ú)]Û V V V V V V F V V V F V V F V F F F F V 7. PROPOICIONE LÓGICAMENTE EQUIVALENTE Dos roosiciones m y n son euivalentes si sus tablas de verdad son idénticas. e denota mºn Por ejemlo: ( ) y (~ ~) son euivalentes 8. FUNCIÓN PROPOICIONAL Es auel enunciado ue contiene una variable y ue tiene la roiedad de convertirse en verdadero o falso ara cierto valor de la variable. Las funciones roosicionales se ueden reresentar or (x), (x), r (x), etc., donde x sería la variable. Ejemlos: (x) : x > 18 : x (x) + 4 = 16 r (x) : x es un número rimo i en la rimera función roosicional a x le damos diferentes valores tendremos: Para x = 10 (10) : 10 > 18 8 > 18 (falso) Para x = 3 (3) : 3 > 18 1 > 18 (verdadero) Como uede verse, deendiendo del valor de la variable odemos obtener resultados diferentes. 9. CUANTIFICADORE UNIVERAL Y EXITENCIAL Cuantificador Universal. i a una función roosicional, le anteonemos la exresión ara todo x, estaremos indicando el sentido universal de dicha función roosicional, obteniéndose ahora una roosición lógica. Notación: e lee: ara todo x, tal ue, se verifiue (x) Ejemlo i tenemos una función roosicional: P : x + 5 > [no es roosición] (x) y ahora le agregamos el cuantificador universal "x: (x) "x: x + 5 > [roosición] Tendremos una roosición lógica, cuyo valor es falso, orue no todos los valores de x cumlirán la roosición, or ejemlo ara x = -4, no se cumle. Entonces es falso ue ara todo x, se cumla: x + 5 > 9.. Cuantificador existencial i a una función roosicional, le anteonemos la exresión existe un x tal ue, estaremos indicando el sentido existencial (ue exista) de dicha función. Notación: ( ) (~ ~) V V V F V F V F F V F F F V V F V V F F V V V V Iguales " x : ó " x / ó (" x)[ ] ( x ) ( x ) ( x ) $ x : ó $ x / ó ( $ x)( ) ( x ) ( x ) ( x ) e lee: existe un x tal ue, se verifiue (x) al menos un x, verifica (x) existe or lo menos un x, tal ue, se verifiue (x) Lógica Proosicional

3 Fundamentos de Matemática Ejemlo: P (x) : x 3 > 10 [función roosicional] $x : (x) $x : x 3 > 10 [roosición lógica] Para verificar ue es una roosición lógica, odemos darnos cuenta ue si x = 15, se cumle la desigualdad, ya hemos encontrado or lo menos un x, ue verifiue (x), or lo tanto es una roosición lógica cuyo valor es verdadero. 10. NEGACIÓN DE PROPOICIONE QUE TIENEN CUANTIFICADORE. * ea la roosición "x: (x) su negación será: ~["x: (x)] = $x: ~(x) * iendo la roosición $x: (x) su negación será: ~[$x: (x)] = "x: ~(x) Ejemlos: 1. $x: x = 7 ~[$x: x = 7] = "x: x¹7. $x: x es un número ar ~[$x: x es un número ar] = "x: x no es un número ar 3. "x: x > 1 ~[ "x: x > 1] = $x: x 1 PROBLEMA DE APLICACIÓN 1. Formalizar: i estudias ara ingresar, entonces ingresarás, sin embargo no estudias ara ingresar : estudias ara ingresar : ingresarás \u simbolización será: ( )Ù~. Determine la tabla de verdad de: (~Ú )«( Ù~ ) (~ Ú ) «( Ù ~ ) V V F V V F V F F V F F F F F V V V F V V V V F F F F F F V V F F F F V \Rta: FFFF (contradicción) 3. i la roosición ( Ù~ ) r es falsa, determine el valor de verdad de, y r. ( Ù~ ) r V V V F F (dato) Lógica Proosicional Del esuema se nota ue: º V ~ º V Þ º F r º F 4. Dado el conjunto: A = {3, 4, 5, 6} Determine el valor de verdad de cada roosición: I. "x Î A: x + 3 > 4 II. $x Î A/ x 5 > 1 III. "x Î A/ x 15 > 0 I. i todo elemento de A se reemlaza en x + 3 siemre resulta mayor de 4. II. En A no existe un elemento ue al reemlazarlo en x 5 sea mayor de 1. III. Cuando x = 3 reemlazamos en x 15 y resulta ue no es mayor de cero. \ El valor de verdad es VFF PRACTICANDO 1. imbolizar: La matemática es una ciencia exacta si hay rigor en la matemática, solamente si la matemática es alicada correctamente. a) É ( «r ) b) Ù ( «r ) c) ( r ) d) ( ) «r e) ( r ) «r. Dada la roosición: i llueve, el suelo se moja. Comare los valores de la matriz rincial de su tabla de verdad. Columna A Cantidad de verdades (V) Columna B Cantidad de falsedades (F) a) A es mayor ue B b) A e s m e n o r u e B c) A es igual a B d) No se uede comarar e) No utilice esta oción! ~ [( ~ ) r ] Ù r 3. i:, comare: Columna A Cuántos V tiene la matriz rincial? Columna B Cuántos F tiene la matriz rincial? a) A es mayor ue B b) A es menor ue B c) A es igual a B d) Falta información e) No se uede determinar 4. Los valores de verdad de las roosiciones : ; r y s son resectivamente V; F; F; V Obtener ( ) [( los ) valores Ú r ] Ù s de verdad de: ( ) r (s Ù ) ( ) ( Ú r ) «(r Ù ~ s) a) VFF b) VVV c) FFF d) FVV e) VVF 5. Determine si las siguientes roosiciones son tautología(t), contradicción(c) o contingencia(co): I. (r s) Ù (r ~ s) II. [( ~ Ú ) ] «~ III. ~ ( ) «[( «~ ) Ù ( Ú ) Ù ] a) C;T;Co b) T;Co;T c) T;T;T d) C;C,Co e) Co; C;T 3

4 Fundamentos de Matemática CAPÍTULO LÓGICA PROPOICIONAL II LEYE Y CIRCUITO LÓGICO CAPACIDADE: - Reresenta en circuitos lógicos esuemas moleculares. - Alica leyes del álgebra roosicional ara reducir esuemas moleculares. - Evalúa esuemas moleculares. K. Bicondicional: («)º( )Ù( ) («)º(Ù) Ú (~Ù~)º ~(D) L. De Transosición: º ~ ~ M. Disyunción fuerte: D º ~(«) 1. LEYE DEL ÁLGEBRA PROPOICIONAL on euivalencias lógicas ue nos ermiten simlificar un roblema y exresarlo en forma más sencilla. Las leyes más imortantes son: - Leyes L gicas Clasicas. Leyes Lógicas í î - Euivalencias Notables Los tres rinciios Lógicos Clásicos A. Ley de identidad (reflexividad) Una roosición solo es idéntica así misma. «B. Ley de no contradicción: Una roosición no uede ser verdadera y falsa a la vez. ~(Ù~) C. Ley del tercio excluido: Una roosición o es verdadera o es falsa, no hay una tercera osibilidad. Ú ~ 1.. Euivalencias notables A. Idemotencia: Ù Ú B. Conmutativa: Ú Ú Ù Ù C. Asociativa: (Ú)Úr Ú(Úr) (Ù)Ùr Ù(Ùr) D. Distributiva: Ú( Ùr ) (Ú)Ù(Úr) Ù( Úr ) (Ù)Ú(Ùr) E. De doble negación: ~ ( ~ ) F. De identidad: ÚV V ÙV ÚF ÙF F G. Comlemento: Ú~ V Ù~ F H. Condicional ~Ú I. De Morgan: ~( Ú ) ~ Ù~ ~( Ù ) ~ Ú ~ J. De absorción: Ù( Ú ) Ú( Ù ) Ù( ~Ú ) Ù Ú( ~Ú ) Ú. CIRCUITO LÓGICO El valor de verdad de una roosición uede asociarse con interrutores ue controlan el aso de la corriente. Así si una roosición es verdadera, el interrutor estará cerrado y la corriente asará; y si la roosición es falsa, el interrutor estará abierto y la corriente no asará. = V = F.1. Un esuema molecular conjuntivo es transformado y graficado en circuito en serie Ù.. Disyuntivo débil: Un esuema molecular disyuntivo débil se transforma en un circuito en aralelo Ú EJERCICIO DE APLICACIÓN 1. imlifiue: [~( ) ~( )]Ù (Ú) : [~ ( ) ~ ( ) ] Ù ( Ú ) I [( ) ( Ù ~ )] Ù (Ú) ~ ( Ù~ ) Ú ( Ù~) Ù ( Ú ) ( Ú ~ ) Ù( Ú ) Ú (~ Ù ) º 1443 F. Escribir el esuema molecular del siguiente circuito: : Esuematizando se tiene: Ù[~Ú(~Úr)] 3. i voy entonces no vengo, euivale a: : Voy : Vengo : imbolizando: ~ Por la ley condicional ~Ú~ u euivalente sería: no voy o no vengo. r 4 Lógica Proosicional

5 Fundamentos de Matemática PRACTICANDO 1. imlificar las siguientes roosiciones: I. ~ (~ ~ ) II. ~ ( Ú ) Ú (~ Ù ) a) ( ); b) ( Ù ); c) ( ) ; (~ Ú ) d) ( Ú ); (~ Ú ) e) ( Ù ): ~. La roosición: ~ ( É ) Ù ( ~ r ) Es euivalente a: A. ( ~ ) Ù [ ~ ( Ù r )] B. ( Ù ~ ) Ú [ Ù ~ (r Ú )] C. ( Ù ~ ) Ù [ ~ ( Ú r )] a) ólo A b) ólo B c) ólo C d) A y B e) A y C 3. i Ù: Ú: imlifiue y dé el euivalente de: ~r r ~ ~ r ~ ~r a) Ú b) ~Ú~ c) Ù~ d) Ù e) ~Ú 4. Halle el valor veritativo del siguiente circuito lógico: ~ i se tiene los siguientes datos: I. ~ es verdadero II. ( ) Ú ~ r es falso Para resolver el roblema es suficiente: a) ólo I b) ólo II c) I y II d) I ó II e) Ningún dato 5. Al simlificar el siguiente circuito lógico marue verdadero (V) o falso (F) según corresonda: ~ ~ I. En el esuema más simle interviene la roosición r. II. Al simlificar a su mínima exresión se obtiene sólo la roosición ~ III. El circuito simlificado es ~ a) VFF b) FVF c) FFV d) VVF e) FFF ~r t r ~s 3 CAPÍTULO INDUCCIÓN MATEMÁTICA CAPACIDADE: - Analiza, identifica y formula a través de situaciones articulares casos generales (razonamiento inductivo). - Relaciona los dos razonamientos más imortantes: deductivo e inductivo ara la generalización de un roblema. - Demuestra y verifica or inducción fórmulas ya establecidas. INDUCCIÓN MATEMÁTICA Consiste en analizar casos articulares ara ue a artir de los resultados ue se obtengan de ellos, nos ermita establecer una conclusión general, ue luego será alicado al roblema rouesto. e recomienda analizar los tres casos articulares más simles osibles, y en caso fuese necesario un cuarto o hasta un uinto caso articular ara obtener nuestra conclusión general. EQUEMA: Ejemlo 1. sumar E= sumandos : La suma deende de la cantidad de sumandos, entonces analizando sumas eueñas: 1 = 1 = 1 = 1 = = 4 = 3 = = 9 = 3 casos articulares De lo observado se concluye ue la suma es igual al cuadrado del número de sumandos n = = n caso general Luego: = 50 = Ejemlo Calcule la suma de cifras del resultado, luego de efectuar C A O I C A O II C A O III Casos Particulares INDUCCIÓN C A O G E N E R A L (666666) cifras : La otencia deende del número de cifras seis, entonces or inducción: Inducción Matemática 5

6 Fundamentos de Matemática UMA DE CIFRA ( 6 ) = 36 9 = 9 (1) El grado de veracidad ue encierra la inducción es generalmente robable. En el tio de hiótesis a descubrir influyen decisivamente las circunstancias sicológicas, individuales y sociales; or muchas manzanas ue hubieran caído sobre la cabeza de un hombre de Cromagnon, difícilmente habría éste imaginado la ley de la gravedad y, la mayor arte de los mortales, uestos en la situación de Fleming habrían otado or tirar a la basura los cultivos enmohecidos. Las hiótesis científicas no se roonen en el vacío, ero la imaginación no uede sujetarse a reglas ni a métodos. 1. Efectuar: 13 : 1 cifra EJERCICIO DE APLICACIÓN. Calcule la suma de cifras del resultado, luego de efectuar: x 8 13 : El roducto está en función a la cantidad de cifras seis ue se tiene, es decir Por inducción: UMA DE CIFRA M 1 = 6 x 8 = 48 1 = 3 x 4 M = 66 x 8 = = 3 x 5 M 3 =666 x 8 = = 3 x 6 De lo observado:: ( 66 ) = = 9 () 13 cifras ( 666 ) = = 9 (3) 13 3 cifras ( ) = 9(40) = cifras 997!998!999! !!3!4 + 1= 5 = 5 = 1!4 + 1!3!4!5 + 1= 11 = 11 =! !4!5!6 + 1= 361 = 19 = 3! !998!999! = 997! = cifras M M M M 1111 =. 3 x 1114 = = Calcule el resultado de: : Como efectuar las oeraciones directamente es demasiado oerativo, analizamos casos simles, sin ue se ierda la forma original del roblema. De lo observado se concluye ue: 4. Demostrar ue la suma de los n rimeros enteros ositivos imares es n. Es decir: (n 1) = n : Para n = 1 se cumle ue 1 = 1 uongamos ue ara n = h se verifica: (h 1) = h (hiótesis inductiva). Entonces, ara n = h + 1 resulta: (h-1) +[(h+1)-1] = [ (h-1)] + (h+1) = h + (h + 1) = (h + 1) Es decir, la formula es válida ara n = h + 1 siemre ue lo es ara n = h. Esto comleta la inducción. En consecuencia, or el Princiio de Inducción, se uede afirmar ue ara todo entero ositivo n se cumle: (n 1) = n 5. Demostrar, or inducción matemática, la Ley de los exonentes de los números reales: (ab) n = anb n Para todo entero ositivo n. : x 006 x xx3 + = 3 x3x = 3 3 3x 4x5 + 4 = x006x = 006 Para n = 1 se cumle (ab) 1 = ab = a1b1 uongamos ue ara n = h se cumle: (ab) h = ahb h (Hiótesis inductiva) Entonces, ara n = h + 1 resulta: (ab) h+1 = (ab) h(ab) = (ahb h)(ab); (Hiótesis inductiva, aso 1) = (aha) (bhb) (Ley asociativa) = ah+1b h+1 (Definición) Queda así comleta la inducción y, or consiguiente, ara todo entero ositivo n se uede. (ab) n = anbn PRACTICANDO 1. Halla la suma de cifras del resultado de efectuar: 13 C = ( ) cifras a) 1000 b) c) d) e) Inducción Matemática

7 Fundamentos de Matemática. Halla la suma de cifras del resultado de: 9 cifras 9 cifras E = (555 55) (444 44) a) 64 b) 49 c) 36 d) 11 e) Calcula el valor de la siguiente exresión a) 8n b) 8/3 c) 16 d) 4n e) 1 4. Resecto al número de cuadriláteros cóncavos ue hay en la siguiente figura, son ciertos: 9 n sumandos M = (1x7 + 5x11 + 9x x 19 + ) + 9n n Un obrero acomoda cierto número de esferas metálicas de acuerdo a la siguiente secuencia: F 1 F F 3 Determine el número de esferas ue ubicará en la osición 0 a) 100 b) 960 c) 800 d) 1160 e) En la figura, comara: I. Es múltilo de 4 II. La suma de sus cifras es 1 III. Es mayor de 8000 a) I y III b) I y II c) II y III d) ólo I e) todos 50 Columna A Número de esferas sin sombrear. a) A es mayor ue B. b) A es menor ue B. c) A es igual a B. d) No se uede determinar. e) No use esta oción! Columna B Nueve veces el número de esferas sombreadas. 4 CAPÍTULO LÓGICA RECREATIVA TEMA COMPLEMENTARIO CAPACIDADE: - Determina la relación de arentesco entre dos o más ersonas. - Resuelve roblemas sobre relación de tiemos, cerillos, certezas, etc. RELACIÓN DE TIEMPO Es la relación ue se establece entre los días de la semana, teniendo en cuenta el asado, resente y futuro. - El día ue recede al asado mañana de hoy, será mañana. - Mañana del jueves es viernes. - Anteayer del sábado fue jueves. - i mañana será jueves, anteayer fue lunes. - El osterior día del subsiguiente día del martes será Viernes. EQUIVALENCIA: Ejemlo 01 Qué día será el mañana del anteayer del mañana del asado mañana del viernes? Mañana - anteayer - mañana - asado mañana - VIERNE Rta. DOMINGO Ejemlo 0 i el ayer de asado mañana fue sábado. Qué día será el mañana de anteayer? VIERNE DOMINGO Ayer - Pdo. mañana = ÁBADO Þ + 1 = ÁBADO 13 mañana HOY = VIERNE Anteayer Ayer Hoy Mañana Pasado mañana < > - < > - 1 < > 0 < > + 1 < > + Ayer - Pdo. mañana = ÁBADO Manaña - anteayer - VIERNE Þ VIERNE JUEVE Rta. JUEVE Lógica Recreativa 7

8 Fundamentos de Matemática RELACIÓN DE PARENTECO Es la relación ue se establece entre dos o más ersonas. - El hermano de mi adre, es mi tío. - El hijo de mi hermana, es mi sobrino. - La suegra de mi adre, es mi abuela. un vecino en la uerta del edificio y al llegar a su habitación le dice a su hermana, el vecino me dijo ue vive en el segundo iso. En ué iso vive Tania? POR DATO Los del rimer iso dicen siemre la VERDAD. Los del segundo iso dicen siemre la MENTIRA. Ejemlo Quién es el hijo del hermano de la esosa de mi adre? Hijo - hermano - esosa - mi adre mi madre LUEGO i el vecino viviría en el rimer iso, como siemre dice la VERDAD, diría VIVO EN EL PRIMER PIO. i el vecino viviría en el segundo iso, como siemre MIENTE, diría VIVO EN EL PRIMER PIO. FINALMENTE En ambos casos, el vecino diría VIVO EN EL PRIMER PIO, jamás diría; VIVO EN EL EGUNDO PIO. Hijo - hermano - mi madre mi tío Hijo - mi tío mi rimo Rta: MI PRIMO CONCLUIÓN Entonces, Tania miente al decir a su hermana, ue el vecino dijo ue VIVE EN EL EGUNDO PIO, or lo tanto ella vive en el segundo iso. Rta. EGUNDO PIO EJERCICIO CON CERILLO CERTEZA Ejemlo 01 Cuántos alitos hay ue mover, como mínimo ara obtener una igualdad verdadera? Ejemlo En una urna se tienen 3 bolas blancas, 7 rojas y 6 negras. Cuántas bolas tendrán ue extraerse como mínimo, al azar ara tener la certeza o seguridad de ue sean bolas rojas? Moviendo el alito ue indica la flecha, tenemos: Ejemlo MENTIRA Y VERDADE Rta: UN PALITO Tania vive en un edificio de dos isos, cuyos inuilinos tienen una característica muy esecial, los ue viven en el rimer iso dicen siemre la verdad; y los ue viven en el segundo iso, mienten siemre. Tania se encuentra con - Al sacar dos bolas, no necesariamente tienen ue ser rojas, ueden ser dos negras, dos blancas, una roja y una negra, etc. Por lo tanto no es tan confiable. - En el eor de los casos rimero se extraen lo ue no nos iden (3 blancas y 6 negras) entonces en la urna uedan las bolas rojas y el sacar ahora dos bolas, necesariamente tienen ue ser rojas = 11 blancas negras rojas bolas Rta: 11 BOLA 8 Lógica Recreativa

9 Fundamentos de Matemática 5 CAPÍTULO ORDEN DE INFORMACIÓN TEMA COMPLEMENTARIO CAPACIDADE: - Ordena secuencias desordenadas. - Resuelve roblemas, alicando las estrategias del orden lineal, circular y tablas de doble entrada. Ejemlo ORDENAMIENTO HORIZONTAL Resecto a la edad de cuatro amigos, se sabe ue: - Daniel es mayor ue Alberto. - Blanco es menor ue Emilio. - Alberto es mayor ue Emilio. Quién es el mayor de todos? vecinos. Entonces los Flores viven en el PRIMER PIO. - Los Quise viven lo más alejado, de los Flores. Como los Flores viven en el PRIMER PIO, entonces los Quise viven en el CUARTO PIO. - Como los oriano no viven en el tercer iso, entonces viven en el EGUNDO PIO. - Finalmente ueda libre el TERCER PIO, este es ara la familia Morales. 4to iso : Familia Quise 3er iso : Familia Morales do iso : Familia oriano 1er iso : Familia Flores Rta: EGUNDO PIO i A es mayor ue B entonces B es menor ue A A > B A < B Recordando ORDENAMIENTO CIRCULAR En el ordenamiento circular los lugares tiene ue ser euidistantes, con una distribución simétrica. Hay ue tener en cuenta la osición derecha (diestra) e izuierda (siniestra) - Daniel es mayor ue Alberto entonces: Alberto < Daniel (1) - Blanco es menor ue Emilio: Blanco < Emilio () - Alberto es mayor ue Emilio entonces: Emilio < Alberto (3) - Relacionando (), (3) y (1) en ese orden tenemos: Blanco <() Emilio <(3) Alberto <(1) Daniel - El mayor de todos es Daniel Rta: DANIEL Ejemlo IZQUIERDA (siniestra) DERECHA (diestra) Ejemlo ORDENAMIENTO VERTICAL En un edificio de cuatro isos, viven cuatro familias: Quise, Morales, Flores y oriano; no necesariamente en ese orden. - En cada iso vive una familia. - Los Flores usan las escaleras, solo cuando visitan a sus vecinos. - Los oriano no viven en el tercer iso. - Los Quise viven lo más alejado, de los Flores. En ué iso viven los oriano? Cuatro amigas Fiorella, Elizabeth, Marcela y ofía se sientan alrededor de una mesa con cuatro sillas. - Marcela está frente a Fiorella. - A la derecha de Fiorella, está Elizabeth. Quién está a la izuierda de ofía? - Marcela está frente a Fiorella. Marcela Fiorella 4to. iso 3er. iso Familia Quise Familia Morales - A la derecha de Fiorella está Elizabeth. Luego ofía Marcela estará a la izuierda de Fiorella ofía Elizabeth do. iso 1er. iso Familia Flores Familia oriano I Z Q U I E R D A Fiorella D E R EC H A - Los Flores usan las escaleras, solo cuando visitan a sus Orden de Información - Luego, a la izuierda de ofía, está Marcela. Rta. Marcela 9

10 Fundamentos de Matemática ORDENAMIENTO EN TABLA Los datos se van ordenando en una tabla de doble entrada, de referencia en la rimera columna, se ubican el nombre de las ersonas. - El abogado es casado, como Alejandro es soltero, entonces no uede ser abogado. PERONA PROFEIÓN VLADIMIR ABOGADO ECOMITA OCIÓLOGO Ejemlo MARCO I Vladimir, Marcos y Alejandro tienen rofesiones diferentes, abogado, economista y sociólogo, no necesariamente en ese orden. Además se sabe ue: - Vladimir es el cuñado del abogado. - Alejandro es soltero. - El abogado está casado con la hermana del sociólogo. Quién es el economista? - Vladimir es el cuñado del abogado, or lo tanto él no es abogado. PROFEIÓN ABOGADO ECOMITA OCIÓLOGO PERONA VLADIMIR MARCO ALEJANDRO ALEJANDRO Por lo tanto Marcos es abogado Entonces Marcos no uede ser economista ni sociólogo - Vladimir es el cuñado del abogado es decir de Marcos - El abogado Marcos está casado con la hermana del sociólogo, or lo tanto éste es Vladimir. PERONA PROFEIÓN VLADIMIR MARCO ALEJANDRO ABOGADO I ECOMITA Necesariamente Alejandro es el economista OCIÓLOGO I Rta. Alejandro PRACTICANDO 1. i el ayer de asado mañana fue domingo. Relacione: 1. Entonces mañana será: A. Lunes. Hace dos días fue: B. Domingo C. Jueves 3. Distribuir los números del uno al nueve, de tal manera ue la suma de los números en cada fila, columna y diagonal sea la misma. X Y a) 1A y C b) 1C y A c) 1B y C d) 1B y A e) 1C y B. Diana es mayor ue Teresa y ésta es mayor ue Paola, ero tiene más estatura ue Diana. Cuál es la relación lógica? I. Teresa es menor ue Paola II. Diana es mayor ue Paola III. Teresa es mayor ue Diana a) sólo III b) I y II c) II y III d) sólo I e) ólo II Comare: Columna A y a) A es mayor ue B. b) A es menor ue B. c) A es igual a B. d) No se uede determinar. e) No use esta oción! Z Columna B x + z 10 Lógica Proosicional

Capitulo I - Lógica Matemática

Capitulo I - Lógica Matemática UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Caitulo I - Lógica Matemática Todos los tóicos relativos a las matemáticas se razonan desde el unto de vista lógico y or lo tanto hay ue tener muy en

Más detalles

Lógica Proposicional (LP)

Lógica Proposicional (LP) Lógica Proosicional (LP) Proosición Enunciado del ue uede afirmarse si es verdadero o falso Oración declarativa Cuáles de las siguientes son roosiciones? ) Pedro es alto. 2) Juan es estudiante. 3) Vayan

Más detalles

Lógica proposicional Objetivo específico: Aplicaciones:

Lógica proposicional Objetivo específico: Aplicaciones: Lógica roosicional Objetivo esecífico: Introducir los concetos y oeraciones básicos y comrobar ue ermite estructurar razonamientos, de forma concisa y recisa, y discernir si determinadas afirmaciones son

Más detalles

ENUNCIADO: Es cualquier frase u oración que expresa una idea

ENUNCIADO: Es cualquier frase u oración que expresa una idea LÓGICA PROPOSICIONAL La lógica es el estudio de los métodos y los rinciios usados ara distinguir el correcto razonamiento del erróneo. El razonamiento es un tio esecial de ensamiento en el cual se realizan

Más detalles

Matemáticas - Guía 1 Proposiciones

Matemáticas - Guía 1 Proposiciones LOGROS: 1. Reconoce el conceto e roosición. 2. Clasifica las roosiciones en simles y comuestas. 3. Resuelve roosiciones comuestas utilizando los conectivos lógicos. 4. Halla el valor de verdad de una roosición

Más detalles

CAPÍTULO I ÁLGEBRA DE PROPOSICIONES

CAPÍTULO I ÁLGEBRA DE PROPOSICIONES ÁLGEBRA DE PROPOSICIONES 1 CAPÍTULO I ÁLGEBRA DE PROPOSICIONES 1.1 PROPOSICIÓN Proosición (o enunciado) es una afirmación verbal a la ue uede asociarse un valor de verdad, es decir, uede ser verdadera

Más detalles

CONCEPTO DE LÓGICA MATEMÁTICA

CONCEPTO DE LÓGICA MATEMÁTICA CONCEPTO DE LÓGICA MATEMÁTICA La Lógica estudia la forma del razonamiento. La Lógica Matemática es la discilina que trata de métodos de razonamiento. En un nivel elemental, la Lógica roorciona reglas y

Más detalles

Lógica Proposicional. Cátedra de Matemática

Lógica Proposicional. Cátedra de Matemática Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un

Más detalles

Tema: LÓGICA PROPOSICIONAL

Tema: LÓGICA PROPOSICIONAL UNIDAD N 01: SEMANA 01: Sesión 01: Denominación: LÓGICA, MATEMÁTICA Y CONJUNTOS. Contenido: Lógica Proosicional: Introducción. Proosiciones lógicas. Clases de Proosiciones Lógicas. Proosiciones Comuestas

Más detalles

UNIDAD I: LÓGICA MATEMÁTICA

UNIDAD I: LÓGICA MATEMÁTICA UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica

Más detalles

Lógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición

Lógica proposicional. 1. Lógica proposicional. 4. Conectivos lógicos. 2. Proposición lógica. 3. Negación de una proposición Lógica proposicional 1. Lógica proposicional Es una parte de la lógica que estudia las proposiciones y la relación existente entre ellas, así como la función que tienen los conectivos lógicos. 2. Proposición

Más detalles

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es

Más detalles

Matemáticas Discretas Tc1003 Lógica Matemática. Lógica Matemática

Matemáticas Discretas Tc1003 Lógica Matemática. Lógica Matemática OBJETIVOS Unidad Tema Subtema Objetivos II 2.1 Lógica Proosicional 2.2 Lógica de Predicados 2.3 Métodos de Demostración El establecimiento de cualuier teoría o conceto se hace mediante declaraciones y/o

Más detalles

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa

Más detalles

Lógica I modelo de examen (curso ) Ejemplo de respuestas

Lógica I modelo de examen (curso ) Ejemplo de respuestas Lógica I modelo de examen (curso 2006-07) Ejemlo de resuestas 1 Para definir un lenguaje formal damos su alfabeto y sus reglas de formación: Símbolos rimitivos: - Variables roosicionales:, q, r - Conectivas:

Más detalles

TRAZADO DE DIAGRAMA POLAR Y APLICACIÓN DE CRITERIO DE NYQUIST

TRAZADO DE DIAGRAMA POLAR Y APLICACIÓN DE CRITERIO DE NYQUIST TRAZADO DE DIAGRAMA POLAR Y APLICACIÓN DE CRIRIO DE NYQUIST. TRAZADO DE DIAGRAMA POLAR. La función de transferencia P, tendrá el formato dado or la siguiente exresión generalizada: P ± m m P A P + A P

Más detalles

Introducción a la Matemática Discreta

Introducción a la Matemática Discreta Introducción a la Matemática Discreta Lógica proposicional y Álgebras de Boole Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 25 Introducción a la Matemática Discreta Temario Tema 1.

Más detalles

Introducción a la Teoría Analítica de Números

Introducción a la Teoría Analítica de Números Introducción a la Teoría Analítica de Números Pablo De Náoli clase 11 1. Introducción Recordamos que Z n = unidades del anillo Z n = {a Z n : (a, n) = 1} es un gruo abeliano [=conmutativo] (con la oeración

Más detalles

Introducción a la Lógica

Introducción a la Lógica Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí

Más detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

CIENCIAS FORMALES CIENCIAS FÁCTICAS UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO

Más detalles

Soluciones de los ejercicios de Selectividad sobre Probabilidad de Matemáticas Aplicadas a las Ciencias Sociales II

Soluciones de los ejercicios de Selectividad sobre Probabilidad de Matemáticas Aplicadas a las Ciencias Sociales II Soluciones de los ejercicios de Selectividad sobre Probabilidad de Matemáticas Alicadas a las iencias Sociales II Antonio Francisco Roldán Lóez de Hierro * onvocatoria de 2006 Las siguientes áginas contienen

Más detalles

TEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q

TEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la

Más detalles

EVALUACIÓN MOMENTOS O MEDIOS Y ESTRATEGIAS Y MATERIALES INDICADORES INSTRUMENTO METODOLOGÍA MOTIVACIÓN: Interés por el prácticos la definición de

EVALUACIÓN MOMENTOS O MEDIOS Y ESTRATEGIAS Y MATERIALES INDICADORES INSTRUMENTO METODOLOGÍA MOTIVACIÓN: Interés por el prácticos la definición de 1 SESIÓN DE APRENDIZAJE Nº 04 FACULTAD DE : Ciencias Emresariales ESCUELA PROFESIONAL DE : Administración DOCENTE : Walter Orlando Gonzales Caicedo CICLO: I ASIGNATURA : Lógico Matemática FECHA: TEMAS:

Más detalles

MATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS

MATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS 23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue

Más detalles

ENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2

ENUNCIADO ABIERTO: Es un enunciado en forma de expresión matemática que no es verdadero ni falso. Ejemplos: x < 9 x + 2 = 10 a + b = 1 a 2 + b 2 = c 2 LÓGICA Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario,

Más detalles

Clase 3: Teorema de Fundamental de la Aritmética

Clase 3: Teorema de Fundamental de la Aritmética Clase 3: Teorema de Fundamental de la Aritmética Dr. Daniel A. Jaume, * 12 de agosto de 2011 1. Primos Definición 1.1 Un entero ositivo se dice que es un número rimo si tiene exactamente 2 divisores ositivos

Más detalles

MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASE # 12

MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASE # 12 MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASE # Ecuaciones Una ecuación es la a rmación de que dos exresiones algebraicas son iguales. Los siguientes son ejemlos de ecuaciones:

Más detalles

EL SÍMBOLO DE LEGENDRE Y LA LEY DE RECIPROCIDAD CUADRÁTICA. Proposiciones Previas. Dos hechos que se deben tener presentes:

EL SÍMBOLO DE LEGENDRE Y LA LEY DE RECIPROCIDAD CUADRÁTICA. Proposiciones Previas. Dos hechos que se deben tener presentes: EL SÍMBOLO DE LEGENDRE Y LA LEY DE RECIPROCIDAD CUADRÁTICA Sea un rimo imar y a Z. El Símbolo de Legendre ( a ) se define de la siguiente manera: ( a 0, if divide a a ) := 1, si existe x Z tal que x 2

Más detalles

Ampliación Matemática Discreta. Justo Peralta López

Ampliación Matemática Discreta. Justo Peralta López Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.

Más detalles

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.

Más detalles

Departamento de Ingeniería Matemática- Universidad de Chile

Departamento de Ingeniería Matemática- Universidad de Chile Ingeniería Matemática FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Álgebra Lineal 08-4 Matrices elementales SEMANA 2: MATRICES Como veremos la resolución de sistemas de ecuaciones via

Más detalles

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa

Más detalles

NÚMEROS RACIONALES Q

NÚMEROS RACIONALES Q NÚMEROS RACIONALES Q Es el número ue se uede exresar como el cociente de dos números enteros, es decir, en forma de fracción 0. El conjunto se uede reresentar Q {, Z 0} {..., 2, 2, 1, 0, 1 8, 2 7, 1,...

Más detalles

Capítulo 1 Lógica Proposicional

Capítulo 1 Lógica Proposicional Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases

Más detalles

PROCESOS DE MARKOV. Definiciones en los Procesos de Markov de Primer Orden:

PROCESOS DE MARKOV. Definiciones en los Procesos de Markov de Primer Orden: ROCESOS DE MARKOV rinciio de Markov: Cuando una robabilidad condicional deende únicamente del suceso inmediatamente anterior, cumle con el rinciio de Markov de rimer Orden, es decir. X ( t ) j X () K,

Más detalles

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática

Más detalles

MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASE #28

MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASE #28 MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASE #8 Identidades Trigonométricas Una identidad es una ecuación que es válida ara todos los valores de las variables ara los cuales

Más detalles

UTILIZANDO LA LÓGICA SIMBÓLICA EN SITUACIONES DE

UTILIZANDO LA LÓGICA SIMBÓLICA EN SITUACIONES DE Unidad I Razonamiento Lógico Matemático UTILIZANDO LA LÓGICA SIMBÓLICA EN SITUACIONES DE NUESTRO CONTEXTO El hombre que hace algo uede equivocarse ero aquel que no hace nada ya está equivocado. E. Rótterdam

Más detalles

03. Introducción a los circuitos lógicos

03. Introducción a los circuitos lógicos 03. Introducción a los circuitos lógicos 1. LÓGICA DE PROPOSICIONES...2 PROPOSICIÓN...2 CONECTORES U OPERADORES LÓGICOS...2 Tablas de...2 Tautología...2 Contradicción...2 2. ÁLGEBRA DE BOOLE...3 AXIOMAS

Más detalles

IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA DESARROLLO DE LA ACTIVIDAD. p, q, r, s

IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA DESARROLLO DE LA ACTIVIDAD. p, q, r, s PROGRAMA DE FORMACIÓN UNIDAD DE APRENDIZAJE ACTIVIDAD OBJETIVOS IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA Colegio técnico uparsistem Matematica sexto PROPOSICIONES Y TABLA DE LA VERDAD (CONJUNCIÓN, DISYUNCIÓN,

Más detalles

LECCIÓN 44A EXPRESIONES ALGEBRAICAS

LECCIÓN 44A EXPRESIONES ALGEBRAICAS LECCIÓN 44A EXPRESIONES ALGEBRAICAS Las exresiones algebraicas son como las exresiones numéricas que vimos en la lección anterior exceto que usted uede usar letras y números en tales exresiones. Para resolver,

Más detalles

Procesamiento Digital de Imágenes

Procesamiento Digital de Imágenes Visión or Comutadora Unidad III Procesamiento Digital de Imágenes Rogelio Ferreira Escutia Contenido 1) Oeraciones Individuales a) Transformaciones Punto a Punto b) Transformaciones de 2 Imágenes Punto

Más detalles

Enunciados Abiertos y Enunciados Cerrados

Enunciados Abiertos y Enunciados Cerrados I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;

Más detalles

Prof. Daniel Villar Escuela Técnica del Buceo 2009

Prof. Daniel Villar Escuela Técnica del Buceo 2009 Matemática: Teórico 009 Seguramente el lector ya conoce estructuras numéricas, naturales, enteros, racionales. Sus diferencias y carencias. Qué hizo necesario la creación de una estructura aún más amlia

Más detalles

Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2

Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa *. 1. Lógica

Más detalles

XAX > i 0. i 4 2i. 2 i i 8

XAX > i 0. i 4 2i. 2 i i 8 Álgebra Lineal Caítulo. Tóicos Eseciales y Alicaciones.. Matrices y formas ositivas En esta sección estudiamos matrices ositivas, formas sesquilineales ositivas, y formas cuadráticas ositivas. a. Matrices

Más detalles

Introducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali

Introducción a la lógica. Matemáticas Discretas Universidad de san buenaventura Cali Introducción a la lógica Matemáticas Discretas Universidad de san buenaventura Cali Proposiciones compuestas (Disyunción, Conjunción, Negación, Condicional, Bicondicional) DISYUNCIÓN (v) La disyunción

Más detalles

Práctico N o 1. Números Complejos

Práctico N o 1. Números Complejos Práctico N o. Números Comlejos ) Clasi car los siguientes números comlejos en reales o imaginarios. Eseci car en cada caso cuál es la arte real y cuál es la imaginaria: a) 5 + 7i b) c) 5 d) i e) f) + g)

Más detalles

Matemáticas Discretas Lógica

Matemáticas Discretas Lógica Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados

Más detalles

Universidad de Antioquia

Universidad de Antioquia Eresiones algebraicas Facultad de Ciencias Eactas y Naturales Instituto de Matemáticas Gruo de Semilleros de Matemáticas (Semática) Matemáticas Oerativas Taller 3 20 2 El álgebra es la discilina de la

Más detalles

MATEMÁTICAS FINANCIERAS

MATEMÁTICAS FINANCIERAS 1 MATEMÁTICAS FINANCIERAS LECCIÓN 1: Fundamentos de la valoración financiera. 1. Introducción. Actividad económica: se caracteriza or la roducción de bienes y servicios y or su intercambio entre los diversos

Más detalles

MÉTODOS DE DEMOSTRACIÓN

MÉTODOS DE DEMOSTRACIÓN 2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es

Más detalles

Introducción a la lógica modal. Fernando R. Velázquez Quesada.

Introducción a la lógica modal. Fernando R. Velázquez Quesada. Introducción a la lógica modal Fernando R. Velázquez Quesada htt://ersonal.us.es/frvelazquezquesada/ FernandoRVelazquezQ@gmail.com Las resentes notas son tan solo una guía sobre los asectos básicos de

Más detalles

LÓGICA SIMBÓLICA. LÓGICA PROPOSICIONAL

LÓGICA SIMBÓLICA. LÓGICA PROPOSICIONAL LÓGICA SIMBÓLICA. LÓGICA PROPOSICIONAL 1.- Exresión, oración y enunciado: Una oración es una exresión lingüística gramaticalmente correcta que osee sentido comleto. Las oraciones ueden ser, desde el unto

Más detalles

PROBLEMAS DE LÍMITES Y CONTINUIDAD (MÉTODOS ALGEBRAICOS) lím. lím. Las descomposiciones factoriales se hacen dividiendo sucesivamente por x + 2.

PROBLEMAS DE LÍMITES Y CONTINUIDAD (MÉTODOS ALGEBRAICOS) lím. lím. Las descomposiciones factoriales se hacen dividiendo sucesivamente por x + 2. PROBLEMAS DE LÍMITES Y CONTINUIDAD MÉTODOS ALGEBRAICOS) Cálculo de ites or métodos algebraicos Resuelve los siguientes ites: a) 8 b) 8 c) a) ) ) 6) ) 8 Se reite el roceso) ) ) ) ) Las descomosiciones factoriales

Más detalles

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados

Más detalles

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional

Material diseñado para los estudiantes del NUTULA, alumnos del profesor Álvaro Moreno.01/10/2010 Lógica Proposicional Lógica Proposicional INTRODUCCIÓN El humano se comunica con sus semejantes a través de un lenguaje determinado (oral, simbólico, escrito, etc.) construido por frases y oraciones. Estas pueden tener diferentes

Más detalles

Reciprocidad Cuadrática

Reciprocidad Cuadrática Caítulo 4 Recirocidad Cuadrática En este caítulo estudiamos una serie de resultados dirigidos a demostrar la Ley de Rerocidad Cuadrática, la cual fue robada or Gauss en su libro Disquisitiones Arithmeticae

Más detalles

MATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños

MATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños MATEMÁTICA 1 JRC LÓGICA Es la ciencia formal que estudia los principios y procedimientos que permiten demostrar la validez o invalidez de una inferencia, es decir, reconocer entre un razonamiento correcto

Más detalles

1. LÍMITE DE UNA FUNCIÓN REAL

1. LÍMITE DE UNA FUNCIÓN REAL CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN DEPARTAMENTO DE CIENCIAS BASICAS PROGRAMA: INGENIERIAS DE SISTEMAS Y CIENCIAS ADMINISTRATIVAS ACTIVIDAD ACADEMICA: CÁLCULO DIFERENCIAL DOCENTE:

Más detalles

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el

Más detalles

Capítulo 4. Lógica matemática. Continuar

Capítulo 4. Lógica matemática. Continuar Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además

Más detalles

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL PROPOSICIONES LÓGICA PROPOSICIONAL ^ = : verdadero = : falso v v TABLAS DE ERDAD conjunción disjunción disjunción exclusiva. + PROPOSICIONES ~ es la negación de ~ es el ouesto de ~ LÓGICA PROPOSICIONAL

Más detalles

Qué es la lógica? Lógica matemática. Introducción. La lógica de proposiciones (enunciados) El lenguaje de la lógica

Qué es la lógica? Lógica matemática. Introducción. La lógica de proposiciones (enunciados) El lenguaje de la lógica Qué es la lógica? El la ciencia de los rinciios de la validez formal de los razonamientos. Dicho de otra forma, trata de establecer unas leyes que, si las seguimos, siemre razonaremos bien. Hay que diferenciar

Más detalles

Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del

Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del Elaborar un mapa conceptual del tema de Lógica Proposicional (Diapositivas: Lógica Proposicional) Desarrollar ejercicios de la ficha de trabajo y del módulo (Página 175 ) Se sugiere ver el siguiente video:

Más detalles

Modelo analítico de rendimiento

Modelo analítico de rendimiento AT5128 Arquitectura e Ingeniería de Comutadores II Modelo analítico de rendimiento Curso 2011-2012 AT5128 Arquitectura e Ingeniería de Comutadores II Índice Fuentes de overhead en rogramas aralelos. Métricas

Más detalles

TEMA 1 CONCEPTOS BÁSICOS

TEMA 1 CONCEPTOS BÁSICOS Matemática Financiera Diaositiva 1 TEMA 1 CONCEPTOS BÁSICOS 1. Caital financiero. Fenómeno Financiero 2. Elección financiera. Postulado de royección financiera 3. Conceto de ley y sistema financiero. Proiedades

Más detalles

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)

Más detalles

Lógica de Predicados

Lógica de Predicados Lógica de redicados Lógica de predicados Lógica de predicados Cálculo de predicados Reglas de inferencia Deducción proposicional Demostración condicional Demostración indirecta Valores de certeza y Tautología

Más detalles

SOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.

SOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia

Más detalles

Bloque 33 Guía: Ecuación de la recta en el plano cartesiano SGUICEG055EM33-A17V1

Bloque 33 Guía: Ecuación de la recta en el plano cartesiano SGUICEG055EM33-A17V1 SGUICEG055EM-A7V Bloque Guía: Ecuación de la recta en el lano cartesiano TABLA DE CORRECCIÓN ECUACIÓN DE LA RECTA EN EL PLANO CARTESIANO N Clave Dificultad estimada B Alicación Media A Alicación Media

Más detalles

Tema 2: Teoría de la Demostración

Tema 2: Teoría de la Demostración Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración

Más detalles

Lógica Matemática. Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional

Lógica Matemática. Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional Lógica Matemática Tema: Valor de certeza funcional de la preposición: negación, conjunción, disyunción, condicional y bicondicional Valor de certeza funcional de la preposición: negación, conjunción, disyunción,

Más detalles

TEMA II. 1.1 Negación La negación es la inversa de los valores de verdad de una declaración como se muestra en la figura: Negación

TEMA II. 1.1 Negación La negación es la inversa de los valores de verdad de una declaración como se muestra en la figura: Negación TEMA II 1. APLICACIONES PRACTICAS DE LOGICA SIMBOLICA Y ÁLGEBRA DE PROPOSICIONES La proposición lógica hace más fácil y efectiva la manipulación de valores de verdad entre proposiciones. Las tablas de

Más detalles

John Venn Matemático y filósofo británico creador de los diagramas de Venn

John Venn Matemático y filósofo británico creador de los diagramas de Venn Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan

Más detalles

Matemáticas Dicretas LÓGICA MATEMÁTICA

Matemáticas Dicretas LÓGICA MATEMÁTICA Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.

Más detalles

RAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:

RAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como: La lógica se puede clasificar como: 1. Lógica tradicional o no formal. 2. Lógica simbólica o formal. En la lógica tradicional o no formal se consideran procesos psicológicos del pensamiento y los métodos

Más detalles

INTRODUCCIÓN A LA LÓGICA Y MÉTODOS DE DEMOSTRACIÓN

INTRODUCCIÓN A LA LÓGICA Y MÉTODOS DE DEMOSTRACIÓN INTRODUCCIÓN A LA LÓGICA Y MÉTODOS DE DEMOSTRACIÓN ISMAEL GARCÍA MARTÍN PONTIFICIA UNIVERSIDAD JAVERIANA Prólogo PRÓLOGO Tanto en su vida diaria como, sobre todo, en la investigación científica, el hombre

Más detalles

Naturales (avanzado) Propiedades de la suma y de la resta. Propiedades de la multiplicación y la división. Jerarquía de operaciones.

Naturales (avanzado) Propiedades de la suma y de la resta. Propiedades de la multiplicación y la división. Jerarquía de operaciones. LEYENDA: (unidad interactiva) (unidad interactiva con ejercicios extra) (unidad no interactiva) (en roceso) ARITMÉTICA Naturales Naturales (básico) Sistema decimal. Orden. Oeraciones. Aroximación. Naturales

Más detalles

ESPEJOS ESFÉRICOS. f 2

ESPEJOS ESFÉRICOS. f 2 ESPEJS ESÉRS Suericie ulida Suericie ulida luz r luz r Eje ótico Esejo cóncavo ig. 1 Esejo convexo r + en un esejo cóncavo - en un esejo convexo Para esejos eséricos, siendo r 2 resulta: + esejo cóncavo

Más detalles

Conjuntos I. 1. Concepto. 4. Relación de pertenencia ( ) 2. Notación. 5. Conjuntos especiales. 3. Determinación de conjuntos

Conjuntos I. 1. Concepto. 4. Relación de pertenencia ( ) 2. Notación. 5. Conjuntos especiales. 3. Determinación de conjuntos Conjuntos I 1. Concepto El término CONJUNTO es aceptado en Matemáticas como un "CONCEPTO PRIMITIVO", es decir, se acepta sin definición. Intuitivamente, un CONJUNTO es una colección o agrupación de objetos

Más detalles

Un enunciado es toda frase u oración que se emite

Un enunciado es toda frase u oración que se emite OBJETIO 2: Aplicar la lógica proposicional y la lógica de predicados en la determinación de la validez de una proposición dada. Lógica Proposicional La lógica proposicional es la más antigua y simple de

Más detalles

ANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO

ANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones

Más detalles

Lógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas

Lógica Digital Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 1 Lógica Digital 2013 Transversal de Programación Básica Proyecto Curricular de Ingeniería de Sistemas 2 La lógica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones

Más detalles

Cantidad de proposiciones Número de combinaciones = = = n

Cantidad de proposiciones Número de combinaciones = = = n COLEGIO SAN RANCISCO JAIER DE LA ERAPAZ PROESOR RONALD CHÉN: Conectivos lógicos y tablas de verdad (Primero Básico 2017) Conceptos 3 Notación y Conectivos lógicos Conectivos lógicos son aquellas palabras

Más detalles

Fase nacional 2010 (Valladolid, 26 y 27 de Marzo) Soluciones oficiales

Fase nacional 2010 (Valladolid, 26 y 27 de Marzo) Soluciones oficiales Olimiada Matemática Esañola RSME XLVI Olimiada Matemática Esañola Fase nacional 010 (Valladolid, 6 y 7 de Marzo) Soluciones oficiales Problema 1 Una sucesión ucelana es una sucesión creciente de dieciséis

Más detalles

REGLAS Y LEYES LOGICAS

REGLAS Y LEYES LOGICAS LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.

Más detalles

En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.

En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión. Se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun

Más detalles

Walter Orlando Gonzales Caicedo MATEMÁTICA. Gonzales Caicedo Walter Orlando.

Walter Orlando Gonzales Caicedo MATEMÁTICA. Gonzales Caicedo Walter Orlando. MATEMÁTICA Gonzales Caicedo Walter Orlando 1 INTRODUCCIÓN El resente modulo está elaborado ara el desarrollo del curso de Matemática. Su finalidad es servir como rimera referencia a los estudiantes ue

Más detalles

P r o p o s i c i ó n

P r o p o s i c i ó n P r o p o s i c i ó n Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede concluir que es verdadero o falso no es proposición. La verdad o falsedad de una proposición

Más detalles

TEMA I INTRODUCCIÓN A LA LÓGICA

TEMA I INTRODUCCIÓN A LA LÓGICA TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2

Más detalles

I. NOCIONES DE LÓGICA MATEMÁTICA

I. NOCIONES DE LÓGICA MATEMÁTICA I. NOCIONES DE LÓGICA MATEMÁTICA 1. Pooición. E un enunciado que uede e vedadeo (V) o falo (F), eo no ambo a la vez. La cualidade V, F e denominan valoe de vedad. Ej. : Soy un muchacho ovinciano. q: Etudio

Más detalles

Lógica Proposicional

Lógica Proposicional Lógica Proposicional La lógica se define como la ciencia del razonamiento, o como el estudio de los métodos y principios usados para distinguir el razonamiento correcto del incorrecto. La lógica, está

Más detalles

MATEMÁTICA. Módulo Educativo Etapa Presencial Docente Coordinadora: Bioq. y Farm. Marta Marzi

MATEMÁTICA. Módulo Educativo Etapa Presencial Docente Coordinadora: Bioq. y Farm. Marta Marzi MATEMÁTICA Módulo Educativo Etapa Presencial 2014 Docente Coordinadora: Bioq. y Farm. Marta Marzi Facultad de Ciencias Bioquímicas y Farmacéuticas UNIVERSIDAD NACIONAL DE ROSARIO Suipacha 531 0341-4804592/93/97

Más detalles

VALORES DE VERDAD DE LOS OPERADORES LÓGICOS

VALORES DE VERDAD DE LOS OPERADORES LÓGICOS VALORES DE VERDAD DE LOS OPERADORES LÓGICOS Tomada con fines instruccionales Gómez, T., González, N., Lorenzo J. (2007) Valores de verdad de los Operadores Lógicos. Artículo no publicado. (p.1-6). UNEFA.

Más detalles

Matemáticas Básicas para Computación

Matemáticas Básicas para Computación Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 5 Nombre: Tablas de verdad Objetivo Al término de la sesión el participante aplicará los conceptos de lógica a través

Más detalles

Funciones exponenciales y logarítmicas

Funciones exponenciales y logarítmicas Funciones eonenciales y logarítmicas EJERCICIOS Realiza una tabla de valores y reresenta las funciones eonenciales. y = c) y = y = d) y = (,) 5 c) d) y =,,7,, 9 7 8 y = y = 5 8 7 9,,,7, 9,65 5,65 6,5,5,,6,6,56

Más detalles

Guía de Ejercicios: Lógica y Teoría de Conjuntos

Guía de Ejercicios: Lógica y Teoría de Conjuntos Guía de Ejercicios: Lógica y Teoría de Conjuntos Área de Matemática Objetivo de aprendizaje Usar conectivos lógicos y relaciones conjuntistas. Negar una proposición. Contenidos 1. Elementos de lógica proporcional.

Más detalles

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS. Fracciones continuas, ecuación de Pell y unidades en el anillo de enteros de los cuerpos cuadráticos

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS. Fracciones continuas, ecuación de Pell y unidades en el anillo de enteros de los cuerpos cuadráticos UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS FACULTAD DE CIENCIAS MATEMÁTICAS EAP DE MATEMÁTICA PURA Fracciones continuas, ecuación de Pell y unidades en el anillo de enteros de los cueros cuadráticos Caítulo

Más detalles

Matemáticas Discretas. Oscar Bedoya

Matemáticas Discretas. Oscar Bedoya Matemáticas Discretas Oscar Bedoya oscar.bedoya@correounivalle.edu.co http://eisc.univalle.edu.co/~oscarbed/md/ * Lógica proposicional * Concepto de proposición * Valores de verdad * Operadores lógicos

Más detalles