Mi?rcoles, 12 de marzo de 2008
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:




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 GAIANO @ 11:21  | Ejercicios resueltos
Comentarios (4)  | Enviar
Comentarios
Publicado por Invitado
Martes, 29 de marzo de 2011 | 16:42

su pagina no me sirvio de nada.

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

gracias x la ayuda

Publicado por Invitado
S?bado, 17 de diciembre de 2011 | 18:20

muy útil señor . gracias Gui?o