UNIVERSIDAD PEDAGGICA NACIONAL FRANCISCO MORAZN CENTRO UNIVERSITARIO DE EDUCACIN A DISTANCIA SECCIN DE MATEMTICAS EMA-1503 LENGUAJE DE LAS MATEMTICAS

ELABORADO POR: Lic. Nelson Danilo Lpez

GUA No. 1 Temas:

Simbolizacin de las preposiciones: Preposiciones atmicas. Preposiciones moleculares. Los trminos de enlace y sus smbolos: Conjuncin (unin) Disyuncin. Negacin. Implicacin o Condicional. Equivalencia o Proposiciones Bicondicionales. Reglas de inferencias: Modus Ponendo Ponens. Doble Negacin. Modus Tollendo Tollens. Adjuncin y Simplificacin. Modus Tollendo Ponens. Ley de Adicin. Ley del Silogismo Hipottico. Ley del Silogismo Disyuntivo. Ley de Simplificacin Disyuntiva. Leyes Conmutativas. Leyes de Morgan. Ley de la Proposicin Bicondicionales.

Elaborado por: Lic. Nelson D. Lpez /EMA-1503/IP 2012 CUED La Ceiba

Objetivos: Al realizar esta gua de trabajo el alumno desarrolla las siguientes competencias: Se da un problema en lenguaje corriente y se debe simbolizar en un esquema de preposiciones e identificando las proposiciones atmicas y moleculares, adems los enlaces dominantes.

Dado un problema en lenguaje corriente simbolizar completamente las premisas y conclusiones de cada uno de los razonamientos y realizar una deduccin formal.

Dado una serie de preposiciones que forman un conjunto de premisas, obtenga una conclusin utilizando las reglas de inferencias.

Elaborado por: Lic. Nelson D. Lpez /EMA-1503/IP 2012 CUED La Ceiba

DEMOSTRACIONES FORMALES Un de las competencias a desarrollar en alumno del profesorado de matemticas en el grado de licenciatura es el desarrollo de la capacidad del anlisis matemtico y el poder realizar demostraciones formales, y es por ello que el espacio de formacin especifica como ser EMA1503 tiene este fin primordial, es por ello que tomaremos el primer ejercicio de la seccin 2.3.

Ejercicio a. Si un ngulo de un tringulo es mayor de 90 grados, entonces la suma de los otros dos ngulos es menor a 90 grados. La suma de los otros dos ngulos no es menor de 90 grados.

Paso 1. Primero haremos la simbolizacin del problema escribindolo del leguaje normal al lenguaje matemtico, aqu es donde es importante dominar los conceptos de proposiciones atmicas y moleculares, adems de los trminos de enlace, agrupamiento y los enlaces dominantes. P R un ngulo de un tringulo es mayor de 90 grado. la suma de los otros dos ngulos es menor a 90 grados.

un ngulo de un tringulo es mayor de 90 grados menor a 90 grados.

la suma de los otros dos ngulos no es

(la suma de los otros dos ngulos es menor a 90 grados)

En forma simblica nos queda:

Elaborado por: Lic. Nelson D. Lpez /EMA-1503/IP 2012 CUED La Ceiba

La conclusin la haremos a travs de la demostracin Formal. Demostracin:

1) 2) 3)

P
P MTT (1, 2)

La conclusin es: El ngulo de un tringulo no es mayor de 90 grados, si la suma de los otros dos ngulos no es menor a 90 grados Esto es muy lgico para un matemtico veamos porque: Si el ngulo de un tringulo es mayor a 90 grados entonces la suma de los otros dos ngulos es menor a 90 grados, es por ello que si la suma de los dos ngulos es mayor a 90 grados, el ngulo con que empieza esta trama es menor a 90 grados. Y esto se debe porque sabemos que la suma de los ngulos internos de un tringulo es 180 grados. Lo interesante de este tipo de ejercicios es que nos ayuda a desarrollar nuestro pensamiento lgico.

Ahora realicemos un ejercicio donde se nos presenta en forma simbolizada-matemtica: Ejercicio 2 d. Demostrar: 1) 2) 3) P
P P

Elaborado por: Lic. Nelson D. Lpez /EMA-1503/IP 2012 CUED La Ceiba

Para resolver este ejercicio analicemos algunas situaciones como ser, el agrupamiento de preposiciones si recordamos hay enlaces mas fuertes y otros dbiles, en el caso de la primera premisa el operador condicional es ms fuerte y el operador de la disyuncin es ms dbil. Es por ello que

el parntesis desaparece,

y vemos que Demostracin: 1) 2) 3)

4)

es un solo trmino.

P
P P DN (2)
negar lo negado es afirma como verdadero afirma el antecedente como verdadero se afirma el consecuente en una disyuncin existe la posibilidad que un miembro sea verdadero.

5) 6)

MPP (1, 4) MTP (5,3)

Observacin: Algo interesante en las demostraciones es que cada una de las premisas es utilizada as como las conclusiones que aparece en la demostracin, la no utilizacin de una de ellas nos da como resultado una inconsistencia en el caso a demostrar, como abogados matemticos que somos ser demostrar esta consistencia. Veamos otro ejercicio en el cual ya con todos los conocimientos adquiridos hasta este momento podemos realizar demostraciones aun ms complejas, para ello seleccionamos de los ejercicios 2.4

Ejercicio i. Demostrar: 1) 2) P P
Elaborado por: Lic. Nelson D. Lpez /EMA-1503/IP 2012 CUED La Ceiba

3) 4) Demostracin: 1) 2) 3) 4) 5) 6) 7) 8)

P
P

P P P
P MTT (3, 4) MTP (1, 5) MPP (2, 6)

A (1, 7)

Si realizamos un comentario de esta demostracin llegamos a ver que partimos de una premisa verdadera sabemos por el concepto de disyuncin que una de las preposiciones a lo menos es es verdadera y de proposiciones verdaderas llegamos

verdadera y la otra es falsa, que la proposicin a conclusiones verdaderas veamos una idea de lo siguiente:

, pero ustedes dira pero que pasa con esta ultima premisa

Distributiva de la conjuncin.

Esto nos da paso a la unidad: Valores de verdad y Tabla de Verdad, lo cual lo trataremos en la gua nmero dos.

Elaborado por: Lic. Nelson D. Lpez /EMA-1503/IP 2012 CUED La Ceiba

Para terminar con este documento trataremos realizar la demostracin de los ejercicios de repaso. Ejercicio d: Si Toms tiene diecisiete aos, entonces Tomas tiene la misma edad que Juana. Si Joaqun tiene distinta edad que Toms, entonces Joaqun tiene la misma edad que Juana. Toms tiene diecisiete aos y Joaqun tiene distinta edad que Juana. Por tanto, Joaqun tiene la misma edad que Toms y Toms la misma edad que Juana.

Antes de iniciar la demostracin haremos la simbolizacin de este problema planteado. Toms tiene diecisiete Tomas tiene la misma edad que Juana. Joaqun tiene la misma edad que Toms Joaqun tiene la misma edad que Juana Demostrar:
1) 2) 3) 4) 5) 6) 7) 8) 9)

P
P

P S (3)

MTT (2,4) DN (5) S (3) MPP (1,7) A (6,8)

Con este ejercicio concluimos las dos unidades, y esperamos que con ello se hayan despejado cada una de las dudas.
Elaborado por: Lic. Nelson D. Lpez /EMA-1503/IP 2012 CUED La Ceiba