Buscar
Mostrando ítems 51-59 de 59
Relación de orden: ejemplo 4 (antisimétrica)
(2019-06-18)
Este vídeo es la tercera parte de una serie de vídeos en donde se solicita determinar si una relación dada es de orden o de orden total. Específicamente, en el vídeo se presenta la demostración de que dicha relación es ...
Cardinalidad, ejemplo 1
(2018-02-13)
En este vídeo se presenta un primer ejemplo de cálculo de cardinalidades sobre conjuntos, dados condiciones sobre las cardinalidades de éstos y algunas de sus operaciones.
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 ...
Relación de equivalencia: ejemplo 2, parte a (transitiva)
(2019-05-09)
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 dos clases de equivalencias específicas (ejemplo 2). Específicamente, en el vídeo se ...
Inferencias lógicas, ejemplo 1
(2018-07-22)
En este vídeo se presenta el primer ejemplo de inferencias lógicas, en el cual se hace uso de la tabla con las reglas de inferencias y la tabla de las leyes de la lógica para verificar la validez de un argumento dado.
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.