Operaciones con conjuntos (ejercicios)

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

Download "Operaciones con conjuntos (ejercicios)"

Transcripción

1 Operaciones con conjuntos (ejercicios) Ejemplo: Definición de la diferencia de conjuntos. Sean y conjuntos. Entonces \ := { x: x x / }. Esto significa que para todo x tenemos la siguiente equivalencia: 1. Definición de la unión de conjuntos. Sean y conjuntos. Entonces x \ x x /. := { x: }. 2. Definición de la intersección de conjuntos. Sean y conjuntos. Entonces := { x: }. 3. Indique las correspondencias con flechitas: x x pertenece a ambos conjuntos y x x pertenece al conjunto pero no pertenece a x \ x pertenece por lo menos a uno de los conjuntos y Operaciones con conjuntos, ejercicios, página 1 de 10

2 Diagramas de Euler-Venn Ejemplo: Diferencia de conjuntos. \ consiste de todos los puntos que pertenecen al conjunto y al mismo tiempo no pertenecen al conjunto. 4. Unión de conjuntos. consiste de todos los puntos Intersección de conjuntos. consiste de todos los puntos... Operaciones con conjuntos, ejercicios, página 2 de 10

3 Relaciones de contención entre la intersección, la unión y los conjuntos originales ómo demostrar la contención de un conjunto en el otro. Sean y conjuntos. Se dice que está contenido en si cualquier elemento del conjunto pertenece también al conjunto. Formalmente esto significa que para cualquier x la afirmación x implica la afirmación x. Ejemplo. Sean y conjuntos arbitrarios. Demostrar que. Solución. Plan de la demostración: considerar un elemento arbitrario del conjunto y demostrar que este elemento pertenece al conjunto. Sea x. Por definición de la intersección esto significa que x y x. En particular, esto implica que x. 6. En la demostración anterior se usa la regla lógica ( a b) a. Demuestre esta regla usando tablas de verdad. Solución. a b a b (a b) a Operaciones con conjuntos, ejercicios, página 3 de 10

4 7. Sean y conjuntos arbitrarios. Demuestre que. Indique que regla lógica se usa en la demostración y demuéstrela con tablas de verdad. Operaciones con conjuntos, ejercicios, página 4 de 10

5 Propiedades distributivas Igualdad de conjuntos. Dos conjuntos y son iguales si consisten de los mismos elementos. Formalmente esto significa que para un x arbitrario las afirmaciones x y x son equivalentes. Ejemplo (propiedad distributiva de la unión sobre la intersección). Sean, y conjuntos arbitrarios. Demostrar que ( ) = ( ) ( ). Solución. Para un x arbitrario tenemos la siguiente cadena de equivalencias: x ( ) (i) x (x ) (ii) x (x x ) (iii) ( (x ) (x ) ) ( (x ) (x ) ) (iv) (x ) (x ) (v) x ( ) ( ). En los pasos (i) y (iv) se usa la definición de la unión, en los pasos (ii) y (v) se usa la definición de la intersección, y en el paso (iii) se aplica la propiedad distributiva de la disyunción sobre conjunción: a ( b c ) = ( a b ) ( a c ). Operaciones con conjuntos, ejercicios, página 5 de 10

6 8. Propiedad distributiva de la intersección sobre la unión. Sean, y conjuntos arbitrarios. Demuestre que ( ) = ( ) ( ). Operaciones con conjuntos, ejercicios, página 6 de 10

7 Propiedades distributivas y diagramas de Euler-Venn En los siguientes ejercicios hay que sombrear los conjuntos indicados. 9. ( ) 10. ( ) ( ) Operaciones con conjuntos, ejercicios, página 7 de 10

8 En los siguientes ejercicios hay que sombrear los conjuntos indicados. 11. ( ) 12. ( ) ( ) Operaciones con conjuntos, ejercicios, página 8 de 10

9 riterio de que un conjunto está contenido en el otro Teorema. Sean y conjuntos arbitrarios. Entonces las siguientes condiciones son equivalentes: (a) ; (b) = ; (c) = ; (d) \ =. La demostración se divide en los siguientes ejercicios. 13. Sean y conjuntos arbitrarios tales que. Demuestre que =. 14. Sean y conjuntos arbitrarios tales que. Demuestre que =. 15. Sean y conjuntos arbitrarios tales que. Demuestre que \ =. Operaciones con conjuntos, ejercicios, página 9 de 10

10 16. Sean y conjuntos arbitrarios tales que =. Demuestre que. 17. Sean y conjuntos arbitrarios tales que =. Demuestre que. 18. Sean y conjuntos arbitrarios tales que \ =. Demuestre que. Operaciones con conjuntos, ejercicios, página 10 de 10

Imágenes y preimágenes de uniones e intersecciones de familias de conjuntos

Imágenes y preimágenes de uniones e intersecciones de familias de conjuntos Imágenes y preimágenes de uniones e intersecciones de familias de conjuntos Objetivos. Demostrar las fórmulas principales para las imágenes y preimágenes de las uniones e intersecciones de familias de

Más detalles

Propiedades de imágenes y preimágenes

Propiedades de imágenes y preimágenes Propiedades de imágenes y preimágenes Objetivos. Demostrar las propiedades principales de las imágenes y preimágenes, por ejemplo que f[a B] = f[a] f[b]. Requisitos. Definición y ejemplos de imágenes y

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

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

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

Más detalles

Matemática I C.F.E. I.N.E.T. Profesorado de Informática Conjuntos

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

MÉTODOS DE DEMOSTRACIÓN

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

Más detalles

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

CONJUNTOS. Por ejemplo, el E del ejemplo 2 se escribe.

CONJUNTOS. Por ejemplo, el E del ejemplo 2 se escribe. CONJUNTOS La teoría de conjuntos nos permite describir de forma precisa conjuntos de números, de personas, de objetos, etc que comparten una propiedad común. Esto puede ser de gran utilidad al establecer

Más detalles

Capítulo 4: Conjuntos

Capítulo 4: Conjuntos Capítulo 4: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2014 Olalla (Universidad de Sevilla) Capítulo 4: Conjuntos Septiembre de

Más detalles

Resolución Proposicional

Resolución Proposicional Resolución Proposicional IIC2213 IIC2213 Resolución Proposicional 1 / 19 Resolución proposicional Sabemos que Σ = ϕ si y sólo si Σ { ϕ} es inconsistente. Cómo verificamos si Σ { ϕ} es inconsistente? El

Más detalles

Material educativo. Uso no comercial 1.4 MÉTODOS DE DEMOSTRACIÓN Método directo o Método de la hipótesis auxiliar

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

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- V V V V F F F V F F F V

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

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

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid

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

El conectivo XOR y la diferencia simétrica de conjuntos

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 detalles

Matemáticas Discretas TC1003

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

Conjuntos, relaciones y funciones Susana Puddu

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

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

Operaciones lineales en R n y sus propiedades

Operaciones lineales en R n y sus propiedades Operaciones lineales en R n y sus propiedades Ejercicios Objetivos. Aprender a demostrar propiedades de las operaciones lineales en R n. Requisitos. Propiedades de las operaciones lineales en R 3 y su

Más detalles

LEYES, ESTRUCTURAS BÁSICAS Y COCIENTES LÓGICA DE PROPOSICIONES

LEYES, 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 detalles

Demostración Contraejemplo. Métodos Indirectos

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

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

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

Más detalles

Álgebra Booleana circuitos lógicos

Álgebra Booleana circuitos lógicos Álgebra Booleana y circuitos lógicos OBJETIVO GENERAL Teniendo en cuenta que los circuitos digitales o lógicos operan de forma binaria, emplear el álgebra booleana como fundamento teórico para el análisis,

Más detalles

DETERMINACIÓN DE UN CONJUNTO

DETERMINACIÓN DE UN CONJUNTO CONJUNTO UNIVERSAL U A Gráficamente, al conjunto universal se lo representa mediante un rectángulo. Cualquier otro conjunto A es representado por una región cerrada, dentro del rectángulo, A este tipo

Más detalles

Temas preliminares de Análisis Real

Temas preliminares de Análisis Real Temas preliminares de Análisis Real Problemas para examen Usamos la notación A B en el siguiente sentido: A es un subconjunto de B, puede ser que A = B. Propiedades de las operaciones con conjuntos 1.

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 Axiomas y reglas de inferencia Reglas de la impliación, conjunción y disyunción 3 Reglas derivadas

Más detalles

09/06/2011. Un conjunto es una colección bien definida de objetos llamados elementos o miembros del conjunto.

09/06/2011. Un conjunto es una colección bien definida de objetos llamados elementos o miembros del conjunto. Georg Cantor Matemático lemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn ugust De Morgan Matemático ingles creador de leyes que llevan

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

Capítulo 2. Conjuntos Conjuntos.

Capítulo 2. Conjuntos Conjuntos. Capítulo 2 Conjuntos 2.1. Conjuntos. Definición 2.1. Un conjunto es una agrupación de objetos, distintos unos de otros, para formar un todo. Si un objeto x es parte de un conjunto C, decimos que x es elemento

Más detalles

Para describir un conjunto usamos una de las siguientes formas: 1. Mencionamos a todos y cada uno de los elementos del conjunto.

Para describir un conjunto usamos una de las siguientes formas: 1. Mencionamos a todos y cada uno de los elementos del conjunto. Capítulo 2 Conjuntos Definición 2.1. Un conjunto es una agrupación de objetos, distintos unos de otros, que forman un todo. Si un objeto x es parte de un conjunto C, decimos que x es elemento de C o que

Más detalles

Tema 3 Equivalencia. Formas normales.

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

Con los dos conectivos y en las formulas que tienen una sola variable proposicional distinta, no hay forma de construir una contradicción.

Con los dos conectivos y en las formulas que tienen una sola variable proposicional distinta, no hay forma de construir una contradicción. 1) No se puede formar una contradicción usando solamente los dos conectivos, {*,->}, en las formulas que tienen una sola variable proposicional distinta. Con los dos conectivos y en las formulas que tienen

Más detalles

Demostraciones por resolución

Demostraciones por resolución Demostraciones por resolución A lo largo del curso, hemos prometido insistentemente que hay métodos para mecanizar demostraciones En particular, queremos un método, dado una base de conocimiento Σ y una

Más detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

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

Más detalles

Problemas de entrenamiento

Problemas de entrenamiento roblemas de entrenamiento Revista Tzaloa, año 1, número roblema E1-11. (rincipiante) Si =, =, = 90, = 90 y = 60, cuánto mide? roblema E1-1. (Intermedio) Demuestra que la desigualdad ix i + se cumple para

Más detalles

Teorema de Carathéodory

Teorema de Carathéodory Teorema de Carathéodory Objetivos. Dada una medida exterior ϕ, definir conjuntos Carathéodory-medibles respecto a ϕ, mostrar que esos conjuntos forman una σ-álgebra y la medida exterior ϕ restringida a

Más detalles

Ejemplo No. 2 Empleando esta notación, los conjuntos del ejemplo anterior se pueden escribir como:

Ejemplo No. 2 Empleando esta notación, los conjuntos del ejemplo anterior se pueden escribir como: UNIDAD 1: CONJUNTOS NUMÉRICOS En esta unidad se ofrece una información general sobre los diferentes conjuntos de números que se utilizaran en el desarrollo de este curso. Comencemos con un breve repaso

Más detalles

Operaciones lógicas principales: Negación, Conjunción y Disyunción

Operaciones lógicas principales: Negación, Conjunción y Disyunción Operaciones lógicas principales: Negación, Conjunción y Disyunción Definiciones informales. A es verdadera A es falsa A B es verdadera A es verdadera y B es verdadera A B es verdadera A es verdadera o

Más detalles

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA SEMESTRE: Segundo a cuarto CLAVE: 0271 HORAS A LA SEMANA/SEMESTRE TEÓRICAS PRÁCTICAS CRÉDITOS 5/80

Más detalles

MATEMÁTICAS DISCRETAS. UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios

MATEMÁTICAS DISCRETAS. UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios MATEMÁTICAS DISCRETAS UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios 2.1 CIRCUITOS COMBINATORIOS Inicie dando lectura a la subunidad 11.1, deténgase en el ejemplo 11.1.4, compare las tablas de los

Más detalles

Capítulo 3. Conjuntos. Continuar

Capítulo 3. Conjuntos. Continuar Capítulo 3. Conjuntos Continuar Introducción Georg Cantor definió el concepto de conjunto como una colección de objetos reales o abstractos e introdujo el conjunto potencia y las operaciones entre conjuntos.

Más detalles

Capítulo II. Pruebas en Matemáticas

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

Minimización de Aútomatas Finitos

Minimización de Aútomatas Finitos Minimización de Aútomatas Finitos Supongamos que para un AFD M = (Q, Σ, δ, q 0, F ) definimos la siguiente relación R M : xr M y ssi δ(q 0, x) = δ(q 0, y) Claramente, podemos notar que esta relación es

Más detalles

Propiedades del valor absoluto de números enteros (ejercicios)

Propiedades del valor absoluto de números enteros (ejercicios) Propiedades del valor absoluto de números enteros (ejercicios) 1. Ejemplos. Rellene los espacios: 6 6, 8 8, 23 23, 0 0, 5 5. 4 lomon, 15 loomoon, 120 loooomoooon, 0 lomon. 2. Definición formal. El valor

Más detalles

03. Introducción a los circuitos lógicos

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

Más detalles

Propiedades de las operaciones lineales con matrices

Propiedades de las operaciones lineales con matrices Propiedades de las operaciones lineales con matrices Ejercicios Objetivos. Aprender a demostrar propiedades de las operaciones lineales en M m n (R). Requisitos. Operaciones lineales en R n, definición

Más detalles

Elementos básicos del cálculo proposicional y cuantificacional. Nociones preliminares sobre una teoría deductiva. Métodos de demostración.

Elementos básicos del cálculo proposicional y cuantificacional. Nociones preliminares sobre una teoría deductiva. Métodos de demostración. 1.5 EJERCICIOS PROPUESTOS Temas: Elementos básicos del cálculo proposicional y cuantificacional. Nociones preliminares sobre una teoría deductiva. Métodos de demostración. Sean P, Q, R, S proposiciones.

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

Resuelva las siguientes desigualdades justificando solo los pasos en que aplique postulados o teoremas de este modulo.

Resuelva las siguientes desigualdades justificando solo los pasos en que aplique postulados o teoremas de este modulo. Ejercicios de autoevaluación Matemáticas II MODULO I CUESTIONARIO Resuelva las siguientes desigualdades justificando solo los pasos en que aplique postulados o teoremas de este modulo. 10. 12. - 4x < 3x

Más detalles

Universidad Autónoma de San Luis Potosí Coordinación Académica región Altiplano Programas Sintéticos de la Licenciatura de Ingeniería de Minerales

Universidad Autónoma de San Luis Potosí Coordinación Académica región Altiplano Programas Sintéticos de la Licenciatura de Ingeniería de Minerales ÁLGEBRA DATOS BÁSICOS DEL CURSO Semestre Horas de teoría Horas de práctica Horas trabajo Créditos por semana por semana adicional estudiante I 2 2 2 6 OBJETIVOS DEL CURSO Tipo de propuesta curricular:

Más detalles

Prof.Juan Cabral - UTU Maldonado. Tablas de pertenencia

Prof.Juan Cabral - UTU Maldonado. Tablas de pertenencia Tablas de pertenencia TABLAS DE PERTENENCIA Una técnica para probar igualdades entre conjuntos es la tabla de pertenencia. Se observa que para los conjuntos A y B U, un elemento x U cumple exactamente

Más detalles

Forma polar de números complejos (repaso breve)

Forma polar de números complejos (repaso breve) Forma polar de números complejos (repaso breve) Objetivos. pasar la forma polar de números complejos. quisitos. Números complejos, funciones trigonométricas, valor absoluto de números complejos, circunferencia

Más detalles

U n i v e r s i d a d A u t ó n o m a d e S a n L u i s P o t o s í

U n i v e r s i d a d A u t ó n o m a d e S a n L u i s P o t o s í A) Nombre del Curso 3 ÁLGEBRA I B) Datos básicos del curso Semestre Horas de teoría por semana Horas de práctica por semana Horas trabajo adicional estudiante Créditos I 3 2 3 8 C) Objetivos del curso

Más detalles

Anuladores. Objetivos. Definir el concepto de anuladores y estudiar sus propiedades principales.

Anuladores. Objetivos. Definir el concepto de anuladores y estudiar sus propiedades principales. Anuladores Objetivos. Definir el concepto de anuladores y estudiar sus propiedades principales. Requisitos. Espacio dual, espacio bidual, base dual.. Definición (anulador de un subconjunto de un espacio

Más detalles

CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN

CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN ALGUNAS REGLAS DE INFERENCIA LÓGICA PERÍODO I FECHA 18 de enero de 2018 NIVEL MEDIA TÉCNICA CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN Podemos

Más detalles

Definición 1.3. La disyunción de dos oraciones p y q es la oración p o q. La

Definición 1.3. La disyunción de dos oraciones p y q es la oración p o q. La Capítulo 1 Lógica 1.1. Oraciones Definición 1.1. Una oración es un enunciado que podemos clasificar como cierta o falsa, pero no de ambas. Toda oración tiene un bien definido valor de veracidad: es cierta

Más detalles

3. Puntos notables en un espacio métrico ( )

3. Puntos notables en un espacio métrico ( ) 3. Puntos notables en un espacio métrico (26.09.2017) Dado un espacio métrico (E,d) y un conjunto A E, a un punto x E se le llama... 1. Punto de adherencia de A toda bola abierta de centro x contiene algún

Más detalles

4.1 La prueba formal de la consistencia o de la inconsistencia 4.2 La prueba formal de la invalidez 4.3 La prueba formal de la validez

4.1 La prueba formal de la consistencia o de la inconsistencia 4.2 La prueba formal de la invalidez 4.3 La prueba formal de la validez 4.- Métodos de razonamiento En este módulo hemos estudiado algunas estrategias que han sido desarrolladas con el fin de sistematizar el razonamiento lógico, es decir, la demostración formal de teoremas.

Más detalles

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

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

Más detalles

Teoremas de Tonelli y Fubini

Teoremas de Tonelli y Fubini Teoremas de Tonelli y Fubini Objetivos. Demostrar teoremas de Tonelli y Fubini, conocer contraejemplos que muestran la importancia de algunas condiciones de estos teoremas. Requisitos. Definición del producto

Más detalles

Estructuras Discretas. Conjuntos. Conjuntos & Funciones. Especificación de Conjuntos.

Estructuras Discretas. Conjuntos. Conjuntos & Funciones. Especificación de Conjuntos. Estructuras Discretas Conjuntos Conjuntos & Funciones Claudio Lobos clobos@inf.utfsm.cl niversidad Técnica Federico Santa María Estructuras Discretas INF 152 Definición: conjunto n conjunto es una colecció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

1. Ejercicios propuestos

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

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

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

Más detalles

I Al finalizar el curso el estudiante será capaz de:

I Al finalizar el curso el estudiante será capaz de: A) Nombre del Curso ÁLGEBRA I B) Datos básicos del curso Semestre Horas de teoría por semana Horas de práctica por semana Horas trabajo adicional estudiante Créditos I 3 2 3 8 C) Objetivos del curso Objetivos

Más detalles

Introducción a la Lógica Proposicional Seminario de Matemáticas

Introducción a la Lógica Proposicional Seminario de Matemáticas Introducción a la Lógica Proposicional Seminario de Matemáticas Julio Ariel Hurtado Alegría ahurtado@unicauca.edu.co 8 de mayo de 2015 Julio A. Hurtado A. Departamento de Sistemas 1 / 34 Agenda Motivación

Más detalles

Algoritmos y Estructura de Datos I

Algoritmos y Estructura de Datos I Algoritmos y Estructura de Datos I Lógica proposicional Agustín Martinez Lunes 27 de marzo de 2017 Menú del día Formulas y valores de verdad Relación de fuerza entre formulas Razonamientos del mundo real

Más detalles

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

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Definiciones básicas: subconjunto, conjunto vacío, complemento, conjunto de partes A lo largo de esta sección consideraremos

Más detalles

58 7. ESPACIOS COCIENTE

58 7. ESPACIOS COCIENTE CAPíULO 7 Espacios cociente En esta sección estudiamos el cociente de un espacio vectorial por un subespacio W. Este cociente se define como el conjunto cociente de por una relación de equivalencia conveniente.

Más detalles

Teoría Tema 1 Sistema de inecuaciones - Programación lineal

Teoría Tema 1 Sistema de inecuaciones - Programación lineal página 1/6 Teoría Tema 1 Sistema de inecuaciones - Programación lineal Índice de contenido Cómo resolver sistemas de inecuaciones lineales con dos incógnitas?...2 Un ejemplo...4 página 2/6 Cómo resolver

Más detalles

CONJUNTOS Y NÚMEROS. Grupo 10. Examen parcial. 16 de noviembre de 2006.

CONJUNTOS Y NÚMEROS. Grupo 10. Examen parcial. 16 de noviembre de 2006. CONJUNTOS Y NÚMEROS. Grupo 10. Examen parcial. 16 de noviembre de 2006. 1) Di si es verdadera o falsa cada una de estas afirmaciones demostrándola o dando un contraejemplo: a) Sean A, B y C tres proposiciones.

Más detalles

Álgebra de Boole. Adición booleana. Multiplicación booleana. Escuela Politécnica Superior

Álgebra de Boole. Adición booleana. Multiplicación booleana. Escuela Politécnica Superior Álgebra de Boole El Álgebra de Boole es una forma muy adecuada para expresar y analizar las operaciones de los circuitos lógicos. Se puede considerar las matemáticas de los sistemas digitales. Operaciones

Más detalles

Matemáticas Dicretas LÓGICA MATEMÁTICA

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

Más detalles

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

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

Más detalles

Álgebra Booleana. Álgebra Booleana. Definiciones. Definiciones. Definiciones. Definiciones. Sistemas Digitales Mario Medina 1

Álgebra Booleana. Álgebra Booleana. Definiciones. Definiciones. Definiciones. Definiciones. Sistemas Digitales Mario Medina 1 Álgebra Booleana Álgebra Booleana Mario Medina C. mariomedina@udec.cl Postulados y axiomas Lemas y teoremas Referencias a otras álgebras Álgebra de Boole: estructura algebraica definida sobre un conjunto

Más detalles

LEYES, ESTRUCTURAS BÁSICAS Y COCIENTES CONJUNTOS Y GRUPOS

LEYES, ESTRUCTURAS BÁSICAS Y COCIENTES CONJUNTOS Y GRUPOS 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 detalles

Ejercicios de lógica

Ejercicios de lógica 1. Sistemas formales. Ejercicios de lógica 1. Considere el siguiente sistema formal: Símbolos: M, I, U. Expresiones: cualquier cadena en los símbolos. Axioma: UMUIUU Regla de inferencia: xmyiz xumyuizuu

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

Guía 4: Demostraciones en Cálculo Proposicional

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

V F F V V V F F F F V F F F V V F F F F V F F V. Este método de demostración esta basado en la equivalencia lógica

V F F V V V F F F F V F F F V V F F F F V F F V. Este método de demostración esta basado en la equivalencia lógica por Reducción al absurdo Observa las siguientes tablas de verdad Q Q V V V F V V Q Q V V V F F F V V V F F F Este método de demostración esta basado en la equivalencia lógica Absurdo Q Q Un absurdo es

Más detalles

FACULTAD DE INGENIERÍA DEPARTAMENTO FÍSICO-MATEMÁTICO

FACULTAD DE INGENIERÍA DEPARTAMENTO FÍSICO-MATEMÁTICO FACULTAD DE INGENIERÍA DEPARTAMENTO FÍSICO-MATEMÁTICO Nombre de la materia: ÁLGEBRA A Clave Facultad:... 0041 Clave CACEI: CB Clave U.A.S.L.P.:... 00023 No. de créditos: 8 Nivel del Plan de Estudios:...

Más detalles

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

Ortogonalización de Gram Schmidt

Ortogonalización de Gram Schmidt Ortogonalización de Gram Schmidt Objetivos. Estudiar el proceso de ortogonalización de Gram Schmidt que permite construir de una lista arbitraria de vectores a,..., a m una lista ortogonal b,..., b m que

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

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

Universidad Autónoma de San Luis Potosí Coordinación Académica Región Altiplano Programas Analíticos de la Ingeniería en Energías Renovables

Universidad Autónoma de San Luis Potosí Coordinación Académica Región Altiplano Programas Analíticos de la Ingeniería en Energías Renovables 1) ALGEBRA A) NOMBRE DEL CURSO ALGEBRA B) DATOS BÁSICOS DEL CURSO Tipo de propuesta ( X ) Nueva creación ( ) Reestructuración ( ) Ajuste curricular: Tipo de materia: ( X ) Obligatoria ( ) Electiva u optativa

Más detalles

RECUPERACIÓN DE MATEMÁTICAS GRADOS SEXTOS - PRIMER PERIODO AÑO LECTIVO 2014 IED BICENTENARIO

RECUPERACIÓN DE MATEMÁTICAS GRADOS SEXTOS - PRIMER PERIODO AÑO LECTIVO 2014 IED BICENTENARIO Tema: Lógica y conjuntos Actividad a realizar RECUPERACIÓN DE MATEMÁTICAS GRADOS SEXTOS - PRIMER PERIODO AÑO LECTIVO 2014 1. Qué es una proposición? 2. Escriba 5 proposiciones simples. 3. Haga la negación

Más detalles

a b = a 2 b 2 a 3 b 3 1 n = [ 1 ] n

a b = a 2 b 2 a 3 b 3 1 n = [ 1 ] n Álgebra compleja C n Objetivos. En el espacio vectorial C n introducir la multiplicación por componentes y mostrar que C n con esta operación es una álgebra compleja asociativa y conmutativa con identidad.

Más detalles

"La Matemática es una ciencia inútil. que no puede servir directamente para la explotación de. nuestros semejantes, ni para su exterminación",

La Matemática es una ciencia inútil. que no puede servir directamente para la explotación de. nuestros semejantes, ni para su exterminación, - 1 - "La Matemática es una ciencia inútil. Entiendo por ello que no puede servir directamente para la explotación de nuestros semejantes, ni para su exterminación", G.H. Hardy SECCIÓN 1 INTRODUCCIÓN DE

Más detalles

Axiomas del Cálculo de Predicados

Axiomas del Cálculo de Predicados Axiomas del Cálculo de Predicados Si bien el cálculo proposicional nos permitió analizar cierto tipo de razonamientos y resolver acertijos lógicos, su poder expresivo no es suficiente para comprobar la

Más detalles

Curso LÓGICA Examen de recuperación de lógica proposicional

Curso LÓGICA Examen de recuperación de lógica proposicional Curso 2013-2014 LÓGICA Examen de recuperación de lógica proposicional 13-01-2014 1.1. Formalizar en el lenguaje de la lógica proposicional el siguiente razonamiento: (2,5 puntos) Es necesario que estudie

Más detalles

Universidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático

Universidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático Universidad Abierta y a Distancia de México Licenciatura en matemáticas 2 cuatrimestre Introducción al pensamiento matemático Clave: 1 Índice... 3 Ficha de identificación... 3 Descripción... 3 Propósitos...

Más detalles

El sistema deductivo de Hilbert

El sistema deductivo de Hilbert El sistema deductivo de Hilbert IIC2213 IIC2213 El sistema deductivo de Hilbert 1 / 17 Completidad de resolución proposicional Qué tenemos que agregar a nuestro sistema de deducción para que sea completo?

Más detalles

Contenido. Prólogo... Prólogo a la edición en español Argumentos y proposiciones lógicas Introducción

Contenido. Prólogo... Prólogo a la edición en español Argumentos y proposiciones lógicas Introducción CONTENIDO vii Contenido Prólogo... Prólogo a la edición en español... XVIl XXI 1 Cálculo proposicional... 1 1.1 Argumentos y proposiciones lógicas 1.1.1 Introducción 1 1 1.1.2 Algunos argumentos lógicos

Más detalles

UNIDAD I: LÓGICA MATEMÁTICA

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

Más detalles

Índice general. Introducción Cuestionario del módulo cero Soluciones del cuestionario

Índice general. Introducción Cuestionario del módulo cero Soluciones del cuestionario Colección de problemas. Curso cero del grado en matemáticas Castellano. Curso 2017-2018 Índice general Introducción... 3 0.1. Cuestionario del módulo cero... 4 0.2. Soluciones del cuestionario 0... 6

Más detalles