Saltar al contenido principal
LibreTexts Español

5.1: Introducción

  • Page ID
    103685
  • \( \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

    Para desarrollar la teoría y metateoría de la lógica de primer orden, primero debemos definir la sintaxis y semántica de sus expresiones. Las expresiones de la lógica de primer orden son términos y fórmulas. Los términos se forman a partir de variables, símbolos constantes y símbolos de función. Las fórmulas, a su vez, se forman a partir de símbolos predicados junto con términos (estos forman las fórmulas más pequeñas, “atómicas”), y luego a partir de fórmulas atómicas podemos formar otras más complejas usando conectivos lógicos y cuantificadores. Hay muchas formas diferentes de establecer las reglas de formación; damos solo una posible. Otros sistemas elegirán diferentes símbolos, seleccionarán diferentes conjuntos de conectivos como primitivos, usarán paréntesis de manera diferente (o incluso no en absoluto, como en el caso de la llamada notación polaca). Sin embargo, lo que todos los enfoques tienen en común es que las reglas de formación definen inductivamente el conjunto de términos y fórmulas. Si se hace correctamente, cada expresión puede resultar esencialmente de una sola manera de acuerdo con las reglas de formación. La definición inductiva que resulta en expresiones que son legibles de manera única significa que podemos dar significados a estas expresiones usando el mismo método: definición inductiva.

    Dar el significado de las expresiones es el dominio de la semántica. El concepto central en semántica es el de satisfacción en una estructura. Una estructura da sentido a los bloques de construcción del lenguaje: un dominio es un conjunto no vacío de objetos. Los cuantificadores se interpretan como que van sobre este dominio, a los símbolos constantes se les asignan elementos en el dominio, a los símbolos de función se les asignan funciones del dominio a sí mismo, y a los símbolos de predicado se les asignan relaciones en el dominio. El dominio junto con las asignaciones al vocabulario básico constituye una estructura. Las variables pueden aparecer en fórmulas, y para dar una semántica, también tenemos que asignarles elementos del dominio, esto es una asignación de variables. La relación de satisfacción, finalmente, los une. Una fórmula puede satisfacerse en una estructura\(\Struct{M}\) relativa a una asignación variable\(s\), escrita como\(\Sat[,s]{M}{A}\). Esta relación también se define por inducción sobre la estructura de\(A\), utilizando las tablas de verdad para que los conectivos lógicos definan, digamos, satisfacción de\(A \land B\) en términos de satisfacción (o no) de\(A\) y\(B\). Entonces resulta que la asignación de variables es irrelevante si la fórmula\(A\) es una oración, es decir, no tiene variables libres, y así podemos hablar de oraciones simplemente satisfechas (o no) en estructuras.

    A partir de la relación\(\Sat{M}{A}\) de satisfacción de las oraciones podemos definir entonces las nociones semánticas básicas de validez, vinculación y satisfacción. Una sentencia es válida,\(\Entails A\), si toda estructura la satisface. Se implica por un conjunto de oraciones,\(\Gamma \Entails A\), si cada estructura que satisface todas las oraciones en\(\Gamma\) también satisface\(A\). Y un conjunto de oraciones es satisfecha si alguna estructura satisface todas las oraciones en él al mismo tiempo. Debido a que las fórmulas se definen inductivamente y la satisfacción se define a su vez por la inducción sobre la estructura de las fórmulas, podemos usar la inducción para probar propiedades de nuestra semántica y relacionar las nociones semánticas definidas.


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