Capitulo I - Lógica Matemática

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

Download "Capitulo I - Lógica Matemática"

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

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

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

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

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

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

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

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

encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era griego y el segundo (q) que Pitágoras era geómetra.

encontramos 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 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

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é. 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

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

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

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

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

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

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

Lógica Matemática, Sistemas Formales, Cláusulas de Horn

Ló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 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

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

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

SESIÓN 04 LÓGICA PROPOSICIONAL

SESIÓ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 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

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

de los argumentos simbólicos o formalizados s("la Lógica es la ciencia de la inferencia formalmente válida")

de 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 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

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

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

Forma lógica de enunciados

Forma 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 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

MARIO PONCE FACULTAD DE MATEMÁTICAS P. UNIVERSIDAD CATÓLICA DE CHILE. 1. Resumen

MARIO 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 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

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

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

Matemáticas Discretas TC1003

Matemá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 detalles

EJERCICIOS SOBRE PROPOSICIÓN. DEFINICIÓN Y CLASES

EJERCICIOS 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 detalles

Unidad Cómo Pensar II? LÓGICA PROPOSICIONAL

Unidad 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 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

Oferta y demanda. Oferta y demanda. Excedente del consumidor. Disposición a pagar. Tema 2

Oferta 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 detalles

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

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 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 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

El conjuntos de los estudiantes inteligentes de la UPR Río Piedras. El conjunto de los mejores baloncelistas de la NBA.

El 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 detalles

UNIVERSIDAD SEÑOR DE SIPÁN CURSO: LÓGICO MATEMÁTICA. Gonzales Caicedo Walter Orlando. Guía. Walter

UNIVERSIDAD 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 detalles

Definición y representación de los

Definició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 detalles

Qué 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. 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 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

Lic. Manuel de Jesús Campos Boc

Lic. 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 detalles

10.4 Sistemas de ecuaciones lineales

10.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 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

La 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

La 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 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

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /

LICENCIATURA 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 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

INTRODUCCION 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 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 detalles

ESCUELA MILITAR DE INGENIERÍA MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I

ESCUELA 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 detalles

CONCEPTOS Y EXPERIMENTOS EN DINÁMICA DE FLUIDOS

CONCEPTOS 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 detalles

Desigualdades 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 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 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

L OGICA Proposiciones

L 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 detalles

Unidad 2.- Lógica y tablas de verdad. Lógica

Unidad 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 detalles

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:

Capí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 detalles

Guía para el estudiante

Guí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 detalles

RAZONAMIENTO MATEMÁTICO

RAZONAMIENTO 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 detalles

Parte II. Teoría a del Consumidor

Parte 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 detalles

DEPARTAMENTO 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 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 detalles

Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores

Ló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 detalles

LÓGICA PROPOSICIONAL

LÓ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 detalles

LÓGICA PROPOSICIONAL

LÓ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 detalles

y( x ) es solución de la ecuación ( I ) si y solo si lo es de la ecuación ( II ).

y( 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 detalles

2. INFERENCIA LÓGICA

2. 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 detalles

ELEMENTOS DE LA TEORÍA DE CONJUNTOS

ELEMENTOS 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 detalles

1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad.

1.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 detalles

Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).

Una 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 detalles

Benemérita Universidad Autónoma de Puebla

Benemé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 detalles

Desigualdades 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 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 detalles

Tópicos de Matemáticas Discretas

Tó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 detalles

Definición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ).

Definició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 detalles

CURSO NIVELACIÓN LÓGICA MATEMÁTICA PROYECTO UNICOMFACAUCA TU PROYECTO DE VIDA LAS PROPOSICIONES

CURSO 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 detalles

Lógica. Matemática discreta. Matemática discreta. Lógica

Ló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 detalles

T-22: COMPORTAMIENTO IDEAL DE SISTEMAS GASEOSOS

T-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 detalles

UNIDAD II: TEORÍA DE CONJUNTOS 2.1. INTRODUCCIÓN

UNIDAD 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

{ } 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 detalles

Lógica proposicional. Ivan Olmos Pineda

Ló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 detalles

TEMA N 1 LÓGICA Y CONJUNTOS

TEMA 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 detalles

Proposicional. Curso Mari Carmen Suárez de Figueroa Baonza

Proposicional. 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 detalles

Facultad de Informática. Módulo 1 Lógica. Matemática 0 UNLP. Curso de Ingreso 2013 Matemática 0 Página 1

Facultad 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 detalles

Tema 1. Lógica proposicional. Proposiciones. Cuanticadores. Métodos de demostración. Aplicación en otros campos del conocimiento. Evolución histórica.

Tema 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 detalles

Cálculo Proposicional

Cá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 detalles

Notas de Álgebra y Matemática Discreta

Notas 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 detalles

INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: ASIGNATURA: MATEMATICAS. NOTA

INSTITUCION 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 detalles

CIRCUITOS LÓGICOS. Lógica FCE 1. ALGEBRA DE BOOLE

CIRCUITOS 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 detalles

SISTEMA DE NUMEROS REALES

SISTEMA 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 detalles

Probabilidad. Generalidades

Probabilidad. 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 detalles

MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES.

MATERIAL 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 detalles

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.

En 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 detalles

Si..., siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, solamente.

Si..., 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 detalles

Desigualdades 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 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 detalles

Lógica Proposicional

Ló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 detalles

Apuntes de Lógica Proposicional

Apuntes 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.

( ) = = ( ) ( ) 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