Semántica de la 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.