Dispositivas de conectores: conjunción y disyunción - [Detalles]
Definimos la conjunción y la disyunción sobre una proposición, también mostramos que este tipo de proposiciones están formadas por 2 proposiciones (así formando una gracias a estos conectores) se muestra sobre como este tipo de proposiciones son verdaderas o falsas.
Problemas de proposiciones y conectores - [Detalles]
Hacemos algunos ejercicios con proposiciones y tres conectores lógicos: la negación, la disyunción y la conjunción. Y damos su razonamiento.
Negaciones de proposiciones con conectores y cuantificadores - [Detalles]
Vemos cómo se niegan los cuantificadores lógicos. Repasamos la negación con conectores lógicos.
Demostración de proposiciones con conectores - [Detalles]
En esta entrada revisamos algunos ejemplos de las demostraciones matemáticas con conectores como la conjución y disyunción.
El maximo común divisor como combinación lineal entera - [Detalles]
Demostramos un teorema que nos afirma que el máximo común divisor se puede escribir como una combinación lineal de sus dividendos. Hacemos uso de las propiedades de divisibilidad anteriormente vistas y después generalizamos el teorema para el máximo común divisor de un numero arbitrario de enteros.
Conectores: negaciones, conjunciones y disyunciones - [Detalles]
En esta entrada revisamos algunos fundamentos sobre la lógica matemática, en este caso los conectores lógicos.
Diapositivas sobre proposiciones bicondicionales - [Detalles]
Mostramos otro tipo de condicionales dentro de las proposiciones matemáticas que son las bicondicionales o más conocida como si y solo si o doble implicación, estas condicionales solo son verdaderas si ambas proposiciones lo son, demostramos una serie de propiedades de este tipo de enunciados desde el punto de vista de equivalencias de formas proposicionales.
Ejercicio de Tablas de verdad - [Detalles]
En este video justificamos la equivalencia de proposiciones utilizando las tablas de verdad y como operan con conectores lógicos.
Propiedades de la negación, conjunción y disyunción - [Detalles]
Revisamos las propiedades de tres conectores: la negación, la disyunción y la conjunción. Hablamos de cuándo son dos proposiciones equivalentes.
Qué es una proposición matemática - [Detalles]
Definimos las proposiciones lógicas, dando ejemplos de proposiciones lógicas que podemos entender con el lenguaje cotidiano.
Diapositivas sobre proposiciones condicionales - [Detalles]
Enunciamos otro tipo de proposiciones en matemáticas que son las condicionales o implicaciones que nos dan la relación de causa-efecto dentro del enunciaso, el material es acompañado de una lista de ejemplos.
Diapositivas sobre traducciones entre proposiciones - [Detalles]
Proporcionamos una serie de ejemplos de enunciados que ocupan los cuantificadores en sus proposiciones para mostrar como se hace una correcta traducción de estos enunciados para optimizar el entendimiento del enunciado.
Introducción al curso y proposiciones matemáticas - [Detalles]
Hablamos de las nociones de verdadero y falso en matemáticas. Decimos qué son las proposiciones matemáticas. Introducimos tablas de verdad.
Matrices de cambio de base - [Detalles]
Definimos a las matrices de cambio de base. Vemos cómo nos ayudan a expresar un vector como combinación lineal de elementos de distintas bases.
Propiedades del máximo común divisor - [Detalles]
Demostramos algunas propiedades sobre el máximo común divisor, vemos que puede sacar enteros, y varias propiedades más, las cuales demostramos haciendo uso del teorema de combinación lineal anteriormente visto.
Dependencia e independencia lineal - [Detalles]
Damos las definiciones formales de combinación lineal, dependencia lineal e independencia lineal. También usamos ejemplos para explicar cuando un conjunto de vectores cumple con alguna de estas definiciones
Máximo Común Divisor - [Detalles]
Introducimos el concepto de máximo común divisor a través de ideales. Vemos que es combinación lineal entera y hablamos de primos relativos.
El algoritmo de Euclides - [Detalles]
Explicamos el algoritmo de Euclides con ejemplos. Damos su demostración. Vemos cómo ayuda a poner MCD como combinación lineal entera.
Nota 30. Dependencia e independencia lineal - [Detalles]
En esta nota definiremos y veremos ejemplos de conjuntos linealmente dependientes y conjuntos linealmente independientes, veremos que esta idea está íntimamente relacionada a distinguir cuándo un conjunto de vectores tiene entre sus elementos algún vector que sea combinación lineal de los otros.
Problemas de condicionales y cuantificadores - [Detalles]
Resolvemos ejercicios con los conectores lógicos de implicación y doble implicación, así como con cuantificadores existenciales y universales.
Usamos las tablas de verdad para definir la negación lógica de una proposición, damos ejemplos de la negación para proposiciones lógicas que podemos entender con el lenguaje cotidiano.
Conjunción y Disyunción - [Detalles]
Usamos las tablas de verdad para definir la conjunción y disyunción para dos proposiciones lógicas.
Propiedades de la negación, conjunción y disyunción de proposiciones. - [Detalles]
Se da la definición de formas proposicionales equivalentes. Mediante tablas de verdad se demuestran las leyes o propiedades de conmutatividad, asociatividad, distributivita y las Leyes de De Morgan
Logica proposicional - Proposiciones condicionales - [Detalles]
Se estudia el conector condicional. Definimos la implicación contrapositiva y la conversa. Se finaliza con un teorema que demuestra algunas equivalencias entre formas proposicionales.
Lógica Proposicional - Proposiciones Bicondicionales - [Detalles]
Se estudia el conector bicondicional, se muestran ejemplos y se demuestra un teorema con varias equivalencias de formas proposicionales.
Diapositivas sobre proposiciones - [Detalles]
Definimos lo que es una proposición y la negación de una proposición acompañado de varios ejemplos para fijas los conceptos básicos de las diapositivas presentadas.
Diapositivas sobre demostraciones con cuantificadores - [Detalles]
Explicamos como se demuestran proposiciones matemáticas que cuentan con cuantificadores, cómo demostrar que son verdaderos o que son falsos, las diapositivas van acompañadas de ejemplos.
Diapositivas sobre conjuntos - [Detalles]
Introducimos la idea de conjuntos, las primeras definiciones como conjuntos, subconjuntos, elemento; se muestran ejemplos de conjuntoas más populares y unas primeras proposiciones sencillas de demostrar.
Diapositivas sobre demostraciones de conjuntos - [Detalles]
Se muestran las diferentes maneras por las cuales se demuestran proposiciones de conjuntos como la demostración de una contención; la igualdad de conjuntos por doble contención, por si y solo si; demostración por casos la cual es ocupada para demostrar propiedades de conjuntos en donde está involucrada la operación unión.
Diapositivas sobre determinantes - [Detalles]
Definimos el determinante de una matriz con esta definición mostramos como se calcula para dimensiones de 3 (regla de Sarrus y cofactores) y para dimensiones mayores a 3, para dimensiones menores es muy fácil realizar el cálculo. Enunciamos las propiedades que cumple el determinante y entre estas proposiciones la condición del determinante para mostrar si una matriz es invertible. Finalmente demostramos una proposición sobre unas matrices especiales que son las triangulares y como estas matrices sin importar su dimensión ni si son triangularrs superiores o inferiores su determinante da una fórmula sencilla que es el producto de las entradas de la diagonal.
Orden en los números enteros - [Detalles]
Hablamos sobre algunas propiedades de los números naturales, vemos que poseen un orden. Lo nos lleva a dar las definiciones formales de "menos que" y "menor igual". Demostramos algunas proposiciones y propiedades que surgen de considerar un orden en los números naturales.
7. Topología de $\mathbb{C}$ - [Detalles]
Vamos a repasar los conceptos básicos de espacio métrico y topología en los complejos, con algunos ejemplos y proposiciones.
La Inducción matemática - [Detalles]
La inducción matemática es una herramienta fundamental para poder demostrar proposiciones que tienen que ver con los números naturales. En este video discutimos cuál es su estructura y como se implementa.
Álgebra Moderna I: Teoremas y Proposiciones relacionadas con subgrupos normales y grupo Alternante. - [Detalles]
Es fácil verificar que toda clase lateral derecha es una clase lateral izquierda y viceversa. En esta entrada, nos centraremos en demostrar formalmente este resultado y otros teoremas mas que sumen a las propiedades de subgrupos normales y el grupo alternante.
Axioma de elección - [Detalles]
En esta sección abordaremos un axioma relevante no sólo en teoría de conjuntos sino en muchas ramas de las matemáticas. Distintas proposiciones aparentemente sencillas no podrían demostrarse sin su ayuda y algunas de sus consecuencias son tan poderosas que cuesta trabajo aceptarlas. Es por eso que el llamado axioma de elección ha sido controversial desde su formulación a manos de Ernst Zermelo.
Cuestionario de conjuntos y logica - [Detalles]
Este es un cuestionario para repasar el Módulo 13 del texto "Cimientos Matemáticos" donde se abarcan temas como: conjuntos, elementos de conjuntos, cardinalidad, símbolos de pertenencia, subconjunto, operaciones con conjuntos, lógica de proposiciones, etc.
Demostración de proposiciones con cuantificadores - [Detalles]
En esta entrada, veremos las estrategias para demostraciones matemáticas que incluyen cuantificadores como: "para todo" y "existe".
Breviario de Lógica y Conjuntos - [Detalles]
En este video se comentan algunos aspectos de lógica y conjuntos, que serán de uso muy frecuente en el curso. En especial se comenta sobre los conectivos lógicos y los conjuntos solución de proposiciones sobre números reales.
Números naturales e induccion - [Detalles]
En este video veremos a los números naturales como un subconjunto del campo de los números reales. Justificaremos el Principio de Inducción Matemática, que es una herramienta muy poderosa para demostrar proposiciones de tipo universal acerca de los números naturales.