Buscar
Mostrando ítems 31-36 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 ...
Relaciones binarias: propiedades, ejemplo 2
(2019-04-24)
En el presente vídeo ha realiza un ejercicio demostrativo relacionados con las propiedades de las relaciones binarias, las operaciones de intersección y composición de relaciones.
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 ...
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í ...