Saltar al contenido principal

# 33.2: Tautología, Contradicción y Contingencias

$$\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}$$

Cuando buscamos evaluar un solo reclamo, muchas veces puede ser útil saber si se trata de una tautología, una contradicción o una contingencia.

Las tautologías son afirmaciones que siempre son ciertas. Los siguientes son ejemplos de tautologías:

• O va a llover mañana, o no va a
• Es lo que es.
• No hay nada que puedas hacer que no se pueda hacer.

Las contradicciones son declaraciones que siempre son falsas. Los siguientes son ejemplos de contradicciones:

• Está lloviendo ahora mismo, y no está lloviendo en este momento.
• El vaso está lleno y vacío.
• El triángulo es un círculo.

Las contingencias, a menudo llamadas declaraciones contingentes, son ciertas en algunos casos y no ciertas en otros. Por ejemplo:

• Si vamos a la tienda, entonces compraremos algunas manzanas.
• Si una zona de alta presión se encuentra con una zona de baja presión, hay un tornado.
• Si tienes un gato, no tendrás ratones.

Con toda honestidad, no solemos necesitar ayuda para determinar si una oración es una tautología, contradicción o contingencia. A menudo decimos que las tautologías son triviales, y las contradicciones son obvias. Ciertamente, esto es cierto en los ejemplos que aquí se dan. Dicho esto, a veces las reclamaciones serán muy complejas, y puede ser menos obvio en qué categoría caen. Aquí es donde las mesas nos pueden ayudar. También es el caso de que estas son las cosas más fáciles que podemos probar para usar tablas, por lo que es un buen lugar para comenzar, aunque en última instancia, no usamos la prueba muy a menudo.

Dado que las tautologías son siempre verdaderas, la forma en que las probamos es hacer una tabla de verdad para la sentencia y luego verificar cada fila de la misma para ver si hay alguna Fs. Si los hay, entonces el enunciado no es una tautología. En otras palabras, todas las Ts significan que se trata de una tautología. 'P v ~P' es una tautología, como muestra esta tabla de verdad:

'P v Q' no es una tautología, como muestra la siguiente tabla de verdad:

Observe que en la fila cuatro de la tabla, el reclamo es falso. Incluso una F en el lado derecho significará que el reclamo no es una tautología (ya que hay al menos un caso en el que no será cierto).

Las pruebas de contradicción funcionan exactamente opuestas a las pruebas de tautología. Para que una declaración sea una contradicción, tiene que ser siempre falsa, por lo que la tabla tiene que mostrar todas las 'F's del lado derecho. Entonces, si hay alguna 'T en la tabla, entonces la afirmación no es una contradicción. 'P & ~P' es una contradicción, como muestra la siguiente tabla:

'P v Q' no es una contradicción, como muestra la siguiente tabla:

Observe en las tres primeras filas de la tabla el reclamo es cierto, por lo que no puede ser una contradicción.

Una declaración contingente tendrá una tabla de verdad con filas tanto verdaderas como falsas. Como se vio anteriormente, 'P v Q' es una declaración contingente — hay instancias en las que es verdadera (fila 1, 2 y 3), y una instancia donde es falsa (fila 4).

Ejercicios

Construir tablas de verdad para probar las siguientes oraciones para tautología, contradicción y contingencia.

1. P → Q
2. (P v ~P) y (Q y ~Q)
3. P ← → Q
4. ~ (P y ~P)
5. ~ (P v ~P)
6. ~ (P v P)
7. (P y ~P) v (Q y ~Q)
8. ~ (P v ~~Q) y (P y ~Q)
9. (P ← → Q) v (Q ← → P)
10. ~ [(P → Q) → R]
11. [P → (Q → R)] y (P → R)
12. (P & Q) → (P → Q)
13. ~P → P
14. ~P → (Q v P)
15. ~P y ~ (~P v ~Q)
16. P v (Q → P)
17. (P ← → Q) y [(~P v ~Q) y P]
18. (P ← → Q) y (P → Q)
19. [P → (Q → R)] y (R → P)
20. (P ← → Q) v ~ [(~P & Q) v (P & ~Q)
1. (P v ~P) y (Q y ~Q)

Contradicción. Como puede ver en la tabla de abajo todas las filas son falsas.

1. (P y ~P) v (Q y ~Q)

Contradicción. Como puede ver en la tabla de abajo todas las filas son falsas.

1. P v (Q → P)

Contingente. Como puede ver en la siguiente tabla hay una mezcla de filas verdaderas y falsas.

This page titled 33.2: Tautología, Contradicción y Contingencias is shared under a CC BY-NC 4.0 license and was authored, remixed, and/or curated by Jason Southworth & Chris Swoyer via source content that was edited to the style and standards of the LibreTexts platform.