Lógica matemática
En los siguientes vídeos hay ejercicios resueltos de lógica matemática:
1 ) Demostración de la ley de absorción usando tabla de verdad:
2 ) Un ejemplo de tautología y uno de contradicción:
3) Demostración de una equivalencia usando la definición del condicional y la ley de De Morgan:
4 ) Demostración de una equivalencia usando la definición del condicional y la ley de distributividad:
5 ) Ejemplo de conjunto de oraciones satisfactible:
6 ) Ejemplo de una consecuencia tautológica y también un contraejemplo:
7 ) En este vídeo se demuestra que un conjunto de oraciones es satisfactible ( sintácticamente consistente ) , usando un árbol de Gentzen:
7 ) En este vídeo se demuestra que un conjunto de oraciones es satisfactible ( sintácticamente consistente ) , usando un árbol de Gentzen:
8 ) En este vídeo se da un contraejemplo de conjunto de oraciones satisfactible, usando un árbol de Gentzen:
9 ) Demostración de una consecuencia tautológica usando un árbol de Gentzen:
Tags: consecuencia tautológica, lógica matemática, tautología, contradicción, demostraciones, satisfactible, árbol de Gentzen
Sitio de reunión para conversar sobre educación, ciencia, música y las nuevas tecnologías.
