ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA

LGICAMATEMTICA

Trabajo grupal de calificacin individual No.2

Presenta Oscar Javier Acosta Vsquez 80793328 John Fredy FernndezBeltrn 80794696 Yamid Agudelo80796014 Jonathan Ramrez-80793934 Javier Enrique Lpez Solipaz- 80793645

Tutor Javier Francisco Rodrguez Mora

Directordecurso Geoffrey Acevedo Gonzlez

Bogot D.C 18 de abril de 2012

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA

Introduccin

En el presente trabajo encontraremos diferentes ejercicios de aplicacin de la lgica matemtica, ejercicios que permitirn al alumno mostrar los conocimientos adquiridos de manera practica mediante la comprobacin, all veremos diferentes situaciones planteadas que ofrecern al alumno la oportunidad resolver tablas de verdad, conectivos lgicos, diagramas de Veen. De este modo alcanzaremos un refinamiento en los conocimientos adquiridos, resolveremos dudas y plantearemos mediante el aporte de todos lo miembros del pequeo grupo colaborativo diferentes puntos de vista que estructuraran de manera mas solida el resultado final del trabajo.

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA

Fase1.Saberespreviosparalaunidad: Teora de conjuntos 1.1. Haciendo uso de los diagramas de Venn, plantea una propuesta para representar el rea sombreada para la expresin: Juan matricul lgebra o Lgica pero no Competencias Comunicativas.

1.2. Haga uso de la representacin simblica de las operaciones entre conjuntos, para representar el rea sombreada en el diagrama del numeral anterior J A L

C J= JUAN A= ALGEBRA L= LOGICA C= COMPETENCIAS COMUNICATIVAS

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA

Fase2. Principios de lgica 2.1. En su aporte individual, cada estudiante debe plantear diez expresiones relacionadas con su programa de estudio, tal que cinco de las expresiones correspondan a proposiciones lgicas y cinco expresiones que no puedan ser clasificadas como proposiciones. De stas expresiones, el equipo debe elegir una de las propuestas por cada participante:

Nombre del estudiante John Fredy Fernndez Beltrn

Son proposiciones lgicas: Si hoy estudio lgica matemtica voy aprender Si estudio ampliare mis conocimientos. No se necesita disciplina para estudiar. El estudio a distancia se le debe dedicar tiempo y esfuerzo Estudiar ingeniera industrial es una gran ventaja para mi

No son proposiciones lgicas La capacidad y el anlisis matemtico

Jonathan Ramrez

la pantalla es mejor que el mouse Gran porcentaje de la poblacin

Yamid Agudelo Oscar Javier Acosta Vsquez Javier Lpez

Es fcil y sencillo

Si estudio no puedo trabajar

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA

2.2 A continuacin se propone identificar los conectivos lgicos y proposiciones simples presentes en cada expresin, posteriormente plantearn una expresin equivalente en lenguaje simblico:

Expresin Si haytolerancia, entonces hay paz Paraaprendermatemtica sesnecesarioserordenado yconstante.

premisas p= hay tolerancia q = hay paz P= aprender matemticas Q= ordenado R=y constante

Lenguaje simblico pq

P (Q R)

Dos condiciones son necesarias y suficientes para que tus hijos tengan buena vida sobre la tierra: ensalesacontrolarsusim pulsosyadesarmarsucoraz n.

P=dos condiciones necesarias Q= y suficientes para que tus hijos tengan buena vida sobre la tierra R=ensales a controlar sus impulsos S= y desarmar a desarmar su corazn

P QR S

Ana tiene perseverancia,ordenyamo rporlatarea.

P=Anna tiene perseverancia Q=orden R=y amor por la tarea P Q R

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA 2.3 Las tablas de verdad nos permiten conocer el valor de verdad de una

proposicin compuesta para cada valor posible de las proposiciones simples que la conforman. A continuacin, el equipo debe elaborar la tabla de verdad de las siguientes proposiciones lgicas, finalmente, deben clasificar la proposicin como tautologa, contradiccin o contingente de acuerdo al resultado:

p q q p r q s
Contingente

[( p q ) ( r s ) s ] q

RESPUESTA:

[(PV Q) (R

S) S] Q

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA

p q r
V V V V V V V V F F F F F F F F V V V V F F F F V V V V F F F F V V F F V V F F V V F F V V F F

s pvq
V F V F V F V F V F V F V F V F V V V V V V V V F F F F V V V V

r s
V F V V V F V V V F V V V F V V

(pv q) ( r
V F V V V F V V F F F F V F V V

s)

(pv q) (r s) s
V F V F V F V V F F F F V F V F

[(pvq) (r s) s]
F V F V V V V V V V V V V V V V

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA

Truth Table
p T T T T T T T T F F F F F F F F q T T T T F F F F T T T T F F F F r T T F F T T F F T T F F T T F F s T F T F T F T F T F T F T F T F [(pV q) (r s) s] q F T F T T T T T T T T T T T T T

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA

2.4. Medianteunatabladeverdad, evala la equivalenciaentrelassiguientesdosproposiciones: Son equivalentes? Primera proposicin:

p q segunda proposicin: p q

Primera proposicin

p q
p q F F V F

p V V F F

q V F V F Segunda proposicin

q F V F V

p q

V V F V

P V V F F

Q V F V F

P
F F V V

p q

F F V F

Luego queda demostrado que son equivalentes la primera proposicin:

p q y la segunda proposicin: p q

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA 2.5 Proposiciones contraria, recproca y contra recproca. A continuacin el

equipo debe plantear las proposiciones contraria, recproca y contra recproca de la expresin: SielganadoesJersey no tendrbuena carne:

Directa Contraria Recproca Contra recproca

Si el ganado es jersey, entonces no tiene buena carne Si el ganado no es jersey, entonces tendr buena carne Si el ganado tiene buena carne, entonces no es jersey Si el ganado no tiene buena carne, entonces el ganado es jersey

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA

FASE 3.REFLEXIN GRUPAL Al validar los diferentes aspectos desarrollados durante la elaboracin del trabajo colaborativo se evidencia que la lgica matemtica es una herramienta til para inspeccionar diferentes conceptos y argumentos del lenguaje que habitualmente utilizamos y estructurarlos de una manera simblica en la cual se define si es falsa o verdadera, de este modo podemos identificar la lgica como una ciencia formal que examina la valides de los argumentos en trminos de su estructura independientemente del contenido de los enunciados y el lenguaje utilizado en su expresin. Busca interpretar argumentos del lenguaje natural para transmitirlos como contenidos verdaderos, es de esta manera como mediante la los principios de la lgica matemtica logramos expresiones que mediante de sus premisas se pude dar un concepto lgico matemtico que explique mediante la comprobacin cientfica la veracidad de las premisas. Una teora matemtica considera objetos definidos enteros, por ejemplodefine leyes que relacionan a estos objetos entre s, los axiomas de la teora. De los axiomas se deducen nuevas proposiciones los teoremas, y a veces, nuevos objetos. La construccin de sistemas formales formalizacin, piedra angular de la lgica matemtica, permite eliminar la arbitrariedad en la eleccin de los axiomas y definir explcita y exhaustivamente las reglas de la deduccin matemtica.

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA

CONCLUSIONES Luego de un debate y ponencia de diferentes aportes por parte del pequeo grupo colaborativo se logro fortalecer el conocimiento bsico de la informacin recibida en el rea de lgica matemtica, aclarando dudas, resolviendo los problemas propuestos en el taller, esta actividad nos permiti iniciar un trabajo mas social que facilito el camino a un resultado final optimo que ofrece un trabajo estructurado y objetivo, adems de iniciar el principio bsico para un dominio completo del tema visto.

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA LOGICA MATEMATICA

REFERENCIAS

Formato APA quinta edicin extrado el da 25 de febrero de 2012 desde fuente http://www.cimm.ucr.ac.cr/cuadernos/documentos/Normas_APA.pdf

Georffrey, A.G (2008) modulo de lgica matemtica Universidad Nacional Abierta y a Distancia Georffrey, A. G (2008) A que viene la lgica? Universidad Nacional Abierta y a Distancia lgica matemtica.

Universidad abierta y a distancia UNAD cursos virtuales extrado el da 25 de febrero de 2012 desde fuente http://campus01.unadvirtual.org/moodle/mod/forum/view.php?id=5036

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/