Buscar
Mostrando ítems 21-30 de 44
Las aventuras matemáticas de Súper Discreto, volumen 1: Súper Discreto y el dominó
(2023-06)
Las aventuras de Súper Discreto es un cómic cuya historia gira alrededor de las matemáticas discretas y la resolución de diferentes tipos de problemas, el volumen 1 considera el Tema de Inducción matemática como ...
Lógica 2 - Tautología - Falacia - Eventualidad
(2022-07)
Se presentan las definiciones de tautología, falacia (contradicción) y eventualidad (contingencia). Y a partir de estas, las definiciones de tautológicamente equivalente, e implicar tautológicamente.
Lógica 6 - Equivalencias y cuantificadores
(2022-07)
Se presenta algunas equivalencia de proposiciones con cuantificadores y las condiciones para que proposiciones abiertas de dos variables sean verdaderas
Lógica 3 - Leyes de la lógica
(2022-07)
Se presenta una lista de las equivalencias lógicas y sus nombres.
Lógica 7 - Métodos de demostración
(2022-07)
Se presentan diferentes métodos de demostración y una explicación de como abordarlos.
Lógica 1 - Proposiciones
(2022-07)
Se presenta la definición de una proposición y las tablas de verdad para proposiciones compuestas.
Lógica 5 - Cuantificadores
(2022-07)
Se presenta la definición de proposición abierta y los cuantificadores existencial y universal.
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.