¿Cuándo es cierto en lógica formal que una proposición está bien escrita al existir jerarquía entre sus conectivas? A) a veces. B) siempre. C) nu...

La respuesta correcta es (B). En lógica formal, siempre es cierto que una proposición está bien escrita al existir jerarquía entre sus conectivas. Las conectivas lógicas deben aplicarse en el orden correcto para que la proposición tenga un significado bien definido.

Por ejemplo, la proposición "Juan es alto y inteligente o moreno" está mal escrita, ya que la conjunción "y" debe aplicarse antes de la disyunción "o". La proposición correcta sería "Juan es alto e inteligente o moreno".

Las demás opciones son incorrectas.

• (A) es incorrecta, ya que la jerarquía entre las conectivas es siempre necesaria para que una proposición esté bien escrita.
• (C) es incorrecta, ya que la jerarquía entre las conectivas es necesaria para todas las proposiciones, independientemente de su naturaleza.
• (D) es incorrecta, ya que la jerarquía entre las conectivas es necesaria para las proposiciones negativas, pero también para las proposiciones afirmativas.
• (E) es incorrecta, ya que la jerarquía entre las conectivas es necesaria para las proposiciones disyuntivas, pero también para las proposiciones conjuntivas, condicionales y bicondicionales.