Professional Documents
Culture Documents
TAREA 3.
El problema a desarrollar en la tarea 3 es el siguiente: El ejercicio consiste en
transformar expresiones dadas en lenguaje natural al lenguaje simblico, y
posteriormente, construir la correspondiente tabla de verdad. Miremos el ejemplo
propuesto por Alfredo De ao (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 travs de l El anlisis lgico de esta expresin es el
siguiente: (p
q) (r
~q) es decir, la expresin equivalente en la que se
evidencian los conectivos lgicos es:
Si se le mide por el calendario, entonces ese lapso de tiempo es corto, y si se
ha galopado, como yo, a travs 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 disculprsele todo.
d) La vida es larga si es plena; y se hace plena cuando el alma ha recuperado
la posesin de su bien propio y ha transferido a s el dominio de s misma
(Sneca).
La solucin de esta tarea debe contar con las siguientes etapas:
a) Expresin en lenguaje natural en la que se evidencien los conectivos lgicos
b) Declaracin de las premisas
c) Expresin en lenguaje natural
d) Tabla de verdad. La solucin de la tarea 3 debe cubrir mnimo dos (2) cuartillas
del informe final.
EJERCICIOS A RESOLVER:
A)
B)
C)
D)
SOLUCION:
V
V
F
F
V
F
V
F
~q
F
V
F
V
P ~ q
F
V
V
V
P
V
V
F
F
Q
V
F
V
F
P Q
V
F
F
V
P Q
V
F
V
V
Q
V
F
V
F
(P Q) [ (R S) Q) ]
Q
P Q
V V
V F
R S
R S Q
(P Q) [ (R S) Q) ]
Ver: Video Tutorial Enviado por Youtube creado por ING. Hugo Hernando Diaz Raga:
https://www.youtube.com/watch?v=y3kIK9seIuw