Buscar
Mostrando ítems 31-36 de 36
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.
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”.
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.
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, 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 4
(2019-08-20)
En este vídeo se presenta una demostración de una proposición de la forma P=>Q donde las proposiciones involucradas son sobre conjuntos tales como inclusiones o igualdades. En esta se discute la estrategia a seguir para ...