No. 2 TRABAJO COLABORATIVO No.

ADMINISTRACION DE EMPRESAS LOGICA MATEMATICA 2013

INTRODUCCION

En los principios de la humanidad el hombre se ha caracterizado por ser un ser pensante, a lo largo de su evolucin mental una de las primeras habilidades que desarrollo fue su razonamiento lgico, pues de all se crearon muchas de las cosas que hoy dia utilizamos, como el uso de las matemticas y su contenido, como formulas, ecuaciones, metros etc de todo esto se desprende material importante. En este traba o el estudiante refle a todo el conocimiento adquirido por el tutor basados en la segunda unidad del mdulo, en el cual aplica razonamiento deductivo como inductivo por el cual desarrolla diferentes actividades comple as aplicando a su vez valores, proposiciones, conectores, tablas de verdad y leyes. !acilitando el entendimiento y su aplicacin, no solo en educativo sino en su vida personal y en las personas que lo rodean.

PROBLEMA DE APLICACIN

Fase 1) "ebate con tus compa#eros de equipo$ %El razonamiento propuesto es deductivo o inductivo? El razonamiento es deductivo. Parte de premisas, usado leyes de inferencia para obtener su conclusin. Fase 2) & continuacin, analiza la validez de la conclusin$ 'Respetamos la le (
Not a: Visita el ejemplo de apoyo para la fase 2

Premisa 1$ Premisa 2$ Premisa 3$ Premisa 4$

) no nos gusta tener calidad de vida o no nos gusta vivir solos Nos gusta tener calidad de vida *i no nos gusta vivir solos, nos gusta vivir en comunidad *i nos gusta vivir en comunidad, entonces respetamos la ley

2.1 Declaracin de proposiciones simples: p + Nos gusta tener calidad de vida q + Nos gusta vivir solos r + Nos gusta vivir en comunidad s + ,espetamos la ley 2.2 Premisas en lenguaje simblico: premisa -$ .p v .q premisa 2$ p premisa /$ .q 0 r premisa 1$ r0s 2.3 Conclusin en lenguaje simblico: s 2.4 Demostraciones:

*olucin &ct. -2 3,&4&5) 6)7&4),&389) No. 2 2.4.1: Demostracin a partir de las tablas de verdad forma 1 : (Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusin sea falsa) Primera forma: Proposiciones simples ~p ~q Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin

p 9

q 9

r 9

s 9

~p !

~q !

~p v ~q !

p 9

~q ! r 9

r!s 9

s 9

9 9 9 9 9 9 9 ! ! ! ! ! ! ! !

9 9 9 ! ! ! ! 9 9 9 9 ! ! ! !

9 ! ! 9 9 ! ! 9 9 ! ! 9 9 ! !

! 9 ! 9 ! 9 ! 9 ! 9 ! 9 ! 9 !

! ! ! ! ! ! ! 9 9 9 9 9 9 9 9

! ! ! 9 9 9 9 ! ! ! ! 9 9 9 9

! ! ! 9 9 9 9 9 9 9 9 9 9 9 9

9 9 9 9 9 9 9 ! ! ! ! ! ! ! !

9 9 9 9 9 ! ! 9 9 9 9 9 9 ! !

! 9 9 9 ! 9 9 9 ! 9 9 9 ! 9 9

! 9 ! 9 ! 9 ! 9 ! 9 ! 9 ! 9 !

No existe el caso en que las premisas sean verdaderas y la conclusin sea falsa, por lo tanto el razonamiento es vlido.

:N89E,*8"&" N&68)N&7 &48E,3& ; & "8*3&N68& :N&" < ===. unad.edu. co >3:$ ===.unadvirtual.org ? "ocente dise#ador$ @eorffrey &cevedo @onzlez

2?A

E*6:E7& 68EN68& * 4B *86& *

2.4.2: Demostracin a partir de las tablas de verdad forma 2: (Evaluando si la conjuncin de las premisas implican la conclusin.) Segund !o"# $ Se deja como ejercicio al estudiante como aporte individual para el de ate, verificar que al construir la ta la de verdad del ejemplo propuesto: %&'"e#() 1* + &'"e#() 2* + &'"e#() 3* + &'"e#() ,*- .../ Con01u)(2n

P1 ~p v ~q ! ! ! ! 9 9 9 9 9 9 9 9 9 9 9 9

P2 p 9 9 9 9 9 9 9 9 ! ! ! ! ! ! ! !

P3 ~q ! r 9 9 9 9 9 9 ! ! 9 9 9 9 9 9 ! !

P4 r!s 9 ! 9 9 9 ! 9 9 9 ! 9 9 9 ! 9 9

%&P1* + &P2* Conclusin %&P1* + &P2* + + &P3* + &P 3* + &P,*- ... / Con01u)(2n &P,*- .../ Con01u)(2n s ! ! ! ! 9 ! ! ! ! ! ! ! ! ! ! ! 9 ! 9 ! 9 ! 9 ! 9 ! 9 ! 9 ! 9 ! 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9

Se o tiene una tautolo!"a, demostrando que la conjuncin de las premisas implican la conclusin y por lo tanto el razonamiento es vlido.

/?A

E*6:E7& 68EN68& * 4B *86& * 3E6N)7)@C& E 8N@EN8E,C&

:nidad

2.4.3. Verificacin con simulador Simulador http$??turner.faculty.s=au .edu ?mathematics?materialslib rary?truth? Lengu 3e ' " e1 )(#u1 do"$ # $%&p'&q( )p*)$%&q+r()%r+s(* ,+s

*olucin &ct. -2 3,&4&5) 6)7&4),&389) No. 2

2.4.4. Demostracin a partir de las leyes de inferencia: premisa -$ .q premisa 2$ premisa /$ premisa 1$ .p v p .q 0 r r0s

Conclusin$ s premisa -$ .p v .q premisa 2$ p premisa /$ .q 0 r premisa 1$ r 0 s

5. .q -. r 2. s 1,2 S.D ., / 011 -, 3 011

4n conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto el razonamiento es vlido. De o4" !o"# $ premisa -$ .p v .q premisa 2$ p premisa /$ .q 0 r premisa 1$ r 0 s
5. .q -. .q 0 s 2. s 1,2 S.D

3,4 SH
/, - 011

Nuevamente, las leyes de inferencia permiten deducir la conclusin, por lo tanto el razonamiento es vlido.

2.4.5.: Demostracin por reduccin al absurdo: %05todo a reviado o prue a formal de invalidez(: Suponemos que es posi le que las premisas sean verdaderas y la conclusin falsa: Si es posi le entonces el razonamiento NO es vlido. premisa -$ premisa 2$ premisa /$ premisa 1$ .p v .q p .q 0 r r0s

_
6onclusin s

_
56

7niciamos por suponer que las cuatro premisas son verdaderas y la conclusin es falsa. *i la conclusin s " F# para que la premisa 4 r ! s sea 9erdadera, r debe ser !alsa. En la premisa /, para que Dsta sea verdadera, considerando que r es !alsa, q debe ser 9erdadera. "e la premisa 2, p es verdadera. En la premisa - $ ~p es falsa, tanto como lo es ~q de donde se concluye que la premisa - es !alsa, luego, no fue posible hacer que todas las premisas fueran verdaderas y la conclusin falsa. No !ue 'o)(71e 8ue 1 ) '"e#() ) !ue" n 9e"d de" ) : 1 0on01u)(2n ! 1) . Po" 1o 8ue e1 " ;on #(en4o e) 9<1(do. Fase 3) "ebate con tus compa#eros de equipo el razonamiento propuesto y registren en este espacio el producto del debate. %&u' (anamos a qu' renunciamos al vivir en sociedad? E6onteFtualiza
tu respuesta en la realidad mundialG

6)N67:*8)N El ser humano hasta el final de su eFistencia, siempre har uso de su razonamiento lgico tanto deductivo como inductivo en sus diferentes hbitos tanto matemticos, como cultural, polticos, social etc., adems de que al pasar del tiempo se logra ms evolucin de las mismas. 7as matemticas especialmente la lgica fue creada y dise#ada para facilitar la vida del ser humano, entenderla no es fcil para ello se necesita esfuerzo, dedicacin y sobre todo prctica. :na comunicacin constante con el tutor asignado y con ayuda de los compa#eros facilita la comprensin y la aplicacin de los mismos, para me orar no solo su vida personal sino tambiDn laboral, familiar y econmica.