Tema

rea

LGICA PROPOSICIONAL INSTITUCIN EDUCATIVA MARA DE NAZARET

RAZONAMIENTO MATEMTICO

PROPOSICIONES
1. Definicin Son enunciados que adems de tener un sentido racional debern presentar tambin un valor de verdad (V o F). Para que un enunciando sea proposicin se debe tratar de individuos o sujetos no ficticios y adems que sean objetivos ms no subjetivos. Sern proposiciones tambin los Teoremas matemticos, fsicos o qumicos cientficamente comprobados.
Atencin
Los enunciados que expresan una exclamacin, interrogacin, mandato o sentimientos no son proposiciones. Ejemplos: - Viva la matemtica! - Cul es tu nombre? - Prohibido fumar De igual manera los enunciados abiertos no son proposiciones, salvo que se les den valores. Ejemplos: Los posibles valores de verdad de una proposicin son V o F y se llaman valores veritativos o valores de verdad.

Ejemplos:
a. Cajamarca es Patrimonio Histrico y Cultural de las Amricas b. No todos los toros tienen cuernos c. Un cuadriltero tiene tres lados d. Jess es hijo de Dios e. Batman no existe f. Juan estudia lgica

Notacin

Las proposiciones se denotan generalmente por letras minsculas: p; q; r; s; t; etc. A estas letras se les llama variables proposicionales que sirven para reemplazar una proposicin. Ejemplos: p: Juan estudia lgica q:

2. Clases de Proposiciones

2.1 Proposiciones Simples, Atmicas o Elementales Son aquellos que tienen uno o varios sujetos y un solo predicado que afirma algo entorno a dicho sujeto. Ejemplos: La carpeta es de madera - 8 es un numero par 5, 7, 11 son nmeros primos. - Hctor y Gilmer son amigos 2.2 Proposiciones Compuestas, Moleculares o Conitativas Son aquellos que estn formadas por dos o ms proposiciones simpes enlazadas por conectivos lgicos o es una negacin. Ejemplos: La pizarra es blanca y el patio es grande - Escuchas msica o estudias Si tienes fe entonces mueves montaas - Roger ser buen cantante si y solo si tiene cualidades __________________________________________________________________________________ piensa en grande Lic. Neimer Chetiln Rodrguez. Pg. 1

Tema

rea

LGICA PROPOSICIONAL INSTITUCIN EDUCATIVA MARA DE NAZARET

RAZONAMIENTO MATEMTICO

3. Conectivos lgicos Conectivos Lgicos o Estructura Lgica

Son smbolos que enlazan proposiciones simples, sin formar parte de ellas. Tambin se llaman trminos de enlace, operadores o conectores. Smbolo Operacin asociada Conjuncin Disyuncin inclusiva Disyuncin exclusiva Condicional Bicondicional Negacin Negacin conjunta Negacin alterna Simbolizacin Significado

Todos estos conectivos lgicos (con excepcin de la negacin) son Didicos, porque permiten unir entre si dos proposiciones, la negacin afecta por lo general a una sola proposicin por lo que es un conectivo Mondico.

4. Operaciones Proposicionales lgicos 4.1 Conjuncin o Producto Lgico Notacin: Ejemplo: Tabla de Valores de Verdad p q V V V F F V F F V F F F

Dada uno o dos proposiciones cuyos valores de verdad se conocen, se trata de caracterizar la proposicin resultante a travs de su valor de verdad.

- Significa: p y q

La conjuncin es slo si sus componentes son verdaderos en los dems casos son falsos.

Atencin: En el lenguaje ordinario existen otras expresiones que pueden traducirse como conjunciones tales como: pero, adems, aunque, a la vez, sin embargo, sino, mas, aun cuando, impero, tambin, no obstante, igualmente, tanto como, etc. En algunos casos la coma (,) , el punto y coma (;) y el punto seguido (.) hacen de conjunciones. Ejemplos: Tengo que ir a la fiesta pero debo estudiar Voy de paseo aun cuando estoy enfermo no obstante Su simbolizacin es: Su simbolizacin es: Su simbolizacin es:

__________________________________________________________________________________ piensa en grande Lic. Neimer Chetiln Rodrguez. Pg. 2

Tema

rea

LGICA PROPOSICIONAL INSTITUCIN EDUCATIVA MARA DE NAZARET

RAZONAMIENTO MATEMTICO

4.2 Disyuncin Inclusiva o Disyuncin Dbil Notacin: Ejemplo: Tabla de Valores de Verdad p q V V V F F V F F V V V F - Significa: p o q o ambos

La Disyuncin Inclusiva es slo si sus componentes son falsos en los dems casos ser verdadera.

Atencin: En el lenguaje ordinario existen otras expresiones que pueden traducirse como disyuncin dbil tales como: a menos que, salvo que, y bien o tambin, excepto que, o incluso, o a la vez, ya bien, y/o, etc. Ejemplos: El presidente es economista o abogado Voy de paseo a menos que llueva Su simbolizacin es: Su simbolizacin es:

4.3 Disyuncin Exclusiva o Disyuncin Fuerte Notacin: Ejemplo: Tabla de Valores de Verdad p q V V V F F V F F F V V F - Significa: O p o q pero no ambos

La Disyuncin exclusiva es cuando ambos componentes son iguales en los dems casos ser verdadera.

Atencin: Las expresiones: , o bien o bien , o en sentidos excluyentes, o solamente , nicamente , o slo , no es equivalente a , No es equivalente con , etc. Ejemplo: O bien me llamas o bien me escribes Su simbolizacin es:

__________________________________________________________________________________ piensa en grande Lic. Neimer Chetiln Rodrguez. Pg. 3

Tema

rea

LGICA PROPOSICIONAL INSTITUCIN EDUCATIVA MARA DE NAZARET

RAZONAMIENTO MATEMTICO

4.4 Condicional o Implicacin Notacin: Ejemplo: - Significa: Si p entonces q

CAUSA ANTECEDENTE

CONSECUENCIA CONSECUENTE

Tabla de Valores de Verdad p q V V V F F V F F V F V V

La Condicional es slo si su antecedente es verdadero y su consecuente es falso, en los dems casos ser verdadera.

Atencin: Se puede suprimir la palabra entonces, pero nunca la palabra si. Ejemplo: Si un nmero es para, es mltiplo de dos La palabra cuando reemplaza al si. Ejemplo: Cuando un nmero es par entonces es mltiplo de dos En algunos casos tanto el si como el entonces esta sobreentendido. Ejemplo: Estudias es triunfarequivale a Si estudias entonces triunfas. Las expresiones: Por lo tanto, luego, en consecuencia, en conclusin, solo cuando, de ah que, se deduce que, de modo que, se concluye que, etc. Son conectivos de la forma: Ejemplos: Te engordas solo cuando comes grasa 4 es nmero par, en conclusin es mltiplo de dos Al haber terremoto se deduce que hay desastre Estudias de ah que sabes mucho Su simbolizacin es: Su simbolizacin es: Su simbolizacin es: Su simbolizacin es:

Las expresiones: Porque, ya que, puesto que, cada vez que, dado que, siempre que, si, pues, en vista de que, etc. Son conectores de la forma:

__________________________________________________________________________________ piensa en grande Lic. Neimer Chetiln Rodrguez. Pg. 4

Tema

rea

LGICA PROPOSICIONAL INSTITUCIN EDUCATIVA MARA DE NAZARET

RAZONAMIENTO MATEMTICO

Ejemplos: Su simbolizacin es: ( )

CONSECUENCIA CONSECUENTE

CAUSA ANTECEDENTE

Ordenando: Si Manuel sale de vacaciones entonces viajar a Chile. Todos vamos de paseo ya que es feriado Te compras ropas si trabajas Tienes dinero dado que trabajas mucho Su simbolizacin es: Su simbolizacin es: Su simbolizacin es:

4.5 Bicondicional Notacin: Ejemplo: - Significa: p si y solo si q

Tabla de Valores de Verdad p q V V V F F V F F V F F V

La Condicional es cuando ambas componentes son iguales, en los dems casos ser falso.

Atencin: Las expresiones: entonces y solamente entonces, A siempre y cuando B, A se define lgicamente como B, A por lo cual mismo que B, A es idntica a B, A es igualmente B, A es equivalente a B, etc. Son conectivos Bicondicionales. Ejemplos: Sers otra persona siempre y cuando cambies Su simbolizacin es:

Observacin: la proposicin Bicondicional: Manuel construir su casa si y solo si obtiene un prstamo Se entiende como: Si Manuel construir su casa, entonces obtiene un prstamo, y si Manuel obtiene un prstamo, entonces construir su casa ( )( ) Es decir que: __________________________________________________________________________________ piensa en grande Lic. Neimer Chetiln Rodrguez. Pg. 5

Tema

rea

LGICA PROPOSICIONAL INSTITUCIN EDUCATIVA MARA DE NAZARET

RAZONAMIENTO MATEMTICO

4.6 Negacin Notacin: - Significa: no p

Tabla de Valores de Verdad p V F F V

Atencin: Se considera que una proposicin es negada cuando va en contra de una afirmacin, para la cual es necesario la presencia de palabras o expresiones que cumplan con la funcin de ser negadores, como por ejemplo: no, no es verdad que, es falso que, es mentira que, es absurdo que, etc, la forma de representarla simblicamente es: , ; . a. Negacin Simple: Niega nicamente a las proposiciones simples, sin afectar a los conectores lgicos, para lo cual se emplea la palabra no principalmente. Ejemplos: Afirmacin: Llueve y hace frio Negacin: No llueve y hace frio No llueve y no hace frio Llueve y no hace frio Su simbolizacin es: Su simbolizacin es: Su simbolizacin es: Su simbolizacin es:

b. Negacin compuesta: Este tipo de negacin adems de negar a las proposiciones simples que forman parte de una proposicin compuesta, niegan tambin a los conectores lgicos, hasta donde se encuentre un signo de puntuacin ortogrfico. Las expresiones de una negacin compuesta son: no es verdad que, es falso que, es mentira que, es absurdo que, etc, Ejemplos: Es mentira que llueve y hace frio No es mentira que seas inteligente Es absurdo que no duermes y suees Es absurdo que no actes en esa obra Su simbolizacin es: Su simbolizacin es: Su simbolizacin es: Su simbolizacin es:

__________________________________________________________________________________ piensa en grande Lic. Neimer Chetiln Rodrguez. Pg. 6

Tema

rea

LGICA PROPOSICIONAL INSTITUCIN EDUCATIVA MARA DE NAZARET

RAZONAMIENTO MATEMTICO

USO DE SIGNOS DE AGRUPACIN

Al igual que en la matemtica, cuando se tiene que operar con expresiones complicadas se utilizan signos de agrupacin o coleccin para evitar ambigedades, en la lgica tambin se utilizan estos signos con la misma intencin. As por ejemplo, en la expresin: ( ) caracteriza a una disyuncin. , esta claro que el conectivo dominante es que

No hubiera sido correcto escribir: , sin signo de agrupacin, pues entonces el sentido de la proposicin no habra quedado determinado en la forma precisa. Otra finalidad de los signos de agrupacin es darle mayor o menor jerarqua a los conectivos que aparecen en la proposicin. En general, es el conectivo de menor jerarqua, le siguen que son de igual jerarqua, y luego y que son de mayor jerarqua, sin embargo, cada conectivo puede ser de mayor jerarqua si as lo indica el signo de agrupacin. Coma (,) Punto y coma (;) Punto (.) Dos signos de puntuacin Menor jerarqua
Atencin: Jerarqua de los conectivos 1. 2. 3. 4.

Mayor jerarqua

Simbolizacin de Proposiciones: Simbolizar una proposicin consiste en reemplazar cada una de las proposiciones simples que intervienen por una variable proposicional y cada conectivo lgico por su smbolo correspondiente.

Ejercicios 1. Si me levanto temprano y llego antes de las siete , escuchar clase de Matemtica
Resolucin: [( )(

)] [(

)]

( )

NOTA La mayor jerarqua da el nombre al esquema; en este caso es la condicional ( ), por lo que el esquema es una __________________________________________________________________________________ piensa en grande Lic. Neimer Chetiln Rodrguez. Pg. 7

Tema

rea

LGICA PROPOSICIONAL INSTITUCIN EDUCATIVA MARA DE NAZARET

RAZONAMIENTO MATEMTICO

2. O Farfn juega si lo contrata el Alianza Lima o habr protesta si no juega Resolucin: [( ) ( ( ) ( ) )] [( )( )]

La mayor jerarqua es la disyuncin fuerte ( ), por lo que el esquema es una PRCTICA DE CLASE En tu cuaderno de teora, simboliza las siguientes proposiciones:

1. Si practico los problemas y hago la practica, dar buen examen de Matemtica 2. Si te gusta leer y estudiar, ser muy interesante conversar y discernir contigo. 3. Eres estudiosos o no lo eres, si eres estudioso, obtendrs buenas calificaciones; si no lo eres, no podrs aprobar el curso. 4. O las habitaciones son escasas y la gente quiere vivir con sus parientes polticos o la gente no quiere vivir con sus parientes polticos si las habitaciones son escasas. 5. Es mentira que a ti no te guste estudiar o no te guste leer. 6. Alicia no se pone su tapado blanco, si Blanca no se va, ms Blanca se va; de ah que Alicia no se pone su tapado blanco. 7. Eres grande y robusto porque tomas tu leche y comes toda tu comida. 8. No todo lo que brilla es oro, pues si muchos se dejan engaar por las apariencias, entonces significa que hay muchos hombres insensatos. 9. Es triste no poder dormir de noche por un mal de muelas y sobre todo si la noche es de invierno. 10. Si no le pago al sastre, no me entregar el terno, y sin el terno, no podre llevar a mi amiga al baile. 11. Cuando uno no tiene imaginacin, la muerte es muy poca cosa; cundo uno la tiene, la muerte no es demasiado.
12.La figura tiene dos dimensiones si esta considerada en el plano o tres dimensiones si es un slido

geomtrico.
__________________________________________________________________________________ piensa en grande Lic. Neimer Chetiln Rodrguez. Pg. 8