Damos las definiciones de los cuantificadores: para todo, existe y existe un único. Mediante ejemplos mostramos su uso en la lógica proposicional.
Demostración de un cuantificador - [Detalles]
Explicamos cómo demostrar una proposición o enunciado que involucre cuantificadores. Veremos las estrategias principales y ejemplos que usen los cuantificadores existe, para todo y existe un único.
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.
Cuantificadores existenciales y universales - [Detalles]
Definimos los cuantificadores existenciales (existe) y universales (para todo). Hablamos de esquemas y universos de discurso.
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.
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 cuantificadores - [Detalles]
En esta entrada, veremos las estrategias para demostraciones matemáticas que incluyen cuantificadores como: "para todo" y "existe".
Diapositivas de cuantificadores - [Detalles]
Mostramos los símbolos más recurrentes en matemáticas para denotar la existencia, unicidad la totalidad y pertenencia de elementos en un conjunto asi mismo es acompañado por 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.