Lógica modalidad al Revés
| Tema | Nombre | Descripción |
|---|---|---|
Asígnación de grupos definitiva. |
||
El archivo presenta la cantidad de estudiantes que respondieron cada pregunta en la encuesta que se realizó después del primer parcial. |
||
| Inducción y Recursión | ||
Videos de OpenFING para los temas Inducción y Recursión |
||
| Sintaxis - Lógica Proposicional | ||
En este documento se presenta introducción a la lógica proposicional y su sintaxis como conjunto inductivo. |
||
Videos de OpenFING para el tema Sintaxis de PROP. |
||
| Semántica - Lógica Proposicional | ||
Slides |
||
Videos de OpenFING para el tema Semántica de PROP. |
||
| Deducción Natural - Lógica Proposicional | ||
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 |
||
Videos de OpenFING para el tema Deducción Natural de PROP. |
||
Yoda - Derivar necesario es |
||
Yoda - Derivar necesario es |
||
| Completitud - Lógica Proposicional | ||
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. |
||
Videos de OpenFING para el tema Completitud de PROP. |
||
| Primer Parcial | Sólo podrán rendir el parcial los que aparecen en esta lista. |
|
Enunciados de parciales realizados |
||
| Sintaxis - Lógica de Primer Orden | ||
En este documento se motivan las ideas básicas de lo que se va a estar estudiando en el resto del curso. |
||
Videos de OpenFING para el tema Sintais de PRED. |
||
| Semántica - Lógica de Primer Orden | ||
Se presenta cómo se define la correspondencia entre las Sintaxis y las Estructuras. Además se presentan algunas propiedades importantes sobre esa correspondencia. |
||
Videos de OpenFING para el tema Sintais de PRED. |
||
| Deducción Natural - Lógica de Primer Orden | ||
Se presentan las reglas adicionales de Deducción Natural para Primer Orden. Es por esto que para comprender este material es necesario tener bien presente Deducción Natural para Proposicional. Estas reglas adicionales tienen que ver con los cuantificadores y agregan un nivel de "cuidados" que hay que tener con las variables para construir derivaciones correctas. |
||
Se presentan los axiomas básicos para tratar la identidad y las reglas de deducción natural. |
||
Videos de OpenFING para el tema Deducción Natural de PRED. |
||
Asistente para deducción natural en PRED. |
||
Manual de Yoda elaborado por German Faller, un estudiante del curso. |
||
| Completitud - Lógica de Primer Orden | ||
Se presenta la completitud de la Lógica de Primer Orden, siguiendo un esquema similar al seguido en Prop pero con las diferencias inherentes al primer orden: es necesario constuir un modelo. |
||
Videos de OpenFING para el tema Completitud de PRED. |
||
| Segundo Parcial | ||