Bienvenidos!

Esto es una Wiki. Edita cuanto quieras.

Practicas y ejercicios

• Práctica 5
• Práctica 6
• Práctica 7
• Práctica 8
• Práctica 9
• Práctica 10

Otros

• Informe del Quiz 2 - Recomendaciones
• Ejercicios Adicionales - primera parte
• Ejercicios Adicionales - 2da parte
• ¿Duda sobre un paso de una prueba?
• Dudas sobre modelación

¿Te tocan los apuntes? Edita esta página, y usa "Insert a link to a new page" (en la barra al lado derecho cuando estés editando).

Ponle un título, y pon tus apuntes ahí.

No borres nada de lo que fue hecho por los demás.

Apuntes de clases

1. Introducción
2. Sustitución Textual - Inferencia
3. Inferencia con Leibniz y otras reglas
4. Pruebas, Equivalencia, Inequivalencia
5. Disyunción, Conjunción
6. Semántica, Completitud, Correctitud, Modelación
7. Forma de las pruebas
8. Modelacion e Implicaciones
9. Pruebas por debilitamiento y fortalecimiento
10. Pruebas por debilitamiento
11. Metateorema de deducción extendido
12. Ejemplos de Debilitamiento

13. Lógica de predicados

14. Lenguaje de Lógica de Predicados

15. Ocurre L y substitucion textual

16. Sustitución y prueba con cuantificadores

17. Cuantificacion Universal

18. Existencial

19. Metateorema del Testigo

Ayuda?

• The PBwiki Manual and 30-second training videos can help show you how to edit, add videos and invite users.
• The best way to get your support questions answered is to click the help link at the top of this wiki.  Our support gurus will get back to you asap.