Se resuelven ejercicios aplicando la inferencia directa en lógica de enunciados. Se utiliza, además de las leyes y reglas de inferencia, las propiedades booleanas y las equivalencias más habituales.

Se resuelven ejercicios aplicando la inferencia, tanto condicional como directa o por reducción al absurdo, en lógica de enunciados. Se utiliza, además de las leyes y reglas de inferencia, las propiedades boolenas y las ...

Se presentan en este vídeo ejercicios no triviales de simbolización en lógica de enunciados, resaltando la importancia de la jerarquía de paréntesis y la necesidad de parafrasear una expresión del lenguaje cotidiano en ...

Se introduce la inferencia directa en lógica de enunciados y se muestra como proceder en la práctica mediante algunos ejemplos sencillos

Se proponen y resuelven ejercicios muy sencillos de simbolización en lógica de enunciados, practicando la transformación de frases del lenguaje habitual en proposiciones de la lógica de enuciados, haciendo hincapié en cómo ...

Se presentan, con ejemplos previos relacionadas con la vida ordinaria, las tablas de verdad de los conectores: conjunción, disyunción y negación

En el vídeo se recuerdan los conceptos de tautología, contradicción y contingencia, así como el de equivalencia. Se comentan las leyes boolenas y equivalencias más comunes.