Tarea 3 4 5

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENERIAS



LOGICA MATEMATICA
TRABAJO COLABORATIVO Nª 1



PRESENTADO POR:
YEISON ALEJANDRO NIETO SIMANCASCODIGO: 1033740872



PRESENTADO A TUTOR
OSCAR EDUARDO VIDAL ROJAS



GRUPO Nª: 90004_898



BOGOTA D.C 22 DE MARZO DE 2015


EL PROBLEMA A DESARROLLAR EN LA TAREA 3

El ejercicio consiste entransformar 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 unfragmento 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.

RTA/: p= bien pensado
q= entonces hay que serbien pensante
(p → q)
Bien pensado, entonces hay que ser bien pensantes

p
q
p → q
V
V
V
V
F
V
F
V
F
F
F
V


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

RTA/: p= si sopla elviento
q= no podemos navegar a vela

(p ┐q)
Si sopla el viento, no podemos navegar a vela

p
q
p ┐q
V
V
F
V
F
F
F
V
V
F
F
V




c) Si alguien escribe como Borges, entonces sí puededisculpársele todo.

RTA/: p= si escribe como Borges
q= entonces si se le puede disculpar todo
(p ↔ q)

Si escribes como Borges, entonces si se le puede disculpar todo

p
q
p ↔ q
V
V
V
V
F
F
F
VV
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).

RTA/: p= si la vida...