473. Sea $p$ es la proposición “no ando” y $q$ es la proposición “no tengo salud”; la proposición “si ando, tengo salud” se expresa por

a) $\neg p\to \neg q$

b) $\neg p\wedge \neg q$

c) $p\to q$

 

Si $p$ es la proposición “no ando”, su negación “ando” se expresaría como $\neg p$ . Igualmente, si $q$ es la proposición “no tengo salud” ”, su negación “tengo salud” se expresaría como $\neg q$.

 

Por lo tanto, la proposición propuesta “si ando, tengo salud” (si ando entonces tengo salud) es una proposición compuesta por las negaciones de las proposiciones simples $\neg p$ y $\neg q$ relacionadas mediante el conector “condicional” y se representaría: $\neg p\to \neg q$