Saltar al contenido principal
LibreTexts Español

10.3: Completar Conjuntos Consistentes de Sentencias

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

    Definición\(\PageIndex{1}\): Complete set

    Un conjunto\(\Gamma\) de oraciones es completo iff para cualquier oración\(A\), ya sea\(A \in \Gamma\) o\(\lnot A \in \Gamma\).

    Los juegos completos de oraciones no dejan preguntas sin respuesta. Para cualquier frase\(A\),\(\Gamma\) “dice” si\(A\) es verdadera o falsa. La importancia de los conjuntos completos se extiende más allá de la prueba del teorema de la completitud. Una teoría completa y axiomatizable, por ejemplo, siempre es decidible.

    Los conjuntos consistentes completos son importantes en la prueba de integridad ya que podemos garantizar que cada conjunto consistente de oraciones\(\Gamma\) esté contenido en un conjunto consistente completo\(\Gamma^*\). Un conjunto consistente completo contiene, para cada oración\(A\), una\(A\) o su negación\(\lnot A\), pero no ambas. Esto es cierto en particular para las oraciones atómicas, por lo que a partir de un conjunto consistente completo en un lenguaje adecuadamente expandido por símbolos constantes, podemos construir una estructura donde se defina la interpretación de los símbolos predicados según la cual las oraciones atómicas están en\(\Gamma^*\). Esta estructura puede entonces mostrarse para hacer verdaderas todas las oraciones en\(\Gamma^*\) (y por lo tanto también todas las de\(\Gamma\)). La prueba de este último hecho requiere que\(\lnot A \in \Gamma^*\) iff\(A \notin \Gamma^*\),\((A \lor B) \in \Gamma^*\) iff\(A \in \Gamma^*\) o\(B \in \Gamma^*\), etc.

    En lo que sigue, a menudo utilizaremos tácitamente las propiedades de reflexividad, monotonicidad y transitividad de\(\Proves\) (ver secciones 8.8 y 9.7).

    Proposición\(\PageIndex{1}\)

    Supongamos que\(\Gamma\) es completo y consistente. Entonces:

    1. Si\(\Gamma \Proves A\), entonces\(A \in \Gamma\).

    2. \(A \land B \in \Gamma\) iff both \(A \in \Gamma\) and \(B \in \Gamma\).

    3. \(A \lor B \in \Gamma\) iff either \(A \in \Gamma\) or \(B \in \Gamma\).

    4. \(A \lif B \in \Gamma\) iff either \(A \notin \Gamma\) or \(B \in \Gamma\).

    Comprobante. Supongamos por todo lo siguiente que\(\Gamma\) es completo y consistente.

    1. Si\(\Gamma \Proves A\), entonces\(A \in \Gamma\).

      Supongamos que\(\Gamma \Proves A\). Supongamos que al contrario eso\(A \notin \Gamma\). Ya que\(\Gamma\) está completo,\(\lnot A \in \Gamma\). Por las Proposiciones 8.9.3 y 9.8.3,\(\Gamma\) es inconsistente. Esto contradice la suposición que\(\Gamma\) es consistente. De ahí que no pueda darse el caso de que\(A \notin \Gamma\), así\(A \in \Gamma\).

    2. Ejercicio.

    3. Primero demostramos que si\(A \lor B \in \Gamma\), entonces cualquiera\(A \in \Gamma\) o\(B \in \Gamma\). Supongamos\(A \lor B \in \Gamma\) pero\(A \notin \Gamma\) y\(B \notin \Gamma\). Ya que\(\Gamma\) está completo,\(\lnot A \in \Gamma\) y\(\lnot B \in \Gamma\). Por las Proposiciones 8.10.2 y 9.9.2, el ítem (1),\(\Gamma\) es inconsistente, una contradicción. De ahí, ya sea\(A \in \Gamma\) o\(B \in \Gamma\).

      Para la dirección inversa, supongamos que\(A \in \Gamma\) o\(B \in \Gamma\). Por las Proposiciones 8.10.2 y 9.9.2, ítem (2),\(\Gamma \Proves A \lor B\). Por (1),\(A \lor B \in \Gamma\), según se requiera.

    4. Ejercicio.

    Problema\(\PageIndex{1}\)

    Completar el comprobante de Proposición\(\PageIndex{1}\).


    This page titled 10.3: Completar Conjuntos Consistentes de Sentencias is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .