#a

UNIDAD II ELEMENTOS DE LGICA MATEMTICA Mdulo V

.m+dulo .v

La lgica utiliza el mtodo racional para llegar a la verdad.

.la l+gica utiliza el m!todo racional para llegar a la verdad'

El mtodo racional tiene dos formas: La forma inductiva y la forma deductiva.

.el m!todo racional tiene dos formas3 .la forma inductiva y la forma deductiva'
Razonamiento Inductivo. Es el proceso de encontrar a partir de determinadas experiencias o hechos particulares, el principio general que en ellas est implcito.

.razonamiento .inductivo' .es el proceso de encontrar a partir de determinadas experiencias o hechos particulares1 el principio general que en ellas est( impl/cito'
El razonamiento inductivo no siempre conduce a resultados exactos, porque toma siempre como base una suposicin particular.

#b

.el razonamiento inductivo no siempre conduce a resultados exactos1 porque toma siempre como base una suposici+n particular'
Aunque representan un razonamiento inteligente, no son conclusiones probadas.

.aunque representan un razonamiento inteligente1 no son conclusiones probadas'

Significa que es el Mtodo por el cual se procede lgicamente de lo particular a lo universal, es decir se generaliza.

.significa que es el .m!todo por el cual se procede l+gicamente de lo particular a lo universal1 es decir se generaliza'
Ejemplo: Eduardo fue enviado a la Direccin de la escuela durante cuatro das seguidos por llegar tarde a clase. Cuando lleg tarde el quinto da concluy: "me enviarn a la direccin".

.ejemplo3 .eduardo fue enviado a la .direcci+n #c de la escuela durante cuatro d/as seguidos por llegar tarde a clase' .cuando lleg+ tarde el quinto d/a concluy+3 8me enviar(n a la direcci+n8'
Basado en hechos particulares, Eduardo generaliz que as sucedera siempre.

.basado en hechos particulares1 .eduardo generaliz+ que as/ suceder/a siempre'

Razonamiento deductivo. Es el proceso mediante el cual se hace uso de un principio general, aceptado como verdadero, para obtener una conclusin en un hecho o caso particular.

.razonamiento deductivo' .es el proceso mediante el cual se hace uso de un principio general1 aceptado como verdadero1 para

obtener una conclusi+n en un hecho o caso particular' #d .es decir1 .m!todo por el cual se procede l+gicamente de lo universal a lo particular'
Es decir, Mtodo por el cual se procede lgicamente de lo universal a lo particular. Ejemplo: Es principio general aceptado que a todo alumno que llega tarde a clase se le enva a la Direccin de la escuela; en un caso particular, Eduardo llega tarde a clase por lo que concluye: "me van a enviar a la Direccin".

.ejemplo3 .es principio general aceptado que a todo alumno que llega tarde a clase se le env/a a la .direcci+n de la escuela2 en un caso particular1 .eduardo llega tarde a clase por lo que concluye3 8me van a enviar a la .direcci+n8'
Ahora us un razonamiento deductivo, pues aceptando el principio como verdadero, razon a partir de l para sacar una conclusin en su caso particular.

.ahora us+ un razonamiento deductivo1 pues aceptando el principio como verdadero1 razon+ a partir de !l para sacar una conclusi+n en su caso particular' #e
Oraciones simples y abiertas

.oraciones simples y abiertas

Para que podamos decidir que una oracin es verdadera o falsa, la oracin usa trminos o smbolos que tienen un significado nico y bien definido.

.para que podamos decidir que una oraci+n es verdadera o falsa1 la oraci+n usa t!rminos o s/mbolos que tienen un significado )nico y bien definido'
A las oraciones de las que se puede decir si son verdaderas o falsas, abiertas o no, se les llama proposiciones.

.a las oraciones de las que se puede decir si son verdaderas o falsas1 abiertas o no1 se les llama proposiciones' .definiciones3 #f
Definiciones: A aquellas proposiciones de las que inmediatamente se puede decir si son verdaderas o son falsas se llaman Proposiciones Simples. Se dice que tienen un valor de verdad, verdadero o falso.

.a aquellas proposiciones de las que inmediatamente se puede decir si son verdaderas o son falsas se llaman .proposiciones .simples' .se dice que tienen un valor de verdad1 verdadero o falso'
Se llaman Proposiciones Abiertas, las que tienen alguna variable y un conjunto de reemplazamiento para ella. Tienen un conjunto de verdad, el cual es subconjunto de su conjunto de reemplazamiento. El conjunto de verdad lo forman los elementos que hacen que la proposicin sea verdadera.

.se llaman .proposiciones .abiertas1 las que tienen alguna variable y un conjunto de reemplazamiento para ella' .tienen un conjunto de verdad1 el cual es subconjunto de su conjunto de reemplazamiento' .el conjunto de verdad lo forman los elementos que hacen que la proposici+n sea verdadera' #g
Ejemplos de oraciones que son proposiciones:

.ejemplos de oraciones que son proposiciones3

1) "x es un nmero impar, x "

#a> 8x es un n)mero impar1 x <18_n

Es proposicin abierta porque con cada nmero natural que se reemplace a la "x" la oracin ser, o falsa o verdadera.

.es proposici+n abierta porque con cada n)mero natural que se reemplace a la 8x8 la oraci+n ser(1 o falsa o verdadera'
2) Un tringulo equiltero es issceles.

#b> .un tri(ngulo equil(tero es is+sceles'

Es proposicin simple y es falsa.

.es proposici+n simple y es falsa'

3) 3 + 9 = 6x; x

#c> #c 6 #i 7 #fx2 x <1_n

Proposicin abierta, por lo mismo que en el ejemplo nmero 1.

#h

.proposici+n abierta1 por lo mismo que en el ejemplo n)mero #a'

4) 9 es un factor de 27.

#d> #i es un factor de #bg'

(Verdadera) Proposicin simple.

<.verdadera> .proposici+n simple'

5) Monterrey es un estado de la Repblica Mexicana:

#e> .monterrey es un estado de la .rep)blica .mexicana3

(Falsa) Proposicin simple.

<.falsa>.proposici+n simple'
Ejemplos de oraciones que no son proposiciones porque no se puede decir de ellas que sean falsas o verdaderas.

.ejemplos de oraciones que no son proposiciones por que no se puede decir de ellas que sean falsas o verdaderas'
1) 2x + 5 = x - 1

#a> #bx 6 #e 7 x - #a

No se da conjunto de reemplazamiento para la variable por lo que no hay modo de decidir cundo sea falsa o cundo sea verdadera.

#i

.no se da conjunto de reemplazamiento para la variable por lo que no hay modo de decidir cu(ndo sea falsa o cu(ndo sea verdadera'
2) Juan tiene 21 aos.

#b> .juan tiene #ba a]os'

No se define de qu Juan se trata, por lo que no se puede decidir si es falso o verdadero

.no se define de qu! .juan se trata1 por lo que no se puede decidir si es falso o verdadero
Grfica de proposiciones simples.

.gr(fica de proposiciones simples'

#aj

Las proposiciones simples son oraciones declarativas que tienen un sujeto y un predicado. No tienen componentes unidos por conjunciones como "y", "o", "si entonces", y generalmente usan el verbo ser.

.las proposiciones simples son oraciones declarativas que tienen un sujeto y un predicado' .no tienen componentes unidos por conjunciones como 8y81 8o81 8si,,,entonces81 y generalmente usan el verbo ser'
Esto ltimo facilita que se puedan re-escribir o modificar para decir que un sujeto es o no es, elemento de cierto conjunto, y representar esto por medio de un diagrama de Venn

.esto )ltimo facilita que se puedan re-escribir o modificar para decir que un sujeto es o no es1

elemento de cierto conjunto1 y representar esto por medio de un diagrama de .venn

Ejemplo a) "6 es un nmero par". Puede reescribirse como "6 es un elemento del conjunto de nmeros pares" y graficar la proposicin como se muestra en la figura:

.ejemplo a> 8#f es un n)mero par8' .puede reescribirse como 8#f es un elemento del conjunto de n)meros pares8 y graficar la proposici+n como se muestra en la figura3 .n)meros pares #f
Nmeros pares

#aa

Ejemplo b) "Todo hombre es mortal". Puede reescribirse como "El conjunto de todos los hombres es un subconjunto del conjunto de todos los mortales".

.ejemplo b> 8.todo hombre es mortal8' .puede reescribirse como 8.el conjunto de todos los hombres es un subconjunto del conjunto de todos los mortales8'

#ab .conjunto .mortales .conjunto .hombres

Conjunto de Todos los Mortales

Conjunto de Todos los Hombres

La grfica de la proposicin abierta es el diagrama representando al conjunto de reemplazamiento y su subconjunto el conjunto de verdad, tambin llamado conjunto solucin.

.la gr(fica de la proposici+n abierta es el diagrama representando al conjunto de reemplazamiento y su subconjunto el conjunto de verdad1 tambi!n llamado conjunto soluci+n'
Ejempl) "x es un nmero par, x "

.ejemplo c> 8x es un n)mero par1 x <1_n 8 _n

.n)meros pares
Nmeros pares

#ac

Ejemplo d) "x es un mltiplo de 4, x "

.ejemplo d> 8x es un m)ltiplo de #d1 x <1_n 8 _n

.m)ltiplos de #d

Mltiplos de 4

Problemas para autoevaluacin mdulo 5

#ad

.problemas para autoevaluaci+n m+dulo #e

Use el razonamiento inductivo para establecer un principio general:

.use el razonamiento inductivo para establecer un principio general3

1. Un estudiante de nuevo ingreso observ durante varios lunes consecutivos que se reuna a todos los alumnos para hacer el saludo a la bandera.

#a' .un estudiante de nuevo ingreso observ+ durante varios lunes consecutivos s que se reun/a a todos los alumnos para hacer el saludo a la bandera
Conclusin:

.conclusi+n3

#ae
Use el razonamiento deductivo para establecer un principio particular:

.use el razonamiento deductivo para establecer un principio particular3

2. Todos los jugadores de las Ligas Mayores tienen buen salario. Si Garca es un jugador de Liga Mayor entonces:

#b' .todos los jugadores de las .ligas .mayores tienen buen salario' .si .garc/a es un jugador de .liga .mayor entonces3
Conclusin:

.conclusi+n3

En los siguientes problemas diga si la conclusin se obtuvo por Induccin o por deduccin:

.en los siguientes problemas diga si la conclusi+n se obtuvo por .inducci+n o por deducci+n3 #af
3. Hoy es martes, maana ser mircoles.

#c' .hoy es martes1 ma]ana ser( mi!rcoles'

4. Llover esta Navidad, puesto que cinco aos consecutivos ha llovido en Navidad.

#d' .llover( esta .navidad1 puesto que cinco a]os consecutivos ha llovido en .navidad'
5. Si el permetro de un cuadrado mide 4cm, cada lado mide un cm.

#e' .si el per/metro de un cuadrado mide #dcm1 cada lado mide un cm'
En los siguientes ejercicios clasifique las oraciones diciendo si son o no, proposiciones y en caso afirmativo, si stas son simples o abiertas dando su valor de verdad o su conjunto de verdad segn sea el caso.

.en los siguientes ejercicios clasifique las oraciones diciendo si son o no1 proposiciones y en caso afirmativo1 si !stas son simples o #ag abiertas dando su valor de verdad o su conjunto de verdad seg)n sea el caso'
6. "5 es un nmero impar".

#f' 8#e es un n)mero impar8'

7. "2x + 1 = 5"

#g' 8#bx 6 #a 7 #e8

8. "3 + 9 = 2x; x "

#h' 8#c 6 #i 7 #bx2 x <1_n 8

9. "x es un nmero par; x "

#i' 8x es un n)mero par2 x <1_n 8

Utilice el lenguaje de conjuntos para modificar las siguientes proposiciones y as poder graficarlas.

.utilice el lenguaje de conjuntos para modificar las siguientes proposiciones y as/ poder graficarlas'
10. "Todos los mltiplos de 6 son nmeros pares".

#aj' 8.todos los m)ltiplos de #f son n)meros pares8'

11. "3 < 5".

#aa' 8#c [ #e 8
REAL ACADEMIA ESPAOLA
DICCIONARIO DE LA LENGUA ESPAOLA - Vigsima segunda edicin

principio. (Del lat. principum). 3. m. Base, origen, razn fundamental sobre la cual se procede discurriendo en cualquier materia. deduccin. (Del lat. deducto, -nis). 1. f. Accin y efecto de deducir. 3. f. Fil. Mtodo por el cual se procede lgicamente de lo universal a lo particular. inducir. (Del lat. inducre). 1. tr. Instigar, persuadir, mover a alguien. 2. tr. ocasionar ( ser causa). 3. tr. Fil. Extraer, a partir de determinadas observaciones o experiencias particulares, el principio general que en ellas est implcito. ley. (Del lat. lex, legis). 1. f. Regla y norma constante e invariable de las cosas, nacida de la causa primera o de las cualidades y condiciones de las mismas. causa1.

(Del lat. causa, y este calco del gr. ). 1. f. Aquello que se considera como fundamento u origen de algo. ~ primera. 1. f. Fil. La que con independencia absoluta produce el efecto, y as, solo Dios es propiamente causa primera.