Saltar al contenido principal

# 2.7: Condicionales

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

Hasta el momento, hemos aprendido a traducir y construir tablas de verdad para tres conectivos funcionales de verdad. No obstante, hay una verdad más conectivo funcional que aún no hemos aprendido: la condicional. 2 La frase en inglés que se usa con mayor frecuencia para expresar declaraciones condicionales es “si... entonces”. Por ejemplo,

Si está lloviendo entonces el suelo se moja.

Al igual que las conjunciones y las disyunciones, los condicionales conectan dos proposiciones atómicas. Hay dos proposiciones atómicas en el condicional anterior:

Está lloviendo.

El suelo se mojó.

A la proposición que sigue al “si” se le llama antecedente del condicional y a la proposición que sigue al “entonces” se le llama la consecuente del condicional. El enunciado condicional anterior no está haciendo valer ninguna de estas proposiciones atómicas. Más bien, nos está hablando de la relación entre ellos. Simbolizemos “está lloviendo” como “R” y “el suelo está mojado” como “G” Así, nuestra simbolización del condicional anterior sería:

R G

El símbolo “” se llama la “herradura” y representa lo que se llama el “condicional material”. Un condicional material se define como verdadero en todos los casos excepto cuando el antecedente es verdadero y el consecuente es falso. A continuación se muestra la tabla de verdad para el condicional material. Observe que, como acabamos de decir, solo hay un escenario en el que contamos el falso condicional: cuando el antecedente es verdadero y el consecuente falso.

 p q p q T T T T F F F T T F F T

 R G R G T T T T F F F T T F F T

A veces es útil pensar en el condicional material como regla. Por ejemplo, supongamos que le digo a mi clase:

Si apruebas todos los exámenes, pasarás el curso.

Simbolizemos “pasas todos los exámenes” como “E” y “apruebas el curso” como “C” Entonces simbolizaríamos lo condicional como:

E C

¿En qué condiciones se demostraría que mi declaración E C es falsa? Hay cuatro escenarios posibles:

 E C E C T T T T F F F T T F F T

Supongamos que pasas todos los exámenes y superas la clase (primera fila). Eso confirmaría mi declaración condicional E C. Supongamos, por otra parte, que aunque superaste todos los exámenes, no superaste la clase (segunda fila). Esto sería en caso de que mi declaración sea falsa (¡y tendrías motivos legítimos de queja!). ¿Qué tal si no apruebas todos los exámenes y aún así apruebas el curso (tercera fila)? Mi afirmación permite que esto sea cierto y es importante ver por qué. Cuando afirmo E C no estoy afirmando nada sobre la situación en la
que E es falsa. Simplemente estoy diciendo que una forma de aprobar el curso es pasando todos los exámenes; pero eso no significa que no haya otras formas de aprobar el curso. Por último, considera el caso en el que no superas todos los exámenes y tampoco superas el curso (cuarta fila). Por la misma razón, este escenario es compatible con mi afirmación siendo cierta. Así, nuevamente, vemos que un condicional material es falso en una sola circunstancia: cuando el antecedente es verdadero y el consecuente es falso.

Hay otras frases en inglés que se utilizan comúnmente para expresar declaraciones condicionales. Aquí hay algunas formas equivalentes de expresar el condicional, “si está lloviendo entonces el suelo está mojado”:

Está lloviendo solo si el suelo está mojado

El suelo está mojado si está lloviendo

Solo si el suelo está mojado está lloviendo

Que esté lloviendo implica que el suelo está mojado

Que esté lloviendo implica que el suelo esté mojado

Mientras llueva, el suelo estará mojado

Mientras llueva, el suelo estará mojado

El suelo está húmedo, siempre que esté lloviendo

Siempre que llueve, el suelo está mojado

Si está lloviendo, el suelo está mojado

## Ejercicio

Traduce las siguientes frases en inglés en oraciones lógicas simbólicas usando las constantes indicadas. Asegúrate de escribir cuáles son las proposiciones atómicas. En algunos casos esto será sencillo, pero no en todos los casos. Recuerda: las proposiciones atómicas nunca contienen ninguna conexión funcional de verdad, ¡y eso incluye la negación! Nota: aunque muchas de estas frases pueden traducirse utilizando únicamente la herradura, otras requieren de la verdad conectivos funcionales distintos a la herradura.

1. Los Tigres ganarán sólo si los indios pierden a su lanzador estrella. (T, I)
2. Tom pasará la clase siempre que haga toda la tarea. (P, H)
3. El auto funcionará sólo si tiene gasolina. (R, G)
4. El hecho de que me estés preguntando por tu calificación implica que te preocupas por tu nota. (A, C)
5. A pesar de que Frog nadará sin traje de baño, Toad nadará solo si lleva traje de baño. (F, T, B)
6. Si Obama no es ciudadano estadounidense, entonces yo soy el tío de un mono. (O, M)
7. Si Toad usa su traje de baño, no quiere que Frog lo vea en él. (T, F)
8. Si Tom no pasa el examen, entonces es o estúpido o vago. (P, S, L)
9. Bekele ganará la carrera siempre y cuando se mantenga sano. (W, H)
10. Si Bekele está enfermo o lesionado, no ganará la carrera. (S, I, W)
11. Bob se convertirá en presidente sólo si dirige una buena campaña y no dice nada estúpido. (P, C, S)
12. Si esa planta tiene tres hojas entonces es venenosa. (T, P)
13. El hecho de que la planta sea venenosa implica que tiene tres hojas. (T, P)
14. La planta es venenosa sólo si tiene tres hojas. (T, P)
15. La planta tiene tres hojas si es venenosa. (T, P)
16. Olga nadará en aguas abiertas siempre y cuando haya presente una red de tiburones. (O, N)
17. Olga nadará en aguas abiertas sólo si hay red de tiburones. (O, N)
18. El hecho de que Olga esté nadando implica que lleva traje de baño. (O, B)
19. Si Olga está en Niza, no usa traje de baño. (N, B)
20. Si Terrence tira del dedo de Philip, algo malo va a pasar. (T, B)

2 En realidad, hay una verdad más conectivo funcional que no vamos a estar aprendiendo y eso es lo que se llama la “bicondicional” o “equivalencia material”. No obstante, dado que el bicondicional equivale a una conjunción de dos condicionales diferentes, en realidad no lo necesitamos. Aunque discutiré la equivalencia material en la sección 2.9, no la usaremos regularmente.

This page titled 2.7: Condicionales is shared under a not declared license and was authored, remixed, and/or curated by Matthew Van Cleave.