Buscar
Mostrando ítems 11-20 de 36
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.
Demostración, ejemplo 2
(2018-06-05)
En este vídeo se presenta una demostración de igualdad de conjuntos, en él se explica la estrategia a utilizar, así como su correcta redacción de la misma.
Proposiciones y conectivas lógicas
(2018-06-25)
En este vídeo se presentan la teoría inicial de la lógica, iniciando con la definición proposición lógica así como la definición de las conectivas lógicas: conjunción, disyunción, implicación, negación y doble implicación ...
Validación de proposiciones cuantificadas, ejemplo 3, parte a
(2019-08-03)
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 “para todo” - “existe”.
Operaciones: multiplicación de matrices booleanas, parte 1
(2018-12-19)
En el presente vídeo se presenta la definición de la multiplicación booleana de matrices, para el caso específico de una matriz final por una matriz columna del mismo número de entradas. El vídeo termina presentando ejemplo ...
Tablas de verdad, tautología, falacias y eventualidades
(2018-05-21)
En este vídeo se muestra la teoría sobre tablas de verdad, en él se explican lo que significa que una proposición compuesta sea una tautología, una falacia o una eventualidad. Finalmente, en dicho vídeo se presenta un ...
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 ...
Relaciones binarias: propiedades, ejemplo 1
(2019-04-10)
En le presente vídeo ha realiza un ejercicio demostrativo relacionados con las propiedades de las relaciones binarias, la operación de intersección de relaciones y la relación inversa. Específicamente se trabaja con transitividad.
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 ...