Condicionales y dobles condicionales - [Detalles]
En esta entrada introducimos los conceptos de implicación y doble implicación, así como la tautología.
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.
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.
Pasar de frase a implicación - [Detalles]
Se muestran ejemplos de cómo traducir una frase común, a una proposición lógica.
Como demostrar una implicación. Demostración directa - [Detalles]
Platicamos las características de la demostración directa y damos un ejemplo con una proposición sobre los números enteros múltiplos de 6.
Demostración por contrapositiva - [Detalles]
Explicamos el método de demostrar una implicación usando su contrapositiva y vemos algunos ejemplos.
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.
Demostración de condicionales y dobles condicionales - [Detalles]
En esta entrada vemos ejemplos de demostraciones con doble implicación, algunas convenciones de su redacción y técnicas de demostración.
Como demostrar un bicondicional (si y sólo si) - [Detalles]
Damos reglas generales para demostrar una proposición con bicondicional (si y solo sí). Particularmente utilizamos una demostración de ida y otra de vuelta.
Demostramos la ida del teorema de Ceva
Teorema de Menelao - [Detalles]
Demostramos la ida del teorema de Menelao
Teorema de Desargues - [Detalles]
Demostramos la ida del teorema de Desargues
En este interactivo se demuestra el teorema de Ceva (la ida), para revisar el recíproco (regreso) ir al interactivo "Recíproco del Teorema de Ceva". Contiene figuras interactivas que guían la demostración.
Recíproco del teorema de Ceva - [Detalles]
En este interactivo se demuestra el recíproco del teorema de Ceva (el regreso), para revisar la ida, ir al interactivo "Teorema de Ceva". Contiene figuras interactivas que guían la demostración.
Teorema de Menelao - [Detalles]
En este interactivo se demuestra el teorema de Menelao(la ida), para revisar el recíproco (regreso) ir al interactivo "Recíproco del Teorema de Menelao". Contiene figuras interactivas que guían la demostración.
Recíproco del Teorema de Menelao - [Detalles]
En este interactivo se demuestra el recíproco (regreso) del teorema de Menelao, para revisar la ida, ir al interactivo "Teorema de Menelao". Contiene figuras interactivas que guían la demostración.
Teorema de Desargues - [Detalles]
En este interactivo se demuestra el teorema de Desargues(la ida), para revisar el recíproco (regreso) ir al interactivo "Recíproco del Teorema de Desargues". Contiene figuras interactivas que guían la demostración.
Recíproco del Teorema de Desargues - [Detalles]
En este interactivo se demuestra el recíproco (regreso) del teorema de Desargues, para revisar la ida, ir al interactivo "Teorema de Desargues". Contiene figuras interactivas que guían la demostración.
Teorema de Ptolomeo - [Detalles]
En este interactivo se demuestra el teorema de Ptolomeo (la ida), para revisar el recíproco (regreso) ir al interactivo "Recíproco del Teorema de Ptolomeo". Contiene figuras interactivas que guían la demostración.
Recíproco del Teorema de Ptolomeo - [Detalles]
En este interactivo se demuestra el recíproco (regreso) del teorema de Ptolomeo, para revisar la ida, ir al interactivo "Teorema de Ptolomeo". Contiene figuras interactivas que guían la demostración.
Teorema de la línea de Simson - [Detalles]
En este interactivo se demuestra el teorema de la línea de Simson (la ida), para revisar el recíproco (regreso) ir al interactivo "Recíproco del Teorema de la línea de Simson". Contiene figuras interactivas que guían la demostración.
Recíproco del Teorema de la línea de Simson - [Detalles]
En este interactivo se demuestra el recíproco del teorema de la línea de Simson (el regreso), para revisar la ida ir al interactivo "Teorema de la línea de Simson". Contiene figuras interactivas que guían la demostración.
Teorema del Eje radical - [Detalles]
El interactivo está relacionado al tema "Potencia de un punto", en este se encuentra la demostración (de la ida y del regreso) del teorema del eje radical que dice "el lugar geométrico de los puntos P que tienen la misma potencia con respecto a dos circunferencias es una perpendicular a la línea de los centros". Se incluyen figuras interactivas que guían la demostración.
Proposición 48 - Libro I de los Elementos de Euclides - [Detalles]
Aquí se encuentra la demostración de la proposición 48 del libro I de los elementos de Euclides, que corresponde al recíproco del teorema de Pitágoras, la ida está en la proposición 47. Incluye figuras interactivas.