Semántica de la Lógica de Primer Orden - 2016

Se presenta cómo se define la correspondencia entre las Sintaxis y las Estructuras. Además se presentan algunas propiedades importantes sobre esa correspondencia.