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