I hereby claim:
- I am aga98 on github.
- I am aga98 (https://keybase.io/aga98) on keybase.
- I have a public key ASC7dPsam9Izbnxpobw1lNrzzWgMyPtCgB4p1NDQ4P0uLwo
To claim this, I am signing this object:
Alberto Gimenez aga98
aga98
/ keybase.md
Created
September 12, 2019 14:45
aga98
/ FIB-LI_Apuntes.md
Last active
September 27, 2018 08:35
Una lógica es la unión de:
- Sintaxis: ¿De qué símbolos dispone el lenguaje y de qué maneras los puedo combinar para obtener una fórmula F?
- Semántica:
- Una definición de interpretación I: ¿Qué posibles significados existen para los símbolos?
- Una definición del concepto de satisfacción: ¿Cuándo una interpretación I satisface una fórmula F?