En este vídeo se presenta un ejemplo de cuantificadores para proposiciones en prosa. En esta primera parte del ejercicio se presenta el análisis de la argumentación dadas y la posterior confección de la tabla de asignación ...

En el presente vídeo se define la propiedad reflexiva de una relación binaria definida de un conjunto sobre si mismo. Se hace una interpretación gráfica de dicha propiedad desde el punto de vista del grafo dirigido asociado ...

En el presente vídeo se define la propiedad simétrica de una relación binaria definida de un conjunto sobre si mismo. Se hace una interpretación gráfica de dicha propiedad desde el punto de vista del grafo dirigido asociado ...

Este vídeo es la primera parte de un ejercicio de validación de una proposición cuantificada en la cual se involucran conjuntos finitos. Esta proposición es de la forma “para todo” - “existe”.

Es vídeo presenta el segundo ejemplo de la aplicación de las leyes de la lógica a la simplificación de proposiciones compuesta. Se hace una aplicación gráfica de la tabla con las leyes de la lógica para mostrar su uso ...

En este vídeo se muestra un ejemplo de operaciones con conjuntos en los que se involucran diferentes operaciones entre conjuntos tales como: diferencia, diferencia simétrica, conjunto partes y el producto cartesiano.

Este vídeo es la quinta parte de una serie de vídeos en donde se solicita demostrar que una relación es de equivalencia y determinar su conjunto cociente. Específicamente, en el vídeo se presenta el cálculo del conjunto ...

En el presente vídeo se presenta la definición de la multiplicación booleana de matrices, para el caso específico de una matriz final por una matriz columna del mismo número de entradas. El vídeo termina presentando ejemplo ...

Este vídeo es la cuarta parte de una serie de vídeos en donde se solicita demostrar que una relación es de equivalencia y determinar su conjunto cociente. Específicamente, en el vídeo se presenta la demostración de que ...

En este vídeo se presenta un segundo ejercicio demostrativo en donde se solicita demostrar que una relación es de equivalencia y determinar dos clases de equivalencias específicas. En sí, el vídeo particular no resuelve ...