Introduccin A Las Matemticas

LOGICA Y DEMOSTRACION

No puedes encontrar la verdad con la lgica si no la has encontrado ya sin ella. G. K. CHESTERTON

En este captulo se trataran algunos aspectos tales como simbolizacin, valor de verdad y certeza de proposiciones, algebra y conectivos proposicionales, argumentos, definiciones, teoremas y formas de demostracin, espero entusiasmadamente que el lector pueda disfrutar de esta seccin tanto como yo. La lgica forma parte elemental e indispensable dentro de las Matemticas; es esta la parte que nos sirve como fundamento para el razonamiento y pensamiento matemtico, evitando que surjan contradicciones en las diferentes estructuras que se tratan actualmente; nicamente e indispensablemente encontrando la verdad pura ,a travs de pasos de razonamientos cortos ,claros ,sencillos y lgicos. Durante el siglo Elen pleno desarrollo de la teora de conjuntos por Georg Cantor , empezaron a salir paradojas y contradicciones que colocaban en riesgo esta importante rama de las Matemticas, inicialmente se crea que estaban mal hechas, razn por la cual empez a generarse una profunda crisis dentro de esta teora ,pero no era as ;todo estaba bien elaboradosolo que haban cosas que deban ser ciertas por naturaleza ,a partir de este hecho el desarrollo matemtico se concentr en la Axiomatizacin a esta teora buscando una teora perfecta, formal y elegante, la lgica juega un papel importante en la teora de conjuntos , por as es la base del lenguaje en la teora de conjuntos.

Afirmaciones

Afirmacin:Simplemente una afirmacin es una oracin con un sujeto y un verbo.

Nota: Las afirmaciones se denotaran con letras tales comoP Q R S

Ejemplo 1.1.1 -El enunciado: Juan corre el jueves durante toda la maana es afirmacin? Evidentemente es una afirmacin, porque hay un sujeto en este caso Juan, y efectivamente un verbo el cual es correr.

Ejemplo 1.1.2 -El enunciado: El carro verde es afirmacin? No, esto se debe a que hay un sujeto el cual es El carro pero no hay un verbo que lo acompae.

Conectivos lgicos
Conjuncin: La conjuncin es un operador lgico,su funcin es conectar dos afirmaciones bajo el termino " tradicional como la letra Y . " el cual representa en el espaol

Ejemplo 1.2.1. Sea

P: Carlos baila el domingo Q: Carlos estudia el domingo.

-Entonces el enunciado P

Q significa:

Carlos Baila el domingo YCarlos estudia el domingo.

Disyuncin:La conjuncin es un operador lgico, su funcin es conectar dos afirmaciones bajo el termino " tradicional como la letra O . " el cual representa en el espaol

Ejemplo 1.2.2. Sea

P: Marcos tiene que ganar el partido Q: Marcos no sale de la casa

-Entonces el enunciado P Q significa: Marcos tiene que ganar el partidoO Marcos no sale de la casa

Negacin: Este

conectivo lgico lo que hace es negar la afirmacin,

simblicamente es representado por:

Ejemplo 1.2.3. Sea

P:
-Negar la afirmacin P o lo mismo que encontrar

P.

Su negacin es exactamente equivalente a decir:

P: El seor barriga no

le cobra la renta a Don Ramn.

P: No es cierto que el seor barriga le cobra la renta

a Don Ramn.

Implicacin: La mayora de las afirmaciones en matemticas son de la forma siP entonces Q. Esto nos dice que si pasa el sucesoPentonces

necesariamente pasaraQ. Simblicamente se representa la implicacin siP entonces Q como P Ejemplo 1.2.4. Sea

R: Pedrito no va a estudiar S:Pedrito limpia la casa

-Encontrar R

S y

S.

S Es lo mismo que decir:

Si pedrito no va a estudiar entonces pedrito limpia la casa

S nos quiere decir:

Si pedrito va a estudiar entonces pedrito limpia la casa

Doble implicacin: Hay otras afirmaciones tambin muy populares y son los de la forma son la forma P si y solo si Q. Las afirmaciones de esta forma realmente don dos implicaciones es decir P entonces Q y

Q entonces P . Se simboliza mediante P

Ejemplo 1.2.5. Sea

Q.

R: German sale en la moto S: German va a buscar a su novia P: German tiene dinero para el bus
-Encontrar R

S y R

( P S)

S Es equivalente a decir:

German sale en la moto si y solo siGerman va a buscar a su novia R ( P S) Es lo mismo que:

German sale en la moto si y solo siGerman no tiene dinero para el bus y German va a buscar a su novia.

Proposiciones
Proposicin: Es una expresin la cual contiene afirmaciones conectadas exclusivamente mediante conectivos lgicos. Ejemplo 1.3.1. -Sean P Q R S afirmaciones Cules son proposiciones?:

S, R

( P S), R

S,R + S P + Q

Efectivamente es proposicin, porque tiene la doble implicacin

la cual es un conectivo lgico.

( P S) Es proposicin porque tiene negacin ,doble implicacin y

conjuncin.

No lo es ya que la igualdad no es un conectivo lgico. No lo es porque la adicin y la diferencia usual no son

R + S P + Q

conectivos lgicos.

Valor de verdad de las proposiciones

En la lgica clsica las proposiciones solo pueden tener dos valores o bien la proposicin sea verdadera o bien falsa , pero nunca se llegara a tener que una proposicin sea verdadera y falsa al mismo tiempo, para conocer el valor de verdad de las afirmaciones recurrimos a una tcnica muy conocida la cual es la tabla de verdad.

Valor de verdad de la conjuncin:La conjuncin es nicamente verdadera cuando se tiene que todas las afirmaciones sean verdaderas, es decir la proposicin P1 P2 P3 P afirmaciones son verdaderas. es verdadera cuandotodas las

Nota: Este concepto es generalizado , pero comnmente trataremos con conectivos lgicos que conecten nicamente dos afirmaciones. Tabla de verdad de la Conjuncin

P
V V F F

Q
F V F V

P
F V F F

Para poder entender este concepto recurro al siguiente ejemplo: Ejemplo 1.4.1.

P : Sergio se come la sopa S: Sergio come el pastel

Sea la proposicin P

Sla entendemos como Sergio se come la sopa

ySergio se come el pastel, ahora cuando Sergio se come la sopa y nose come el pastel la proposicin es falsa, cuando Sergio no se come la sopa y se come el pastel tambin es falsa, ahora si Sergio no se come la sopa y nose come el pastel de igual modo es falsa , pero cuando Sergio se come la sopa yse come el pastel la proposicin es verdadera. Es decir que para que una proposicin bajo el conectivo lgico verdadera ,necesariamente las afirmaciones deben cumplirse. sea

Valor de verdad de la disyuncin:La disyuncin es verdadera cuando solamente se una afirmacin es verdadera , es decir la proposicin P1 P2

P3

es verdadera cuando solamente una es verdadera.

Tabla de verdad de la Disyuncin

P
V V F F

Q
F V F V

P Q
V V F V

Ejemplo 1.4.2.

P : Johana aprueba algebra S: Johana aprueba qumica

Sea la proposicin P S la entendemos como Johana aprob algebra o Johana aprob qumica, ahora cuando Johana aprob algebra o noaprob qumica la proposicin es verdadera, cuando Johana noaprob algebra o aprob qumica es verdadera, ahora si Johana no aprob algebra ono aprob qumica la proposicin es falsa! , pero cuando Johana aprob algebra o aprob qumica la afirmacin es verdadera. Es decir que para que una proposicin bajo el conectivo lgico verdadera , solo se necesita que una afirmacin sea verdadera. sea