Diferencia entre revisiones de «Lógica proposicional/La disyunción»

Una '''disyunción''' es una conectiva lógica. Combina dos proposiciones y la expresión resultante es verdadera si al menos alguna de ellas es verdadera.<ref name="klement" /> Si combinamos la proposición «tengo mucho dinero» con la proposición «soy una persona feliz» usando una disyuntiva, la expresión resultante será verdadera si «soy una persona feliz» o si «tengo mucho dinero» o si «soy una persona feliz y tengo mucho dinero». Solo será falsa si no «soy una persona feliz» y no «tengo mucho dinero».

 

 

{|- class="wikitable"

!<math>\boldsymbol \alpha</math>

!<math>\boldsymbol \beta</math>

|-

|<math>V</math>

|}

 

 

En ocasiones esto puede ser confuso porque en lenguaje natural la conjunción '''o''' se puede usar tanto en sentido inclusivo como en sentido exclusivo. Al usarla en sentido exclusivo es necesario optar por alguna de las opciones; por ejemplo la expresión «¿deseas vivir o morir?» implica que debemos seleccionar una de las alternativas pero no podemos vivir y morir. El uso inclusivo de la conjunción, por su parte, no impone la necesidad de elegir y ambas alternativas se pueden dar simultáneamente. La expresión «almorzaré sopa o pasta» es un ejemplo de este caso ya que puedo almorzar sopa o puedo almorzar pasta o puedo almorzar ambas cosas.<ref name="rae2010" />

(<math>B</math>)

!Valor de verdad de la conjunción

|-

|<math>5 + 5 = 10</math>

== Resumen de la lección ==

 

* Una disyunción es verdadera si alguna de la dos proposiciones a las que la aplicamos es verdadera

* Una disyunción es falsa si las dos proposiciones a las que la aplicamos son falsas.

* La disyunción se suele representar en el lenguaje natural con la palabra '''o'''.

* En el lenguaje natural la palabra '''o''' puede tener tanto sentido inclusivo como exclusivo.

 

== Términos clave ==