Saltar al contenido principal

# Sección 08: Pruebas y modelos

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

Como ya podrías sospechar, existe una conexión entre teoremas y tautologías.

Hay una manera formal de demostrar que una oración es un teorema: Demostrarlo. Para cada línea, podemos verificar si esa línea sigue la regla citada. Puede ser difícil producir una prueba de veinte líneas, pero no es tan difícil verificar cada línea de la prueba y conﬁrmar que es legítima— y si cada línea de la prueba individualmente es legítima, entonces toda la prueba es legítima. Mostrar que una oración es una tautología, sin embargo, requiere razonar en inglés sobre todos los modelos posibles. No hay forma formal de verificar para ver si el razonamiento es sólido. Ante la posibilidad de elegir entre mostrar que una oración es un teorema y mostrar que es una tautología, sería más fácil demostrar que se trata de un teorema.

En contrasentido, no hay forma formal de demostrar que una oración no es un teorema. Tendríamos que razonar en inglés sobre todas las pruebas posibles. Sin embargo, existe un método formal para demostrar que una oración no es una tautología. Solo necesitamos construir un modelo en el que la oración sea falsa. Ante la elección entre mostrar que una oración no es un teorema y demostrar que no es una tautología, sería más fácil demostrar que no es una tautología.

Afortunadamente, una oración es un teorema si y sólo si se trata de una tautología. Si aportamos una prueba de$$\mathcal{A}$$ y así demostramos que es un teorema, se deduce que$$\mathcal{A}$$ es una tautología; es decir,$$\mathcal{A}$$. Del mismo modo, si construimos un modelo en el que$$\mathcal{A}$$ es falso y así demostramos que no es una tautología, se deduce que no$$\mathcal{A}$$ es un teorema.

En general$$\mathcal{A}$$,$$\mathcal{B}$$ si y solo$$\mathcal{A}$$ si$$\mathcal{B}$$. Como tal:

• Un argumento es válido si y sólo si la conclusión es derivable de las premisas.
• Dos oraciones son lógicamente equivalentes si y sólo si son probablemente equivalentes.
• Un conjunto de oraciones es consistente si y sólo si no es demostrablemente inconsistente.

Puedes elegir cuándo pensar en términos de pruebas y cuándo pensar en términos de modelos, haciendo lo que sea más fácil para una tarea determinada. El Cuadro 6.1 resume cuándo es mejor dar pruebas y cuándo es mejor dar modelos.

De esta manera, las pruebas y los modelos nos dan un kit de herramientas versátil para trabajar con argumentos. Si podemos traducir un argumento a QL, entonces podemos medir su peso lógico de una manera puramente formal. Si es deductivamente válido, podemos dar una prueba formal; si es inválida, podemos proporcionar un contraejemplo formal.

 SI NO ¿Es$$\mathcal{A}$$ una tautología? demostrar$$\mathcal{A}$$ dar un modelo en el que$$\mathcal{A}$$ es falso ¿Es$$\mathcal{A}$$ una contradicción? probar ¬$$\mathcal{A}$$ dar un modelo en el que$$\mathcal{A}$$ es cierto ¿Es$$\mathcal{A}$$ contingente? dar un modelo en el que$$\mathcal{A}$$ es verdadero y otro en el que$$\mathcal{A}$$ es falso probar$$\mathcal{A}$$ o ¬$$\mathcal{A}$$ ¿Son$$\mathcal{A}$$ y$$\mathcal{B}$$ equivalentes? $$\mathcal{A}$$probar$$\mathcal{B}$$$$\mathcal{B}$$ y$$\mathcal{A}$$ dar un modelo en el que$$\mathcal{A}$$ y$$\mathcal{B}$$ tener valores de verdad diferentes ¿El conjunto es$$\mathcal{A}$$ consistente? dar un modelo en el que todas las oraciones en$$\mathcal{A}$$ son verdaderas tomar las sentencias$$\mathcal{A}$$, probar$$\mathcal{B}$$ y ¬$$\mathcal{B}$$ Es el argumento '$$\mathcal{P}$$,.. $$\mathcal{C}$$'¿válido? $$\mathcal{P}$$demostrar$$\mathcal{C}$$ dar un modelo en el que$$\mathcal{P}$$ es verdadero y$$\mathcal{C}$$ es falso

Cuadro 6.1: A veces es más fácil mostrar algo aportando pruebas que proporcionando modelos. A veces es al revés. Depende de lo que estés tratando de mostrar.

This page titled Sección 08: Pruebas y modelos is shared under a CC BY-SA license and was authored, remixed, and/or curated by P.D. Magnus (Fecundity) .