Logica MatematicA

El problema a desarrollar en la tarea 3 es el siguiente:

El ejercicio consiste en transformar expresiones dadas en lenguaje natural

al lenguaje simbólico, y posteriormente, construir la correspondiente tabla

de verdad. Miremos el ejemplo propuesto por Alfredo De año (1974) de un

fragmento de Kafka:

“Ese lapso, corto quizá si se le mide por el calendario, es interminablemente largo cuando, como yo, se ha galopado a través de él” El análisis lógico de esta expresión es el siguiente: (pq) ∧ (r~q) es decir, la expresión equivalente en la que se evidencian los conectivos lógicos es:

Si se le mide por el calendario, entonces ese lapso de tiempo es corto, y si se ha galopado, como yo, a través de él, entonces es irremediablemente largo.

Ejercicios a resolver:

a) Bien pensado, no hay por qué ser bien pensante.

b) En caso de que sople el viento, podremos navegar a vela.

c) Si alguien escribe como Borges, entonces puede disculpársele todo.

d) “La vida es larga si es plena; y se hace plena cuando el alma ha recuperado la posesión de su bien propio y ha transferido a sí el dominio de sí misma” (Séneca)

La solución de esta tarea debe contar con las siguientes etapas:

a) Expresión en lenguaje natural en la que se evidencien los conectivos

Lógicos

b) Declaración de las premisas

c) Expresión en lenguaje natural

d) Tabla de verdad.

Respuestas:

a) Expresión en lenguaje natural en la que se evidencien los conectivos

Lógicos

a) Bien pensado, o hay que ser bien pensante

b) Si en caso de que sople el viento, entonces podremos navegar a vela

c) Puede disculpársele todo si y solo si alguien escribe como Borges

d) La vida es larga si y solo si es plena; y se hace plena cuando el alma ha recuperado la posesión de su propio bien o a transferido a sí el dominio de sí misma

B) Declaración de las premisas

c) Expresión en lenguaje natural

a) Bien pensado, no hay por qué ser bien pensante.

b) En caso de que sople el viento,

...