Saltar al contenido principal
LibreTexts Español

Sección 3: Uso de tablas de verdad

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

    Tautologías, contradicciones y sentencias contingentes

    Recordemos que una oración inglesa es una tautología si debe ser cierta como cuestión de lógica. Con una tabla completa de la verdad, consideramos todas las formas en que podría ser el mundo. Si la oración es verdadera en cada línea de una tabla de verdad completa, entonces es verdad como cuestión de lógica, independientemente de cómo sea el mundo.

    Entonces una oración es una tautología en sl si la columna bajo su conectivo principal es 1 en cada fila de una tabla de verdad completa.

    Por el contrario, una oración es una contradicción en sl si la columna bajo su conectivo principal es 0 en cada fila de una tabla de verdad completa.

    Una oración es contingente en sl si no es ni una tautología ni una contradicción; es decir, si es 1 en al menos una fila y 0 en al menos una fila.

    De las tablas de verdad de la sección anterior, sabemos que (\(H\)&\(I\)) →\(H\) es una tautología, que [(\(C\)\(C\)) →\(C\)] &¬ (\(C\)\(C\)) es una contradicción, y que\(M\) & (⃣\(N\)\(P\)) es contingente.

    Equivalencia lógica

    Dos frases son lógicamente equivalentes en inglés si tienen el mismo valor de verdad que una lógica de materia. Una vez más, las tablas de verdad nos permiten define un concepto análogo para SL: Dos oraciones son lógicamente equivalentes en sl si tienen el mismo valor de verdad en cada fila de una tabla de verdad completa.

    Considera las frases ¬\(A\) (alizamos\(B\)) y ¬\(A\)\(B\). ¿Son lógicamente equivalentes? Para averiguar, construimos una tabla de la verdad.

    \(A\) \(B\) ¬ (\(A\)\(B\)) ¬\(A\) & ¬\(B\)

    1

    1

    0

    0

    1

    0

    1

    0

    0 1 1 1

    0 1 1 0

    0 0 1 1

    1 0 0

    0 1 0 0 1

    0 1 0 1 0

    1 0 0 0 1

    1 0 1 1 0

    Mira las columnas para los conectivos principales; negación para la primera oración, conjunción para la segunda. En las primeras tres filas, ambas son 0. En la fila final, ambos son 1. Ya que coinciden en cada fila, las dos frases son lógicamente equivalentes.

    Consistencia

    Un conjunto de oraciones en inglés es consistente si es lógicamente posible que todas sean ciertas a la vez. Un conjunto de oraciones es lógicamente consistente en sl si hay al menos una línea de una tabla de verdad completa en la que todas las oraciones son verdaderas. Es inconsistente de lo contrario.

    Validez

    Un argumento en inglés es válido si es lógicamente imposible que las premisas sean verdaderas y que la conclusión sea falsa al mismo tiempo. Un argumento es válido en sl si no hay fila de una tabla de verdad completa en la que las premisas son todas 1 y la conclusión es 0; un argumento no es válido en sl si existe tal fila.

    Considera este argumento:

    ¬\(L\) → (\(J\)\(L\))
    ¬\(L\)
    .. \(J\)

    ¿Es válido? Para averiguar, construimos una tabla de la verdad.

    \(J\) \(L\) ¬\(L\) → (\(J\)\(L\)) ¬\(L\) \(J\)

    1

    1

    0

    0

    1

    0

    1

    0

    0 1 1 1 1 1

    1 0 1 1 1 0

    0 1 1 0 1 1

    1 0 0 0 0

    0 1

    1 0

    0 1

    1 0

    1

    1

    0

    0

    Sí, el argumento es válido. La única fila en la que ambas premisas son 1 es la segunda fila, y en esa fila la conclusión también es 1.


    This page titled Sección 3: Uso de tablas de verdad is shared under a CC BY-SA license and was authored, remixed, and/or curated by P.D. Magnus (Fecundity) .