Buscar
Mostrando ítems 21-27 de 27
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 ...
Cuantificadores, tablas de asignación de predicados, ejemplo 1, parte 2
(2018-06-01)
Este vídeo corresponde a la segunda parte de un ejercicio de validación de proposiciones mediante la construcción y análisis de una tabla de asignación de predicados. En éste, dada la tabla construida en la parte 1 se ...
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.
Cuantificadores, ejemplo 2
(2018-03-21)
En este vídeo se presenta un ejemplo de validación de una proposición cuantificada con dos cuantificadores anidados de la forma “para todo” “existe”. En él se da una argumentación que verifica que dicha proposición es verdadera.
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.
Simplificación de conjuntos, ejemplo 1
(2018-12-19)
En este vídeo se presenta un ejemplo de simplificación de conjuntos utilizando las leyes de conjuntos. En este se explica al estrategia y el uso correcto de la tabla de leyes de conjuntos para obtener un conjunto, igual a ...
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 ...