ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $ Act. 10 TRABAJO COLABORATIVO No. 2

Nombre de curso: 90004 Lgica Matemtica Temticas revisadas: Unidad 2, Razonamiento deductivo e inductivo o!"ticas #ara e! desarro!!o de !a actividad: Tres son las condiciones que deben ser cumplidas para recibir nota por el desarrollo de este trabajo colaborativo: 1. Que el estudiante presente una soluci n individual oportuna de la actividad 2. Que el estudiante ten!a participaciones si!ni"icativas, continuas # oportunas debatiendo sus propuestas con las propuestas de sus compa$eros. %. Que el equipo &a#a &ec&o entre!a de un producto "inal consolidado en la plantilla dise$ada con este "in. 'ste trabajo se compone de dos "ases con una sola entre!a de documento "inal. 'l equipo de trabajo colaborativo debe entre!ar un (nico documento)in"orme que presente la tarea !rupal propuesta. *os participantes deber+n "ijar las re!las de "uncionamiento del equipo, cuidando de plani"icar el tiempo disponible &asta la entre!a del trabajo, determinando los distintos pasos que &a# que completar # el tiempo disponible para cada uno de ellos.

$%&A '( ACTIVI'A'() ro*u+di,aci-+ de !a %+idad 2: Queridos estudiantes, a trav,s de esta actividad reali-aremos el proceso de trans"erencia de los temas de la se!unda unidad. .ara lo!rarlo desarrollaremos la actividad 10, la cual est+ dividida en dos "ases con una (nica entre!a de trabajo "inal, ten!an en cuenta que el equipo de trabajo colaborativo debe plantear "ec&as l/mite de participaci n para la soluci n de cada etapa. 0e la participaci n activa depender+ la evaluaci n de su desempe$o por parte del tutor asi!nado al equipo.

UNI"ERSI%A% NACIONAL ABIERTA & A %ISTANCIA UNA% ' (((.)nad.ed).c# *TU+ (((.)nad,i-t)a..#-g / %#cente dise0ad#-+ Ge#-11-e2 Ace,ed# G#n3.e3

1/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $

rob!ema de a#!icaci-+ *os ra-onamientos l !icos que &emos estudiado, no son e1clusivos de los espacios acad,micos. .or el contrario, &acemos uso de ,stos en el debate cotidiano de ideas. 2 continuaci n se propone un di+lo!o entre varios estudiantes de la U320, debes anali-ar este dialo!o para dar respuesta a las "ases 1 # 2: %i.#g#+

Juan+ Patricia+ Ana+ Diego+ Freddy+ Mara+ Jorge+ Tania+

a.g)nas 5e-s#nas 5)eden 6ace- a.g# 5#- .a 5a3. N# !)an. T#d#s 5#dem#s 6ace- a.g# 5#- .a 5a3. O 6acem#s a.g# 5#- .a 5a3 # n# 7)e-em#s ,i,i- en c#m)nidad. Si n#s g)sta 7)e e8istan 5e-s#nas 7)e 6agan -#5a9 ent#nces n#s g)sta ,i,i- en c#m)nidad. Si n#s g)sta 7)e e8istan m:dic#s9 ent#nces 7)e-em#s ,i,i- en c#m)nidad. ;A 7)i:n n# .e g)sta ,i,i- en c#m)nidad< Si n#s g)sta ,i,i- en c#m)nidad9 es necesa-i# 7)e -es5etem#s .as .e2es de .a c#m)nidad. 5#dem#s c#nc.)i- 7)e si -es5etam#s .as .e2es de .a c#m)nidad9 ent#nces 6acem#s a.g# 5#- .a 5a3

UNI"ERSI%A% NACIONAL ABIERTA & A %ISTANCIA UNA% ' (((.)nad.ed).c# *TU+ (((.)nad,i-t)a..#-g / %#cente dise0ad#-+ Ge#-11-e2 Ace,ed# G#n3.e3

$/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $

.ase 1) A co+ti+uaci-+ se #rese+ta+ 10 #ro#osicio+es !-/icas0 debes a+a!i,ar e! va!or de verdad de cada #ro#osici-+ 1 re/istrar su va!or. Tambi2+ debes re/istrar !a 3usti*icaci-+ de #or 4u2 se asi/+- dic5o va!or. La proposici n es

No.

Proposicin
E. en)nciad# de !)an es )n en)nciad# cient=1ic# E. en)nciad# de *at-icia es )n en)nciad# cient=1ic# E. en)nciad# de Ma-=a es )na 5-#5#sicin .gica E. en)nciad# de %ieg# e85-esa )na c#n@)ncin

Justificacin

VoF
1 $ > ?

%e ac)e-d# c#n B-edd29 si n# n#s g)sta ,i,i- en c#m)nidad9 A ent#nces n# n#s g)sta 7)e e8istan m:dic#s. %e ac)e-d# c#n Ana9 si n# 7)e-em#s ,i,i- en c#m)nidad9 C ent#nces n# 6acem#s a.g# 5#- .a 5a3 %e ac)e-d# c#n !#-ge9 Si -es5etem#s .as .e2es de .a D c#m)nidad9 ent#nces n#s g)sta ,i,i- en c#m)nidad. %e ac)e-d# c#n B-edd29 Si n#s E g)sta ,i,i- en c#m)nidad9 n#s g)sta 7)e e8istan m:dic#s. %e ac)e-d# c#n !#-ge9 Si n# n#s 4 g)sta ,i,i- en c#m)nidad9 ent#nces n# -es5etam#s .a .e2. 1 %e ac)e-d# c#n Ana9 si 6acem#s a.g# 5#- .a 5a39 7)e-em#s ,i,ien c#m)nidad

UNI"ERSI%A% NACIONAL ABIERTA & A %ISTANCIA UNA% ' (((.)nad.ed).c# *TU+ (((.)nad,i-t)a..#-g / %#cente dise0ad#-+ Ge#-11-e2 Ace,ed# G#n3.e3

>/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $

.ase 26 A co+ti+uaci-+0 usa+do como re*ere+cia e! di!o/o #ro#uesto0 a+a!i,a !a va!ide, de !a co+c!usi-+ #!a+teada #or Ta+ia: Declaracin de proposiciones simples: Premisas: Conclusin: Demostraciones: .ase 2.1: 'emostraci-+ a #artir de !as tab!as de verdad *orma 1 : (Evaluando la existe del caso en que las premisas sean verdaderas y la conclusin sea falsa) .ase 2.2: 2 2 ! 'emostraci-+ a #artir de !as tab!as de verdad *orma 2: (Evaluando si la con"uncin de las premisas implican la conclusin ) 2 2 2 #erificacin con simulador .ase 2.7: 'emostraci-+ a #artir de !as !e1es de i+*ere+cia: .ase 2.8: or reducci-+ a! absurdo:

UNI"ERSI%A% NACIONAL ABIERTA & A %ISTANCIA UNA% ' (((.)nad.ed).c# *TU+ (((.)nad,i-t)a..#-g / %#cente dise0ad#-+ Ge#-11-e2 Ace,ed# G#n3.e3

?/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $

Ejemplo para la fase 2:

Di ogo+ El benefactor hubo de ser: o Pedro, o Andrs - Si hubiera sido Pedro, tuvo que estar presente, pero estaba de viaje. En conclusin: tuvo que ser Andrs.

Declaracin de proposiciones simples: 5 F E. Gene1act#- 1)e *ed-# 7 F E. Gene1act#- 1)e And-:s s F *ed-# estaGa 5-esente t = Pedro estaba de viaje Premisas+ 5-emisa 1+ 5 , 7 5-emisa $+ 5 HHI s 5-emisa >+ t premisa 4: t --> ~s Conclusin+ q

UNI"ERSI%A% NACIONAL ABIERTA & A %ISTANCIA UNA% ' (((.)nad.ed).c# *TU+ (((.)nad,i-t)a..#-g / %#cente dise0ad#-+ Ge#-11-e2 Ace,ed# G#n3.e3

A/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $

Demostracin a partir de las tablas de verdad: Primera forma: Proposi ciones si!p es p ' s t ~s " " "" B " " "B B ""B" " ""BB " " B "" B " B "B B "B B" " "B BB " B " "" B B " "B B B "B" " B "BB " B B "" B B B "B B B B B" " B B BB " Pre!isa " Pre!isa # Pre!isa $ Pre!isa % &onc usin

p(' " " " " " " " " " " " " B B B B

p ))* s " " B B " " B B " " " " " " " "

t " B " B " B " B " B " B " B " B

t --> ~s B " " " B " " " B " " " B " " "

4 " " " " B B B B " " " " B B B B

3o e1iste el caso en que las premisas sean verdaderas # la conclusi n sea "alsa, por lo tanto el ra-onamiento es v+lido.

UNI"ERSI%A% NACIONAL ABIERTA & A %ISTANCIA UNA% ' (((.)nad.ed).c# *TU+ (((.)nad,i-t)a..#-g / %#cente dise0ad#-+ Ge#-11-e2 Ace,ed# G#n3.e3

C/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $

Segunda forma: 4e deja como ejercicio al estudiante como aporte individual para el debate, veri"icar que al construir la tabla de verdad del ejemplo propuesto: 9:#remisa 16 ; :#remisa 26 ; :#remisa 76 ; :#remisa 86< ===> Co+c!usi-+ 4e obtiene una tautolo!/a, demostrando que la conjunci n de las premisas implican la conclusi n # por lo tanto el ra-onamiento es v+lido. Simulador: 5aciendo uso del si!uiente simulador, podr+s veri"icar el desarrollo de las tablas de verdad: &ttp:66777.is"tic.meps#d.es67%6eos68ateriales'ducativos6mem200%6lo!ica6lo!ica60%tablas vdad6!enerador"rset.&tml 9ecuerda que en el material de apo#o para la se!unda unidad est+ el enlace a un video con la e1plicaci n de como usar el simulador.

Demostracin a partir de las leyes de inferencia: 5-emisa 1+ 5 , 7 5-emisa $+ 5 HHI s 5-emisa >+ t premisa 4: t --> ~s ____________________ 5. ~s 3, 4 MPP C. ~p :, 2 8TT ?. 4 @01 ).' 'n conclusi n, las le#es de in"erencia permiten deducir la conclusi n, por lo tanto el ra-onamiento es v+lido.

Demostracin por reduccin al absurdo ;8,todo abreviado o prueba "ormal de invalide-<: 4uponemos que es posible que las premisas sean verdaderas # la conclusi n "alsa: 4i es posible entonces el ra-onamiento NO es v+lido. 5-emisa 1+ 5,7 F" 5-emisa $+ 5 HHI s F " 5-emisa >+ t =V premisa 4: t --> ~s= V ____________________ Co+c!usi-+ 4 A.
UNI"ERSI%A% NACIONAL ABIERTA & A %ISTANCIA UNA% ' (((.)nad.ed).c# *TU+ (((.)nad,i-t)a..#-g / %#cente dise0ad#-+ Ge#-11-e2 Ace,ed# G#n3.e3

D/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $

0e acuerdo con la conclusi n 4 es .a!sa0 # de acuerdo con la premisa % t es verdadera. 'sto obli!a a que de acuerdo con la premisa 4, s sea .a!sa. 4i s es =alsa, de acuerdo con la premisa 20 # tiene que ser "alsa. .ero con # .a!sa # con 4 .a!sa no se cumple que la premisa 1 sea verdadera, lue!o, lle!amos a una contradicci n. 'n conclusi n, del an+lisis por reducci n al absurdo se conclu#e que no es posible que cuando las premisas sean verdaderas, la conclusi n sea "alsa, por lo tanto e! ra,o+amie+to es v!ido.

Bs materia! de a#o1o: .ara dar soluci n a esta actividad debes apo#arte en el m-du!o, en la lectura >a que viene la lgica? # en el materia! de a#o1o #ara !a u+idad 2:

UNI"ERSI%A% NACIONAL ABIERTA & A %ISTANCIA UNA% ' (((.)nad.ed).c# *TU+ (((.)nad,i-t)a..#-g / %#cente dise0ad#-+ Ge#-11-e2 Ace,ed# G#n3.e3

E/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $

(s#eci*icacio+es de! docume+to *i+a! de! traba3o:

ortada con los nombres # n(meros de documento de identi"icaci n de los inte!rantes que "uera de la "ase 1, debatieron los aportes para la soluci n del problema. I+troducci-+ ;al contenido que el lector encontrar+ en el trabajo< 9ecuerda que no es la introducci n al curso de l !ica, es la introducci n al trabajo desarrollado 0esarrollo de la actividad @onclusiones espec/"icas relativas a la soluci n de los problemas 9e"erencias biblio!r+"icas usadas. 'stas re"erencias deben tener "ormato 2.2, las re"erencias de documentos tomados de Anternet tambi,n llevan "ormato 2.2 ;apellido, nombre, a$o entre par,ntesis, t/tulo en it+lica, instituci n, editorial, ciudad<.

RECUERDA: 'n la portada s lo debe "i!urar el nombre completo, # documento de identi"icaci n de los estudiantes que participaron activamente en el desarrollo de la actividad. .ormato de! arc5ivo: 1. 'l arc&ivo debe adjuntarse a trav,s de este "oro por un inte!rante del equipo en el tema creado para ello por el tutor del equipo. 2. 'l arc&ivo debe tener el nombre: 3(meroBdelBequipoBActC10. .or ejemplo, si su !rupo es el 21, el nombre de su arc&ivo ser+: 21CActC10 sin usar caracteres especiales como tildes o puntos. 7. 'ntre!ar el arc&ivo en "ormato #d*

Cenerador de tablas de verdad 3o.2: &ttp:66777.is"tic.meps#d.es67%6eos68ateriales'ducativos6mem200%6lo!ica6lo!ica60%t ablasvdad6!enerador"rset.&tml D EFITO) (N (L '()ARROLLO '( LA ACTIVI'A' D

UNI"ERSI%A% NACIONAL ABIERTA & A %ISTANCIA UNA% ' (((.)nad.ed).c# *TU+ (((.)nad,i-t)a..#-g / %#cente dise0ad#-+ Ge#-11-e2 Ace,ed# G#n3.e3

4/4