Problemas sobre lógica proposicional - Problema 1

Represente simbólicamente:

Iremos a nadar a menos que el cielo no esté despejado, ya que no hemos traído carpa.

Solución:

Lo primero que tenemos que hacer es separar esta proposición lógica compuesta en sus proposiciones simples o atómicas, asignando a cada una de ellas una variable proposicional. 

p = Iremos a nadar
q = El cielo está despejado
r = Hemos traido carpa

Hemos identificado tres variables proposicionales. Ahora nos toca utilizar los conectores lógicos para construir la expresión lógica. Para ello desmembramos cada frase.

"Iremos a nadar a menos que el cielo no esté despejado"

Esto es lo mismo que decir que si el cielo no está despejado, entonces no iremos a nadar. Por lo que la construcción sería la siguiente:

Analicemos la segunda expresión:

"Ya que no hemos traído carpa"

La expresión "Ya..." determina que el hecho de que no hayan traído carpa, trae como consecuencia lo dicho en la primera parte, por lo tanto, la expresión quedaría así:

Esta expresión sería la representación simbólica de la expresión propuesta.