A partir de lenguaje natural formalice la siguiente proposición,halle su forma lógica,su fórmula y simbolice .Elizabeth es atleta u operadora de eventos ,pero no puede ser ambas cosas a la vez .
Respuestas a la pregunta
Dado que en términos de comunicación, la expresión se hace por medio del lenguaje, este se encuentra sujeto a reglas, sobre todo en lo referente a lenguaje formal.
A partir del enunciado “Elizabeth es atleta u operadora de eventos, pero no puede ser ambas cosas a la vez”, debemos encontrar la lógica con que le atribuimos a Elizabeth una de las dos características expuestas, dado que ambas son excluyentes una de la otra. Para esto aplicaremos la lógica formal.
Entendemos por lógica formal la forma de usar el lenguaje formal valiéndose de la inferencia. La deducción, y la semántica de una proposición. La lógica formal debe ser construida de tal forma que permita ser analizada matemáticamente.
En el lenguaje formal podemos distinguir: La lógica del predicado realiza un estudio o análisis de un enunciado, otorgándole al sujeto una característica determinada; b) La lógica de las proposiciones o enunciados, que implica atribuir validez a un razonamiento, determinando si es falso o verdadero, y que opera con variables (que se denotan con las letras p, q, r, s ó t).
Ahora bien, nuestro enunciado posee características de enunciado molecular, ya que consta de dos enunciados unidos mediante un conectivo lógico.
“Elizabeth es atleta”, a la que llamaremos la variable “p” de nuestra proposición;
“Elizabeth es operadora de eventos”, designaremos como variable “q”
Conectivo lógico = “u”, que posee características incluyentes y excluyentes;
“pero no puede ser ambas cosas a la vez”, lo que denominaremos la parte del enunciado que hace que p y q sean excluyentes.
Entonces podemos decir con toda propiedad que la forma lógica de este enunciado es disyuntiva, y que su fórmula bien formada equivale a:
[Elizabeth es atleta] ∨ [Elizabeth es operadora de eventos].
donde,
p ∨ q