2.12: Declaraciones Conversadas, Inversas y Contrapositivas
- Page ID
- 107397
\( \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}\)Declaraciones condicionales extraídas de una declaración if-then.
Converse, Inversa y Contrapositiva
Considera la declaración: Si hace buen tiempo, entonces lavaré el auto. Podemos reescribir esta afirmación usando letras para representar la hipótesis y la conclusión.
\(p=the\: weather \:is \:nice \qquad q=I'll \:wash \:the \:car\)
Ahora la declaración es: si\(p\), entonces\(q\), que también se puede escribir como\(p\rightarrow q\).
También podemos hacer las negaciones, o “nots”, de\(p\) y\(q\). La versión simbólica de “no p” es\ (\ sim p.
\(\sim p=the \:weather \:is \:not \:nice \qquad \sim q=I \:won't \:wash \:the \:car\)
Usando estos “nots” y cambiando el orden de\(p\) y\(q\), podemos crear tres nuevas declaraciones.
\(Converse \qquad q\rightarrow p \qquad \underbrace{If\: I\: wash\: the\: car}_\text{q}, \underbrace{then\: the \:weather \:is \: nice}_\text{p}\).
\(Inverse \qquad \sim p\rightarrow \sim q \qquad \underbrace{If\: the\: weather\: is \:not \:nice}_\text{p}, \underbrace{\:then \:I \:won't \:wash \:the \:car}_\text{q}\).
\(Contrapositive \qquad \sim q\rightarrow \sim p \qquad \underbrace{If\: I \:don't \:wash \:the \:car}_\text{q}, \underbrace{then the weather is not nice}_\text{p}\).
Si la declaración “si-entonces” es verdadera, entonces lo contrapositivo también es cierto. El contrapositivo es lógicamente equivalente al enunciado original. Lo contrario y lo inverso pueden o no ser ciertos. Cuando tanto la declaración original como la converse son verdaderas, entonces la declaración es una declaración bicondicional. En otras palabras, si\(p\rightarrow q\) es verdadero y\(q\rightarrow p\) es cierto, entonces\(p \leftrightarrow q\) (dicho “\(p\)si y sólo si\(q\)”).
¿Y si te dieran una declaración condicional como “Si camino a la escuela, entonces llegaré tarde”? ¿Cómo podría reorganizar y/o negar esta afirmación para formar nuevas declaraciones condicionales?
Ejemplo\(\PageIndex{1}\)
Si\(n>2\), entonces\(n^{2}>4\).
Encuentra lo contrario, inverso y contrapositivo. Determinar si cada declaración resultante es verdadera o falsa. Si es falso, encuentra un contraejemplo.
Solución
El enunciado original es cierto.
\(\underline{Converse}\): Si\(n^{2}>4\), entonces\(n>2\).
Falso. Si\(n^{2}=9\),\(n=−3\: or \: 3\). \((−3)^{2}=9\)
\(\underline{Inverse}\): Si\(n\leq 2\), entonces\(n^{2}\leq 4\).
Falso. Si\(n=−3\), entonces\(n^{2}=9\).
\(\underline{Contrapositive}\): Si\(n^{2}\leq 4\), entonces\(n\leq 2\).
Cierto. El único\(n^{2}\leq 4\) es 1 o 4. \(\sqrt{1}=\pm 1\)y\(\sqrt{4}=\pm 2\), que son ambos menores o iguales a 2.
Ejemplo\(\PageIndex{2}\)
Si estoy en Disneyland, entonces estoy en California.
Encuentra lo contrario, inverso y contrapositivo. Determinar si cada declaración resultante es verdadera o falsa. Si es falso, encuentra un contraejemplo.
Solución
El enunciado original es cierto.
\(\underline{Converse}\): Si estoy en California, entonces estoy en Disneyland.
Falso. Podría estar en San Francisco.
\(\underline{Inverse}\): Si no estoy en Disneyland, entonces no estoy en California.
Falso. De nuevo, podría estar en San Francisco.
\(\underline{Contrapositive}\): Si no estoy en California, entonces no estoy en Disneyland.
Cierto. Si no estoy en el estado, no podría estar en Disneyland.
Aviso para lo contrario e inverso podemos usar el mismo contraejemplo.
Ejemplo\(\PageIndex{3}\)
Rewrite as a biconditional statement: Cualquiera de los dos puntos son colineales.
Solución
Esta declaración puede ser reescrita como:
Dos puntos están en la misma línea si y sólo si son colineales. Reemplace el “sif-entonces” por “si y solo si” en el medio de la declaración.
Ejemplo\(\PageIndex{4}\)
Dos puntos cualesquiera son colineales.
Encuentra lo contrario, inverso y contrapositivo. Determinar si cada declaración resultante es verdadera o falsa. Si es falso, encuentra un contraejemplo.
Solución
Primero, cambie la declaración por una declaración “sif-then”:
Si dos puntos están en la misma línea, entonces son colineales.
\(\underline{Converse}\): Si dos puntos son colineales, entonces están en la misma línea. Cierto.
\(\underline{Inverse}\): Si dos puntos no están en la misma línea, entonces no son colineales. Cierto.
\(\underline{Contrapositive}\): Si dos puntos no son colineales, entonces no se encuentran en la misma línea. Cierto.
Ejemplo\(\PageIndex{5}\)
La siguiente es una afirmación verdadera:
\(m\angle ABC>90^{\circ}\)si y sólo si\(\angle ABC\) es un ángulo obtuso.
Determinar las dos afirmaciones verdaderas dentro de este bicondicional.
Solución
Declaración 1: Si\(m\angle ABC>90^{\circ}\), entonces\(\angle ABC\) es un ángulo obtuso.
Declaración 2: Si\(\angle ABC\) es un ángulo obtuso, entonces\(m\angle ABC>90^{\circ}\).
Revisar
Para las preguntas 1-4, use la declaración:
Si\(AB=5\) y\(BC=5\), entonces\(B\) es el punto medio de\(\overline{AC}\).
- ¿Es esta una afirmación verdadera? Si no, ¿qué es un contraejemplo?
- Encuentra lo contrario de esta declaración. ¿Es verdad?
- Encuentra la inversa de esta afirmación. ¿Es verdad?
- Encuentra el contrapositivo de esta afirmación. ¿Qué afirmación es lo mismo que?
Encuentra lo contrario de cada declaración verdadera sif-then. Si lo contrario es cierto, escriba la declaración bicondicional.
- Un ángulo agudo es menor que\(90^{\circ}\).
- Si estás en la playa, entonces estás quemado por el sol.
- Si\(x>4\), entonces\(x+3>7\).
Para las preguntas 8-10, determinar las dos declaraciones condicionales verdaderas a partir de las declaraciones bicondicionales dadas.
- Un ciudadano estadounidense puede votar si y sólo si tiene 18 años o más.
- Un número entero es primo si y sólo si sus factores son 1 y él mismo.
- \(2x=18\)si y sólo si\(x=9\).
Reseña (Respuestas)
Para ver las respuestas de Revisar, abra este archivo PDF y busque la sección 2.4.
Recursos
El vocabulario
| Término | Definición |
|---|---|
| declaración bicondicional | Una declaración es bicondicional si la declaración condicional original y la declaración converse son ambas verdaderas. |
| Declaración Condicional | Una declaración condicional (o declaración 'sif-then') es una declaración con una hipótesis seguida de una conclusión. |
| contrapositivo | Si una sentencia condicional es\(p\rightarrow q\) (si\(p\) entonces q), entonces el contrapositivo es\(\sim q\rightarrow \sim p\) (si no q entonces no p). |
| converse | Si una declaración condicional es\(p\rightarrow q\) (si\(p\), entonces\(q\)), entonces lo contrario es\(q\rightarrow p\) (si\(q\), entonces\(p\). Tenga en cuenta que lo contrario de una declaración no es cierto solo porque la declaración original es verdadera. |
| inversa | Si una sentencia condicional es\(p\rightarrow q\), entonces la inversa es\(\sim p\rightarrow \sim q\). |
| Lógicamente Equivalente | Una declaración es lógicamente equivalente si la declaración “if-then” y la declaración contrapositiva son ambas verdaderas. |
| premisa | Una premisa es una declaración de partida que se utiliza para sacar conclusiones lógicas. |
Recursos adicionales
Elemento Interactivo
Video: Converse, Inversa y Contrapositiva de una Declaración Condicional Principios - Básico
Actividades: Preguntas de Discusión Conversada, Inversa y Contrapositiva
Ayudas de Estudio: Guía de Estudio de Declaraciones
Práctica: Declaraciones Conversadas, Inversas y Contrapositivas
Mundo real: Converse Inverse Contrapositivo