Lógica

Programa

Libro del curso, 5ta edición.

Horarios y Salones para Consultas

hfjsdfhjksd

Este documento presenta una introducción al curso de Lógica.

Este documento presenta las ideas básicas de Conjuntos Inductivos y cómo aprovechar la estructura inductiva de los elementos de esos conjuntos para probar propiedades sobre los mismos.

Este documento presenta las ideas básicas sobre cómo definir funciones sobre conjuntos definidos inductivamente explotando la estructura inductiva de sus elementos.

Duración: 2 semanas

 Ejercicio 1 - 1:08:54
 Ejercicio 2 - 1:18:59 - 34:37
 Ejercicio 3 - 1:20:04
 Ejercicio 4 - 1:27:47
 Ejercicio 5 - 1:33:40
 Ejercicio 6 - 1:47:37
 Ejercicio 7 - 1:55:22
 Ejercicio 8 - 2:08:07
 Ejercicio 9 - 2:17:47
 Ejercicio 10 - 2:46:11

Ejercicio 11 - 36:35
Ejercicio 12 - 39:06
Ejercicio 13 - 59:43
Ejercicio 14 - 1:11:07
Ejercicio 15 - 1:15:54
Ejercicio 16 - 1:28:34
Ejercicio 17 - 1:34:47
Ejercicio 18 - 1:49:37
Ejercicio 19 - 2:00:15
Ejercicio 20 - 2:04:54
Ejercicio 21 - 2:22:08
Ejercicio 22 - 2:28:28

En el ejercicio 22 al final del mismo se muestra un árbol como la representación del natural 2 en el lenguaje N1 que es incorrecta.

La última diapositiva del video debería ser esta.

En este documento se presenta introducción a la lógica proposicional.

En este documento se presenta la sintaxis como conjunto inductivo.

Duración: 1 semana.

Video de presentación y pautas para resolución de ejercicios 

Slides

FE DE ERRATAS

En el tiempo 2:14:17 la zona pintada en el diagrama de Venn debe incluir a todo el conjunto característico de φ.

Ejercicio 1 - 27:27
Ejercicio 2 - 34:54
Ejercicio 3 - 40:09
Ejercicio 4 - 44:24
Ejercicio 5 - 54:15
Ejercicio 6 - 1:00:34
Ejercicio 7 - 1:08:12
Ejercicio 8 - 1:18:43
Ejercicio 9 - 1:24:32
Ejercicio 10 - 1:39:32
Ejercicio 11 - 1:48:35
Ejercicio 12 - 1:49:39
Ejercicio 13 - 2:07:29
Ejercicio 14 - 2:21:58

En el video de presentación del práctico 3, en la primera parte del ejercicio 14 quedó mal la presentación de la hipótesis global a considerar.

Aquí se presentan las diapositiva corregida y la solución de este ejercicio se encuentra dentro de las soluciones publicadas de este práctico.

En esta sección se presenta otra noción de consecuencia, en la que no se utilizan consideraciones semánticas. En base a esta noción, se define un sistema basado en reglas sintácticas que permite demostrar que una fórmula es consecuencia de ciertas hipótesis.

Práctico 4

Yoda - Derivar necesario es

Generalidades del práctico 30:19
Ejercicio 1 - 33:39
Ejercicio 2 - 1:24:10
Ejercicio 3 - 1:28:44
Ejercicio 4 - 1:41:26
Ejercicio 5 - 1:44:05
Ejercicio 6 - 1:46:38
Ejercicio 7 - 1:56:16
Ejercicio 8 - 2:10:59
Ejercicio 9 - 2:19:55
Ejercicio 10 - 2:33:20
Ejercicio (11)12 - 2:46:50

En este documento, se presenta la relación entre las dos nociones.

Para esto se estudiarán las nociones de Corrección, Consistencia y Completitud en la Lógica Proposicional.

El practico 5 del curso

Ejercicio 1  -   25:09   Resumen Propiedades - 1:39:04
Ejercicio 2  -   31:42
Ejercicio 3  -   41:14
Ejercicio 4  -   56:40
Ejercicio 5  - 1:01:40
Ejercicio 6  - 1:10:43
Ejercicio 7  - 1:20:14
Ejercicio 8  - 1:27:47
Ejercicio 9  - 1:34:44
Ejercicio 10 - 1:39:14
Ejercicio 11 - 1:49:18
Ejercicio 12 - 1:51:46
Ejercicio 13 - 1:59:31
Ejercicio 14 - 2:06:21
Ejercicio 15 - 2:19:55
Ejercicio 16 - 2:29:25
Ejercicio 17 - 2:39:38

Solución corregida del ejercicio 1a. del práctico 5 que tiene un error en la presentación del video.

Se plantea una posible solución. Se debe tener presente que no son necesariamente únicas, por lo que pueden existir soluciones diferentes a las presentadas.

Por razones históricas, algunas propuestas dicen "Bosquejo de Solución", pero corresponden a una solución rigurosa y completa de cada ejercicio.