Capítulo 3. Leyes Lógicas
|
|
- Xavier Páez Acuña
- hace 6 años
- Vistas:
Transcripción
1 Capítulo 3. Leyes Lógicas por G 3 Agosto 2014 Resumen Mostraremos en estas notas algunas de las llamadas leyes lógicas usuales, por el camino largo y aburrido, mediante tablas de verdad. Hay también una breve discusión sobre tautologías y absurdos, y definimos equivalencia de proposiciones. 1. Tautologías y Absurdos Anotamos la definición primordial. Definición 1. Decimos que una proposición compuesta es una tautología si su valor de verdad es siempre V, independientemente de los valores de verdad de sus proposiciones componentes. Un absurdo, por el contrario, es una proposición compuesta cuyo valor de verdad es siempre F, independientemente de los valores de verdad de sus proposiciones componentes Una proposición compuesta que no es tautología ni absurdo, es decir, sus valores de verdad dependen de los valores de verdad de las proposiciones componentes, es contingente. Notación. Usamos la letra mayúscula T para denotar una tautología y una letra mayúscula A para denotar un absurdo. 1
2 Probamos algunos ejemplos. Antes, queremos advertir que de aquí en adelante, cuando usamos las literales p, q, r, s, etc., nos referimos a proposiciones, por lo que obviamos tener que estar escribiendo a cada momento, cuál es el sentido de tales literales. No debe ser difícil al lector recordar esta advertencia. Proposición 1. [(p q) (q r)] (p r) es tautología. Demostración. Queremos probar que esta implicación es siempre V, independientemente de los valores de verdad de las proposiciones componentes. Podemos construir una tabla de valores de verdad. Pero ello es muy largo y aburrido. Así que procedemos de la siguiente manera: La única forma en que tal implicación es falsa es cuando (1) (p q) (q r) es V y (2) p r es F. Lo primero ocurre sólo si las proposiciones p q y q r son ambas V, o equivalentemente, si p y q son ambas V, y si q es V entonces r es V. Lo cual implica que p y r son V. Mientras que lo segundo ocurre sólo si al menos una de las proposiciones p y r son F. Vemos entonces que ambos casos son incompatibles. Por lo tanto ((p q) (q r)) (p r) es tautología. Sin embargo, en lo anterior, incluir la hipótesis (p r) es esencial. Proposición 2. (p q) (p r) y (p q) (p r) son contingentes. Demostración. Para ver que (p q) (p r) es contingente, basta observar que tal implicación es V, si p ó q son F, y es V, si p, q y r son V. Lo mismo se puede ver con (p q) (p r). Observación. En general, una implicación p q es tautología si, y sólo si, p es F o bien q es V. Equivalentemente, p q es absurdo si, y sólo si, p es V y q es F. Proposición 3. p (q p) es tautología. Demostración. Podemos hacer tablas, pero ello nos resulta cansado, así que procedemos como sigue: Queremos probar que la implicación p (q p) es 2
3 siempre V. Así que lo único que nos interesa es ver si tal implicación puede ser F. Pero para que sucediera F, debería cumplirse que p es V y q p es F. Pero observe que ello es absurdo, pues si p es V, la implicación q p es V, sin importar el valor de q. La forma en que procedimos, en las pruebas de las proposicines 1 y 3 anteriores, es típica cuando queremos evitar el uso de tablas. Hacemos en seguida una descripción más específica de cómo hacer esto. Observación. En general, para probar que p q es tautología sin el uso de tablas, hay dos formas típicas de proceder: Modo 1: Probar que los casos p es V y q es F son incompatibles. Modo 2: Probar que si p es V, entonces q es V. Note que ello impide que los casos p es V y q es F coexistan. Obviamente ambos formas son equivalentes. El uso de una u otra forma depende de como sea más fácil, según el caso particular. Proposición 4. [(p q) (q r)] (p r) es tautología. Demostración. Para no hacer una tabla procedemos así: Supongamos que (p q) (q r) es V. Entonces p q y q r son ambos V. Luego, si p r es F entonces, se sigue que r es F y p es V, y por tanto q es V. Pero ello significa que q r es F, lo cual es contradictorio. Así, p r es V. La proposición anterior dice que la implicación es un conectivo transitivo. Vemos ahora cómo las implicaciones tautológicas se heredan transitivamente. Proposición 5. Si p q y q r son ambas tautologías, entonces p r es tautología. Demostración. Supongamos que p q y q r son ambas tautologías. La única forma en que p r es F, es cuando p es V y r es F. Pero si p es V, se sigue que q es V, de donde r es V. Así que los casos p es V y r es F son incompatibles. Se sigue que p r es tautología. Probamos a continuación un par de hechos generales relativos a tautologías y absurdos, casi triviales. 3
4 Proposición 6. Si T es una tautología, entonces T es un absurdo. Si A es un absurdo, entonces A es una tautología. Demostración. T es siempre V, por lo tanto T es siempre F. Por otro lado, A es siempre F, por lo tanto A es siempre V. Proposición 7. Si T es una tautología, entonces p T y p T son ambas tautologías. Si A es un absurdo, entonces p A es un absurdo y A p es tautología. Demostración. Dado que T es siempre V, se sigue que p T y p T son siempre V. Ahora, como A es siempre F, se sigue que p A es siempre F, mientras que A p es siempre V. Si a caso alguien no se siente convencido con las pruebas dadas hasta aquí, puede fácilmente confeccionar las tablas de verdad. Suerte!!! Enunciamos otros ejemplos triviales. Proposición 8 (Ley del tercero excluido). Para toda proposición p, p p es tautología y p p es absurdo. Demostración. Haciendo tablas, p p V V F F V V p p V F F F F V Proposición 9. Para cualquier proposición p, las proposiciones p p y p p, son tautologías. Demostración. Son obvias, pero por si las moscas escribimos las tablas p p V V V F V F p p V V V F V F 4
5 2. Proposiciones Equivalentes Definición 2. Si p q es una tautología, entonces diremos que p y q son (lógicamente) equivalentes, y usamos la notación p q. Observación. A partir de la tabla de, se sigue que dos proposiciones son equivalentes si, y sólo si, tienen la misma tabla de valores de verdad. Por tanto, p q si, y sólo si, q p. Observación. De ese mismo hecho se sigue que si T es una tautología y T p, entonces p es también una tautología. Lo mismo puede decirse si cambiamos tautología por absurdo Observación. Se sigue también que las equivalencias se heredan transitivamente: Dos proposiciones equivalentes a una tercera, son equivalentes. Esto es, si p q y q r, entonces p r. Observación. El ejemplo más trivial es el hecho de que p p. Proposición 10. p q (p q) (q p). Demostración. Queremos probar que (p q) ((p q) (q p)) es tautología. Podemos comprobarlo a partir de la tabla de valores. (p q) ((p q) (q p)) V V V V V V V V V V V V F F V V F F V F V V F F V V F V V V V F F F V F V F V F V F V F Ahora damos otro argumento sin tablas. Queremos probar que p q y (p q) (q p) tienen la misma tabla de valores de verdad. Supongamos que p q es V. Entonces p y q tienen la misma tabla. Es decir, ambos son V o bien ambos son F. Note que en cualquier caso p q y q p son ambas V. Así, (p q) (q p) es V. Por otro lado, si (p q) (q p) es F, entonces al menos una de las implicaciones p q y q p es F. En todo caso, los valores de p y q difieren, y por tanto p q es F. 5
6 Observación. Cuando queremos probar una equivalencia p q, sin usar tablas, podemos proceder según alguna de las formas siguientes: Modo Uno: Paso 1). Suponemos que p es V, y entonces probamos que q debe ser V. Paso 2). Suponemos que q es F, y entonces mostramos que p debe ser F. Modo Dos: Paso 1). Suponemos que p es V, y entonces probamos que q debe ser V. Paso 2). Suponemos que q es V, y entonces probamos que p debe ser V. Note que ambos métodos son también formas de probar que p y q tienen la misma tabla de valores de verdad. Mostramos ahora el criterio para afirmar cuándo dos proposiciones son equivalentes. Proposición 11. La proposición p q es una tautología si, y sólo si, ambas proposiciones p q y q p son tautologías. Demostración. Podríamos hacer una tabla, pero preferimos sólo imaginarla. Asumiendo entonces que p q es tautología, se sigue que p y q tienen la misma tabla de valores de verdad. Por tanto es obvio que p q y q p son ambas tautologías. Recíprocamente, supongamos que p q y q p son ambas tautologías. Esto significa que si p es V, entonces q es V, y si q es V, entonces p es V. Ello implica a su vez que si p es F, entonces q es F (de otro modo, se seguiría que p es F, una contradicción), y análogamente, si q es F, entonces p es F. Por tanto, p y q tienen la misma tabla de valores de verdad, así que p q es tautología. Podemos usar también la Proposición 6 para sintetizar lo que hemos dicho arriba del modo siguiente: Dado que p q tiene la misma tabla que (p q) (q p), se sigue que si p q es V, entonces p q y q p son V. Y recíprocamente, si p q y q p son ambas V, entonces p q es V. Y así se sigue de inmediato lo que queremos demostrar. Probamos un hecho más, bastante remarcable, pues establece una forma equivalente de la implicación. 6
7 Proposición 12. p q (p q). Demostración. Lo que queremos probar es que (p q) (p q) es tautología. Es decir, que las proposiciones a la derecha e izquierda de la doble implicación tienen la misma tabla. Podríamos hacer las tablas, pero preferimos sólo imaginarlas. Pues bien, p q es V, cuando p es V y q es V, o bien, cuando p es F. En cualquier caso, p q es F, y por tanto, (p q) es V. Por otro lado, si p q es F, entonces p es V y q es F, lo que significa que p q es V, y por lo tanto (p q) es F. Esto significa, en efecto, que p q tiene la misma tabla que (p q), como queríamos. Observación. Con esta equivalencia podemos entonces reintrerpretar la implicación del modo siguiente: p q es V si, y sólo si, la verdad de p no coexiste con la verdad de q. Proposición 13. p q (p q) Demostración. Si hacemos una tabla, (p q) (p q) V F V V F V V V V V F V V V F F F V V V V F F V F F F V F F V F También podemos proceder como sigue: Queremos probar que p q y (p q) tienen la misma tabla. Pero note que p q es V si, y sólo si, p y q tienen distintos valores de verdad, en cuyo caso p q es F y por tanto (p q) es V. Hacemos una última observación cuya prueba es trivial. Proposición 14. Si T es una tautología y A es un absurdo, entonces para cualquier proposición p, p T T, p T T, A p T y p A A. 7
8 3. Leyes Lógicas Es habitual denominar ciertas tautologías como leyes lógicas. Ello se debe a que es constante su uso y conviene referirse a ellas con algún nombre. Aunque en sentido estricto, toda tautología es una ley lógica. Estudiamos en lo que sigue solo algunas de las llamadas leyes lógicas más comunes. En esta sección, algunas pruebas están hechas con tablas y con las propias leyes que se han de ir enunciando y probando. Un lector aburrido debería intentar otras pruebas sin usar tablas. Ley 1 (Involución o Doble Negación). p ( p). Demostración. p ( p) V V V F V F V F V F Ley 2 (Idempotencia). p p p y p p p. Demostración. p (p p) V V V V V F V F F F p (p p) V V V V V F V F F F Ley 3 (Simplificación). (p q) p es Tautología. Demostración. (p q) p V V V V V V F F V V F F V V F F F F V F 8
9 Ley 4 (Adición). p (p q) es Tautología. Demostración. p (p q) V V V V V V V V V F F V F V V F V F F F Ley 5 (Conmutatividad). p q q p y p q q p Demostración. (p q) (q p) V V V V V V V V F F V F F V F F V V V F F F F F V F F F (p q) (q p) V V V V V V V V V F V F V V F V V V V V F F F F V F F F Ley 6 (Exportación). p (q r) (p q) r. Demostración. Por tabla de valores de verdad, (p (q r)) ((p q) r) V V V V V V V V V V V V F V F F V V V V F F V V F V V V V F F V V V V F V F V V F F V F F V V V V V F F V V V F V V F F V F F V V F F V F V V V F F F V V F V F V F V F F F V F Podemos también proceder del siguiente modo: 9
10 Hay que mostrar que las proposiciones p (q r) y (p q) r tienen la misma tabla de valores de verdad. Supongamos pues que (p q) r es V. Hay dos casos. Primero, p q es V y r es V. Entonces p, q y r son V, de donde p (q r) es V. Segundo, p q es F (no importa el valor de r). Entonces al menos una de las proposiciones p y q es F. Si sucede que p es F, entonces obviamente p (q r) es V. Si sucede que q es F, entonces q r es V, y por tanto p (q r) es V, sin importar el valor de p. Ahora supongamos que p (q r) es F. Entonces p es V y q r es F. Por lo tanto, p es V, q es V y r es F. Así, p q es V y r es F. Se sigue que (p q) r es F. Ley 7 (Reemplazo o Sustitución). Sean q y r proposiciones tales que q r. Entonces q r, y para toda proposición p p q p r y p q p r. Demostración. Dado que q r tanto p como r tienen la misma tabla de verdad. Esto debería ser suficiente para convencernos de las equivalencias que dicta la proposición. Pero por si a caso, escribimos la tabla de valores de verdad solo para la equivalencia p q p r: (p q) (p r) V V V V V V V V F F V V F F F F V V F F V F F F V F F F Lo mismo podemos hacer para mostrar q r y p q p r Se sigue de aquí una versión un poco más general de esta ley. Proposición 15 (Reemplazo o Sustitución). Si p p y q q, entonces p q p q y p q p q. 10
11 Demostración. Procedemos así: p q p q q p q p p q (Reemplazo) (Comnutatividad) (Reemplazo) (Comnutatividad). Análogo para la segunda equivalencia. Enunciamos otra ley de sustitución usual en todas las matemáticas. Proposición 16 (Reemplazo o Sustitución). Si p p y q q, entonces, p q p q. Demostración. Por Reemplazo, tenemos que q q y por tanto p q p q. Luego, por la Proposición 9, Reemplazo, y nuevamente por la Proposición 9 (en ese orden), p q (p q) (p q ) p q. Ley 8 (Leyes de De Morgan). (p q) p q y (p q) p q. Demostración. Solo haremos la primera tabla. (p q) ( p) ( q) F V V V V F V F F V V V F F V F V V V F V F F V V V F V F V V F F F V V F V V F Para probar la segunda equivalencia procedemos como sigue: ( p q) ( p) ( q) p q (primera equivalencia) (Involución y Reemplazo) 11
12 Luego, por Reemplazo e Involución, (p q) p q. Hay entonces otro modo de entender la implicación. Proposición 17. p q p q. Demostración. p q (p q) (proposición 12) p ( q) p q. (De Morgan) (involución y reemplazo). Ley 9 (Absorción). p (p q) p y p (p q) p. Demostración. Solo haremos la primera tabla. (p (p q)) p V V V V V V V V V V F F V V F F F F V V F F F F F F V F Para la segunda equivalencia, procedemos así: Por la primera de estas equivalencias probada en la tabla, p ( p q) p, de donde, por Reemplazo e Involución, ( p ( p q)) ( p) p. Pero, ( p ( p q)) ( p) ( p q) p ( ( p) ( q)) p (p q) (De Morgan) (Involución, De Morgan y Reemplazo) (Involución y Reemplazo). Por tanto p (p q) p. 12
13 Ley 10 (Asociatividad). p (q r) (p q) r y p (q r) (p q) r. Demostración. Solo haremos la primera tabla. (p (q r)) ((p q) r) V V V V V V V V V V V V F V F F V V V V F F V F F F V V V F F F V V F F F F V V F F F F F F F F F V F F F F F F F F F V V F F F F V F F V F F V F F V F F F F V F V V F F V F V Para la segunda equivalencia, procedemos así: Por la primera de estas equivalencias probada en la tabla, p ( q r) ( p q) r. De donde, por Reemplazo, ( p ( q r)) (( p q) r). Pero, ( p ( q r)) ( p) ( q r) p ( ( q) ( r)) p (q r) (De Morgan) (Involución, De Morgan y Reemplazo) (Involución y Reemplazo). Análogamente se prueba ( p q) r (p q) r. Por lo tanto, p (q r) (p q) r. Ley 11 (Distributividad). (p q) r (p r) (q r) y (p q) r (p r) (q r). 13
14 Demostración. Solo haremos la primera tabla. ((p q) r) ((p r) (q r)) V V V V V V V V V V V V V V V V F F V V F F F V F F V V F V V V V V V V F F V V V F F F V V F F F F F F F F F F F V F F F F F F F F F F F V V F F V F F F V F V V F F V F F F F V F F F V V V V V F F V V V V V Para la segunda equivalencia procedemos como sigue: De la primera de estas equivalencias probada en la tabla, ( p q) r ( p r) ( q r), de donde, por Reemplazo, (( p q) r) (( p r) ( q r)). Pero, (( p q) r) ( p q) ( r) ( ( p) ( q)) r (p q) r (De Morgan) (De Morgan, Involución y Reemplazo) (Involución y Reemplazo). Por otro lado, (( p r) ( q r)) ( p r) ( q r) ( ( p) ( r)) ( ( q) ( r)) (p r) (q r) (De Morgan) (De Morgan y Reemplazo) (Involución y Reemplazo). Por lo tanto, (p q) r (p r) (q r). Podemos dar un argumento sin recurrir a la construcción de la tabla del modo siguiente: 14
15 Para la primera equivalencia, notamos que (p q) r es V, sólo si p q y r es V, lo que implica que r es V y que alguna de las proposiciones p y q es V, en consecuencia, alguna de la proposiones p r y q r es V, y por tanto (p r) (q r) es V. Recíprocamente, si (p r) (q r) es V, entonces alguna de las proposiciones p r y q r es V, en cualquier caso, r es V y alguna de las proposiciones p y q es V, y por tanto (p q) r es V. Así que (p q) r y (p r) (q r) tiene la misma tabla y por tanto son equivalentes. Análogo para la segunda equivalencia. Ley 12 (Neutro). Sea T una tautología y sea A un absurdo. Entonces p T p y p A p. (Ver también la proposición 14). Demostración. Solo haremos la primera tabla. (p T) p V V V V V F F V V F Para la segunda equivalencia, dado que A es una tautología, entonces según la primera de estas equivalencias que acabamos de mostrar en la tabla, p A p, de donde, p ( p) ( p A) ( p) ( A) p A (Involución) (Reemplazo) (De Morgan) (Involución y Reemplazo). Ley 13 (Contra-recíproco). p q q p. 15
16 Demostración. Comprobamos la equivalencia con una tabla, (p q) ( q p) V V V V F V V F V V F F V V F F F V F V V V F V V V F F V F V V F V V F Podemos proceder también como sigue: p q (p q) (Proposición 9) ( ( p) q) ( q ( p)) (Involución y Reemplazo) (Conmutatividad y Reemplazo) q p (Proposición 9). De aquí se siguen algunas consecuencias importantes. Proposición 18 (Adición de Hipótesis). Si q r es una tautología, entonces p q r es tautología, para cualquier proposición p. Demostración. p q r p (q r) p T (Exportación) (q r T con T tautología, reemplazo) T (proposición 14). También podemos proceder así: p q q es tautología (simplificación), así que por la proposición 5, p q r es tautología. Proposición 19. Sean q y r proposiciones tales que la proposición q r es tautología. Entonces, para cualquier proposición p, p q p q r. 16
17 Demostración. Primero notamos que (q r) es un absurdo. Por otro lado, ya vimos que (q r) (q r). Así que por Reemplazo e Involución, (q r) ( (q r)) q r. De modo que q r es un absurdo. Por tanto, de la Proposición 6, p (q r) es también absurdo. Tenemos entonces, p q (p q) (r r) [(p q) r] [(p q) r] [(p q) r] [p (q r)] (p q) r (pues r r es T, usamos Neutro) (Distributividad y Reemplazo) (Asociatividad y Reemplazo) (pues p (q r) es A, usamos Neutro). Si nos imaginamos las tablas (porque no nos gusta hacerlas), también podríamos dar el siguiente argumento mucho más simple: Si q es V, entonces r es V, y por tanto q r es V, así que p q debe tener la misma tabla que p (q r). Por otro lado, si q es F, entonces es obvio que p q p q r es V. Proposición 20. Sean q y r proposiciones tales que la proposición q r es tautología. Entonces, para cualquier proposición p, las proposiciones p q p r y p q p r son ambas tautologías. Demostración. De la proposición 19 y Simplificación, p q p q r p r, son tautologías. Así, p q p r es tautología. Para la segunda implicación procedemos así: Note primero que r q es tautología, según la hipótesis y por Contra-recíproco. De modo que, por la primera parte de la proposición, ( p r) ( p q) 17
18 es tautología. Nuevamente, por Contrarecíproco, es tautología. Pero ( p q) ( p r), p q ( p) ( q) ( p q). (Involución y Reemplazo) (De Morgan) y también p r ( p) ( r) ( p r). (Involución y Reemplazo) (De Morgan) Así que por Reemplazo, [ ( p q) ( p r)] [p q p r], y por tanto p q p r es tautología. El lector también puede dar argumentos simples para estos hechos. Proposición 21 (Sustracción de Hipótesis). Supongamos que p q r s y q r son tautologías. Entonces p q s es tautología. Demostración. Si q r es tautología, se sigue entonces de la proposición 19 y reemplazo, p q s p q r s. Por lo que p q s es tautología puesto que p q r s lo es. 18
El conectivo XOR y la diferencia simétrica de conjuntos
El conectivo OR y la diferencia simétrica de conjuntos Memo Garro Enero 2018 Resumen Definimos la diferencia simétrica usual de conjuntos mediante el conectivo OR Y. También conocido comunmente como disyunción
Más detallesLOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:
LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (
Más detallesDepartamento de Ingeniería Matemática - Universidad de Chile
1. Lógica Ingeniería Matemática FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Introducción al Álgebra 08-1 Importante: Visita regularmente http://www.dim.uchile.cl/~algebra. Ahí encontrarás
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 detallesAlgebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra:
Algebras booleanas AXIOMAS DEL ALGEBRA DE BOOLE Sea B un conjunto en el cual se han definido dos operaciones binarias, + y * (En algunos casos se definen en términos de y respectivamente), y una operación
Más detallesConjuntos. () April 4, / 32
Conjuntos En general, un conjunto A se de ne seleccionando los elementos de un cierto conjunto U de referencia (o universal) que cumplen una determinada propiedad. () April 4, 2014 1 / 32 Conjuntos En
Más detallesCapítulo 8: Sistemas completos de contectivos
Capítulo 8: Sistemas completos de contectivos por G 3 Agosto 2014 Resumen Un conectivo de aridad n, es una función que asigna un valor de verdad a un conjuntos de n proposiciones ordenadas Mostramos que
Más detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Definiciones básicas: subconjunto, conjunto vacío, complemento, conjunto de partes A lo largo de esta sección consideraremos
Más detallesMatemática I C.F.E. I.N.E.T. Profesorado de Informática Conjuntos
Conjuntos Conceptos primitivos: CONJUNTO, ELEMENTO, PERTENECE. Pertenecer- Elemento Sea el conjunto de los ríos del Uruguay. El Río Negro es un río del Uruguay. Entonces, este río es un elemento del conjunto
Más detallesCapítulo 8 Sistemas completos de contectivos
Capítulo 8 Sistemas completos de contectivos por G 3 Agosto 2014 Resumen Un conectivo de aridad n, es una función que asigna un valor de verdad a un conjunto de n proposiciones ordenadas. Mostramos que
Más detallesMÉTODOS DE DEMOSTRACIÓN
2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es
Más detallesCAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS
CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS 2.1. NOCIONES PRIMITIVAS Consideraremos tres nociones primitivas: Conjunto, Elemento y Pertenencia. Conjunto Podemos entender al conjunto como, colección,
Más detallesConjuntos finitos y conjuntos numerables
Tema 3 Conjuntos finitos y conjuntos numerables En este tema vamos a usar los números naturales para contar los elementos de un conjunto, o dicho con mayor precisión, para definir los conjuntos finitos
Más detallesALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- V V V V F F F V F F F V
Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Tablas de Verdad: p q p q p p V V V V F V F F F V F V F F F F p q p q V V V V F V F V V F F F p q p q V V V V F F F V V F F V p q p q
Más detallesSemana02[1/23] Conjuntos. 9 de marzo de Conjuntos
Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos
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 detallesConjuntos finitos y conjuntos numerables
Tema 3 Conjuntos finitos y conjuntos numerables En este tema vamos a usar los números naturales para contar los elementos de un conjunto, o dicho con mayor precisión, para definir los conjuntos finitos
Más detallesGuía 4: Demostraciones en Cálculo Proposicional
Introducción a los Algoritmos - 2do. cuatrimestre 2014 Guía 4: Demostraciones en Cálculo Proposicional Docentes: Walter Alini y Luciana Benotti. El objetivo principal de esta guía es lograr un buen entrenamiento
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Métodos de Demostración Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Métodos de Demostración Matemáticas Discretas - p. 1/13 Introducción En esta sección
Más detallesPropuesta sobre la enseñanza de la demostración de implicaciones
Propuesta sobre la enseñanza de la demostración de implicaciones Brenes 1 La enseñanza de la demostración Durante el primer año de estudios en las carreras de matemática y enseñanza de matemática usualmente
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 detalles11.1. Funciones uniformemente continuas
Lección 11 Continuidad uniforme Completando el análisis de los principales teoremas que conocemos sobre continuidad de funciones reales de variable real, estudiamos ahora la versión general para espacios
Más detallesTerminaremos el capítulo con una breve referencia a la teoría de cardinales.
TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto
Más detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
Más detallesINTRODUCCION AL ALGEBRA.
INTRODUCCION AL ALGEBRA. 2- TEORIA DE CONJUNTOS. Apuntes de la Cátedra. Alberto Serritella. Colaboraron: Cristian Mascetti. Vanesa Bergonzi Edición Previa CECANA CECEJS CET Junín 2010. UNNOBA Universidad
Más detallesTEMA I INTRODUCCIÓN A LA LÓGICA
TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
Más detallesp q p q p (p q) V V V V V F F F F V V F F F V F
3.2 Reglas de inferencia lógica Otra forma de transformación de las proposiciones lógicas son las reglas de separación, también conocidas como razonamientos válidos elementales, leyes del pensamiento,
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 detallesRazonamiento Automático. Representación en Lógica de Predicados. Aplicaciones. Lógica de Predicados. Sintáxis y Semántica
Razonamiento Automático II.1 Representación en Lógica de Predicados Razonamiento en IA se refiere a razonamiento deductivo n Nuevos hechos son deducidos lógicamente a partir de otros. Elementos: n Representación
Más detallesMaterial educativo. Uso no comercial 1.4 MÉTODOS DE DEMOSTRACIÓN Método directo o Método de la hipótesis auxiliar
1.4 MÉTODOS DE DEMOSTRACIÓN Designamos en esta forma las estrategias o esquemas más generales que identificamos en los procesos deductivos. Estos modelos están fundamentados lógicamente en teoremas o reglas
Más detallesTema 3 Equivalencia. Formas normales.
Tema 3 Equivalencia. Formas normales. Lógica Proposicional Antonio de J. Pérez Jiménez Departamento Ccia. Lógica Informática Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 3 Equivalencia. Formas
Más detallesSucesiones. Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como
Universidad de la República Facultad de Ingeniería IMERL Sucesiones Curso Cálculo 1 2008 Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como a 1, a
Más detallesDemostración Contraejemplo. Métodos Indirectos
DEMOSTRACION Una demostración de un teorema es una verificación escrita que muestra que el teorema es verdadero. Informalmente, desde el punto de vista de la lógica, una demostración de un teorema es un
Más detallesLógica Proposicional. Significado de una Fórmula Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL PROPOSICIONES Una proposición es todo enunciado, u oración enunciativa, respecto del cual se tiene un criterio que permite afirmar que su contenido es verdadero o falso, pero no ambos.
Más detallesUNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Más detallesLógica Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Más detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesMatemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013
Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detalles03. Introducción a los circuitos lógicos
03. Introducción a los circuitos lógicos 1. LÓGICA DE PROPOSICIONES...2 PROPOSICIÓN...2 CONECTORES U OPERADORES LÓGICOS...2 Tablas de...2 Tautología...2 Contradicción...2 2. ÁLGEBRA DE BOOLE...3 AXIOMAS
Más detallesConjuntos, relaciones y funciones Susana Puddu
Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también
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 detallesGuía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2
Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa *. 1. Lógica
Más detallesIntroducción a la Matemática Discreta
Introducción a la Matemática Discreta Lógica proposicional y Álgebras de Boole Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 25 Introducción a la Matemática Discreta Temario Tema 1.
Más detallesGuía de Ejercicios: Lógica y Teoría de Conjuntos
Guía de Ejercicios: Lógica y Teoría de Conjuntos Área de Matemática Objetivo de aprendizaje Usar conectivos lógicos y relaciones conjuntistas. Negar una proposición. Contenidos 1. Elementos de lógica proporcional.
Más 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 detallesConexión Motivación. Lección 10
Lección 10 Conexión Estudiamos la propiedad topológica que nos va a permitir obtener una versión general para espacios métricos del teorema del valor intermedio que conocemos para funciones reales de variable
Más detallesConsecuencia Lógica. Desde un punto de vista lógico, un argumento no es más que una sucesión (finita) de premisas o hipótesis y una conclusión.
Desde un punto de vista lógico, un argumento no es más que una sucesión (finita) de premisas o hipótesis y una conclusión. 1,, n Un argumento es correcto si la conclusión es consecuencia, si se sigue,
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Más detallesClase práctica 3: Consecuencia Lógica
Clase práctica 3: Consecuencia Lógica (by Laski) Primer Cuatrimestre 2014 Repaso de la teórica Decimos que una valuación v satisface a una fórmula P si v(p ) = 1, y que satisface a un conjunto de fórmulas
Más detallesLógica Proposicional. Introducción
Lógica 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 las denominadas frases
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 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 detallesLEYES, ESTRUCTURAS BÁSICAS Y COCIENTES LÓGICA DE PROPOSICIONES
Todos los derechos de propiedad intelectual de esta obra pertenecen en exclusiva a la Universidad Europea de Madrid, S.L.U. Queda terminantemente prohibida la reproducción, puesta a disposición del público
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 detallesTeorema del Valor Medio
Tema 6 Teorema del Valor Medio Abordamos en este tema el estudio del resultado más importante del cálculo diferencial en una variable, el Teorema del Valor Medio, debido al matemático italo-francés Joseph
Más detallesIntroducción a la Lógica I
Metodología de la Asignatura Índice Introducción a la Lógica I Félix Bou bou@ub.edu 1 Metodología de la Asignatura 2 El objeto de la Lógica 3 16 de diciembre de 2009 4 5 Argumentación Silogística F. Bou
Más detallesLógica proposicional 6. La semántica veritativo-funcional
Lógica proposicional 6. La semántica veritativo-funcional (Parte 1) Juan Carlos León Universidad de Murcia Esquema del tema 6.1. Noción de interpretación y reglas de valoración. Tablas de verdad 6.2. Consecuencia
Más detallesEstructuras Discretas. Teoremas. Técnicas de demostración. Reglas de Inferencia. Reglas de Inferencia Ley de Combinación.
Estructuras Discretas Teoremas Técnicas de demostración Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 15 Definición: teorema
Más detallesUniversidad de Santiago de Chile Departamento de Matemática y C.C. Ingeniería Civil
Universidad de Santiago de Chile Departamento de Matemática y C.C. Ingeniería Civil Pep N o 1 de Álgebra1 Ingeniería Civil Profesor Ricardo Santander Baeza 14 de mayo del 2007 (1) Sean p, q y r proposiciones
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 detallesCLAVE DE EXAMEN Matemática para computación 1 código de curso: 960
universidad de san carlos Facultad de Ingeniería Escuela de Ciencias Departamento de Matemática clave-960-1-m-2-00-2012 CLAVE DE EXAMEN Matemática para computación 1 código de curso: 960 Datos de la clave
Más detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
Más 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 detallesCapítulo 1: Introducción al álgebra
Capítulo 1: Introducción al álgebra por G 3 Agosto 2014 Resumen Usamos la clásica prueba de que 2 es irracional para introducir el lenguaje y los modelos de razonamiento típicos de la lógica (matemática)
Más detallesGuía 4: Demostraciones en Cálculo Proposicional
Introducción a los Algoritmos - 1er. cuatrimestre 2015 Guía 4: Demostraciones en Cálculo Proposicional Cálculo Proposicional Tomando ideas de E. W. Dijkstra (EWD-999), proponemos el uso de lo que llamamos
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detallesContinuidad y monotonía
Tema 14 Continuidad y monotonía Generalizando lo que se hizo en su momento para sucesiones, definiremos la monotonía de una función, en forma bien fácil de adivinar. Probaremos entonces dos resultados
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detallesIntroducción a la lógica matemática y a la teoría de conjuntos
Capítulo 1 Introducción a la lógica matemática y a la teoría de conjuntos 1.1. Introducción En el álgebra actual tiene importancia y muy especialmente en el cálculo que se efectúa con procesadores electrónicos,
Más detallesGuía 6: Demostraciones en Cálculo Proposicional
Introducción a los Algoritmos - 1er. cuatrimestre 2012 Guía 6: Demostraciones en Cálculo Proposicional Docentes: Araceli Acosta, Mariana Badano, Javier Blanco, Paula Estrella, Pedro Sanchez Terraf, Mauricio
Más detallesAMPLIACIÓN DE MATEMÁTICAS
AMPLIACIÓN DE MATEMÁTICAS GRUPOS PRODUCTO Y COCIENTE. El producto cartesiano de dos grupos y el conjunto cociente de un grupo respecto de ciertas relaciones, son dos formas de construir nuevos grupos.
Más detallesTema 1: El cuerpo de los números reales
Una definición axiomática debe ser: tal que: Tema 1: El cuerpo de los números reales - Ningún axioma se debe deducir o demostrar de otro anterior - Han de ser los mínimos para demostrar una teoría Axiomas
Más detallesCapítulo II. Pruebas en Matemáticas
Capítulo II Pruebas en Matemáticas Ahora nos concentramos en afirmaciones matemáticas y sus pruebas. Se encuentra que tratar de escribir pruebas justificando cada paso se vuelve rápidamente inmanejable,
Más detallesCapítulo 2: Elementos de lógica proposicional
Capítulo 2: Elementos de lógica proposicional por G 3 Agosto 2014 Resumen Describimos el uso de tablas de verdad, así como las definiciones de los principales conectivos lógicos:,,,, y. Nos extendemos
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: Departamento de Matemáticas ITESM Módulo I: Matemáticas Discretas - p. 1/24 La forma proposicional más importante es la condicional. La Módulo I: Matemáticas Discretas
Más detallesTEMA II. 1.1 Negación La negación es la inversa de los valores de verdad de una declaración como se muestra en la figura: Negación
TEMA II 1. APLICACIONES PRACTICAS DE LOGICA SIMBOLICA Y ÁLGEBRA DE PROPOSICIONES La proposición lógica hace más fácil y efectiva la manipulación de valores de verdad entre proposiciones. Las tablas de
Más detallesSemana04[1/17] Funciones. 21 de marzo de Funciones
Semana04[1/17] 21 de marzo de 2007 Composición de funciones Semana04[2/17] Pensemos que tenemos tres conjuntos no vacíos A, B, C, y dos funciones, f : A B y g : B C, como en el siguiente diagrama: Figura:
Más detallesDepartamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid
LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional
Más detallesIntroducción a la lógica proposicional
Introducción a la lógica proposicional Fernando Soler Toscano fsoler@us.es 1. Lógica proposicional 1.1. El lenguaje de la lógica proposicional Fórmulas. El lenguaje de la lógica proposicional está compuesto
Más detalles1. Ejercicios propuestos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2015 Semana 1: Guía de Ejercicios de Complemento, lunes 9 viernes 13 de Marzo Contenidos Clase 1: Elementos de lógica: conectivos, tablas de verdad,
Más detallesDEFINICIÓN: Se define el conjunto vacio como el complementario de en, don de es un conjunto. Se representa por :
CONJUNTOS Y APLICACIONES CONCEPTOS BÁSICOS: DEFINICIÓN: Conjunto es una colección de objetos a los que llamo elementos. n dos conjuntos, entonces se dice que es un subconjunto de, se escribe, si para todo
Más detallesRudimentos de lógica
Rudimentos de lógica Eugenio Miranda Palacios 1. El método axiomático Matemáticas es el estudio de las relaciones entre ciertos objetos ideales como números, funciones y figuras geométricas. Estos objetos
Más detallesElementos de Álgebra Lógica, Conjuntos, Relaciones, Funciones y algo más...
Elementos de Álgebra Lógica, Conjuntos, Relaciones, Funciones y algo más... Dr. Carlos Lizama Departamento de Matemática y C.C. Facultad de Ciencias Universidad de Santiago de Chile Prefacio Este texto
Más detallesb) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A
APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:
Más detallesLA CONJETURA DE GOLDBACH Y SU RELACIÓN CON EL TEOREMA DE DIRICHLET CAMPO ELÍAS GONZALEZ PINEDA.
LA CONJETURA DE GOLDBACH Y SU RELACIÓN CON EL TEOREMA DE DIRICHLET CAMPO ELÍAS GONZALEZ PINEDA. La Conjetura de Goldbach cegp@utp.edu.co La Conjetura de Goldbach afirma que todo número par mayor o igual
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 detallesAuxiliar 2: Conjuntos
Profesora: María Leonor Varas Profesora auxiliar: Ivana Bachmann Fecha: 28 de marzo de 2013 Auxiliar 2: Conjuntos niversidad de Chile Facultad de Ciencias Físicas y Matemáticas Departamento de Ingeniería
Más detallesLógica Proposicional. Del conjunto de hipótesis Γ se deduce α?
Proposicional Metateoría: Corrección y Completitud Proposicional - 1 Del conjunto de hipótesis Γ se deduce α? Γ = α? -Tablas de verdad - Equivalencia lógicas Existen métodos que siempre responden SI o
Más detallesSintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica
Proposiciones atómicas y compuestas Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@cienciasunammx Página
Más detallesEspacios conexos. 6.1 Conexos
Capítulo 6 Espacios conexos 6.1 Conexos Definición 6.1.1 (Conjuntos separados). Dado un espacio topológico (X, τ) y dos subconjuntos A, B X, diremos que A y B están separados si A B = A B = Es evidente
Más detallesAPÉNDICE A. Axiomas y Teoremas. Índice del Capítulo
APÉNDICE A Axiomas y Teoremas Índice del Capítulo A.1. Teoremas del Cálculo Proposicional..................... 219 A.2. Leyes Generales de la Cuantificación.................... 222 A.3. Teoremas del Cálculo
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 detallesMatrices Inversas. Rango Matrices Elementales
Matrices Inversas. Rango Matrices Elementales Araceli Guzmán y Guillermo Garro Facultad de Ciencias UNAM Semestre 2018-1 doyouwantmektalwar.wordpress.com Matrices Matrices identidad La matriz identidad
Más detallesApéndice 1 Reglas y leyes lógicas
1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para
Más detallesMódulo 10 Solución de ecuaciones. OBJETIVO Resolverá ecuaciones de primer grado con una incógnita.
Módulo 0 Solución de ecuaciones OBJETIVO Resolverá ecuaciones de primer grado con una incógnita. Una proposición del tipo: x - 6 x + se llama ecuación. La ecuación se caracteriza por contener algunos números
Más detallesCoordinación de Matemática I (MAT021)
Coordinación de Matemática I (MAT01) Taller Primer semestre de 01 Semana 1: Lunes 6 viernes 30 de marzo Ejercicios Ejercicio 1 1. Sea x 0 un número real, mostrar que si x 0 < r para todo r > 0 entonces
Más detallesCamilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.
Guía de estudio Métodos de demostración Unidad A: Clase 3 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.. Inferencias y métodos de
Más detallesTeorema del Valor Medio
Tema 5 Teorema del Valor Medio Abordamos en este tema el estudio del resultado más importante del cálculo diferencial en una variable, el Teorema del Valor Medio, debido al matemático italo-francés Joseph
Más detalles