UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD LGICA MATEMTICA TUTOR: Oscar Dionisio Carrillo Riveros oscarcarrillo82@gmail.

com

Universidad Abierta y acional a Distancia

AD

TALLER N 2 PRINCIPIOS DE LGICA 1. Demuestre si las siguientes expresiones son una tautologa o no: Ejemplo: Si estudio y aprendo entonces progreso p= estudio q= aprendo r= progreso Simblicamente la proposicin quedar de la siguiente forma: ( ) 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1

1 1 1 1 0 0 0 0 No es tautologa.

1 1 0 0 1 1 0 0

1 0 1 0 1 0 1 0

a. Si canto o bailo entonces me divierto b. Si estudio entonces aprendo y si no aprendo entonces me supero ( )( ) c. Observen por favor el siguiente anlisis:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD LGICA MATEMTICA TUTOR: Oscar Dionisio Carrillo Riveros oscarcarrillo82@gmail.com

Universidad Abierta y acional a Distancia

U
las

AD

Para ir de Cumaral hasta Acacias debo usar los siguientes pasos: Debo pasar obligatoriamente por a y por d y escoger entre b o c, esa son rutas. Simblicamente sera: ( ) ( )

Elaborar la tabla de verdad de la anterior proposicin. d. ( e. ( ~ )

~ )

2. Para que una CONDICIONAL IMPLICACION sea falso se debe cumplir que el antecedente sea VERDADERO (1) y el consecuente FALSO (0). Si: a= El Director de la zona Amazona Orinoqua de la UNAD es el Psiclogo JAVIER MORENO VALENCIA. El Rector de la UNAD es el Doctor JAIME ALBERTO LEAL AFANADOR. En la UNAD todo programa acadmico se compone de cursos bsicos, obligatorios y electivos o de complementacin. Para los cursos tericos el estudiante tiene la opcin de presentar una prueba nica para la valoracin del ciento por ciento (100%). La escala de calificacin en la UNAD ir desde cero (0.0) hasta cinco (5.0). Las evaluaciones finales para este periodo en la UNAD van desde el 5 hasta el 13 de junio de 2010. El tutor de lgica matemtica es el Ingeniero civil Oscar Dionisio Carrillo Riveros. Para cursar un crdito acadmico en el territorio colombiano, por lo tanto en la UNAD, el estudiante requiere de 48 horas de trabajo acadmico distribuidas entre trabajo independiente y acompaamiento tutorial. La tutora tiene carcter opcional por parte del estudiante y obligatorio por parte de la UNAD. La labor de orientacin, seguimiento, acompaamiento y apoyo al estudiante brindado por la psicloga Mara del Roco Pabn Jaramillo se llama CONSEJERA.

b= c=

d=

e= f=

g= h=

i=

j=

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD LGICA MATEMTICA TUTOR: Oscar Dionisio Carrillo Riveros oscarcarrillo82@gmail.com

Universidad Abierta y acional a Distancia

AD

k=

La propiedad intelectual del trabajo de grado de un estudiante de la UNAD es de l. La UNAD, inicialmente llamada UNISUR, fue creada por la ley 52 de 1981.

l=

m= Segn el reglamento acadmico de la UNAD el director de curso elabora y actualiza los materiales didcticos y objetos virtuales de aprendizaje (OVAs). n= El Sistema de Integracin UNADISTA es obligatorio para todos los estudiantes y se compone de los cursos acadmicos: a) Proyecto Acadmico Pedaggico (PAP), b) Trabajo acadmico a distancia y apropiacin de multiformatos e c) Introduccin a la profesin. La UNAD, con el fin de lograr un total cubrimiento regional nacional, est dividida en ocho zonas y sus sedes principales o cabezas de nodo estn situadas en las capitales de los departamentos donde est ubicada la respectiva zona.

o=

Debes consultar el reglamento estudiantil, reglamento acadmico de la UNAD o solicitar informacin en el CEAD o CERES con el fin darle un valor de certeza a cada tem: falso o verdadero. De acuerdo a la veracidad o no de las anteriores proposiciones simples, escriba en frente de las siguientes compuestas si son verdaderas o falsas. a. b. c. d. e. f. g. h. i. j. ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

3. De acuerdo al valor de verdad de cada una de las expresiones del punto anterior (a, b, c, d, e, etc.), decir, en frente de ellas, si las siguientes proposiciones compuestas son verdaderas o falsas: a. (~ ) ~ b. ( ) ( ) c. {( ) } d. e. { }

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD LGICA MATEMTICA TUTOR: Oscar Dionisio Carrillo Riveros oscarcarrillo82@gmail.com

Universidad Abierta y acional a Distancia

AD

NOTA: aqu no se trata de hacer la tabla de verdad, es solamente, con los valores de certeza de las proposiciones simples determinar el de las compuestas. 4. Las condicionales o implicaciones pueden ser de cuatro formas:

Directa : a b Contraria : b a Re cproca : a b Contrarrecproca : b a

Para cada una de ellas elabora la tabla de verdad y diga cuales son iguales o equivalentes. 5. Qu nombre reciben cada una de las siguientes proposiciones compuestas? (Escriban en frente el nombre que reciben) a. b. c. d. e. f. g. h. i. j. ( ) ( ) ( )( ) ~{( ) } ( )( ) { ( )} ~( ) ~{ ( )}