Saltar al contenido principal
LibreTexts Español

Sección 6: Ejercicios de práctica

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

    *Parte A Determinar si cada oración es verdadera o falsa en el modelo dado.

    UD = {Corwin, Benedict}
    extensión (\(A\)) = {Corwin, Benedict}
    extensión (\(B\)) = {Benedict}
    extensión (\(N\)) = ∅
    referente (\(c\)) = Corwin

    1. \(Bc\)
    2. \(Ac\)↔ ¬\(Nc\)
    3. \(Nc\)→ (\(Ac\)\(Bc\))
    4. [\(xAx\)
    5]. \(x\)¬¬\(Bx\)
    6. \(x\)(\(Ax\)&\(Bx\))
    7. \(x\)(\(Ax\)\(Nx\))
    8. f\(x\) (\(Nx\)¬\(Nx\))
    9. \(xBx\)→p\(xAx\)

    *Parte B Determinar si cada oración es verdadera o falsa en el modelo dado.

    UD = {Waylan, Willy, Johnny}
    extensión (\(H\)) = {Waylan, Willy, Johnny}
    extensión (\(W\)) = {Waylan, Willy}
    extensión (\(R\)) = {<Waylan, Willy> <Willy, Johnny>,, <Johnny, Waylan>}
    referente (\(m\)) = Johnny

    1. \(x\)(\(Rxm\)&\(Rmx\))
    2. β\(x\) (\(Rxm\)\(Rmx\))
    3. [\(Hx\)\(x\)] (\(Wx\))
    4. [\(Rxm\)\(x\)] (→\(Wx\))
    5. \(x\)[\(Wx\)→ (\(Hx\)&\(Wx\))]
    6. \(xRxx\)
    7. \(x\)\(yRxy\)
    8. \(x\)\(yRxy\)
    9. ∀\(x\)\(y\) (\(Rxy\)ʼ\(Ryx\))
    10. \(x\)[\(y\)(\(Rxy\)&\(Ryz\)) →\(Rxz\)]

    *Parte C Determinar si cada oración es verdadera o falsa en el modelo dado.

    UD = {Lemmy, Courtney, Eddy}
    extensión (\(G\)) = {Lemmy, Courtney, Eddy}
    extensión (\(H\)) = {Courtney}
    extensión (\(M\)) = {Lemmy, Eddy}
    referente (\(c\)) = Courtney
    referente (\(e\)) = Eddy

    1. \(Hc\)
    2. \(He\)
    3. \(Mc\)\(Me\)
    4. \(Gc\)¬\(Gc\)
    5. \(Mc\)\(Gc\)
    6. \(xHx\)
    7. [\(xHx\)
    8]. \(x\)¬\(Mx\)
    9. \(x\)(\(Hx\)&\(Gx\))
    10. \(x\)(\(Mx\)&\(Gx\))
    11. β\(x\) (\(Hx\)\(Mx\))
    12. \(xHx\)\(xMx\)
    &13. ∀\(x\) (\(Hx\)↔ ¬\(Mx\))
    14. \(xGx\)\(x\)\(Gx\)
    15. \(x\)\(y\)(\(Gx\)&\(Hy\))

    *Parte D Escriba el modelo que corresponda a la interpretación dada.

    UD: números naturales del 10 al 13
    \(Ox\):\(x\) es impar.
    \(Sx\):\(x\) es menor que 7.
    \(Tx\):\(x\) es un número de dos dígitos.
    \(Ux\):\(x\) se piensa que es de mala suerte.
    \(Nxy\):\(x\) es el siguiente número después\(y\).

    Parte E Mostrar que cada uno de los siguientes es contingente.

    *1. \(Da\)&\(Db\)
    *2. \(xTxh\)
    *3. \(Pm\)&¬β\(xPx\)
    4. β\(zJz\)\(yJy\)
    5. f\(x\)\(Wxmn\) (\(yLxy\))
    6. \(x\)(\(Gx\)→p\(yMy\))

    *Parte F Mostrar que los siguientes pares de oraciones no son lógicamente equivalentes.

    1. \(Ja\),\(Ka\)
    2. \(xJx\),\(Jm\)
    3. \(xRxx\),\(xRxx\)
    4. \(xPx\)\(Qc\),\(x\) (\(Px\)\(Qc\))
    5. ∀\(x\) (\(Px\)→¬\(Qx\)),\(x\) (\(Px\)\(Qx\))
    6. \(x\)(\(Px\)&\(Qx\)),\(x\) (\(Px\)\(Qx\))
    7. ∀\(x\) (\(Px\)\(Qx\)), ∀\(x\) (\(Px\)&\(Qx\))
    8. \(x\)\(yRxy\),\(x\)\(yRxy\)
    9. \(x\)\(yRxy\)\(x\),\(yRyx\)

    Parte G Mostrar que los siguientes conjuntos de oraciones son consistentes.

    1. {\(Ma\), ¬\(Na\),\(Pa\), ¬\(Qa\)}
    2. {\(Lee\)\(Lef\),, ¬\(Lfe\), ¬\(Lff\)}
    3. {¬ (\(Ma\)\(xAx\)&),\(Ma\) ʼ\(Fa\), ∀\(x\) (\(Fx\)\(Ax\))}
    4.\(Ma\) { \(Mb\),\(Ma\) →∀\(x\) ¬\(Mx\)}
    5. {∀\(yGy\), ∀\(x\) (\(Gx\)\(Hx\)),\(y\) ¬\(Iy\)}
    6. {\(x\)(\(Bx\)ʼ\(Ax\)), ∀\(x\) ¬\(Cx\), ∀\(x\) (\(Ax\)& \(Bx\)) →\(Cx\)}
    7. {\(xXx\),\(xY\)\(x\), ∀\(x\) (\(Xx\)↔ ¬\(Y\)\(x\))}
    8. {∀\(x\)\(Px\) (\(Qx\)ʼ),\(x\) ¬ (\(Qx\)&\(Px\))}
    9. {\(z\) (\(Nz\)&\(Ozz\)),\(x\) ∀ ∀\(y\) (\(Oxy\)\(Oyx\))}
    10. {\(yRxy\)¬,\(x\)\(x\)\(yRxy\)}

    Parte H Construye modelos para mostrar que los siguientes argumentos no son válidos.

    1. ∀\(x\) (\(Ax\)\(Bx\)),..\(xBx\)
    2. ∀\(x\) (\(Rx\)\(Dx\)), ∀\(x\) (\(Rx\)\(Fx)\),..\(x\) (\(Dx\)&\(Fx\))
    3.\(x\) (\(Px\)\(Qx\)),..\(xPx\)
    4. \(Na\)&\(Nb\) &\(Nc\),.. ∀\(xNx\)
    5. \(Rde\),\(xRxd\),.. \(Red\)
    6. \(x\)(\(Ex\)&\(Fx\)),\(xFx\)\(xGx\) →,.. \(x\)(\(Ex\)&\(Gx\))
    7. β\(xOxc\), β\(xOcx\),.. [\(xOxx\)
    8]. \(x\)(\(Jx\)&\(Kx\)),\(x\) ¬\(Kx\),\(x\) ¬\(Jx\),.. \(x\)\(Jx\)\(Kx\))
    9. \(Lab\)→β\(xLxb\),\(xLxb\),.. \(Lbb\)

    Parte I

    *1. Demostrar que {¬\(Raa\), ∀\(x\) (\(x\)\(a\)=\(Rxa\))} es consistente.
    *2. Demostrar\(x\) que {α\(y\) α\(y\) α\(z\)\(z\) (\(x\)\(x\)=\(z\)),\(x\)\(y\)\(x\)\(y\)} es consistente.\(y\)
    *3. Mostrar que {\(x\)∀ α\(y\)\(x\) =\(y\),\(x\)\(x\)\(a\)} es inconsistente.
    4. Mostrar que\(x\) (\(x\)=\(h\) &\(x\) =\(i\)) es contingente.
    5. Mostrar que {\(x\)\(y\)(\(Zx\)&\(Zy\) &\(x\) =\(y\)), ¬\(Zd\),\(d\) =\(s\)} es consistente.
    6. Demostrar que\(Dx\)\(x\) (\(yTyx\)→).. \(z\)\(y\)\(y\)\(z\) 'no es válido.

    Parte J

    1. Muchos libros de lógica definen la consistencia y la inconsistencia de esta manera: “Un conjunto {\(\mathcal{A}\)1, {\(\mathcal{A}\)2, {\(\mathcal{A}\)3, ···} es inconsistente si y solo si {{\(\mathcal{A}\)1, {\(\mathcal{A}\)2, {\(\mathcal{A}\)3, ···} |= ({\(\mathcal{B}\)&¬ { \(\mathcal{B}\)) para alguna frase {\(\mathcal{B}\). Un conjunto es consistente si no es inconsistente”. ¿Esta definición lleva a que algún conjunto diferente sea consistente que la definición de la p. 84? Explica tu respuesta.

    *2. Nuestra definición de la verdad dice que una oración {\(\mathcal{A}\)es verdadera en\(\mathbb{M}\) si y solo si alguna asignación variable satisface {\(\mathcal{A}\)in\(\mathbb{M}\). ¿Haría alguna diferencia si dijéramos en cambio que {\(\mathcal{A}\)es verdadero en\(\mathbb{M}\) si y solo si cada asignación variable satisface {\(\mathcal{A}\)in\(\mathbb{M}\)? Explica tu respuesta.


    This page titled Sección 6: Ejercicios de práctica is shared under a CC BY-SA license and was authored, remixed, and/or curated by P.D. Magnus (Fecundity) .