A partir de lenguaje natural formalice la siguiente proposición, halle su forma lógica, su fórmula y simbolice ?

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ógicacon 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.