ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica 20 II ! Act" 0 TRABA#O COLABORATI$O N%" 2

INTRODUCCIN En este trabajo se introduce al mundo de la lgica, en el modo como razonamos y aplicamos las leyes de inferencia para comprobar la validez o no de un razonamiento, el uso de las tablas de verdad, en este captulo se estudiara el mtodo deductivo, por medio del cual se establece un principio general, el que tendr validez no solo para los casos observados, sino tambin para todos los de su especie.

UNI$ERSI&A& NACIONAL ABIERTA ' A &ISTANCIA UNA& ( )))"*nad"ed*"c% +TU, )))"*nad-i.t*a/"%.g 0 &%cente dise1ad%., Ge%.22.e3 Ace-ed% G%n4/e4

05

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica 20 II ! Act" 0 TRABA#O COLABORATI$O N%" 2

Fase 2. Problema de aplicacin Los razonamientos lgicos que emos estudiado se encuentran presentes no son e!clusivos de los espacios acadmicos. "or el contrario, acemos uso de stos en el debate cotidiano de ideas. # continuacin se propone un dilogo entre varios estudiantes de la $nad% Juan, 6%/a c%m7a1e.%s8 9sa:;an <*e t%d%s 7%dem%s =ace. a/g% 7%. /a 7a4> Patricia, ?t%d%s <*e.em%s /a 7a4@ Ana, O c%nst.*im%s 7a4 % gene.am%s -i%/encia" Diego, 93 a cas% gene.am%s -i%/encia> Freddy, Si c%nst.*3A.am%s 7a48 ent%nces c*m7/i.;am%s n*est.a 7a/a:.a" Mara, 7e.% si gene..am%s -i%/encia8 ent%nces n% n%s 7.e%c*7a.;am%s 7%. /a 7%/;tica" Jorge, Es -e.dad" +e.% /a 7.e%c*7acin 7%. /a 7%/;tica 7*ede :*sca. e/ inte.As gene.a/ % e/ 7a.tic*/a." Mara, &igam%s 7*es <*e si gene..am%s -i%/encia8 ent%nces n% n%s 7.e%c*7a.;am%s 7%. e/ :ien c%mBn" Tania, Si :*sc.am%s e/ :ien c%mBn /%s di.igentes se.;an :*en%s" ' si :*sc.am%s e/ inte.As 7e.s%na/8 /%s di.igentes .es*/ta.;an ma/%s" Guillermo, Un di.igente <*e :*sca e/ :ien 7.%7i% .es*/ta se. *n di.igente ma/%" Claudia, La .ea/idad a m%st.ad% <*e *n g.an 7%.centaCe de /%s di.igentes :*sca e/ :ien 7.%7i%" Carlos, Ent%nces t%d%s gene.am%s -i%/encia" I) Cada estudiante debe plantear su respuesta individual a la tabla ue se propone a continuaci!n" Posteriormente debe debatir con tus compa#eros el valor de verdad de las proposiciones l!gicas y su correspondiente $usti%icaci!n&

'o

Proposici!n

Declaraci!n de proposiciones simples Premisas y conclusi!n

Justi%icaci!n )as demostraciones de una conclusi!n se (oF deben $usti%icar mediante las leyes de in%erencia 2 N% a7/ica N% a7/ica N% a7/ica GH7 I <J Hs I .JK I .

E/ en*nciad% de +at.icia es *n en*nciad% cient;2ic% 2 D E/ en*nciad% de &ieg% es *n en*nciad% cient;2ic%

NO A+LICA NO A+LICA

E/ en*nciad% de #*an c%..es7%nde a NO A+LICA *na 7.%7%sicin /gica +F si :*scam%s e/ :ien c%mBn < F /%s di.igentes se.ian

E A 7a.ti. de /%s en*nciad%s de C/a*dia8 G*i//e.m% 3 Tania8 7%dem%s c%nc/*i. <*e :*scam%s e/

UNI$ERSI&A& NACIONAL ABIERTA ' A &ISTANCIA UNA& ( )))"*nad"ed*"c% +TU, )))"*nad-i.t*a/"%.g 0 &%cente dise1ad%., Ge%.22.e3 Ace-ed% G%n4/e4

205

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica 20 II ! Act" 0 TRABA#O COLABORATI$O N%" 2

inte.As 7e.s%na/"

:*en%s . F 3 si :*scam%s e/ inte.As 7e.s%na/ s F /%s di.igentes se.ian ma/%s

7 F Si c%nst.*3A.am%s 7a4 < F c*m7/i.;am%s n*est.a 7a/a:.a . F gene.am%s -i%/encia s F c%nst.*im%s 7a4 GH7I<JN<KIN7 &C

&e ac*e.d% c%n M.edd38 3 Ana8 si n% c*m7/im%s n*est.a 7a/a:.a8 L gene.am%s -i%/encia" Est% es as; 7%. MTT 3 &C" A 7a.ti. de /%s en*nciad%s de C/a*dia 3 G*i//e.m% se 7*ede c%nc/*i. <*e /%s di.igentes s%n 5 ma/%s" A esta c%nc/*sin se //ega 7%. dem%st.acin indi.ecta a7/icand% M++"

pvr qvs &'p q( p) q

7 F si *n di.igente :*sca e/ :ien 7.%7i% < F es *n di.igente ma/%

7 F si se :*sca e/ :ien &e ac*e.d% c%n #%.ge8 si se :*sca e/ 7a.tic*/a. O :ien 7a.tic*/a.8 se :*sca e/ :ien < F se :*sca e/ :ien gene.a/" gene.a/ P C/a*dia 7/antea *n .a4%namient% ind*cti-% :asad% en /a %:se.-acin NO A+LICA 7 F si gene.am%s -i%/encia < F n% n%s 7.e%c*7am%s 7%. e/ :ien c%mBn

&'p q( *q) *p N% a7/ica &'p q( *q) p

&e /a a2i.macin de Ma.;a8 7%dem%s a2i.ma. <*e si n% n%s Q 7.e%c*7am%s 7%. e/ :ien c%mBn8 ent%nces gene.am%s -i%/encia"

II) Demuestra a continuaci!n la valide* de la conclusi!n planteada por Carlos& Guillermo, Un di.igente <*e :*sca e/ :ien 7.%7i% .es*/ta se. *n di.igente ma/%" Claudia, La .ea/idad a m%st.ad% <*e *n g.an 7%.centaCe de /%s di.igentes :*sca e/ :ien 7.%7i%" Carlos, Ent%nces t%d%s gene.am%s -i%/encia" Declaraci!n de proposiciones simples& 7 F se :*sca e/ :ien 7.%7i% <F se :*sca e/ :ien c%mBn .F gene.am%s -i%/encia Premisas& +& p ,& p --. r /& --. N r
UNI$ERSI&A& NACIONAL ABIERTA ' A &ISTANCIA UNA& ( )))"*nad"ed*"c% +TU, )))"*nad-i.t*a/"%.g 0 &%cente dise1ad%., Ge%.22.e3 Ace-ed% G%n4/e4

D05

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica 20 II ! Act" 0 TRABA#O COLABORATI$O N%" 2

Conclusi!n& r Demostraci!n& ,7< 2, 7 !!R . D, --. N r ____________________ 4: N r 2,3 MTT III) Finalmente, aciendo !so de las tablas de "erdad determina la "alide# del si$!iente ra#onamiento%

p v v v v f f f f

' v v f f v v f f

r v f v f v f v f

Premisa & p ' ( ( F F ( ( ( "

Premisa 2 'r ( F F F ( F F F

Concl!sin p ( ( ( ( F F F F

CONC)U*IN En el desarrollo de este trabajo colaborativo se abordaron temas referentes a las leyes de
UNI$ERSI&A& NACIONAL ABIERTA ' A &ISTANCIA UNA& ( )))"*nad"ed*"c% +TU, )))"*nad-i.t*a/"%.g 0 &%cente dise1ad%., Ge%.22.e3 Ace-ed% G%n4/e4

E05

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica 20 II ! Act" 0 TRABA#O COLABORATI$O N%" 2

inferencia, razonamientos, validez de los mismos, en el camino se nos presentaron dificultades en la resolucin de los problemas planteados, ya que fueron un poco confusos los razonamientos e!presados para desarrollar, se lograron superar con satisfaccin total, con el desarrollo de este trabajo emos aprendido a identificar el valor de verdad de un razonamiento lgico, mediante las leyes de inferencia.

+I+)IO,R-FI-

UNI$ERSI&A& NACIONAL ABIERTA ' A &ISTANCIA UNA& ( )))"*nad"ed*"c% +TU, )))"*nad-i.t*a/"%.g 0 &%cente dise1ad%., Ge%.22.e3 Ace-ed% G%n4/e4

L05

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica 20 II ! Act" 0 TRABA#O COLABORATI$O N%" 2

+#,#-E. /#0,1, +E2.,1 '3456(. 7erdad y mtodo. Editorial sgueme, salamanca 3456, -onsalve, #lfonso. La teora de la argumentacin. Editorial universidad de #ntioquia, 3486. -aterial de apoyo de lgica matemtica% ttp%99campus:3.unadvirtual.org9moodle9mod9resource9vie;.p p<id=>444 http://www.youtube.com/watch?v=la_YX5CTmYQ ttp%99logicaymetalogica.blogspot.com96:339:?9forma@logica@y@validez@de@un. tml ttp%99ubuntuone.com9p935A.9 ttp%99campus:3.unadvirtual.org9moodle9mod9resource9vie;.p p<id=?66B ttps%99docs.google.com9leaf< id=:C4$#fD?E3FEG2,g3HEg>HI-tHE$y0y::2,7JLIKJ-E#tH6.i0ECJHI-6LmHyM l=es

UNI$ERSI&A& NACIONAL ABIERTA ' A &ISTANCIA UNA& ( )))"*nad"ed*"c% +TU, )))"*nad-i.t*a/"%.g 0 &%cente dise1ad%., Ge%.22.e3 Ace-ed% G%n4/e4

505