Saltar al contenido principal

# Sección 5: Otras nociones lógicas

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

Además de la validez deductiva, nos interesarán algunos otros conceptos lógicos.

Se dice que verdadero o falso es el verdad-valor de una oración. Definimos las oraciones como cosas que podrían ser verdaderas o falsas; podríamos haber dicho en cambio que las oraciones son cosas que pueden tener valores de verdad.

Al considerar formalmente los argumentos, nos importa lo que sería cierto si las premisas fueran verdaderas. Generalmente, no nos preocupa el valor real de la verdad de ninguna frase en particular, ya sea que en realidad sean verdaderas o falsas. Sin embargo, hay algunas frases que deben ser ciertas, solo como cuestión de lógica.

Considera estas frases:

1. Está lloviendo.
2. O está lloviendo, o no lo está.
3. A la vez está lloviendo y no lloviendo.

Para saber si la frase 1 es cierta, tendrías que mirar afuera o revisar el canal meteorológico. Lógicamente hablando, podría ser verdadero o falso. Oraciones como esta se llaman oraciones contingentes.

La sentencia 2 es diferente. No es necesario mirar afuera para saber que es verdad. Independientemente de cómo sea el clima, o bien está lloviendo o no. Esta frase es lógicamente cierta; es verdad meramente como cuestión de lógica, independientemente de cómo sea realmente el mundo. Una frase lógicamente verdadera se llama tautología.

Tampoco es necesario revisar el clima para saber sobre la sentencia 3. Debe ser falso, simplemente como cuestión de lógica. Podría estar lloviendo aquí y no lloviendo al otro lado de la ciudad, podría estar lloviendo ahora pero deja de llover incluso mientras lees esto, pero es imposible que esté lloviendo y no lloviendo aquí en este momento. La tercera frase es lógicamente falsa; es falsa independientemente de cómo sea el mundo. Una frase lógicamente falsa se llama contradicción.

Para ser precisos, podemos definir una oración contingente como una oración que no es ni una tautología ni una contradicción.

Una oración puede ser siempre cierta y aún así ser contingente. Por ejemplo, si nunca hubo un momento en el que el universo contuviera menos de siete cosas, entonces la frase 'Existen al menos siete cosas' siempre sería cierta. Sin embargo, la sentencia es contingente; su verdad no es cuestión de lógica. No hay contradicción en considerar un mundo posible en el que hay menos de siete cosas. La cuestión importante es si la oración debe ser cierta, solo por razón de la lógica.

## Equivalencia lógica

También podemos preguntar sobre las relaciones lógicas entre dos frases. Por ejemplo:

John fue a la tienda después de lavar los platillos.
John lavó los platillos antes de ir a la tienda.

Estas dos frases son ambas contingentes, ya que John podría no haber ido a la tienda o lavar los platos en absoluto. Sin embargo, deben tener el mismo valor de verdad. Si alguna de las oraciones es verdadera, entonces ambas lo son; si alguna de las oraciones es falsa, entonces ambas lo son. Cuando dos frases necesariamente tienen el mismo valor de verdad, decimos que son lógicamente equivalentes.

## Consistencia

Considera estas dos frases:

B1 Mi único hermano es más alto que yo.
B2 Mi único hermano es más bajo que yo.

La lógica por sí sola no puede decirnos cuál, si es que alguna de estas frases es verdadera. Sin embargo, podemos decir que si la primera oración (B1) es verdadera, entonces la segunda oración (B2) debe ser falsa. Y si B2 es verdadero, entonces B1 debe ser falso. No puede darse el caso de que ambas frases sean ciertas.

Si un conjunto de oraciones no pudieran ser todas ciertas al mismo tiempo, como B1—B2, se dice que son inconsistentes. De lo contrario, son consistentes.

Podemos preguntar sobre la consistencia de cualquier número de oraciones. Por ejemplo, considere la siguiente lista de oraciones:

G1 Hay al menos cuatro jirafas en el parque de animales salvajes.
G2 Hay exactamente siete gorilas en el parque de animales salvajes.
G3 No hay más de dos marcianos en el parque de animales salvajes.
G4 Cada jirafa en el parque de animales salvajes es marciana.

G1 y G4 en conjunto implican que hay al menos cuatro jirafas marcianas en el parque. Esto entra en conflicto con G3, lo que implica que ahí no hay más de dos jirafas marcianas. Entonces el conjunto de oraciones G1—G4 es inconsistente. Observe que la inconsistencia no tiene nada que ver con G2. G2 simplemente pasa a ser parte de un conjunto inconsistente.

A veces, la gente dirá que un conjunto inconsistente de oraciones 'contiene una contradicción'. Con esto, quieren decir que sería lógicamente imposible que todas las oraciones fueran ciertas a la vez. Un conjunto puede ser inconsistente aunque cada una de las oraciones en él sea contingente o tautólogo. Cuando una sola oración es una contradicción, entonces esa oración por sí sola no puede ser cierta.

This page titled Sección 5: Otras nociones lógicas is shared under a CC BY-SA license and was authored, remixed, and/or curated by P.D. Magnus (Fecundity) .