Buscar
Mostrando ítems 21-30 de 36
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”.
Leyes de la Lógica, introducción
(2018-07-14)
En este vídeo se presenta una introducción a las leyes de la lógica, ¿qué son?, ¿cómo se demuestran? y ¿para qué se usan? Para ejemplificar la demostración de las leyes de la lógica, en el vídeo se demuestran tres de ellas ...
Demostración, ejemplo 4
(2019-08-20)
En este vídeo se presenta una demostración de una proposición de la forma P=>Q donde las proposiciones involucradas son sobre conjuntos tales como inclusiones o igualdades. En esta se discute la estrategia a seguir para ...
Demostración, ejemplo 1
(2018-06-20)
En este vídeo se presenta una primera demostración de inclusión de conjuntos en donde los conjuntos involucrados son productos cartesianos. Se explica en él la estrategia para demostrar este tipo de proposición así como ...
Relaciones binarias: propiedad reflexiva
(2018-12-19)
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 ...
Operaciones: Disyunción de matrices booleanas
(2018-12-19)
En el presente vídeo se define la operación disyunción de matrices booleanas, y la interpretación de sus resultados en términos de relaciones. Este vídeo finaliza explicando detalladamente las condiciones necesarias, así ...
Relaciones binarias: propiedad antisimétrica
(2018-12-19)
En el presente vídeo se define la propiedad antisimé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 ...
Operaciones: Matriz transpuesta
(2018-12-19)
En el presente vídeo se define la operación transposición de matrices, para el caso específico de matrices booleanas. Se analiza la interpretación de sus resultados en términos de relaciones, he interpretando esta como la ...
Dominio, rango y gráfico
(2019-03-27)
En el presente vídeo se presenta el concepto de dominio, rango y gráfico de una relación binaria. Se termina con un ejemplo numérico en donde trabaja con dichos conceptos. En el ejemplo desarrollado se utiliza los diagramas ...
Demostración, ejemplo 3
(2018-08-20)
En este vídeo se presenta una demostración del tipo P<=>Q donde las proposiciones involucradas son inclusiones de conjuntos. En este se discute la estrategia a seguir para demostrar este tipo de proposición así como la ...