Videos: Lógico

Paradigma Lógico

Definir Reglas

Mumuki Ejercicio 8 Guía 2

Paradigma Lógico

Definir Hechos universales

Mumuki Ejercicio 13 Guía 1

Paradigma Lógico

Definir Hechos universales

Mumuki Ejercicio 4 Guía 1

Paradigma Lógico

Hechos y Reglas

Mumuki Guía 1 Primeros ejercicios

Paradigma Lógico

Hechos y Reglas (continuación)

Mumuki Guía 1 Primeros ejercicios

Paradigma Lógico

Inversibilidad Aritmética Negación

Usando Visual Studio Code

Código: https://github.com/pdp-unsam/logico-ejemplo-partidos-futbol.git

Paradigma Lógico

Introducción a Cuantificación Universal

Ejemplo con not y con forall.

Mumuki - Guía negación y cuantificación Ejs 9 y 10

Paradigma Lógico

Cuantificación Universal

Ejemplo de forall hecho en clase

Código: https://github.com/pdp-unsam/Logico-Ejemplo-forall-compras

Paradigma Lógico

Cuantificación Universal

Ejercicio de forall hecho en clase

Codigo: https://github.com/pdepjm/TEG-forall (versión similar a la hecha en clase, más completa)