Vous êtes sur la page 1sur 17

MATEMTICA FUNDAMENTAL

Material elaborado por la profesora: Mara Eugenia Martnez G.

Unidad 1:
1.1

INTRODUCCIN A LA LGICA

LGICA PROPOSICIONAL

CONTENIDO:
1.
2.
3.
4.
5.

Matemticas, Lgica y demostracin


Proposiciones y argumentos
El lenguaje de la lgica proposicional
Conectivos lgicos y tablas de verdad
Tautologas
5.1 Equivalencias importantes del clculo proposicional.
6. Proposiciones abiertas
6.1
Cuantificadores
6.2
Negacin de Cuantificadores
7. Conjuntos
7.1. Definicin de conjuntos
7.2. Operaciones entre conjuntos y clculo proposicional
8. Los Conjuntos Numricos
1.

Matemticas, Lgica y demostracin

Como toda ciencia ya constituida y en desarrollo, la matemtica tiene sus


conceptos bsicos relativamente bien cimentados. Estos conceptos son:
Conjunto, Funcin, Nmero, Estructura. Los dems conceptos tienen sus
races en estas ideas bsicas en un sentido que ser explicado a lo largo de
los diferentes cursos de matemticas. Estos conceptos y las mltiples
relaciones entre ellos constituyen los objetos propios de la matemtica. Las
afirmaciones anteriores no contradicen la opinin de aquellos filsofos que
afirman que los ltimos fundamentos de los conceptos matemticos estn
en la experiencia. Compartimos esta opinin, entendiendo el concepto
filosfico de experiencia en su sentido amplio que rebasa los moldes
positivistas.
Estos objetos matemticos tienen tras de s una historia relativamente
larga. Los nmeros fueron creados por los hombres que vivieron en las
culturas agrarias del medio oriente, sobre todo las culturas babilnicas y
egipcias y por los griegos. Pero la estructura completa de los sistemas
numricos slo es creada en la segunda mitad del siglo XIX. Los conjuntos,
como objetos matemticos plenamente identificados, fueron creados por G.
Cantor hacia 1870. El concepto de funcin aparece en la cultura europea
con los trabajos de Galileo sobre el movimiento acelerado de los cuerpos en
el siglo XVI. Los objetos matemticos no son, pues, objetos naturales. Son
creaciones del hombre, son los resultados de experiencias complejas de la
humanidad en el proceso de su desarrollo histrico y cultural.
1

Este texto es original del libro Matemticas Fundamentales del profesor Guillermo Restrepo

En qu se diferencian los objetos matemticos de otros objetos o entes


creados tambin por la imaginacin del hombre tales como las sirenas, los
pegasos y las quimeras? . En algo relativamente simple y fundamental: los
objetos matemticos son entes de razn. Es decir, entre ellos y los
enunciados matemticos en general existen vnculos racionales necesarios.
El vnculo racional fundamental entre los enunciados matemticos es la
p es verdadero y p se
demostracin. Si un enunciado matemtico
relaciona con el enunciado q por medio de una demostracin lgicamente
correcta, entonces q tambin es verdadero.
La demostracin siempre ha sido un elemento esencial de las matemticas.
Durante mucho tiempo la matemtica se distingui de otras ciencias
precisamente por su carcter deductivo o demostrativo. Es la ciencia que
exige que los enunciados sean demostrados mediante razonamientos
lgicos, a diferencia de las ciencias empricas que exigen la comprobacin,
la falsacin de hiptesis y el experimento para validar lo que se cree
verdadero. Pero el concepto de demostracin ha variado a lo largo de la
historia, aunque no substancialmente. En lo fundamental, es el mismo
concepto de demostracin de los tiempos de Euclides. Pero en la actualidad
los procesos demostrativos se han estudiado a fondo y se conocen mejor.
Quizs lo que ha variado es el rigor de las demostraciones.
Si se le pregunta a un matemtico de hoy, qu es una demostracin
rigurosa muy seguramente se sentir incmodo y no sabra responder a
ciencia cierta. Quizs ha sido David Hilbert quien mejor ha comprendido la
idea moderna de rigor en las demostraciones. En su obra Grunlangen de
Geometrie (Fundamentos de la Geometra) escrita en 1899 sent las bases
de una fundamentacin rigurosa de la Geometra elemental. En esta obra
cada trmino tiene un significado preciso y nico, las relaciones primarias
entre los objetos (puntos, lneas y plano) se establecen claramente
mediante una serie de axiomas que son expresados sin ambigedades y los
teoremas se deducen rigurosamente de los axiomas y de las definiciones
mediante los procedimientos lgicos perfectamente claros. Los conceptos
de Hilbert sobre rigor matemtico en las demostraciones son los que an se
aceptan en nuestros das.
La lgica matemtica, lgica a secas, se ocupa de los procesos
demostrativos. Su funcin es delimitar los procesos deductivos vlidos, los
procesos deductivos aceptables dentro de la cultura moderna. Son stos los
procesos que estudiaremos en esta primera parte del curso.
La matemtica como toda ciencia, se ocupa fundamentalmente de los
enunciados verdaderos. El concepto general de verdad y de enunciado
verdadero es complicado filosficamente hablando. Pero en matemticas
es relativamente simple: son verdaderos los axiomas y los enunciados
demostrables a partir de los axiomas. En cuanto al fundamento ltimo de la
veracidad de los axiomas, el asunto se complica nuevamente pues escapa a
los criterios de la demostracin. Un enunciado es falso si su negacin es
verdadera. Por tanto existen tantos enunciados falsos como los hay
verdaderos.

Una teora matemtica es una coleccin de enunciados sobre ciertos


objetos matemticos y ciertas relaciones entre estos objetos. Una teora
matemtica consta de:
Unos enunciados iniciales que se admiten como verdaderos sin la
mediacin de una demostracin llamados axiomas de la teora.
Unos trminos cuyo significado se precisa por medio de ciertos
enunciados llamados definiciones.
Unos enunciados que se demuestran llamados teoremas.
Unos signos especiales para denotar objetos matemticos y
, , , ... , etc.
relaciones
de
la
teora
y
letras

, y , A , B , , ... , etc,.....

En toda teora matemtica est presente, adems, la lgica. Pero la lgica


es algo externo a la matemtica y a toda ciencia en general.
La lgica matemtica tambin se llama Lgica formal porque no se ocupa
del contenido o significado de los enunciados sino de las relaciones ms
generales de veracidad entre ellos. Los enunciados verdaderos de la lgica
se suelen llamar principios lgicos. Toda teora matemtica y toda teora
cientfica en general presuponen estos principios. Son ellos los que
garantizan la coherencia lgico racional del discurso cientfico y del discurso
filosfico.

2.

Proposiciones y Argumentos

Proposicin
Una proposicin es una frase declarativa que puede ser afirmada o negada.
Las proposiciones se representan con letras minsculas como p, q, r ,
Por ejemplo:
p : La capital de Venezuela es Caracas.

q
: 9 es mltiplo de 3.

r : Todos los perros tienen dos colas


s : Todo numero par mayor que dos se puede expresar como la suma
de dos nmeros pares.
A estas proposiciones les llamamos proposiciones simples o proposiciones
atmicas. La proposicin s cuyo valor de verdad sigue sin establecerse se
denomina conjetura. Esta en particular se conoce como la Conjetura de
Goldbach.
No son proposiciones:
Qu hora es?
Qu lindo!!
El nmero 2
La silla
Pues no pueden ser verdaderas ni falsas.
Debemos hacer claridad en que, una proposicin puede ser representada
por diferentes enunciados: Pedro gano las elecciones, las elecciones

fueron ganadas por Pedro y Pedro won the elecctions son tres frases
diferentes que representan la misma proposicin. La proposicin es lo
afirmado por la frase y no depende de la gramtica ni del idioma en que se
exprese.
Las frases declarativas pueden ser proposiciones compuestas. Por ejemplo,
A Carolina le gusta trabajar pero no le gusta estudiar est formado por dos
proposiciones: A Carolina le gusta trabajar y A Carolina no le gusta
estudiar unidas con la conjuncin adversita pero. En trminos de valor
de verdad, significa que cada una de las dos afirmaciones es verdadera.
Otra forma de proposicin compuesta se forma con la disyuncin o :
Josefina sabe Ingls o Alemn . En este caso nada se afirma por separado
sobre la proposicin Josefina sabe Ingls y tampoco sobre la proposicin,
Josefina sabe alemn lo que se afirma es que por lo menos una de estas
proposiciones es verdadera. Un tercer caso de proposicin compuesta es
aquella en la cual tenemos una frase condicional si entonces .. . Si
usted saca mnimo 3.0 entonces gana el examen la expresin no afirma
que una de las dos proposiciones es verdadera, es decir, no afirma que
usted saca tres mnimo ni que usted gana el examen. Lo que afirma es
una relacin de dependencia entre las dos: si sucede la primera, entonces
sucede la segunda: es un enunciado condicional.
Argumento o Razonamiento
Un argumento es una coleccin de proposiciones, tal que, por lo menos una
de ellas, llamada conclusin, se deriva de otras que se denominan
premisas. Las cuales respaldan la veracidad de la conclusin.
Un argumento puede ser:
1.
2.

3.

Todos los hombres son mortales. Scrates es hombre. Por


tanto Scrates es mortal. Aqu las premisas son las dos
primeras proposiciones y la conclusin la ltima proposicin.
Puesto que los perros son cuadrpedos y todos los
cuadrpedos son se alimentan de carne, entonces los perros se
alimentan de carne. Las premisas son las que estn antes de
la palabra entonces que es un indicador de conclusin.
No le doy descuento, porque no compr ms de 10 unidades.
En este caso, hay una premisa que no est escrita en el texto
pero que es necesaria para concluir que no le da descuento,
que es la conclusin. A este tipo de premisa se le llama
premisa implcita. En este caso la premisa implcita es Le doy
descuento si compra ms de 10 unidades.

Estas son algunas expresiones que nos indican la conclusin dentro de un


argumento: en consecuencia, luego, por esto, por lo anterior, por esta
razn, por lo tanto, entre otras.
Expresiones que preceden a las premisas dentro de un argumento pueden
ser: dado que, como, porque, la razn es que, puede concluirse de, entre
otras.

3.

El lenguaje de la lgica proposicional

El lenguaje de la lgica proposicional est conformado por los signos que


aparecen a continuacin:
Smbolo

p, q, r ,...

4.

Nombre
Parntesis izquierdo
Parntesis derecho
Negacin

Uso en castellano

Disyuncin
Conjuncin
Condicional
Bicondicional
Cuantificador universal

o
y
Sientonces
Si y solo si
Para todo

Cuantificador
existencial
Smbolos
proposicionales

existe

no

Conectivos lgicos y tablas de verdad

Las palabras o letras que se emplean en el lenguaje corriente para conectar


o ligar dos proposiciones simples los denominamos trminos de enlace o
conectores. En matemtica, estos conectores generan proposiciones
compuestas llamadas, negacin, conjuncin, disyuncin, condicional y
bicondicional, como ya lo mencionamos anteriormente.
La negacin: Supongamos que tenemos la proposicin simple: p : Adriana
es economista entonces; Adriana no es economista o es falso que
Adriana sea economista son formas de negar la proposicin inicial la cual la
representaremos as: p . El valor de verdad de la negacin lo mostramos
en la tabla siguiente:

p
v
f

f
v

La conjuncin: Consideremos las siguientes proposiciones:

q. 12 es divisible por 4

p : 3 es un numero impar
La conjuncin se forma as:

p q : 3 es un numero impar y 12 es divisible por 4


El valor de verdad de la conjuncin se muestra en la siguiente tabla de
verdad:

v
v
f
f

v
f
v
f

pq
v
f
f
f

De lo anterior podemos concluir que la conjuncin


solo
es verdadera cuando las dos proposiciones
simples,
son
verdaderas.
La disyuncin: Sean las proposiciones:

p : Juan estudia idiomas


entonces la disyuncin se forma as:

q : Juan estudia matemticas

p q : Juan estudia idiomas o matemticas.


En el lenguaje natural la disyuncin tiene dos usos. Uno que es el o
inclusivo que se interpreta como lo uno o lo otro o ambos como por ejemplo,
Juan puede estudiar idiomas o matemticas o ambas. El otro es el o
exclusivo que se interpreta como lo uno o lo otro pero no ambos, por
ejemplo, hoy es lunes o martes pero no es posible los dos acontecimientos
al tiempo.
El valor de verdad de la disyuncin se muestra en la tabla siguiente
p

v
v
f
f

v
f
v
f

pq
v
v
v
f

Como vemos en la tabla de verdad, la disyuncin es


falsa cuando ambas proposiciones son falsas en caso
contrario es verdadera.

La negacin de la conjuncin y la disyuncin con frecuencia causa


dificultades a los estudiantes por tal motivo, haremos una observacin al
respecto. Consideremos dos proposiciones:

Juanita es ms alta y bonita que Alicia p q


Mauricio perdi matemticas o lgica p q

Cmo podremos negar la veracidad de tales afirmaciones? Las negamos


as:

Juanita no es ms alta que Alicia o Juanita no es ms bonita que Alicia


Mauricio no perdi matemticas ni lgica.

Estas frases negadas se pueden representar simblicamente as:

p q p q

p q p q

El smbolo
significa que las proposiciones compuestas son equivalentes,
es decir, tienen los mismos valores de verdad.
El condicional: Si p y q representan las proposiciones atmicas: p : Me
levanto temprano y q : Llego a tiempo a la clase entonces el condicional
queda as: p q : Si me levanto temprano entonces llego a tiempo a la
clase.
Esta frase condicional se puede expresar en el lenguaje natural de varias
maneras:
Si me levanto temprano entonces llego a tiempo a la clase.
Me levanto temprano slo si llego a tiempo a clase
Llego a tiempo a clase si me levanto temprano
Es necesario que llegue a tiempo a clase para que me levantara
temprano.
Es suficiente que me levante temprano para que llegue a tiempo a la
clase.
No es posible que me levante temprano y no llegue a tiempo a la
clase.

En una frase del tipo condicional podemos identificar a la proposicin que


acompaa al si como el antecedente y la proposicin que le sigue al
entonces se llama el consecuente. Por ejemplo, la frase: Si hoy es viernes
entonces maana es sbado es una frase condicional el la cual es
antecedente es hoy es viernes y el consecuente es maana es sbado
Debemos tener claridad sobre algo muy importante: el condicional nada
afirma sobre la verdad del antecedente o del consecuente por separado;
afirma que si el antecedente es verdadero, el consecuente tambin lo es.
Es decir, afirma que no es posible que el antecedente sea verdadero y
simultneamente el consecuente sea falso. Lo anterior se expresa as:
p q p q

El valor de verdad del condicional lo mostramos en la siguiente tabla:


p
v
v
f
f

q
v
f
v
f

pq
v
f
v
v

El bicondicional: Sean las proposiciones p : a 0 b 0 y q : a.b 0


entonces la frase bicondicional es p q : a.b 0 s y slo s a 0 b 0 .
Muchos
teoremas propios de la matemtica tienen la forma de un
bicondicional como el anterior.

La tabla de verdad del bicondicional es la siguiente:


p
v
v
f
f

q
v
f
v
f

pq
v
f
f
v

El bicondicional slo es verdadero cuando las


proposiciones implicadas tienen el mismo valor de
verdad.

Un ejemplo de una frase bicondicional muy usada es la siguiente:


a c

s y slo s a.d b.c


b d

5.

Tautologas

Los valores de verdad de proposiciones que tienen las formas que


p , p q , p q , p q , p q y otras que se
mencionamos como
originan de la combinacin de ellas, se pueden deducir a partir de los
valores de verdad de las proposiciones que las componen mediante tablas
de verdad y mediante dos mtodos como son el directo y el indirecto que lo
explicaremos ms adelante. Cuando los valores de verdad de una expresin
proposicional son siempre verdaderos, independientemente de los valores
de verdad de las proposiciones componentes, se dice que sta es una
tautologa. Si por el contrario los valores de verdad son siempre falsos
decimos que es una contradiccin. Son ejemplos de tautologa y de
contradiccin respectivamente: p p y p p por qu?
Decimos que dos formas proposicionales son equivalentes cuando ligadas
por un bicondicional definen una tautologa. En lugar de escribir el smbolo
del bicondicional escribiremos . Son proposiciones equivalentes:
p q p q
p q p q por ejemplo, como ya lo vimos
y
anteriormente.

Una equivalencia importantsima y de gran utilidad en matemticas es la


que se da entre la implicacin p q y la implicacin q p que se llama
la contrarrecproca.
Podemos mostrar
que p q q p .
A la
proposicin q p se le denomina la recproca de p q . Es importantsimo
tener claridad en el hecho de que p q y q p no son equivalentes.
5.1

Equivalencias importantes del clculo proposicional

Vamos a convenir que una frmula es aquella que se obtiene de la


combinacin de proposiciones. Pero, una proposicin simple tambin es una
frmula. Por ejemplo, p q es una frmula, pero tambin lo es

p q p r

y as sucesivamente, llamaremos frmulas a aquellas


formadas por proposiciones en las cuales tenemos claro si se trata de un

condicional o una disyuncin o una conjuncin o negacin. Por ejemplo, la


frmula anterior es un condicional en el cual el antecedente es p q y el
consecuente es p r . Vamos a denotar las frmulas con letras maysculas.
Por ejemplo, sea la frmula A : p q r en la cual vemos claramente la
negacin de una conjuncin. Como lo mencionamos anteriormente, hay
frmulas que son equivalentes, vamos a mencionar algunas que nos sern
de gran utilidad durante el desarrollo de la asignatura ya que nos permitirn
tener la opcin de usarlas para realizar algunas demostraciones. Aqu
mostraremos las ms importantes:

A B B A
A B B A

Las conmutativas

A A v
Ley del tercio excluido
Ley de la contradiccin A A f
Leyes de Identidad A f A

A v A
A v v
Leyes de dominacin
A f f

Leyes de Idempotencia

Ley de la doble negacin A A


Leyes Asociativas A B C A B C

Ley de la contra recproca A B B A


A B A B
Leyes de Demorgan

Definicin del condicional A B A B

A A A
A A A

A B C A B C
Leyes distributivas A B C A B A C
A B C A B A C
A B A B

Por ejemplo, podemos utilizar estas equivalencias para probar que


p q p q as:
p q p q definicin del condicional
p q Demorgan
p q .. Doble negacin
6.

Proposiciones Abiertas

Hay frases muy usuales en matemticas que son proposiciones a las cuales
no se les puede asignar un valor de verdad nico porque contienen una
variable que sirven para representar cualquier nmero de un conjunto
numrico determinado llamado dominio de la variable, por ejemplo x es
un nmero par o x y 2 o Si m y n son nmeros pares entonces
m n es un nmero par. A este tipo de proposiciones las llamaremos
proposiciones abiertas.

Vamos a denotar las proposiciones abiertas de la siguiente manera:


P x x es un nmero primo
q x , y x y 3

Una propiedad importante de las proposiciones abiertas es que al sustituir


las variables por nmeros arbitrarios en su dominio se obtienen
proposiciones verdaderas o falsas. Por ejemplo, la proposicin x y 1 se
hace verdadera si x 2 y y 1 pero si x 3 y y 2 .

6.1

Cuantificadores

Las proposiciones abiertas generan verdaderas proposiciones no slo por


reemplazamiento de variables por valores numricos en su dominio, sino
combinados con los llamados cuantificadores.
En el lenguaje matemtico son comunes frases como estas:
1.
2.
3.

Para todo nmero real x , x 2 0


Existe un x real tal que x 2 3 0
Para todo x complejo existe otro complejo y tal que x y 0

El cuantificador para todo se llama universal y se denota con el smbolo


. El cuantificador existe un se llama existencial y se denota con el
smbolo .
Utilizando estos cuantificadores, las frases anteriores se
pueden simbolizar as:
1.
2.
3.
6.2

x R x 2 0
x R x 2 3 0
x C y C x

y 0

Negacin de Cuantificadores

Supongamos una frase como: Todos ganaron el examen se niega de la


siguiente manera: No todos ganaron el examen o mejor an Alguien no
gan el examen, as por ejemplo, la negacin de la proposicin 1. es

x R x 2

Podemos establecer la negacin del cuantificador universal as:


x P x x P x
Una frase con un cuantificador existencial como Existe un primo par se
niega as: Todos los primos son impares o Todos los primos no son pares,
as por ejemplo, la proposicin 2. se niega as: x R x 2 3 0 . Podemos
establecer la negacin del cuantificador existencial as:
x P x x P x

10

La negacin de la proposicin 3. es:

7.

Conjuntos

7.1

Definicin de Conjunto

x C y C x

y 0

Partimos de la nocin intuitiva de conjunto, que lo define como una


coleccin de objetos. Los conjuntos se definen por extensin cuando
hacemos una lista de sus elementos y por comprensin mediante el
enunciado de una propiedad comn a todos sus elementos. As, por
ejemplo el conjunto A 1 , 1 est escrito por extensin mientras que por
comprensin ser A x R / x 2 1 0
La expresin a A se lee a pertenece a A o a es un elemento de A
. La expresin A B se lee A est contenido en B lo cual significa que
todo elemento de A es elemento de B . Se dice tambin que A es un
subconjunto de B . Dos conjuntos A y B se dice que son iguales A B si
estn constituidos por los mismos elementos, es decir, si A B y B A .
7.2

Operaciones entre conjuntos

Las operaciones entre conjuntos permiten generar nuevos conjuntos a partir


de conjuntos dados. Sean los subconjuntos A y B de un conjunto
referencial X .
El complemento de A en X : Es el conjunto de los elementos de X que
no estn en A . Simblicamente, C X A x X / x A
Diferencia entre A y B : Es el conjunto de los elementos que estn en A
y no estn en B .
La unin entre A y B : Es el conjunto de elementos que pertenecen a A o
a B . Simblicamente A B x X / x A x B
Si A1 , A2 , A3 , ... , An es una coleccin finita de subconjuntos de X , la
operacin de unin se puede extender mediante la siguiente definicin:
n

x X / x A1 x A2 ... x An

i 1

La interseccin entre A y B : es el conjunto formado por todos los


elementos que estn tanto en A como en B .
Simblicamente,
A B x X / x A x B .

11

Si A1 , A2 , A3 , ... , An es una coleccin finita de subconjuntos de X , la


operacin de interseccin se puede extender mediante la siguiente
definicin:
n

x X / x A1 x A2 ... An .

in

El producto cartesiano entre A y B : Es el conjunto de pares ordenados


cuya primera componente es un elemento de A y la segunda componente
es un elemento de B . Simblicamente, A B x , y x A y B . Por
ejemplo, R R es el conjunto de pares ordenados de nmeros reales.
Es fcil demostrar propiedades de las operaciones entre conjuntos como la
propiedad conmutativa, asociativa y distributiva de la interseccin y de la
unin que se reducen a propiedades iguales en el clculo proposicional. Se
pueden comprobar tambin las reglas de De Morgan que son:

A B c

A B c Ac B c .
y
comprobar estas reglas.
Ac B c

Se

deja

como

ejercicio

8. Los Conjuntos Numricos


Los primeros nmeros que nos ensean en el bachillerato son los nmeros
naturales. El conjunto de los nmeros naturales se representa por la
sucesin 1 , 2, 3, 4, .. donde significa que todo nmero natural tiene un
nmero que le sigue. El conjunto de los nmeros naturales tiene infinitos
elementos y por tanto no se puede decir que hay un ltimo nmero natural
que sea mayor que todos los dems. Utilizaremos el smbolo para
referirnos a los nmeros naturales.
Otro conjunto numrico es el de los nmeros enteros que se obtienen a
partir de los nmeros naturales (enteros positivos) adicionndoles el cero
(0) y los llamados enteros negativos , -3, -2, -1 . Los nmeros enteros,
que denotaremos con la letra Z se representan con la sucesin , -3, -2,
-1, 0, 1, 2, 3, donde los puntos indican, como en el caso anterior que
no hay un nmero entero mayor que todos y no hay un entero menor que
todos los dems.
A partir del conjunto de los nmeros enteros, se construyen los nmeros
racionales (se suelen llamar fraccionarios). Los nmeros racionales son
aquellos que se pueden representar en la forma

p
, donde
q

p y q son

nmeros enteros y adems q 0 . A los nmeros racionales los vamos a


representar con la letra Q .
Un nmero racional puede ser representado por infinitas fracciones de
pK

enteros. As por ejemplo la fraccin qK

12

siendo K cualquier entero no

nulo, representa el mismo nmero racional que q . No olvidemos que dos


a
m
a m

fracciones
y
representan al mismo nmero racional, esto es,
b
n
b
n
s y slo s a.n b.m .
1 3 7
,
,
, .. y como cualquier nmero entero p
Son nmeros racionales
2 4
8
p
se puede representar como una fraccin
se concluye que todos los
1
nmeros enteros son racionales. Luego, se puede escribir N Z Q .
Los nmeros racionales tambin se pueden representar por medio de los
nmeros decimales finitos o peridicos. Es decir, todo decimal finito se
puede escribir como una fraccin. Por ejemplo, el decimal 3,456 se puede
3456
2
escribir as:
o el nmero 0,0002 se puede escribir as:
y los
1000
10000
decimales peridicos tambin se pueden escribir como una fraccin, por
1
ejemplo, de la fraccin
obtenemos el decimal peridico 0,33333. Por lo
3
tanto, cualquier decimal peridico lo podemos representar como una
fraccin.
Hay decimales que no se pueden escribir como una fraccin, no son finitos
ni peridicos. A este conjunto de nmeros se les llama los irracionales los
cuales los vamos a representar con la letra I . Ejemplos conocidos de
nmeros irracionales son:

2,

3 , e , .... .

El nmero

1
2

no es un

nmero racional pues no se puede escribir como una fraccin de nmeros


enteros, luego es un irracional. Dadas las definiciones de los conjuntos
numricos debe ser claro que Q I , es decir,
I y Q no tienen
elementos comunes..
El conjunto que resulta de la unin de los nmeros racionales con los
irracionales constituye el conjunto de los nmeros reales que denotaremos
con el smbolo R . Por lo tanto, Q I R . Hay un conjunto numrico que
contiene a los nmeros reales que es llamado el conjunto de los nmeros
complejos que denotaremos con la letra C que es el conjunto de los
nmeros que se pueden escribir de la forma a b i , donde a , b R y por
definicin i 2 1 . La parte a se suele llamar la parte real del nmero
complejo y b su parte imaginaria. Cuando el nmero es de la forma o bi
se considera igual a bi y se dice que es imaginario puro. Cuando es de la
forma a 0.i se considera igual a a y se dice que el nmero complejo es
real. Dado lo anterior podemos escribir, R C

1.2

MTODOS DE DEMOSTRACIN

CONTENIDO

13

1.
2.

Demostracin Directa
Demostraciones Indirectas

Tericamente, todos los teoremas de la lgica proposicional se pueden


demostrar utilizando solamente los axiomas y las reglas de validez; sin
embargo, se establecen reglas de prueba y mtodos de demostracin con el
fin
de
abreviar
el
proceso
deductivo.
Un teorema es un resultado deducible en un sistema formal y que puede ser
enunciado en la forma Si H entonces T , donde H representa un
conjunto de afirmaciones conocidas como hiptesis o supuesto, y T
una afirmacin conocida como tesis o conclusin.
A continuacin mostraremos algunos teoremas, con el fin de practicar la
reescritura de los enunciados en la forma si entonces .
La suma de dos enteros pares es par. Se puede enunciar as: si a y
b son nmeros pares, entonces a b es nmero par.
Los lados opuestos de un paralelogramo son iguales. Se puede
ABCD es un paralelogramo entonces
enunciar as: Si
AB CD y AD BC .
A continuacin se presentan los principales mtodos de demostracin y
reglas de prueba del clculo proposicional.

1.

Demostracin directa

Mtodo directo. Este mtodo se utiliza para la demostracin de


implicaciones, y dice as: Sean H y T proposiciones. Si el suponer que H
es verdadera, se puede hacer una demostracin de que T es verdadera,
H T es una proposicin verdadera.
entonces la implicacin
El mtodo directo consiste de lo siguiente: Para demostrar que una
proposicin de la forma H T es verdadera se procede as:
1.
2.

3.

Se supone que el antecedente (hiptesis) H es verdadero.


A partir de la hiptesis, se construye un argumento lgico en el
cual se pueden utilizar los axiomas y los teoremas ya probados,
mediante la aplicacin de las reglas de validez, para llegar a la
proposicin T como conclusin o tesis.
En este punto concluye la prueba y queda establecida la
veracidad de H T .

Una demostracin directa del teorema Si H entonces T consiste en


establecer un razonamiento de la forma: H H 1 H 2 ... H k T el
cual se interpreta as: Dada la hiptesis, H a partir de ella se deducen

14

otras hiptesis H 1 , ....., H k utilizando el segundo paso de la lista anterior,


hasta llegar a la tesis T .
Ejemplo
Demuestre que: si a y b son nmeros pares, entonces a b es nmero
par.
Solucin:
Suponga que a y b son nmeros pares, (Hiptesis) luego, a 2h , h Z y
b 2m , m Z . Entonces, a b 2 h 2 m entonces a b 2 h m . Como
h Z , m Z entonces h m Z . Supongamos que h m k , k Z . Por
a b es un nmero par.
tanto,

2.

Demostraciones indirectas:

En algunos casos, cuando queremos hacer una demostracin directa de


algn teorema de la forma H T encontramos inconvenientes. En estas
circunstancias es conveniente intentar una demostracin indirecta. En este
curso trataremos dos tipos de demostraciones indirectas: por
contrarrecproca y por contradiccin. Veamos cada una.

Mtodo de demostracin por contrarrecproca o contraposicin. Es


aquella en la cual utilizamos la contrarrecproca de la implicacin para
demostrar el teorema. Como el condicional H T es equivalente a su
contrarrecproca T H entonces utilizamos una demostracin directa
con ella, es decir, suponemos que T es verdadera (como hiptesis) y
demostramos que H tambin es verdadera (como tesis).

Ejemplo
Demuestre que el producto de dos enteros es par slo si por lo menos uno
de ellos es par. Este enunciado se puede escribir en la forma de un
condicional as: Si m.n es par entonces m es par o n es par.
Solucin: Supongamos que intentamos una demostracin directa de este
resultado entonces empezamos suponiendo que m.n es par lo cual implica
que existe un entero p tal que m.n 2. p , pero..cmo utilizamos la
igualdad m.n 2. p para deducir que m es par o n es par?. Como no es
posible, entonces intentamos la demostracin por contrarrecproca:
T H que finalmente, se puede escribir as: Si m no es par y n no es
par entonces m.n no es par. Es decir, m.n es impar. La demostracin
directa de esta afirmacin es la siguiente: Sean m impar, entonces

15

m 2 k 1 , k Z
y n impar entonces n 2 t 1 , t Z , entonces
m.n 2k 1 2 t 1 2 2kt k t 1 lo cual muestra que m.n es impar.

Mtodo de demostracin por reduccin al absurdo. Una de las


condiciones que debe verificar el conjunto de axiomas, dado para la teora,
es la consistencia. Es decir, a partir de ellos no pueden derivarse, por
aplicacin de las reglas lgicas, contradicciones, o sea, frmulas de la forma
R R . El mtodo consiste en suponer que el resultado H T es falso lo
cual implica suponer que la hiptesis H es verdadera y la tesis es falsa. Si
a partir de este supuesto se deduce una contradiccin (representada por
R R ) entonces concluimos que lo supuesto es falso y por lo tanto, el
condicional H T es verdadero y se concluye la demostracin.
Ejemplo: Utilizando el mtodo de reduccin al absurdo, demostrar que el
nmero

real

es

irracional.

Solucin:
Suponga

que
2 no es irracional, luego es racional y por tanto
p
2
, p Z q Z , q 0 . Es importante tener presente que p y q son
q
p
primos relativo, es decir, que m.c.d . p , q 1 . Como 2 , elevando al
q
cuadrado ambos lados, obtenemos que 2

p2
q2

entonces 2q 2 p 2 donde

podemos concluir que p 2 es un nmero par y por lo tanto lo es p , esto es,


p 2k , k Z entonces p 2 4 k 2 . Se concluye, entonces, que 2q 2 4 k 2 ;
luego, q 2 2 k 2 luego, q 2 es un nmero par y por tanto q es un nmero
par.
En consecuencia, p y q tienen factor comn 2. Absurdo! puesto que p y
q son primos relativos. Por lo tanto,
es nmero irracional.
2

EJERCICIOS
1.
Responda verdadero (v) o falso ( f ) justificando su respuesta . Si
requiere una
demostracin para las justificaciones, diga si es directa,
indirecta o por el mtodo del contraejemplo.
a.

Todos los naturales son enteros

b.

Todos los racionales son reales

c.

Algunos racionales son irracionales

16

d.
e.
tambin.

1.

Existen enteros que no son racionales


Si

m
m

y
y

son naturales entonces

son naturales entonces

m n es natural y m n

m.n

f.

Si

es natura

g.

a
N si a , b N
b

h.

o . son nmeros irracionales si

y lo son.

Simbolizar los siguientes enunciados:

2.

No hace fro pero llueve.


O se protege la flora y la fauna, o se quebrar el equilibrio ecolgico.
La desercin escolar disminuir si y slo s se mejoran las condiciones
de la poblacin y se moderniza la educacin.
Voy a cine slo si me llevas a bailar
2 es un nmero par; sin embargo, es primo
Es falso que 3 no es par o no es primo
Slo si me entrega la fotografa le entrego el libro
Es suficiente que 2 sea primo para que sea par
Llueve pero no hace fro ni calor
Si hoy es mircoles entonces tengo clases de Matemticas o
Geometra
Para cada enunciado escriba su recproca y su contra recproca.
Si una funcin es derivable en un punto, entonces es continua en
dicho punto.
Si una figura plana es un cuadrado, entonces es un rectngulo.
Si una matriz cuadrada tiene inversa, entonces su determinante es
distinto de cero.
Todos Los perros ladran
Hoy es martes slo si maana es mircoles.

17