Buscar
Mostrando ítems 51-60 de 60
Lógica 7 - Métodos de demostración
(2022-07)
Se presentan diferentes métodos de demostración y una explicación de como abordarlos.
Lógica 1 - Proposiciones
(2022-07)
Se presenta la definición de una proposición y las tablas de verdad para proposiciones compuestas.
Lógica 5 - Cuantificadores
(2022-07)
Se presenta la definición de proposición abierta y los cuantificadores existencial y universal.
Validación de proposiciones cuantificadas, ejemplo 3, parte a
(2019-08-03)
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”.
Relaciones binarias: propiedad simétrica
(2019-08-30)
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 ...
Relación de equivalencia: ejemplo 1, parte a (transitiva)
(2019-05-29)
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 ...
Relación de equivalencia: ejemplo 1, parte b
(2019-06-19)
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 ...
Operaciones: multiplicación de matrices booleanas, parte 1
(2018-12-19)
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 ...
Tablas de verdad, tautología, falacias y eventualidades
(2018-05-21)
En este vídeo se muestra la teoría sobre tablas de verdad, en él se explican lo que significa que una proposición compuesta sea una tautología, una falacia o una eventualidad. Finalmente, en dicho vídeo se presenta un ...
Validación de proposiciones cuantificadas, ejemplo 3 parte b
(2019-08-07)
En 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 “existe” - “para todo”.