1.1: Declaraciones
- Page ID
- 118392
\( \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}\)una frase que sea verdadera o falsa
- Todos los números primos son impares.
- Algunos árboles tienen hojas y algunos árboles tienen agujas.
- Si prestas atención en clase y trabajas a través de todos los problemas de tarea, entonces te irá bien en este curso.
parte de una declaración lógica que podría considerarse una declaración por sí misma
“Algunos árboles tienen hojas” es una subdeclaración de la sentencia 2 en Ejemplo\(\PageIndex{1}\)
no contiene ninguna subdeclaración apropiada
contiene dos o más subsentencias
una palabra de conexión entre subsentencias en una sentencia compuesta
Reconsiderando las declaraciones en Ejemplo\(\PageIndex{1}\):
- la declaración 1 es simple;
- el enunciado 2 es una declaración compuesta compuesta por dos subsentencias (simples) vinculadas por el conectivo “y”; y
- declaración 3 es una declaración compuesta compuesta compuesta por dos subsentencias enlazadas por el conectivo “si... entonces...”, donde la subdeclaración que constituye la parte “si” es en sí misma una declaración compuesta.
Las subsentencias en una declaración compuesta pueden relacionarse entre sí por conectivos de varias maneras.
| negación | “no” |
| conjuración | “y” |
| disyunción | “o” |
| condicional | “si... entonces...” |
| bicondicional | “si y sólo si” |
Dadas las declaraciones\(A\) y\(B\), utilizamos estas conectivas para construir nuevas declaraciones:
| negación de\(A\) | no\(A\) |
| conjunción de\(A\) y\(B\) | \(A\)y\(B\) |
| disyunción de\(A\) y\(B\) | \(A\)o\(B\) |
| condicional donde\(A\) implica\(B\) | si\(A\) entonces\(B\) |
| bicondicional que involucra\(A\) y\(B\) | \(A\)si y solo si\(B\) |
OBSERVACIÓN\(\PageIndex{1}\)
- Todas las declaraciones que consideraremos se pueden construir a partir de un número finito de declaraciones simples y modificarlas/uniéndolas usando conectivas como las anteriores.
- Siempre tome “\(A\)o\(B\)” para significar “\(A\)\(B\)o ambos” (conocido como inclusivo o). Sin embargo, en el lenguaje cotidiano puede ser razonable tomar “cualquiera\(A\) o\(B\)” para significar “(\(A\)o\(B\)) y no (\(A\)y\(B\))” (conocido como exclusivo o).
- Los conectivos condicionales y bicondicionales son en realidad superfluos —se pueden construir a partir de los tres primeros. (Ver Ejemplo Trabajado 2.1.1 y Ejercicio 2.5.5.) Pero ocurren con frecuencia, y tales construcciones de otros conectivos oscurecen su significado, por lo que es más conveniente incluir estos dos conectivos en nuestra lista de conectivos básicos.
Una conversación.
| Alice | Está lloviendo. |
| Bob | No, no lo es. |
| Alice | O está lloviendo o no lo está. |
| Bob | ¿Cómo podemos decidir? |
| Alice | Si salimos afuera y nos mojamos, entonces está lloviendo. |
| Bob | Nos mojaríamos afuera si los aspersores están encendidos, también. |
| Alice | ¡No seas tonto! |
| Alice (continuando...) | Nos mojaremos si llueve, y esta es la única forma en que nos mojaremos. |
Reescribamos la conversación anterior para identificar claramente las subdeclaraciones y los conectivos.
| Alice | está lloviendo |
| Bob | no (está lloviendo) |
| Alice | (está lloviendo) o (no (está lloviendo)) |
| Bob | [¡no es una declaración!] |
| Alice | si ((estamos afuera) y (nos mojamos)) entonces (está lloviendo) |
| Bob | si ((estamos afuera) y (los aspersores están encendidos)) entonces (nos mojamos) |
| Alice | [¡no es una declaración!] |
| Bob | si (estamos afuera) entonces ((nos mojamos) si y solo si (está lloviendo)) |
Test\(\PageIndex{1}\): Checking Whether a Sentence is a Logical Statement
Si\(S\) es una oración en idioma inglés y la frase “Es cierto que\(S\)” tiene sentido como oración en idioma inglés, entonces\(S\) es una declaración lógica.
Estrictamente hablando, muchas declaraciones matemáticas no son afirmaciones lógicas, por una razón diferente a la utilizada en la prueba anterior.
La frase “\(f\)es una función diferenciable” no es una declaración lógica, ya que si es verdadera o falsa depende de la variable libre\(f\text{.}\) Por ejemplo, si sustituimos la función\(f(x) = x\) en esta afirmación, la declaración se vuelve verdadera. No obstante, si sustituimos la función\(f(x) = \vert x \vert \text{,}\) la sentencia se vuelve falsa. Vamos a tratar este tema en el Capítulo 4.