Escribo en forma simbólica los siguientes enunciados.
Criterio general: Se identifica cada proposición atómica con una letra y se traduce la conectiva: "si... entonces..." ightarrow ightarrow; "si y solo si" ightarrow ightarrow (bicondicional).
Enunciado: "Si las exportaciones petroleras disminuyen, entonces las utilidades bajarán."
- Definimos: p = las exportaciones petroleras disminuyen; q = las utilidades bajarán.
- La estructura es "si p, entonces q", es decir, un condicional.
- Traducción: p \rightarrow q.
p \rightarrow q
Enunciado: "Los precios de los productos de primera necesidad son altos si y solo si los costos aumentan."
- Definimos: p = los precios de los productos de primera necesidad son altos; q = los costos aumentan.
- La estructura "si y solo si" expresa equivalencia lógica (bicondicional).
- Traducción: p \leftrightarrow q.
p \leftrightarrow q
Enunciado: "Si la producción aumenta, entonces bajarán los precios."
- Definimos: p = la producción aumenta; q = bajarán los precios.
- Estructura condicional "si p, entonces q".
- Traducción: p \rightarrow q.
p \rightarrow q
Enunciado: "Si el número de contagiados de COVID-19 aumenta, entonces existirá una nueva cuarentena."
- Definimos: p = el número de contagiados de COVID-19 aumenta; q = existirá una nueva cuarentena.
- Estructura condicional "si p, entonces q".
- Traducción: p \rightarrow q.
p \rightarrow q








