Buscar
Mostrando ítems 21-27 de 27
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 ...
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 ...
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 ...
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 ...
Inferencias lógicas, ejemplo 1
(2018-07-22)
En este vídeo se presenta el primer ejemplo de inferencias lógicas, en el cual se hace uso de la tabla con las reglas de inferencias y la tabla de las leyes de la lógica para verificar la validez de un argumento dado.