Buscar
Mostrando ítems 1-10 de 36
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”.
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 ...
Operaciones con conjuntos, ejemplo 2
(2018-02-15)
En este vídeo se muestra un ejemplo de operaciones con conjuntos en los que se involucran diferentes operaciones entre conjuntos tales como: diferencia, diferencia simétrica, conjunto partes y el producto cartesiano.
Cuantificadores, tablas de asignación de predicados, ejemplo 1, parte 1
(2019-06-01)
En este vídeo se presenta un ejemplo de cuantificadores para proposiciones en prosa. En esta primera parte del ejercicio se presenta el análisis de la argumentación dadas y la posterior confección de la tabla de asignación ...
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 ...
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 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: 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 ...
Diagrama de Venn, ejemplo
(2019-08-07)
En este vídeo se presenta un ejemplo del uso de los diagramas de Venn para representar operaciones de conjuntos en general mediante el sombreo de regiones.
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 ...