Sitio de reunión para conversar sobre educación, ciencia, música y las nuevas tecnologías.
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
Publicado por Invitado
martes, 29 de marzo de 2011 | 16:42
Publicado por Invitado
martes, 19 de abril de 2011 | 20:33
Las deducciones secuenciales permiten ver claramente como se relacionan las variables y las inferencias lógicas en las relaciones de las oraciones. valdría la pena relacionar cada proposición matemática, p. q, etc. con una proposición de la vida real ya sea al comienzo para contextualizar la presentación y que la exposición quede perfectamente clara. Debo decir que la forma didáctica me gustó mucho y me aclaró dudas por lo cual agradezco y felicito a uds.
Publicado por Invitado
martes, 05 de julio de 2011 | 11:33
Publicado por Invitado
sábado, 17 de diciembre de 2011 | 18:20
