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