Saltar al contenido principal
Library homepage
 
LibreTexts Español

5.10: Estructuras cubiertas para idiomas de primer orden

  • Page ID
    103689
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Template:MathJaxZach

    Recordemos que un término se cierra si no contiene variables.

    Definición\(\PageIndex{1}\): Value of closed terms

    Si\(t\) es un término cerrado del idioma\(\Lang L\) y\(\Struct M\) es una estructura para\(\Lang L\), el valor\(\Value{t}{M}\) se define de la siguiente manera:

    1. Si\(t\) es solo el símbolo constante\(c\), entonces\(\Value{c}{M} = \Assign{c}{M}\).

    2. Si\(t\) es de la forma\(\Atom{f}{t_1, \ldots, t_n}\), entonces\[\Value{t}{M} = \Assign{f}{M}(\Value{t_1}{M}, \ldots, \Value{t_n}{M}).\nonumber\]

    Definición\(\PageIndex{2}\): Covered structure

    Se cubre una estructura si cada elemento del dominio es el valor de algún término cerrado.

    Ejemplo\(\PageIndex{1}\)

    Dejar\(\Lang L\) ser el lenguaje con símbolos constantes\(\Obj{zero}\),,\(\Obj{one}\),...\(\Obj{two}\), el símbolo de predicado binario\(<\), y los símbolos de función binarios\(+\) y\(\times\). Entonces una estructura\(\Struct M\) para\(\Lang L\) es aquella con dominio\(\Domain M = \{0, 1, 2, \ldots \}\) y asignaciones\(\Assign{\Obj{zero}}{M} = 0\),\(\Assign{\Obj{one}}{M} = 1\),\(\Assign{\Obj{two}}{M} = 2\), y así sucesivamente. Para el símbolo de relación binaria\(<\), el conjunto\(\Assign{<}{M}\) es el conjunto de todos los pares\(\tuple{c_1, c_2} \in \Domain{M}^2\) tal que\(c_1\) es menor que\(c_2\): por ejemplo,\(\tuple{1, 3} \in \Assign{<}{M}\) pero\(\tuple{2, 2} \notin \Assign{<}{M}\). Para el símbolo de función binaria\(+\),\(\Assign{+}{M}\) defina de la manera habitual, por ejemplo,\(\Assign{+}{M}(2,3)\) mapea a\(5\), y de manera similar para el símbolo de función binaria\(\times\). Por lo tanto, el valor de\(\Obj{four}\) es justo\(4\), y el valor de\(\times(\Obj{two}, +(\Obj{three},\Obj{zero}))\) (o en notación infija,\(\Obj{two} \times (\Obj{three} + \Obj{zero})\)) es\[\begin{gathered} \begin{aligned} \Value{\times(\Obj{two}, +(\Obj{three},\Obj{zero})}{M} & =\Assign{\times}{M}(\Value{\Obj{two}}{M}, \Value{+(\Obj{three}, \Obj{zero})}{M})\\ & = \Assign{\times}{M}(\Value{\Obj{two}}{M}, \Assign{+}{M}(\Value{\Obj{three}}{M}, \Value{\Obj{zero}}{M})) \\ & = \Assign{\times}{M}(\Assign{\Obj{two}}{M}, \Assign{+}{M}(\Assign{\Obj{three}}{M}, \Assign{\Obj{zero}}{M})) \\ & = \Assign{\times}{M}(2, \Assign{+}{M}(3, 0)) \\ & = \Assign{\times}{M}(2, 3) \\ & = 6 \end{aligned}\end{gathered}\]

    Problema\(\PageIndex{1}\)

    ¿Está cubierto\(\Struct N\), el modelo estándar de aritmética? Explicar.


    This page titled 5.10: Estructuras cubiertas para idiomas de primer orden is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .