Buscar
Mostrando ítems 21-27 de 27
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, 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.
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.
Leyes de la Lógica, introducción
(2018-07-14)
En este vídeo se presenta una introducción a las leyes de la lógica, ¿qué son?, ¿cómo se demuestran? y ¿para qué se usan? Para ejemplificar la demostración de las leyes de la lógica, en el vídeo se demuestran tres de ellas ...