Buscar
Mostrando ítems 31-36 de 36
Cuantificadores, ejemplo 3
(2018-02-03)
En este vídeo se presenta un ejemplo de validación de una proposición cuantificada con dos cuantificadores anidados de la forma “existe” “para todo” . En él se da una argumentación que verifica que dicha proposición es falsa.
Matriz asociada a una relación
(2019-03-20)
En el presente vídeo se define la matriz asociada a una relación binaria de un conjunto A sobre un conjunto B. En el vídeo se explica la forma en que se construye e interpreta dicha matriz. El vídeo finaliza con un ejemplo ...
Grafos dirigidos
(2018-12-19)
En el presente vídeo se presentan los conceptos de nodo, flecha y lazo correspondientes a las partes que componen a un grafo dirigido. Además, define lo que es el grafo dirigido asociado una relación binaria de un conjunto ...
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: Multiplicación de matrices booleanas, parte 2
(2018-12-19)
En el presente vídeo se define la operación multiplicación de matrices booleanas, y la interpretación de sus resultados en términos de relaciones relacionando esta con la composición de relaciones binarias. Este vídeo ...
Demostración, ejemplo 5
(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 ...