CI2511 Demostrando por el Método Directo

Curso CI-2511: Lógica Simbólica, Universidad Simón Bolívar, Venezuela.

Se discute el método directo de demostración de la Lógica Proposicional. La prueba realizada para es incorrecta pues hace caso omiso del Metateorema de Monotonía. Se hace énfasis en que una demostración por el método directo no puede llegar a true por implicación.



n varias estrategias frecuentemente utilizadas por los estudiantes al realizar demostraciones con implicación. Se muestra cómo algunas estrategias son poco elegantes pues conducen a pruebas largas y confusas.

La numeración de los teoremas corresponde a la utilizada en el Libro de Texto : D. Gries. & F. Schneider (1994). A Logical Approach to Discrete Math. Springer.

Category:

Education