UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA II

Trabajo grupal de calificacin individual No.1

Presentado por:

MARIA DEL PILAR ARCINIEGAS CARDENAS COD. 33480841

Tutor

Director de curso Georffrey Acevedo Gonzlez

YOPAL 25 DE NOVIEMBRE DE 2011.

INTRODUCCIN

En este trabajo daremos a conocer la importancia de la logica y la aplicacin de algunos ejercicios con los temas que estamos conociendo para el desarrollo de esta materia. En el modulo se nos brinda la oportunidad de conocer y practicar con ejercicios que son guia para aprender y entender los temas que se ven el trabajo.

Fase 1. Saberes previos para la unidad: 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

Fase 2. 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

Son proposiciones lgicas: LA TIERRA ES PLANA

No son proposiciones lgicas LAVA LA CASA POR FAVOR

MARIA DEL PILAR ARCINIEGAS CARDENAS

LA MATERIA DE LOGICA MATEMATICA LA GANARE AL FINAL DEL SEMESTRE

HOLA COMO ESTAN?

38 17 = 21

VAMOS A COMER

LOS CARNIVOROS SE ALIMENTAN DE CARNE

LA MATEMATICA ES BUENA

COLOMBIA TIENE GRAN CANTIDAD DE ESPECIES DE RANAS

QUIZAS VEA MATEMATICAS MAANA

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 hay tolerancia, entonces hay paz Premisas P = La tolerancia es necesaria para P Q = La paz Para aprender matemticas es necesario ser ordenado y constante. P= Para aprender matemticas es necesario Q= Ser ordenado R= Constante P QR Q Lenguaje simblico

P= Ensea a tus hijos Ensea a tus hijos a Q= A controlar sus controlar sus impulsos y impulsos a desarmar su corazn R= Desarmar su corazn y tendrn buena vida en S= Tendrn buena vida en la tierra. la tierra Perseverancia, orden y amor por la tarea son cualidades de Ana. P = Perseverancia Q = Orden R = Amor S = Cualidades de Ana

(P

Q R) S

P QR

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 V Q

RS

(P V Q) (RS)

(P V Q) (RS) S

[(P V Q) (RS)S]Q

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

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

V F V V V F V V V F V V V F V V

V F V V V F V V F F F F V F V V

V F V F V F V V F F F F V F V F

F V F V V V V V V V V V V V V V

2.4. Mediante una tabla de verdad, evala la equivalencia entre las siguientes dos proposiciones: Primera proposicin: segunda proposicin:

Por ley de Morgan tenemos: Dos premisas unidas por la conjugacin o la disyuncin, (digamos que multiplicacin) por la negacin se obtendr que las premisas estn negadas y el signo de conjugacin o disyuncin ha cambiado es decir:

1. primera proposicin = P V V F F 2. Segunda proposicin P V V F F Q V F V F PQ V F V V Q V F V F PQ F F V F

Por lo anterior expuesto en la tabla de verdad y ley de Morgan, se concluye que las dos preposiciones no son equivalentes.

2.5. Proposiciones contraria, recproca y contrarrecproca. A continuacin el equipo debe plantear las proposiciones contraria, recproca y contrarrecproca de la expresin: Si el ganado es Jersey no tendr buena carne: Directa SI EL GANADO ES JERSEY TENDRE BUENA CARNE Contraria SI EL GANDO NO ES JERSEY TENDRE BUENA CARNE Recproca SI TENGO BUENA CARNE EL GANADO ES JERSEY Contrarrecproca SI NO TENGO BUENA CARNE EL GANADO ES JERSEY

Fase 3. Reflexin grupal Finalmente, en esta fase, el equipo propondr una reflexin en una pgina sobre la evolucin histrica de la lgica, el equipo no debe hacer un recuento histrico con fechas, el propsito es plantear una reflexionar sobre la evolucin del pensamiento, descubriendo qu necesidades humanas han conducido al desarrollo de la lgica. REFLEXION: Lgica matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms abstracta, tomada del lgebra. El nacimiento de la lgica propiamente dicho est directamente relacionado con el nacimiento intelectual del ser humano. La lgica emerge como mecanismo espontneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla. Poncair destaca cinco etapas o revoluciones en ese proceso que se presentan entre dos grandes tpicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas se identifican como: Revolucin Matemtica, Revolucin Cientfica, Revolucin Formal y Revolucin Digital adems de la prxima y prevista Revolucin Lgica. La lgica matemtica cuestiona con rigor los conceptos y las reglas de deduccin utilizados en matemticas lo que convierte la lgica en una especie de metamatemtica. Una teora matemtica considera objetos definidos -enteros, por ejemplo- y define 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.

CONCLUSIONES

En este trabajo conocimos las unidades 1 y 2 de nuestro modulo , en el cual ampliamos nuestros conocimientos respecto a los ejercicios propuestos en nuestro trabajo. Adems que profundizando estas dos unidades nos damos cuenta de la importancia de la lgica ya que permite plantear soluciones a los diferentes tipos de problemas. Permitindonos mejorar en la construccin de argumentos ms fuertes, basados en los cimientos de la lgica.

REFERENCIAS

GEORFFREY ACEVEDO - Universidad Nacional Abierta Y A Distancia Escuela De Ciencias Bsicas, Tecnologa E Ingeniera Ciencias Bsicas- MODULO DE LOGICA MATEMATICA