Estructuras de control, Condicionales en JAVA - [Detalles]
Condicionales en JAVA - ¿Cuáles son las estructuras de control condicionales? sintaxis y cómo usarlas.
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 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.
Condicionales y dobles condicionales - [Detalles]
En esta entrada introducimos los conceptos de implicación y doble implicación, así como la tautología.
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.
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.
Demostramos el teorema de Bayes, el cual relaciona distintas probabilidades condicionales y permite el cálculo de probabilidades de eventos que no son tan inmediatas.
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.
Estructuras de control, Ciclos en JAVA - [Detalles]
Ciclos en Java – estructuras de control condicionales; ciclos. Sintaxis y cómo usarlas.