El ejercicio

ACTIVIDAD 3

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.

Bien pensado, ENTONCES no hay por que ser bien pensante.

p:bien pensado

q: bien pensante

p->~ q

p q ~q p->~q

V V F F

V F V V

F V F V

F F V V

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

En caso de que sople el viento ENTONCES podremos navegar a vela.

p:sople el viento

q:navegar a vela

pq

p q p  q

V V V

V F F

F V V

F F V

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

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

p:escribe como borges

q:puede disculpársele todo

p->q

p q p  q

V V V

V F F

F V V

F F V

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.

...