Capitulo I - Lógica Matemática
|
|
- Emilia Rivas Vargas
- hace 7 años
- Vistas:
Transcripción
1 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 cuenta el enunciado de las roosiciones matemáticas y su consecuente validez. Nota: alidez significa ue una roosición es verdadera o es falsa, ero nunca debe ocurrir ue sea verdadero o falso a la vez. Enunciado: Se llama enunciado a toda frase u oración. Algunos enunciados son mandatos o interrogaciones o son exresiones de emoción. Otros en cambio son afirmaciones o negaciones ue tienen la característica de ser verdadera o falsa. Ejemlos: a) Qué estudia en la Universidad? b) Prohibido hacer bulla. c) Dos más tres, es igual a cinco. d) 5 > 8 e) x 2 < 4y Proosición: Llamamos roosición a todo enunciado ue tiene la cualidad de ser verdadero () o de ser falso (), ero nunca uede ser y a la vez. Notación: Denotaremos a las roosiciones con letras minúsculas:,, r, s, t. Si son muchas roosiciones entonces usaremos subíndices, tales como: 1, 2, 3,..., n 1, 2, 3,..., n Ejemlos: : dos más tres, es igual a cinco : cinco es diferente de cero t = cuatro y diez son múltiles de diez u = 2 es menor ue 3 y 3 es múltilo de 5 Si una roosición es verdadera se dice ue su validez o valor de verdad es v, se escribe () = o se lee valor de verdad de es igual a. Si una roosición es falsa se dice ue su validez o valor de verdad es 1 se escribe () = y se lee valor de verdad de es igual a. Ejemlo: Proosición alor de erdad : César allejo nació en París : < 10 3 () = () = Enunciados Abiertos: Son exresiones ue no tienen la roiedad de ser verdadero o falso, es decir, no son roosiciones. Así, el enunciado x + 2 > 5 no se le uede atribuir el valor () o el valor de (), a menos ue reemlacemos la x or un número mayor ue 3 en cuyo caso el enunciado se convierte en una roosición verdadera, o si el reemlazo se hace un número menor ue 3, la roosición resulta falsa: Ejemlo: 1) x + y + z = 6 2) x es múltilo de 4 Proosiciones Simles y Comuestas: Las roosiciones simles: Llamadas también roosiciones atómicas o elementales, son auellos enunciados ue tienen un solo sujeto y un solo redicado. Ejemlo: 1) Carlos Marx nació en Alemania. 2) La silla es de madera. Las roosiciones comuestas: Llamadas también roosiciones moleculares o coligativas, son auellas ue están constituidas or dos o más roosiciones simles- Ejemlo: 1) Carlos estudia Derecho o Contabilidad. 2) Si mañana el cielo está nublado, entonces lloverá. Página 1 de 167
2 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Proiedad undamental de las Proosiciones Comuestas: La verdad de la roosición comuesta deende de la verdad de cada una de las roosiciones comonentes, sin ue en esta deendencia de verdades tenga ue ver la naturaleza, la significación o la estructura de la roiedad, a las roosiciones comuestas se les llama también funciones veritativas. Conectivos Lógicos: Son exresiones ue sirven ara unir dos o más roosiciones, entre los más imortantes conectivos lógicos tenemos: La conjunción, disyunción, imlicación, bicondicional, negación, contradicción, esto mostraremos en el siguiente cuadro. Nombre Exresión Símbolo Lógico Conjunción Y Disyunción O Imlicación si... entonces Bicondicional, euivalencia, doble imlicación... si y sólo si... Negación no Contradicción... no euivalente Proosiciones Comuestas Lógicas: a) Negación: Dada una roosición P, llamaremos la negación de, a otra roosición ue denotaremos or, y ue se le asigna el valor ouesto a, y su tabla de verdad es: Ejemlo: 1. La tiza es blanca. Su negación es: no es cierto ue la tiza es blanca. 2. Dada la roosición = 5 x 7 = 35 Su negación: no es cierto ue 5 x 7 = 35 b) La Disyunción Inclusiva: Dadas dos roosiciones y, la disyunción inclusiva o débil, es una roosición coligativa ue resulta de unir las roosiciones y con el conectivo o, el cual se denota or el símbolo, se escribe y se lee o. La tabla de verdad ara la disyunción es: Ejemlo: Juan habla inglés o Juan habla francés Maritza estudió italiano en un instituto o uizá en Italia c) Conjunción: La conjunción de dos roosiciones y es la roosición comuesta ue resulta de unir y mediante el conectivo y ue se simboliza y, donde el rinciio lógico es la conjunción es verdadero, solo cuando es verdadero y es verdadero, en todos los demás casos es falso. Su tabla de verdad es: Página 2 de 167
3 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Ejemlo: Determinar el valor de verdad de la roosición = 11 y > Si: : = 11 () = : > () = ( ) = Nota: Hay alabras como ero, sin embargo, además, aunue, no obstante, a la vez, etc. también une roosiciones conjuntivamente. d) La Condicional: Dadas las roosiciones y, se denomina roosición condicional a la ue resulta de unir y or el conectivo si... entonces..., ue se denota or el símbolo, se escribe y se lee si, entonces, donde el rinciio lógico es la roosición imlicativa es falso únicamente en el caso ue la roosición es verdadera y la roosición es falsa, siendo verdadera en todos los demás casos. Su tabla de verdad es: A la roosición se denomina antecedente y la roosición consecuente. Ejemlo: Si Patricia consigue visa de turista, entonces viajará a Jaón Ejemlo: Determinar el valor de verdad de la roosición: Si los monos son humanos entonces la tierra es lana = los monos son humanos () = = la tierra es lana () = ( ) = Ejemlo: Simbolizar: 1B es múltilo de 2 uesto ue es un N ar si: = 18 es múltilo de 2 = 18 es número ar Quedaría: Ejemlo: De la falsedad de la roosición: ( ) ( r s) Determinar el valor de verdad de los esuemas moleculares. a. ( ) b. ( ) [( ) ] ( ) [( r s] r s r r r ( ) ( ) Página 3 de 167
4 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI ( ) [ ( ) ] ( ) [ ( ) ] [ ] e) La Bicondicional: La doble imlicación o bicondicional de dos roosiciones y es la roosición comuesta mediante el conectivo lógico si y sólo si y se simboliza son verdaderos o son falsos, en otros casos es falso. Su tabla de verdad es: Ejemlo: Jack comrará una casa si y sólo si obtiene un réstamo del banco. f) La Disyunción Exclusiva: La disyunción exclusiva de dos roosiciones y es la roosición comuesta mediante conectivo lógico o y se simboliza, donde ambas roosiciones y tengan valores de verdad ouestos y es falsa si ambas tienen idénticos valores. Su tabla de verdad es: Ejemlo: O Elvia es contadora o es administradora. Proosiciones Comuestas: Mediante los conectivos lógicos se ueden combinar cualuier número finito de roosiciones cuyos valores de verdad ueden ser conocidos, construyendo su tabla de verdad, en dicha tabla se uede indicar los valores resultantes de estas roosiciones comuestas ara todas las combinaciones osibles de valores de verdad de roosiciones comuestas. Ejemlo: La tabla de verdad de la roosición comuesta de: [ ( ) ( r) ] ( r) r [ ( ) ( r ) ] ( r ) Jeraruía de los Conectivos Lógicos: Si se tiene una roosición comuesta con varios conectivos lógicos, ara realizar las oeraciones rimeramente se debe colocar los aréntesis adecuadamente emezando con las roosiciones ue se encuentran dentro de los aréntesis anteriores, luego siguen todas las negaciones y se avanza de izuierda a derecha (los corchetes son considerados como aréntesis). Página 4 de 167
5 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Ejemlo: Hallar la tabla de valor de verdad de la roosición: [ ( r) ] [ ( r) ] ] r [ ( r) ] [( r)] ] Tautologías, Contradicciones y Contingencias: a) Tautologías: Son roosiciones comuestas ue siemre son verdaderos cualuiera ue sea el valor de las roosiciones comonentes. b) Contradicciones: Son roosiciones comuestas ue siemre son falsas cualuiera ue sea el valor de las roosiciones comuestas. c) Contingencia: Son roosiciones comuestas ue no son ni tautologías ni contradicciones, es decir, son roosiciones ue en algunos casos es y en otros. Ejemlos: Determinar si son tautología, contradicciones o contingencias. a) { [ ( ) ] [ ( ) ( ) ] b) [ ( ) ] c) [ ( r ) ] [ ( r ) ] a) { [ ( )] [ ( ) ( ) ] b) [ ( ) ] c) r [ ( r ) ] [ ( r ) ] Página 5 de 167
6 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Euivalencias Notables: 1. Ley de Doble Negación: a) ( ) 2. Ley de Idemotencia: a) b) 3. Leyes Conmunitativas: a) ( ) ( ) b) ( ) ( ) c) 4. Leyes Asociativas: a) ( r ) ( ) r b) ( r ) ( ) r c) ( r ) ( ) r 5. Leyes Distributivas: a) ( r ) ( ) ( r ) b) ( r ) ( ) ( r ) c) ( r ) ( ) ( r ) d) ( r ) ( ) ( r ) 6. Leyes de Morgan: a) ( ) b) ( ) 7. Leyes del Condicional: a) b) ( ) 8. Las Leyes del Bicondicional: a) ( ) ( ) ( ) b) ( ) ( ) ( ) 9. Ley de la Absorción: a) ( ) b) ( ) c) ( ) d) ( ) 10. Leyes de Transosición: a) ( ) b) 11. Leyes de Exortación: a) ( ) r ( r ) b) ( n ) r ( 1, 2,... n - 1 ) ( n r ) 12. Elementos Neutros ara la Conjunción y Disyunción: a) b) 13. También: a) ( ) ( ) b) ( ) ( ) Página 6 de 167
7 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Circuitos Lógicos: Los circuitos lógicos se relacionan con el circuito eléctrico. Se identifica la verdad de la roosición con el aso de corriente y la falsedad de la roosición con la interrución de la corriente. Cuando asa la corriente: () Cuando no asa la corriente: ( ) En lógica: si reresenta el aso de corriente, reresenta el no aso de corriente. Si: interrutor interrutor, conectados en SERIE Para ue el foco se renda (de Luz) y deben dejar asar la corriente es decir los dos interrutores deben estar cerrados, hasta ue uno de los interrutores esté abierto, entonces, no asa corriente, or lo tanto el foco no se renda. Este circuito corresonde a la tabla de valores de. Analizamos la tabla ( ) de valores de. ( ) Sí, rende el foco Cerrado Cerrado No se rende Cerrado Abierto No se rende Abierto Cerrado No se rende Abierto Abierto Página 7 de 167
8 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Si los interrutores se conectan en aralelo se obtiene un circuito ue funciona mediante la tabla de valores de. : Interrutores : Interrutores Conectados en aralelo Cerrado Sí, el foco se rende Cerrado Pasa corriente Cerrado Sí, el foco se rende Abierto Pasa corriente Abierto Sí, el foco se rende Cerrado Pasa corriente Abierto No, el foco no se rende Abierto No asa Página 8 de 167
9 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Cuantificadores: a) Cuantificador Universal: Ejemlo: Enunciado abierto: (x) = x + 3 múltilo de 2 Para todo x + 3; es un número múltilo de 2 En símbolo x + 3; es un número múltilo de 2 Como observas, delante del enunciado abierto hemos escrito (Para todo), entonces el enunciado abierto con el símbolo se convierte en roosición. se le denomina cuantificador universal. b) Cuantificador Existencial: Ejemlo: Enunciado abierto: (x) = x + 3 múltilo de 2 Existe or lo menos un número x + 3 ue es múltilo de 2 Existe un número x + 3 ue es múltilo de 2 En símbolo x + 3 ue es múltilo de 2 Como observas, delante del enunciado abierto hemos escrito (existe) (Existe or lo menos), entonces el enunciado abierto con el símbolo se convierte en roosición. se le denomina cuantificador existencial. Ejercicios: 1. Para el conjunto A = { 1; 2; 3; 4; 5 } tenemos: x A, 2x + 3 < 15 y se lee: Cada x A Cumle 2x + 3 < 15 ó todo elemento x A Cumle 2x + 3 < 15; y es una roosición verdadera orué? x A / x < 12 es una roosición verdadera orué? cómo se lee? x A, x < 12 es una roosición falsa orué? La roosición Todo x de A cumle : 3x + 1 < 5x 2 denotamos: x A, 3x + 1 < 5x 2 es una roosición falsa orué? 2. Si A = { 1; 2; 3; 4; 5 } roosición: x A / 3x + 4 = 14, es una roosición falsa orué? x A, / x < 12, es verdadera orué? x A / 2x + 1 < 10, es verdadera orué? c) Negación de Proosiciones con Cuantificadores Universales: Ejemlos: 1. La negación de: x N, 2x + 3 = 7, es; x N / 2x + 3 = 7 ue es verdadera, ues x = 2 cumle la roiedad 2. Si A = { 1; 2; 3; 4; 5; 6; 7; 8; 9 }, tenemos: x A, x es rimo, su negación es: x A / x no es rimo, es una roosición verdadera, ues ara x = 8 ó x = 6 ue están en A se cumle la roiedad. Entonces: La negación de x A, (x) es x A / (x) d) Negación de Proosiciones con Cuantificador Existencial: Ejemlos: 1. Si n, n N, n + 2 < 8 su negación es: n, n N, ( n + 2 ) < 8 2. Existe un x N, tal ue x es número rimo su negación es: Para todo x N, x no es rimo. 3. Sea A = { 1; 2; 3 } Si tenemos la roosición: x A; x + 5 = 8 Su negación es x A; no es cierto ue x + 5 = 8 Entonces: La negación de x A, (x), es: x A, (x) 4. Existe una ciudad del Perú ue es la Caital; su negación es: Todas las ciudades del Perú no son la caital del Perú. ciudad Caital del Perú, su negación es, ciudad del Perú, no es la caital del Perú Página 9 de 167
10 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Ejercicios 1. Determinar el valor de verdad de cada una de las siguientes roosiciones: a) Si = 7, entonces = 10 ( ) b) La UJCM está en Mouegua o Tacna ( ) c) No es verdad ue = 7, si y sólo si = 15 ( ) d) No es verdad ue: = 5 o ue = 4 ( ) e) = 12 y 9 4 = 5 ( ) f) La UJCM está en Tacna ( ) g) = 7 y 3 1 = 1 ( ) 2. Determinar si es una tautología, contradicción o contingencia: a) { [ ( ) ] [ ( ) ( ) ] } b) [ ( r ) ] [ ( r ) ] c) [ ( r ) ] d) [ ( ) r ] [ r ( ) ] e) [ ( r ) ] [ ( r ) ~ ] a) El esuema molecular es igual a: [ ( ) ] [ ( ) ( ) ] [ ( ) ] [ ( ) ( ) ] Es una CONTINGENCIA b) [ ( r ) ] [ ( r ) ] r [ ( r ) ] [ ( r ) ] CONTINGENCIA c) [ ( r ) ] r [ ( r ) ] CONTINGENCIA Página 10 de 167
11 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI d) [ ( ) r ] [ r ( ) ] r [ ( ) r ] [ r ( )] CONTRADICCIÓN e) [ ( r ) ] [ ( r ) ] r [ ( r ) ] [ ( r ) ~ ] TAUTOLOGÍA 3. El valor de verdad de: ( ) ( r s) es falso, determinar el valor de verdad de los esuemas moleculares: a) ( ) b) ( r ) [ ( r ) s ] c) ( ) [ ( ) ] ( ) ( r s) r s r s a) ( ) ( ) b) ( r ) [ ( r ) s ] ( ) [ ( ) ] ( ) c) ( ) [ ( ) ] ( ) [ ( ) ] ( ) Página 11 de 167
12 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI 4. Simlificar las roosiciones siguientes alicando las leyes lógicas: [ ( ) ] [ ( ) ] [ ( ) ] [ ( ) ] 5. Si definimos # como ( # ) ( ) ( ). Hallar una exresión euivalente a #. ( # ) ( ) ( ) ( # ) ( ) ( ) ( # ) [ ( ) ] [ ( ) ] ( # ) ( ) ( ] ( # ) ( ) ( ) ( # ) [ ( ) ( ) ] ( # ) [ ) ] 6. Demostrar ue son euivalentes: [ ] ( ) [ ( ) ( ) ] ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 7. Simlificar: [ ( ) ( ) ] ( ) [ ( ) ( ) ] ( ) [ ( ) ] ( ) [ ] ( ) ( ) 8. Dadas las roosiciones: : 7 es un número racional y r cualuier roosición, además se sabe ue: [ ( r ) ( r ) ] es verdadera. Hallar el valor de verdad de: a) r ( ) b) [ r ( ) ] ( ) c) ( r ) ( ) Del ejercicio tenemos ue, además: ( r ) ( r ) Por lo tanto: r r = r r = Página 12 de 167
13 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI = a) r ( ) ( ) = b) [ r ( ) ] ( ) [ ( ) ] ( ) ( ) c) ( r ) ( ) ( ) ( ) 9. Dado: [ ( ) ( r ) ] ( r ) Encontrar el valor de verdad de: a) [ ( r ) ] b) ( r ) ( r ) c) [ ( r ) ] ( ) Dado ue: [ ( ) ( r ) ] ( r ) Por lo tanto: [ ( ) ( ~ r ) ] r = r = = a) [ ( r ) ] [ ( ) ] [ ] b) ( r ) ( r ) ( ) ( ) c) [ ( r ) ] ( ) [ ( ) ] ( ) ( ) 10. Simlificar a su mínima exresión: { [ ( ) ( ) ] } ( ) ( ) ( ) ( ) ( ) Página 13 de 167
14 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI 11. Simlificar la siguiente exresión lógica: [ ( ) ( ) ] [ ( r ) ] [ ( ) ( ) ] [ ( r ) ] ( ) (Tautología) 12. Simlificar la roosición: { [ ( r) ] [ ( r) ] } { ( ) [ r ( r ) ] } Desarrollando la rimera llave: [ ( r) ] [ ( r) ] [ ( r) ] [ ( r ) ] [ ( r) ] [ ( r ) ] [ ( r) ] [ ( r ) ] En la segunda llave tenemos: ( ) [ r ( r ) ] ( ) [ ( r ) ] ( ) [ ( ) r ] De las dos tenemos: ( ) 13. Dado: Simlificar: * { [ ( ) ] } [ ( r ) * ] * ( ) * { [ ( ) } * { [ ( ) ] } * { } * Reemlazando tenemos: [ ( r ) * ] * ( ) ( r ) * ( ) r 14. { [ ( t r ) ] } Simlificar: [ ( ( ) ( { [ ( t r ) ] Página 14 de 167
15 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Luego la exresión simlificada será: [ ( ( ) ( ) ( ( ) 15. Se define: # { ( ) } Simlificar: ( # ) # # { ( ) } # { [ ( ) ] [ ( ) ] } # { ( ) ] ( ) } # ( ) } # Reemlazando tenemos: ( # ) # ( ) (Tautología) 16. Si: * Simlificar: [ ( * ) ( * ) ] Analizando la tabla tenemos ue: * Reemlazando tenemos: [ ( * ) ( * ) ] [ ( ) ( ) ] [ ( ) ( ) ] [ ( ) ] ( ) 17. Si: * # Simlificar: [ ( * ) # ] ( # ) De la tabla tenemos: Página 15 de 167
16 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI * ( ) # ( ) Reemlazando tenemos: [ ( * ) # ] ( # ) [ ( ) # ] ( ) [ ( ) ] ( ) [ ( ) ] ( ) ( ) ( ) 18. Si: * Hallar # en: # [ { ( ) * ( ) } ( * ) ] De la tabla tenemos ue: * Reemlazando tenemos: # [ { ( ) ( ) } ( ) ] # [ { ( ) ( ) } ( ) ] # [ ( ) ( ) ] # ( ) ( ) # ( ) ( ) # [ ( ) ] [ ( ) ] # ( ) ( ) 19. Simlificar el siguiente circuito: r [ ( ) ( ) ] { [ ( r ) ] } [ ( ) ] [ ( ) ( ( r ) ) ] [ ( ) ( ) Página 16 de 167
17 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI 20. Simlificar el circuito: P r r r r { ( ) [ ( r ) ( r) ] } [ ( r ) ( r ) ] [ ( ) [ ( r ) r ] } [ ( r ) ( r ) ] [ ( ) } [ ( r ) ( r ) ] ( ) ( r ) ( r ) ( r ) ( r ) ( r ) ( r ) r r 21. Simlificar el circuito: r r r ( r ) ( r ) ( r ) [ ( r ) ] [ ( r ) ] ( r ) [ ( r ) ( ] ( r ) ( r ) [ r ( ) r [ ( ) r ( ) r Página 17 de 167
18 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI 22. Hallar x tal ue: x Sea euivalente a. ( ) { [ ( ) ( ) ( ( ) x ) ) ] } ( ) { [ [ ( ) x ] ] } ( ) [ ( ) x ] [ ( ) x ] [ ] ( x ) ( x ) x 23. Reresentar gráficamente las siguientes exresiones: a) b) ( ) r r c) [ ( ) ] [ ( ) ] Página 18 de 167
19 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI 24. Determinar la menor exresión ue reresenta al circuito: [ ( ( ) ) ] [ ( ) ] [ ] ( ) 25. Simlificar y hallar el euivalente a los circuitos dados. a) r s r r s r r { [ ( r s ) ( r s ) ] s } [ r ( r ) ] { [ ( r s ) s ] [ ( r s ) s ) ] } ( r ) [ ( r s ) s ] ( r ) s ( r ) s b) r { [ ( ) ( ) ] [ ( ) ( ) ] } ( ) [ ( ) ( ) ] ( ) Página 19 de 167
20 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI c) [ ( ) ] [ ( ) ( ) ] [ ( ) ] [ ( ) ] [ ] ( ) 26. Simbolizar: Si Juan articia en un comité electoral de la universidad entonces los estudiantes se enojarán con él, y si no articia en un comité electoral de la universidad entonces las autoridades universitarias se enojarán con él. Pero Juan articiará en un comité electoral de la universidad o no articiará. Por lo tanto, los estudiantes o las autoridades universitarias se enojarán con él. = Juan articiará en un comité electoral. = Los estudiantes se enojarán con Juan. r = Las autoridades universitarias se enojarán con Juan. [ ( ) ( r ) ( ) ] ( r ) 27. Si Anita decía la verdad, entonces Sócrates corromía a la juventud y si el tribunal lo ordenó euivocadamente, entonces Anita no es la culable. Pero, Sócrates no corromía a la juventud o Anita es la culable. Por lo tanto Anita no decía la verdad o el tribunal no condenó a Sócrates euivocadamente. = Anita decía la verdad. = Sócrates corromía a la juventud. r = El tribunal condenó euivocadamente a Sócrates. s = Anita es culable. [ ( ) ( r s ) ( s ) ] [ r ] Página 20 de 167
21 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Problemas Prouestos 1. Determinar el valor de verdad de cada una de las siguientes roosiciones: I. Si = 7 entonces = 8. II. No es verdad ue = 5, si y sólo si = 0. III. París está en Inglaterra o Londres está en rancia. I. No es verdad ue, = 3 ó = 3.. Es falso ue: si París está en Inglaterra, entonces Londres está en rancia. a) b) c) d) e) 2. Indicar el valor de verdad de: I. ( ) II. ( ) ( ) III. ( ) I. [ ( ) ] a) b) c) d) e) 3. La roosición: [ ( ) ] [ ( ) es euivalente a: a) ( ) b) c) ( ) d) ( ) e) ( ) 4. La roosición: { [ ( r ) ] ] es euivalente a: a) r b) ( ) r c) ( r ) d) ( r ) e) ( ) r 5. La roosición [ ] ( ) euivale a: a) b) c) d) e) 6. a) Si ( ) ( r s) es falso, deducir el valor de: ( ) b) Si es verdadera, es falso, deducir el valor de verdad de: [ ( ) r ] s a) b) c) d) e) altan datos en (b) Página 21 de 167
22 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI 7. Si la roosición: ( r s) [ ( s ) ( ) ] es falsa, entonces el valor de verdad de las roosiciones: I. ( ) r II. ( s) III. [ r ] s a) b) c) d) e) 8. Si (x): x 2 = 16 (x): x - 4 = 8 r(x): x 2-4 > 5 Hallar el valor de verdad de: I. [ ( (1) (3) ( r(2) (3) ) ] [ ( (2) (2) ) ] II. [ ( (2) (12) ] r(4) III. [ (4) r (5) ] (4) a) b) c) d) e) 9. Sean m y n números reales, definimos: Si: (x) = r: 4 < 2-1 = 0 s: -1 < 0 x 2 < 0 (r) + (s) = 21 3m + 1, si x es una roosición verdadera n 3n 1, si ex es una roosición falsa m Hallar el valor de: m/n + n/m a) 1/3 b) 1/7 c) 0 d) 11 e) Sea U = { x R / 5 < x < 100 } el universo. Halle el valor de verdad de: I. x, y, z / x + y > z II. x, y, z / 2x y < -z III. x, y, z / 2x - y < 5z a) b) c) d) e) 11. Sea U = { 1, 2, 3 } el conjunto universal. Hallar el valor de verdad de: I. x, y / x 2 < y + 1 II. x, y / x 2 + y 2 < 12 III. x, y / x 2 + y 2 < 12 I. x, y / x 2 + y 2 < 12 a) b) c) d) e) 12. Sea U = { 1, 2, 3, 4 } el conjunto universal. Hallar el valor de verdad de: A = [ ( r ) ( r) ] ( ) B = [ { ( r ) } r ] Se sabe ue: : x / x + 3 < 6 : x / 2x 2 + x = 5 r: x / x 2-10 < 8 a) b) c) d) e) N.A. Página 22 de 167
23 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI 13. Si y son verdaderos, ara ué valores de r, el esuema siguiente es verdadero? ( r ) ( r ) a) b) c) o d) No se uede determinar e) altan datos 14. Si definimos: * ( ) cuál o cuáles de las siguientes afirmaciones son verdaderas? I. * II. ( * ) * ( * ) III. * ( * ) [ ] I. ( ) * ( * ) a) Solo I y II b) Solo II c) Ninguna d) Solo I e) Solo III 15. Cuáles de las siguientes roosiciones son verdaderas? I. [ ( ) ] II. [ (r ) ] [ ( r) ( ) ] III. [ ( ) ] a) Solo I y II b) Solo II y III c) Todas d) Solo I e) N.A. 16. Determinar la menor exresión ue reresenta al circuito. a) Rta.: b) Rta.: c) Rta.: d) Rta.: ( ) e) r s r s s r r Página 23 de 167
24 UNIERSIDAD PRIADA DE MOQUEGUA JOSE CARLOS MARIATEGUI Rta.: s ( r) f) Rta.: g) Rta. : g) Rta. : CLAE DE RESPUESTAS: a d c a b c d a e e e b c c c Página 24 de 167
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 detallesTema: 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 detallesMATEMÁ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 detallesCAPÍ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 detallesALGEBRA 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 detallesMaterial 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 detallesLÓ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 detallesencontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.
Álgebra proposicional 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 u oraciones. Estas
Más detallesLÓ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 detallesMatemá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 detallesLó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 detallesMATEMÁ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 detallesUNIVERSIDAD 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 detallesCapí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 detallesMATEMÁ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 detallesCoordinació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 detallesQué 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 detallesLógica Matemática, Sistemas Formales, Cláusulas de Horn
Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lic. José Manuel Alvarado La lógica se ocupa de las argumentaciones válidas. Las argumentaciones ocurren cuando se quiere justificar una proposición
Más detallesIntroducció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 detallesTRAZADO 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 detallesPROCESOS 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 detallesSESIÓN 04 LÓGICA PROPOSICIONAL
SESIÓN 04 LÓGICA PROPOSICIONAL La Lógica Proposicional, sentencial o lógica de enunciados, es la parte de la Lógica simbólica que trata de las proposiciones sin analizarlas y de sus combinaciones. 1. PROPOSICIONES
Más detallesCapí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 detallesRAZONAMIENTO 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 detallesde los argumentos simbólicos o formalizados s("la Lógica es la ciencia de la inferencia formalmente válida")
En nuestro uehacer diario, constantemente hacemos deducciones, esto significa ue cada conclusión ue establecemos se deduce de "algo"; este algo o unto de artida se llama "remisa". Por ejemlo, si eonemos
Más detallesMATEMÁ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 detallesWalter 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 detallesAmpliació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 detallesForma lógica de enunciados
Forma lógica de enunciados Marisol Miguel Cárdenas Lenguaje natural y lenguaje formal El lenguaje natural es aquel que utilizamos cotidianamente. Surge históricamente dentro de la sociedad y es aprendido
Más detallesMatemá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 detallesMARIO PONCE FACULTAD DE MATEMÁTICAS P. UNIVERSIDAD CATÓLICA DE CHILE. 1. Resumen
MSS Y GEOMETRÍ DE TRIÁNGULOS MRIO PONE FULTD DE MTEMÁTIS P. UNIVERSIDD TÓLI DE HILE 1. Resumen artir del rinciio de las alancas, desarollado or rquímides se establece una relación entre masas distribuidas
Más detallesINTRODUCCIÓ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 detallesREGLAS 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 detallesMatemá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 detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Lógica : Proposiciones, Conectivos, Tablas de Verdad y Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Lógica Matemáticas Discretas - p. 1/43 En esta lectura
Más detallesEJERCICIOS SOBRE PROPOSICIÓN. DEFINICIÓN Y CLASES
INSTRUCCIÓN. Resuelve los problemas propuestos del modo siguiente: primero en forma individual, luego en forma grupal y por último preséntalo en forma grupal en un máximo de cinco (05) integrantes. EJERCICIOS
Más detallesUnidad Cómo Pensar II? LÓGICA PROPOSICIONAL
ilosofía Unidad Cómo Pensar II? LÓGICA PROPOSICIONAL LOS PINGUINOS SON EN BLANCO Y NEGRO. ALGUNOS PROGRAMAS DE TELEISIÓN IE- JOS SON EN BLANCO Y NEGRO. POR LO TANTO, ALGUNIOS PINGUINOS SON PRO- GRAMAS
Más detallesSOBRE 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 detallesOferta y demanda. Oferta y demanda. Excedente del consumidor. Disposición a pagar. Tema 2
Oferta y demanda Tema 2 Oferta y demanda La oferta y la demanda son los instrumentos más imortantes de la Teoría Económica Vamos a ver los asectos más básicos de la oferta y la demanda, así como el análisis
Más detallesEn matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse
En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse lógicamente como un término no definido. Un conjunto se
Más detallesLÓ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 detallesEl conjuntos de los estudiantes inteligentes de la UPR Río Piedras. El conjunto de los mejores baloncelistas de la NBA.
1 Conjuntos Un conjunto es una colección de objetos bien definida. Ejemplos de conjuntos: El conjuntos de todos los estudiantes matriculados en el programa immersión. El conjunto de todos los pueblos de
Más detallesUNIVERSIDAD SEÑOR DE SIPÁN CURSO: LÓGICO MATEMÁTICA. Gonzales Caicedo Walter Orlando. Guía. Walter
UNIERSIDAD SEÑOR DE SIPÁN CURSO: LÓGICO MATEMÁTICA Gonzales Caicedo Orlando Guía 2 0 10 LÓGICA PROPOSICIONAL 1.1 Enunciados y alor de erdad La lógica es la rama del conocimiento que trata los modelos de
Más detallesDefinición y representación de los
Definición y representación de los circuitos lógicos. LÁMARA R + - + - OBJETIVO GENERAL BATERÍA Utilizar el álgebra booleana para analizar y describir el funcionamiento de las combinaciones de las compuertas
Más detallesQué es significado? Relaciones entre oraciones y la verdad. Implicación* ( entailment ) Sinonimia. Contradicción-1. Contradicción-2.
Qué es significado? Relaciones entre oraciones y la verdad Lógica y Presuosición odor 1983: no hay resuesta. = Qué es un número? No tiene resuesta fuera de una teoría comleta. Otros buscan saber ué tio
Más detallesANOTACIONES 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 detallesLic. Manuel de Jesús Campos Boc
UNIVERSIDAD MARIANO GÁLVEZ DE GUATEMALA FACULTAD DE CIENCIAS DE LA ADMINISTRACIÓN DIRECCIÓN GENERAL DE CENTRO UNIVERSITARIOS CENTRO UNIVERSITARIO DE VILLA NUEVA CURSO MATEMÁTICAS APLICADA I 2015 Lic. Manuel
Más detalles10.4 Sistemas de ecuaciones lineales
Programa Inmersión, Verano 2016 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 001 y MATE 02 Clase #11: martes, 14 de junio de 2016. 10.4 Sistemas de ecuaciones lineales
Más detallesProf. 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 detallesLa Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la
LÓGICA MATEMÁTICA OBJETIVOS Definirás proposición simple. Definirás proposiciones compuestas: Disyunción y conjunción. Relacionarás dichas proposiciones con las operaciones de conjuntos: unión e intersección.
Más detallesProcesamiento 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 detallesLICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /
Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente
Más detalles1. 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 detallesINTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN
INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4
Más detallesESCUELA MILITAR DE INGENIERÍA MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I
ESCUELA MILITAR DE INGENIERÍA Elaborado por: Lic. Bismar Choque Nina MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I A pesar de que la refutación por ejemplo del contrario es un procedimiento válido, los teoremas
Más detallesCONCEPTOS Y EXPERIMENTOS EN DINÁMICA DE FLUIDOS
VIII Congreso Nacional de Ciencias Exloraciones fuera y dentro del aula 7 y 8 de agosto, 006 Universidad Earth, Guácimo, Limón, Costa Rica CONCEPTOS Y EXPERIMENTOS EN DINÁMICA DE FLUIDOS Ing. Carlos E.
Más detallesDesigualdades lineales en una variable. Prof. Anneliesse Sánchez Adaptada por Prof. Caroline Rodriguez Departamento de Matemáticas UPR - Arecibo
Desigualdades lineales en una variable Prof. Anneliesse Sánchez Adaptada por Prof. Caroline Rodriguez Departamento de Matemáticas UPR - Arecibo Desigualdades o Inecuaciones Una desigualdad, es una oración
Más detallesJohn 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 detallesL OGICA Proposiciones
CAPíTULO 4 LÓGICA Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o argumentamos a favor
Más detallesUnidad 2.- Lógica y tablas de verdad. Lógica
Lógica Algebra Booleana Las álgebras booleanas, estudiadas por primera vez en detalle por George Boole, constituyen un área de las matemáticas que ha pasado a ocupar un lugar prominente con el advenimiento
Más detallesCapítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:
Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma
Más detallesGuía para el estudiante
Guía para el estudiante Guía realizada por Jefferson Bustos Profesional en Matemáticas Master en Educación Nombre: Fecha: Curso: Dentro del lenguaje común, las palabras y frases pueden tener diversas interpretaciones.
Más detallesRAZONAMIENTO MATEMÁTICO
RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.
Más detallesParte II. Teoría a del Consumidor
Parte II. Teoría a del Consumidor Tema 2: La conducta de los consumidores Tema 3: Teoría de la demanda Tema 4: El modelo de elección intertemoral. Parte I. Teoría a del Consumidor Tema 2: La conducta de
Más detallesDEPARTAMENTO DE MATEMÁTICAS B A C H I L L E R A T O
DEPARTAMENTO DE MATEMÁTICAS B A C H I L L E R A T O FUNDACIÓN VEDRUNA S E V I L L A COLEGIO SANTA JOAQUINA DE VEDRUNA MATEMÁTICAS I LÍMITES Y CONTINUIDAD DE FUNCIONES Límite finito de una función en un
Más detallesLógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores
Guía Lógica Proposicional Tema III: Cuantificadores 1.7.2. CUANTIFICADORES Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en lugar de tener que enumerar los objetos por
Más detallesLÓGICA PROPOSICIONAL
MATEMÁTICA I AÑO LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL Nadie aprende si no se ha equivocado al intentarlo... - DE QUÉ TRATA LA LÓGICA? La lógica investiga la relación de consecuencia que se da entre
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.
Más detallesy( x ) es solución de la ecuación ( I ) si y solo si lo es de la ecuación ( II ).
EDO ara Ingenieros CAPITULO 4 FACTORES ITEGRATES Suongamos que aora que nos dan una ecuación diferencial M (, ) + (, ) d = 0 ( I) Que no es eacta Eiste alguna forma de acerla eacta? Con más recisión, Eistirá
Más detalles2. INFERENCIA LÓGICA
2. INFERENCIA LÓGICA 2.1. Introducción En el caítulo 1, hemos arendido a dividir las roosiciones en sus artes lógicas y de este modo se ha llegado a conocer algo sobre la forma lógica de las roosiciones.
Más detallesELEMENTOS DE LA TEORÍA DE CONJUNTOS
ELEMENTOS DE LA TEORÍA DE CONJUNTOS 1 CONJUNTO EJEMPLOS NOTACIÓN NOTACIÓN TABULAR O POR EXTENSIÓN DE UN CONJUNTO Cuando se define el conjunto por la efectiva enumeración de sus elementos separándolos por
Más detalles1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad.
Tema 1 Lógica. 1.1 Cálculo proposicional. Definición 1.1 Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. Los dos posibles valores de verdad que
Más detallesUna proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).
Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos
Más detallesBenemérita Universidad Autónoma de Puebla
Tarea No. 1 Matemáticas Elementales Profesor Fco. Javier Robles Mendoza Benemérita Universidad Autónoma de Puebla Facultad de Ciencias de la Computación Lógica y Conjuntos 1. Considere las proposiciones
Más detallesDesigualdades o inecuaciones lineales en una variable. Prof. Caroline Rodriguez Departamento de Matemáticas UPR - Arecibo
Desigualdades o inecuaciones lineales en una variable Prof. Caroline Rodriguez Departamento de Matemáticas UPR - Arecibo Desigualdades Usamos los símbolos de una desigualdad son: ,, para representar
Más detallesTópicos de Matemáticas Discretas
Tópicos de Matemáticas Discretas Proposiciones Lógicas y Tablas de Verdad Raquel Torres Peralta Universidad de Sonora Matemáticas Discretas Proposiciones Lógicas Matemáticas Discretas Lógica - La lógica
Más detallesDefinición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ).
ALGEBRA La primera parte del presente libro está dedicada a las estructuras algebraicas. En esta parte vamos a iniciar agregándole a los conjuntos operaciones. Cuando las operaciones tienen determinadas
Más detallesCURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES
LAS PROPOSICIONES Objetivo Brindar al estudiante un concepto claro en la formulación, interpretación y aplicabilidad de las proposiciones. La interpretación de las proposiciones compuestas permite al estudiante
Más detallesLógica. Matemática discreta. Matemática discreta. Lógica
Lógica Matemática discreta Lógica: rama de las matemáticas instrumento para representar el lenguaje natural proporciona un mecanismo de deducción 2 y de predicados Razonamientos Cálculo proposicional Cálculo
Más detallesT-22: COMPORTAMIENTO IDEAL DE SISTEMAS GASEOSOS
T-22: COMPORTAMIENTO IDEAL DE SISTEMAS GASEOSOS 1. Estados de equilibrio de un sistema. ariables de estado. Transformaciones 1 2. Ecuación de estado ara comortamiento ideal de un gas 2 3. olumen molar
Más detallesUNIDAD II: TEORÍA DE CONJUNTOS 2.1. INTRODUCCIÓN
UNDD : TEORÍ DE CONJUNTOS 2.1. NTRODUCCÓN Según Georg Cantor un conjunto es la reunión, agrupación o colección de elementos bien definidos que tienen una propiedad en común, concepto que ha penetrado y
Más detalles{ } Listado de elementos del conjunto
CONJUNTOS Qué es un conjunto? Un conjunto es un grupo no ordenado de elementos que comparte una o más características. Nomenclatura en los conjuntos Los conjuntos siempre se nombran con letras mayúsculas,
Más detallesLógica proposicional. Ivan Olmos Pineda
Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre
Más detallesTEMA N 1 LÓGICA Y CONJUNTOS
TEMA N 1 LÓGICA Y CONJUNTOS DEFINICIÓN Y NOTACIÓN DE CONJUNTOS OBJETIVOS Comprenderás, o repasarás, la idea intuitiva de conjunto. Definirás conjuntos por enumeración y por comprensión, así como su forma
Más detallesProposicional. Curso Mari Carmen Suárez de Figueroa Baonza
Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad
Más detallesFacultad de Informática. Módulo 1 Lógica. Matemática 0 UNLP. Curso de Ingreso 2013 Matemática 0 Página 1
Matemática 0 UNLP Curso de Ingreso 2013 Matemática 0 Página 1 Contenido 1.1 Álgebra de proposiciones 3 Expresiones No Proposicionales 4 Enunciados Abiertos 4 Clasificación de las Proposiciones 4 1.2 Conectivos
Más detallesTema 1. Lógica proposicional. Proposiciones. Cuanticadores. Métodos de demostración. Aplicación en otros campos del conocimiento. Evolución histórica.
Tema 1.1 Tema 1 Lógica roosicional. Proosiciones. Cuanticadores. Métodos de demostración. Alicación en otros camos del conocimiento. Evolución histórica. GUIÓN-ÍNDICE 1. Lógica roosicional 1.1. Proosiciones
Más detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesNotas de Álgebra y Matemática Discreta
Libros de Cátedra Notas de Álgebra y Matemática Discreta Liliana Alcón FACULTAD DE CIENCIAS EXACTAS NOTAS DE ÁLGEBRA Y MATEMÁTICA DISCRETA Liliana Alcón 2014 Alcón, Liliana Notas de algebra y matemática
Más detallesINSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA
INSTITUCION EDUCATIA LA PRESENTACION NOMBRE ALUMNA: AREA : MATEMATICAS ASIGNATURA: MATEMATICAS. NOTA DOCENTE: HUGO HERNAN BEDOYA TIPO DE GUIA: CONCEPTUAL - EJERCITACION PERIODO GRADO ECHA N DURACION 1
Más detallesCIRCUITOS LÓGICOS. Lógica FCE 1. ALGEBRA DE BOOLE
Lógica FE IRUITOS LÓGIOS 1. LGER DE OOLE 1.1 Introducción Tanto la teoría de conjuntos como la lógica de enunciados tienen propiedades similares. Tales propiedades se utilizan para definir una estructura
Más detallesSISTEMA DE NUMEROS REALES
SISTEMA DE NUMEROS REALES 1.1 Conjuntos Es una agrupación de objetos distintos (pero con algunas características en común), los que reciben el nombre de elementos. Generalmente se nombra a un conjunto
Más detallesProbabilidad. Generalidades
robabilidad Generalidades a probabilidad estudia experimentos en los que se pueden esperar varios resultados y no solamente uno. os experimentos se pueden clasificar como aleatorios o determinísticos.
Más detallesMATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES.
MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. Ing. HUGO HUMBERTO MORALES PEÑA MAESTRÍA EN ENSEÑANZA DE LAS MATEMÁTICAS Línea de Matemáticas Computacionales UNIVERSIDAD TECNOLÓGICA
Más detallesEn general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.
nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas
Más detallesSi..., siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, solamente.
1.2 Proposiciones condicionales y equivalencia lógica. Proposición Condicional o implicación lógica Una proposición condicional, es aquella que está formada por dos proposiciones atómicas o moleculares,
Más detallesDesigualdades o inecuaciones lineales en una variable. Prof. Caroline Rodriguez Departamento de Matemáticas UPR - Arecibo
Desigualdades o inecuaciones lineales en una variable Prof. Caroline Rodriguez Departamento de Matemáticas UPR - Arecibo Desigualdades Una desigualdad o inecuación usa símbolos como ,, para representar
Más detallesLógica Proposicional
Existen en la realidad un número considerable de problemas con los que una persona se enfrenta y de los cuales se deben deducir ciertos datos para poder resolverlos. Generalmente la forma en que las personas
Más detallesApuntes de Lógica Proposicional
Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias
Más detalles( ) = = ( ) ( ) 1 = La probabilidad de que no ocurra ninguno de los dos es la probabilidad de la intersección de los complementarios ó contrarios.
CUESTONES. Sean y B dos sucesos con (0,5, (B0, y ( B0,. Calcular las siguientes robabilidades (, (, ( B, (. B B B B ( ( B 0' B B 0' ( B ( B ( B ( B ( B B ( B B ( B B 0' 0'5 + 0' 0' 7 B B B ( ( B ( B (
Más detalles