ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA -UNAD

LGICA MATEMTICA Trabajo grupal de calificacin Grupal No.2

Presen a Briyini Ramrez Galvis. 55.1 !."#$ Tu !r Cesar Manuel Cas "ll! R!#r$gue%

D"re& !r #e &urs! Ge!r''re( A&e)e#! G!n%*le%

Ne")a

+ul"!,-.,-/0-

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#. $ 01 In r!#u&&"2n

% con&inuacin se es&udiar' un problema de aplicacin y se deba&ir' en el pe(ue)o *rupo colabora&ivo el &ipo de razonamien&o y analizaremos la validez de una conclusin+ sus premisas en len*uaje simblico+ aplicacin de &ablas de la verdad y leyes de inferencia+ &emas (ue es&udiamos en la unidad 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

$/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $

-1 Desarr!ll! #e la A& ")"#a# Pr!3le4a #e apl"&a&"2n ,os razonamien&os l*icos (ue -emos es&udiado en la se*unda unidad no son e.clusivos de los espacios acad/micos. 0or el con&rario+ -acemos uso de /s&os en el deba&e co&idiano de las ideas. % con&inuacin se propone un di'lo*o en&re varios es&udian&es de la 1N%23 % con&inuacin se plan&ea un ar*umen&o l*ico3 40ara nues&ra deduccin+ par&amos de acep&ar las si*uien&es premisas3 Nos *us&a (ue al abrir un *rifo+ por /s&e sal*a a*ua. Nos *us&a (ue e.is&an personas (ue se dedi(uen a fabricar zapa&os+ &ambi/n nos *us&a (ue e.is&an m/dicos. Tambi/n nos *us&a (ue e.is&an personas (ue se dedican a compar&ir su conocimien&o. ,ue*o+ &ener a*ua+ &ener donde comprar zapa&os+ y &an&o m/dicos como maes&ros+ implica dos cosas3 necesi&ar de o&ras personas y &ener calidad de vida. 5 a su vez+ necesi&ar de o&ras personas es vivir en comunidad. 0odemos concluir en&onces (ue como a &odos nos *us&a &ener calidad de vida+ a &odos nos *us&a vivir en comunidad. 67u/ e.i*e vivir en comunidad8 %-ora bien+ si ele*is&e vivir en una comunidad+ deber's respe&ar la ley+ sin impor&ar (ue &u fuerza fsica sea mayor (ue la de o&ros+ sin impor&ar (ue &en*as m's es&udios o conocimien&os (ue o&ros+ sin impor&ar (ue &en*as m's recursos econmicos (ue o&ros+ para vivir en comunidad+ es necesario respe&ar la ley+ ya (ue por medio de la ley es (ue las personas podemos ejercer el respe&o de nues&ros derec-os+ aun a los m's ricos o fuer&es. 9*ualmen&e+ al e.i*irles a o&ros (ue se limi&en en sus acciones+ &ambi/n+ al vivir en comunidad acep&amos res&rin*ir volun&ariamen&e nues&ras acciones. 7uien no respe&a la ley+ en&onces no acep&a vivir en comunidad y por lo &an&o es&' renunciando a /s&a y a sus beneficios.: Georffrey %.G. 5ase 06 2eba&e con &us compa)eros de e(uipo3 6 El ra%!na4"en ! pr!pues ! es #e#u& ")! ! "n#u& ")!7 ;<onsidero (ue en un razonamien&o induc&ivo ya (ue par&imos de casos par&iculares para lle*ar a concluir una ley *eneral. 5ase -6 % con&inuacin+ analiza la validez de la conclusin3 8Respe a4!s la le(: N! a9 Ap2(a e en el e:e4pl! #e ap!(! para la 'ase Pre4"sa 03 = nos *us&a vivir en comunidad o nos vamos al mon&e Pre4"sa -3 No nos vamos al mon&e Pre4"sa ;3 >i nos *us&a vivir en comunidad+ en&onces respe&amos la ley

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

5/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $

De&lara&"2n #e pr!p!s"&"!nes s"4ples9 p ? Nos *us&a vivir en comunidad ( ? nos vamos al mon&e s ? respe&amos la ley Pre4"sas en lengua:e s"432l"&!9 0remisa 13 p v ( 0remisa 23 6( 0remisa 3 p @@A s C!n&lus"2n9 s De4!s ra&"!nes9 5ase -109 De4!s ra&"2n a par "r #e las a3las #e )er#a# '!r4a 0 9 BCvaluando la e.is&e del caso en (ue las premisas sean verdaderas y la conclusin sea falsaD Proposiciones Premisa 1 Premisa 2 simples p q s pvq 6( " " " " 7 " " 7 " 7 " 7 " " " " 7 7 " " 7 " " " 7 7 " 7 " 7 7 7 " 7 " 7 7 7 7 " Premisa 3 p @@A s " 7 " 7 " " " " Conclusin S " 7 " 7 " 7 " 7

No e.is&e el caso en (ue las premisas sean verdaderas y la conclusin sea falsa+ por lo &an&o el razonamien&o es v'lido. 5ase -1-9 2.2.1. De4!s ra&"2n a par "r #e las a3las #e )er#a# '!r4a -9 BCvaluando si la conjuncin de las premisas implican la conclusin.D 2.2.2. Eerificacin con simulador

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

8/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $ Conclusin S " 7 " 7 " 7 " 7 [(pvq)BF(DBpsDGs ) ) ) ) ) ) ) ) )

Proposiciones Premisa 1 Premisa 2 Premisa 3 simples p q s pvq 6( p @@A s " " " " 7 " " " 7 " 7 7 " 7 " " " " " 7 7 " " 7 7 " " " 7 " 7 " 7 " 7 " 7 7 " 7 " " 7 7 7 7 " "

>e ob&iene una &au&olo*a+ demos&rando (ue la conjuncin de las premisas implican la conclusin y por lo &an&o el razonamien&o es v'lido 5ase -1;9 De4!s ra&"2n a par "r #e las le(es #e "n'eren&"a9

p ? = nos *us&a vivir en comunidad ( ? nos vamos al mon&e s ? respe&amos la ley 0remisa 13 p v ( 0remisa 23 6( 0remisa 3 p @@A s #. s Hodus 0onens BH. 0D en 2 y 5. p Hodus Tollens BH.TD en 2 y # Cn conclusin+ las leyes de inferencia permi&en deducir la conclusin+ por lo &an&o el
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

9/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Act. 1

TRABA!O COLABORATI"O N#. $

razonamien&o es v'lido1

Demostracin por reduccin al absurdo BH/&odo abreviado o prueba formal de invalidezD3 >uponemos (ue es posible (ue las premisas sean verdaderas y la conclusin falsa3 >i es posible en&onces el razonamien&o NO es v'lido. 0remisa 13 p v (?v 0remisa 23 6(?v 0remisa 3 p @@A s?v C!n&lus"2n s< 5 2e acuerdo con la conclusin = es 5alsa> y de acuerdo con la premisa es )er#a#era. Cs&o obli*a a (ue de acuerdo con la premisa #+ s sea 5alsa1 >i s es Ialsa+ de acuerdo con la premisa 2> p &iene (ue ser falsa1 0ero con p 5alsa y con = 5alsa no se cumple (ue la premisa 1 sea verdadera+ lue*o+ lle*amos a una con&radiccin. Cn conclusin+ del an'lisis por reduccin al absurdo se concluye (ue no es posible (ue cuando las premisas sean verdaderas+ la conclusin sea falsa+ por lo &an&o el ra%!na4"en ! es )*l"#!. 5ase ;6 De3a e &!n us &!4pa?er!s #e e=u"p! el an er"!r ra%!na4"en !1 @Vale la pena l"4" ar u l"3er a# a &a43"! #e )")"r en s!&"e#a#7 <onsidero (ue al vivir en sociedad no es&oy limi&ando mi liber&ad+ la es&' re*ulando para delimi&ar en (ue momen&o reduzco la liber&ad de o&ra persona+ de lo con&rario las personas c-ocaramos en&re s+ y prevalecera la ley del m's fuer&e. >i no e.is&ieran normas abusaramos de nues&ra propia liber&ad con menoscabo de la de los dem's y se conver&ira en liber&inaje

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#. $ ;1 C!n&lus"!nes

<on el an&erior ejercicio se lo*ro (ue el pe(ue)o *rupo colabora&ivo in&erpre&ara la fundamen&acin &erica (ue sopor&a los m/&odos de inferencia l*ica por deduccin e induccin a &rav/s del es&udio+ an'lisis+ aplicacin y ejerci&acin.

A1 Re'eren&"as
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#. $

Ace,ed# G#n3a.es Ge#-11-e2< =$ 1$>< Lgica Matemtica. ?tt@+//t)-ne-.1ac).t2.s(a).ed)/mat?ematics/mate-ia.s.iA-a-2/t-)t?/

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