Saltar al contenido principal

# 11.3.1: La lógica del no

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

En la lógica sentencial, un grupo inconsistente de oraciones se define a través de su forma lógica. Por definición, un grupo de oraciones es inconsistente si implica una oración P y también una oración no-P. O podríamos haber definido “inconsistente” diciendo que es alguna declaración compleja cuya forma lógica es “P y no -P”. Esa declaración se compone de dos subestados, el enunciado P y su opuesto, no -P. Las dos subdeclaraciones están unidas por el conector y. Se dice que la forma de declaración “P y no-P” es la forma lógica de una contradicción. Tenga en cuenta que la forma de declaración “No-P” no significa ninguna declaración que no sea P; más bien, significa cualquier declaración que niegue P, que diga algo que debe ser falso cuando P es verdadero y eso debe ser cierto cuando P es falso. No-P es la negación de P. Esta información sobre la negación se puede resumir en la siguiente tabla de verdad para la negación:

Aquí la letra mayúscula T representa la posibilidad de que la oración en la parte superior de su columna sea verdadera, y F representa la posibilidad de ser falsa. Practicaremos encontrar negaciones de declaraciones. ¿Cuál es la negación de “¿Qué hora es?” La respuesta es que no tiene negación porque no es una declaración; es una pregunta. La negación de “Él está a tiempo” es “No está a tiempo”.

Ejercicio$$\PageIndex{1}$$

La negación de “Ella es moral” es

a. Ella es inmoral.
b. No es el caso de que sea inmoral.
c. Ella es amoral.
d. Ninguna de las anteriores.

Contestar

Respuesta (d). Aquí hay tres negaciones equivalentes de “Ella es moral”:

No, no lo es.
Ella no es moral.
No es el caso que sea moral.

En la lógica sentencial, hay dos formas en que un par de oraciones pueden ser inconsistentes. Podrían ser contradictorios, o podrían ser contrarios. Son contradictorios si son inconsistentes y si, además, una oración debe ser cierta mientras que la otra debe ser falsa. No obstante, dos frases son contrarias si son inconsistentes, pero ambas podrían ser falsas. Fuera en la calle hay que estar alerta porque tanta gente no reconoce la diferencia entre las palabras inconsistentes, contradictorias y contrarias. Pero aquí vamos a utilizar estos términos técnicos correctamente.

Las oraciones A y B siguientes son contradictorias, mientras que las oraciones A y C son contrarias, y las oraciones B y C son consistentes. A es inconsistente con B. A es inconsistente con C.

A. La casa es toda roja.
B. La casa no es toda roja.
C. La casa es toda verde.

A y C son contrarios porque ambos serían falsos si la casa fuera naranja. Otro término que ocurre cuando la gente piensa en lo inconsistente es “opuesto”. Cuando un calamar se esconde en el fondo del océano en camuflaje no es señalizar sino esconderse. Un biólogo podría decir que cuando un calamar está en camuflaje, eso es lo opuesto a la señalización del calamar. Ese tipo de opuesto es ser contrario, no ser contradictorio. El calamar podría no estar señalizando ni en camuflaje si solo está nadando pacíficamente.

Si A es inconsistente con B, ¿B también es inconsistente con A? Sí. Si A contradice B, ¿B tiene que contradecir A? Sí.

Ejercicio$$\PageIndex{1}$$

Crear una sentencia que sea contraria a la afirmación de que son las 12:26 p.m. pero que no contradiga esa afirmación.

Contestar

Es mediodía”. Ambas frases podrían ser falsas si realmente son las 2 de la tarde, pero ambas no pueden ser ciertas (en el mismo sentido en el mismo lugar y hora sin equivocarse).

Ejercicio$$\PageIndex{1}$$

¿Cuál declaración a continuación sirve mejor como la negación de la declaración de que Lloyd Connelly es un asambleísta que vive en la capital?

a. Lloyd Connelly vive en la capital y además es asambleísta.
b. Nadie de la capital de Lloyd Connelly deja de ser asambleísta.
c. No es cierto que Lloyd Connelly sea un asambleísta que vive en la capital.
d. Lloyd Connelly no vive en la capital.
e. Lloyd Connelly no es asambleísta.

Contestar

Respuesta (c). La respuesta (d) es incorrecta porque tanto la declaración original como la (d) podrían ser falsas juntas. Una declaración y su negación no pueden ser ambas falsas; una de ellas debe ser verdadera.

Si tuvieras que aprender que x = 8, ¿sería razonable que concluyeras que no es cierto que x es desigual a 8? Sí. La forma válida de su razonamiento es

Uno podría inferir de otra manera, también, porque cualquier afirmación es lógicamente equivalente a su doble negación.

This page titled 11.3.1: La lógica del no is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by Bradley H. Dowden.