Saltar al contenido principal
LibreTexts Español

5.15: Resumen

  • Page ID
    103696
  • \( \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}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Template:MathJaxZach

    Un lenguaje de primer orden consiste en símbolos constantes, de función y predicados. Los símbolos de función y constante toman un número específico de argumentos. En el lenguaje de la aritmética, por ejemplo, tenemos un solo símbolo de constante\(\Obj 0\), un símbolo de función de 1 lugar\(\prime\), dos símbolos de función de 2 lugares\(+\) y\(\times\), y un símbolo de predicado de 2 lugares\(<\). A partir de variables y símbolos constantes y de función formamos los términos de un lenguaje. A partir de los términos de un lenguaje junto con su símbolo predicado, así como el símbolo de identidad\(\eq[][]\), formamos las fórmulas atómicas. Y a su vez a partir de ellos, usando las conectivas lógicas\(\lnot\)\(\lor\),\(\land\),\(\lif\),,\(\liff\) y los cuantificadores\(\lforall{}{}\) y\(\lexists{}{}\) formamos sus fórmulas. Dado que tenemos cuidado de incluir siempre los paréntesis necesarios en el proceso de formación de términos y fórmulas, siempre hay exactamente una manera de leer una fórmula. Esto permite definir las cosas por inducción sobre la estructura de las fórmulas.

    Las ocurrencias de variables en fórmulas a veces se rigen por un cuantificador correspondiente: si una variable ocurre en el alcance de un cuantificador se considera vinculada, de lo contrario libre. Todos estos conceptos tienen definiciones inductivas, y también definimos inductivamente la operación de sustitución de un término por una variable en una fórmula. Las fórmulas sin ocurrencias de variables libres se llaman oraciones.

    La semántica para un lenguaje de primer orden viene dada por una estructura para ese lenguaje. Consiste en un dominio y se asignan elementos de ese dominio a cada símbolo constante. Los símbolos de función son interpretados por funciones y símbolos de relación por relación en el dominio. Una función del conjunto de variables al dominio es una asignación de variables. La relación de satisfacción relaciona estructuras, asignaciones variables y fórmulas;\(\Sat[,s]{M}{A}\) se define por inducción sobre la estructura de\(A\). \(\Sat[,s]{M}{A}\)sólo depende de la interpretación de los símbolos que realmente ocurren en\(A\), y en particular no depende de\(s\) si no\(A\) contiene variables libres. Entonces si\(A\) es una oración,\(\Sat{M}{A}\) si\(\Sat[,s]{M}{A}\) para alguna (o para todas)\(s\).

    La relación de satisfacción es la base de todas las nociones semánticas. Una oración es válida,\(\Sat{ {} }{A}\), si se satisface en cada estructura. Una sentencia\(A\) está implicada por conjunto de oraciones\(\Gamma\),\(\Gamma \Entails A\), iff\(\Sat{M}{A}\) para todos los\(\Struct{M}\) que satisfacen cada oración en\(\Gamma\). Un conjunto\(\Gamma\) es satisfacible si hay alguna estructura que satisfaga cada oración en\(\Gamma\), por lo demás insatisfactorio. Estas nociones están interrelacionadas, por ejemplo,\(\Gamma \Entails A\) iff\(\Gamma \cup \{\lnot A\}\) es insatisfactorio.


    This page titled 5.15: Resumen is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .