Simboliza: 'Si las exportaciones petroleras disminuyen, entonces las utilidades bajarán.'

1. Identificar antecedente: 'las exportaciones petroleras disminuyen' → p
2. Identificar consecuente: 'las utilidades bajarán' → q
3. Identificar conectivo: 'si…entonces' → →
4. Escribir: p → q

Simboliza: 'Los precios de los productos de primera necesidad son altos si y solo si los costos aumentan.'

1. Identificar primera proposición: 'los precios son altos' → p
2. Identificar segunda proposición: 'los costos aumentan' → q
3. Identificar conectivo: 'si y solo si' → ↔
4. Escribir: p ↔ q

Simboliza: 'Si la producción aumenta, entonces bajarán los precios.'

1. p = la producción aumenta; q = bajarán los precios
2. Conectivo: → (condicional)
3. Resultado: p → q

Simboliza: 'Si el número de contagiados de COVID-19 aumenta, entonces existirá una nueva cuarentena.'

1. p = el número de contagiados de COVID-19 aumenta; q = existirá una nueva cuarentena
2. Conectivo: → (condicional)
3. Resultado: p → q

Ejemplo 1

Si las exportaciones petroleras disminuyen, entonces las utilidades bajarán.

Ejemplo 2

Los precios son altos si y solo si los costos aumentan.

Glosario

• Condicional (→): Conectivo lógico que une dos proposiciones expresando que si la primera (antecedente) es verdadera, entonces la segunda (consecuente) también lo es. En lenguaje natural: 'si… entonces…'.
• Bicondicional (↔): Conectivo lógico que expresa que dos proposiciones son verdaderas o falsas simultáneamente. En lenguaje natural: 'si y solo si'.
• Variable proposicional: Símbolo (generalmente una letra minúscula) que representa una proposición simple en la lógica formal.