Lógica para Computación

Licenciatura en Ciencias de la Computación

PrÁcticos

26.03.25

CÁLCULO PROPOSICIONAL

Práctico 1:

El lenguaje

Práctico 2:

La semántica

Ejemplo de cómo utilizar la Forma Normal Disyuntiva y Conjuntiva.

Práctico 3:

La Consecuencia

Ejemplo de la aplicación de los Árboles de Refutación

Práctico 4 :

Sistemas Formales

Ejemplo de demostración
Utilización del Teorema de la Deducción

CÁLCULO DE PREDICADO

Práctico 5

Lenguaje

Cálculo de Predicados - Nociones básicas
Consejos para la escritura de fórmulas (P5,P6 y P7)

Práctico 6

Semántica y Consecuencia

Práctico 7

Consecuencia