Buscar
Mostrando ítems 31-40 de 52
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 ...
Relaciones binarias: propiedad reflexiva
(2018-12-19)
En el presente vídeo se define la propiedad reflexiva 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 asociado ...
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í ...
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 ...
Leyes de la lógica, ejemplo 2
(2018-06-01)
Es vídeo presenta el segundo ejemplo de la aplicación de las leyes de la lógica a la simplificación de proposiciones compuesta. Se hace una aplicación gráfica de la tabla con las leyes de la lógica para mostrar su uso ...
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”.
Relaciones binarias: propiedad simétrica
(2019-08-30)
En el presente vídeo se define la propiedad simé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 asociado ...