Curso CI-2511: Lógica Simbólica, Universidad Simón Bolívar, Venezuela.
Se discuten 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.
excelente uso de las tecnologìas modernas profesora Chang!
MarcosMora 4 months ago