UNIVERSIDAD NACIONAL EXPERIMENTAL POLITCNICA

ANTONIO JOS DE SUCRE

VICE-RECTORADO PUERTO ORDAZ
DEPARTAMENTO DE ESTUDIOS GENERALES.
SECCION DE MATEMATICA

INTRODUCCIN A LA LGICA
MATEMTICA

Elaborado por:
Prof: Luis Nuez

Puerto Ordaz, Abril del 2003

ndice
Introduccin a la Lgica Matemtica
Introduccin....................................................................................................
Proposicin .
Valor de verdad de una proposicin................................................................
Conectivos lgicos...........................................................................................
Tablas de verdad.............................................................................................
Negacin de proposiciones compuestas ..........................................................
Proposiciones recprocas, contra recprocas, contrarias.....................................
Condicin necesaria y suficiente.......................................................................
Funciones proposicionales................................................................................
Cuantificadores................................................................................................
Mtodos de demostracin...............................................................................
Refutacin de una proposicin........................................................................
Bibliografa.

1
2
3
4
5
6
7
8
9
10
11
12

3
3
4
5
6
11
13
14
18
20
20
25
26

1 Introduccin.
Para muchos estudiantes aprender matemticas, fsica y qumica es muy difcil; sin
embargo pocas veces se busca una explicacin del porqu no aprenden estas disciplinas los
alumnos. Me encuentro entre quienes piensan que: Los alumnos no aprenden ciencias
exactas, porque no saben relacionar las conocimientos que se proporcionan en la escuela
(leyes, teoremas, frmulas) con los problemas que se le presentan en la vida real. Otro
problema grave es que el aprendizaje no es significativo. El presente trabajo pretende motivar a
los estudiantes para que con ayuda de la lgica matemtica, sean capaces de encontrar
relaciones entre los diferentes esquemas de aprendizaje, para que de esta manera tenga una
buena estructura cognitiva. Consideramos que si el alumno sabe lgica matemtica puede
relacionar estos conocimientos, con los de otras reas para de esta manera crear conocimiento.

3
La lgica fue sistematizada por Aristteles en el siglo IV A.C, est lgica rein cerca de
2000 aos, durante ese tiempo, el lenguaje de la lgica era el lenguaje ordinario, el cual es
impreciso, ambiguo y a veces contradictorio. En 1666 Leibniz cre un nuevo lenguaje
simblico, dando inicio a lo que hoy conocemos como lgica simblica o matemtica, sin
embargo este trabajo de Leibniz permaneci cerca de 200 aos sin despertar inters, hasta
que en 1847 Boole present la estructura conocida hoy como lgebra de Boole, de gran
importancia hoy en las ciencias puras y aplicadas. En la segunda mitad del siglo XIX se
continu desarrollando esta disciplina. En 1894 G. Peano y sus colaboradores iniciaron la
publicacin del Formulaire de Mathmatiques en la que habran de presentarse todas las
disciplinas matemticas usando la lgica matemtica, luego entre los aos 1910 y 1936,
Whitehead, Russell y Hilbert, completan toda la construccin de la matemtica libre de las
contradicciones que surgieron al principio y que dieron origen a algunas paradojas famosas.
La lgica estudia las formas, estructuras o esquemas de razonamiento. En este curso
estudiaremos la parte de la lgica que estudia las proposiciones, insistiendo en algunos
aspectos particulares que originan confusiones, con un enfoque ms metodolgico que
filosfico, sin descuidar el uso formal del lenguaje simblico.
Aqu trataremos con una lgica binaria, lo que no es verdadero es falso y viceversa.
Utilizaremos enunciados de los que podemos decir si son verdaderos o falsos en sentido
excluyente. Descartando situaciones como la siguiente: Un taxista es atrapado por un grupo
de delincuentes, los cuales le proponen al asustado taxista lo siguiente: si usted dice una frase
verdadera le pegamos un tiro en la cabeza; si dices una falsa te matamos cortndote en
pedacitos. Suponiendo que los delincuentes harn honor a sus palabras. Qu debe decir el
taxista para salvarse?. Una respuesta podra ser hermanos ustedes me van a matar
cortndome en pedacitos. En efecto no pueden darle un tiro en la cabeza pues en ese caso la
frase sera falsa, tampoco pueden cortarlo en pedacitos, pues en ese caso la frase sera
verdadera.
En este curso trataremos cosas distintas a las que popularmente se entiende por lgica
As que no trataremos problemas como el siguiente. Determinar qu nmero es el siguiente
en la sucesin 1, 2, 4, 8, 16,
Seguramente ustedes creen lgicamente que la
respuesta es 32. Pero se trata de la sucesin en la que el ensimo trmino es el nmero
mximo de regiones en que queda dividido un crculo cuando en la circunferencia
seleccionamos n puntos distintos y unimos cada par de ellos con segmentos rectilneos.
Puede verificarse que el sexto trmino de la sucesin es 31.
2 Proposicin
En el lenguaje cotidiano de la universidad podemos or frases como estas
a) El aluminio es un metal.
b) x2 -4.
c) 4+8=12.
d) Simn Bolvar el Libertador naci en Puerto Ordaz.
e) Todos los rboles tienen hojas azules.
f) Caracas no es la capital de Venezuela.
g) Ayer llovi?
h) Qu chimbo! i) Cada da que amanece el nmero de tontos crece
j) Mara es una chica muy buena.
k) Esta frase es falsa
p) La tierra es plana.
q) -17 + 38 = 21
r) x > y-9
w) Lava los platos por favor.

4
Actividad 1
Indique aquellos enunciados que son verdaderos : ______________________
Indique los enunciados que son falsos: _____________________
Indique cuales frases no pueden ser clasificados como verdaderos ni falsos: _________
Comentarios: ____________________________________________________________
Una proposicin es todo enunciado respecto al cual se disponga de un criterio que permita
afirmar que su contenido es verdadero o falso. En otras palabras, una proposicin es una
oracin que puede ser verdadera o falsa, pero no ambas cosas a la vez.
Decida cuales de los enunciados anteriores son proposiciones y cuales no. ____________
________________________________________________________________________
Las proposiciones las denotaremos con letras minsculas: p, q, r, s, t, ....
As, las proposiciones anteriores se pueden denotar as:
p : El hierro es un metal.
q : Las hojas de los rboles son azules
t : 4+8=12
3 Valor de verdad de una proposicin.
Una proposicin verdadera diremos que tiene valor de verdad "verdadero", y una
proposicin falsa tiene valor de verdad "falso".
El valor de verdad "verdadero" se denota por V y el valor "falso" se denota por F.
En algunos textos usan los smbolos 0 y 1 para representar los valores de verdad falso y
verdadero, respectivamente.
Actividad 2
Indique el valor de verdad de las siguientes proposiciones:
a) p: 13 es un nmero par. _________
b) q: Todo tringulo es rectngulo
______________
c) r: La circunferencia es una curva cerrada. __________
d) t: El Orinoco es el ro ms grande de Venezuela. _________
La caracterstica fundamental de las proposiciones es la bivalencia: estas pueden tomar los
valores 0 1 (falsa o verdadera) esta propiedad tambin la cumplen otros objetos entre ellos
los interruptores (switch) de un circuito elctrico un interruptor tiene dos posibles valores o
est abierto (no permite el paso de la corriente) o est cerrado (permite el paso de corriente)
Interruptor abierto

Interruptor cerrado

Bombillo
apagado
Batera

Bombillo
encendido
Batera

5
4 Conectivos lgicos.
Sea la proposicin:
p: 234 es divisible por 2 y por 3
Observe que el contenido de esta proposicin p esta constituido por las proposiciones.
q: 234 es divisible por 2
r: 234 es divisible por 3
enlazadas o conectadas por "y". A la proposicin p se le llama proposicin molecular o
compuesta (ya que esta formada por dos o ms proposiciones).
A las proposiciones q y r se les llama proposiciones atmicas o simples.
En general, a partir de proposiciones simples se pueden obtener nuevas proposiciones por
medio de los llamados conectivos lgicos. Estos son operadores que permiten construir otras
proposiciones partiendo de una o ms proposiciones.
Los conectivos lgicos relacionan las proposiciones y permiten analizar el valor de verdad
de una proposicin compuesta a partir de los valores de verdad de las proposiciones
componentes.
En la Tabla 1 se muestran los conectivos lgicos que estudiaremos en este taller:
Tabla 1
Conectivos Lgicos.
CONECTIVO

SMBOLO

OPERACIN

SIGNIFICADO

Conjuncin
Disjuncin inclusiva
Disjuncin exclusiva
Implicacin o
condicional
Doble implicacin o
Bicondicional
Negacin

p q
p q
p q
p q

pyq
poq
op oq
p implica q

p q

p si y slo si q

~p

no p o no es cierto
que p.
En el ejemplo anterior la proposicin molecular p se puede representar por
qr

Ejemplo.
Sea el siguiente enunciado El vehculo enciende cuando tiene gasolina en el tanque y tiene
corriente la batera
Sean:
p: El vehculo enciende.
q: Tiene gasolina el tanque.
r: Tiene corriente la batera.

6
De tal manera que la representacin del enunciado anterior usando simbologa lgica es
como sigue:
(q r) p
5 Tablas de verdad.
Las tablas de verdad son esquemas para describir el valor de verdad de una proposicin
molecular basndose en el valor de verdad de las proposiciones atmicas componentes.
Para construir la tabla de verdad de cualquier proposicin compuesta se parte del siguiente
principio: " a toda proposicin simple ( atmica ) le corresponden slo dos posibles valores
de verdad V o F ".
Antes de construir tablas de verdad se debe conocer las llamadas Tablas de Verdad
Bsicas ( es decir tablas de verdad correspondientes a los conectivos).
5.1. Tabla de verdad de la negacin.
La negacin de una proposicin simple p es la proposicin ~p, que se lee " no p " . Cuando
p es V, ~p es F y si p es F entonces ~p es V.
Tabla 2
Tabla de verdad de la negacin
P
~p
V
F
F
V
Por ejemplo:
La negacin de la proposicin:
p : 18 es par (la cual es V) es

~p : 18 no es par (- p es F).

5.2 Tabla de verdad de la conjuncin.

Dadas las proposiciones p y q se llama proposicin conjuntiva a aquella proposicin
formada por p y q enlazadas con el conectivo , simbolizada as (p q).
La tabla de verdad correspondiente es:
Tabla 3
Tabla de verdad para la conjuncin
p
q
p q
V
V
V
V
F
F
F
V
F
F
F
F

7
5.3 Tabla de verdad de la disjuncin inclusiva.
Dadas las proposiciones p y q la tabla de verdad de la proposicin p q ( la cual se lee
disjuncin de p y q) es:
Tabla 4
Tabla de verdad para la disjuncin inclusiva.
p
V
V
F
F

q
V
F
V
F

p q
V
V
V
F

As , (p q) es verdadera cuando una o ambas proposiciones son verdaderas, y falsa cuando

p y q son ambas falsas.
5.4 Tabla de verdad para la implicacin o condicional.
En la proposicin p q , p se llama antecedente o premisa, y q se llama consecuente o
conclusin. La correspondiente tabla de verdad es:
Tabla 5
Tabla de verdad para la implicacin.
pq
p
q
V
V
V
V
F
F
F
V
V
F
F
V
De la tabla 5 se concluye que la proposicin p q es falsa cuando el antecedente es
verdadero y el consecuente es falso (fila 2 de tabla 5). En cualquier otro caso es verdadera.
5.5 Tabla de verdad para la doble implicacin.
La tabla de verdad correspondiente a la proposicin p q es:
Tabla 6
Tabla de verdad para la doble implicacin.
p
V
V
F
F

q
V
F
V
F

pq

V
F
F
V

8
La proposicin p q es verdadera cuando ambas proposiciones p, q son verdaderas o
ambas falsas. (Ver filas 1 y 4 de la tabla 6).
La proposicin p q tambin se lee " p es equivalente a q".
5.6 Tabla de verdad para la disjuncin excluyente (o diferencia simtrica).
Dadas las proposiciones p, q se puede formar la proposicin pq la cual se lee " o p o
q " pero no ambas a la vez. La tabla correspondiente es:
Tabla 7
Tabla de verdad para la disjuncin excluyente (o diferencia simtrica).
p
V
V
F
F

q
V
F
V
F

(p q)
F
V
V
F

Observe que: (p q) es verdadera cuando una de las proposiciones componentes es

verdadera y la otra falsa.
Actividad 3
Sean las proposiciones:
r:
En el 2003 se mantienen las condiciones actuales del mercado automotriz
t:
FIAT reactivar su planta en La Victoria a corto plazo
q:
FIAT reactivar su planta en La Victoria a mediano plazo
Escriba en forma verbal las siguientes proposiciones y determine el valor de verdad.
a)
r q
b)
r t q
c)
r ( q)
d)
~(t q)
e)
r (~t ~q)
f)
~q ~t
Solucin.
a) r q: ___________________________________________________________
b) r t q : __________________________________________________________
c): r ( q) ____________________________________________________________
d)
e)
Las seis tablas de verdad que se construyeron anteriormente permiten construir las tablas
de verdad de cualquier proposicin compuesta.
Para ilustrar el proceso construiremos la tabla de verdad de la proposicin: t q r ,
siguiendo los pasos:

9
i) Se identifican las proposiciones simples que aparecen en la proposicin a estudiar, y se
establece una columna para cada una, luego se van deduciendo los valores de verdad de las
proposiciones previas a la proposicin final.
ii) Se calcula el nmero de filas (o entradas) con la frmula 2 n, donde n indica el nmero de
proposiciones simples, y el 2 indica el nmero de valores de verdad por cada proposicin
simple.
Para nuestro ejemplo n=3 por lo que la tabla de verdad tiene 2 3 = 8 filas; y cinco columnas
veamos:
t

t q

EMBED
Equation

t q r
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
V
V
V
V
F
F

V
F
V
F
V
F
V
V

Ejemplo 1 Construya la tabla de verdad para las siguientes proposiciones:

a)
d)
g)

(-p) p
(- p) q

b)
e)

p q q q

(- p) (- q)
- (p q)

c) - (p q )
f) (- p) (- q)

Solucin.
a) En la proposicin (- p) p slo interviene una proposicin por lo que n=1, y la tabla
tiene dos filas. Las columnas son tres: p, -p, -p p.
La tabla es:

p
V
F

-p
F
V

p p

F
F

10
b) La tabla de verdad para la proposicin (-p) (-q) es:
p

V
V
F
F

V
F
V
F

p q

c) La tabla de verdad para la proposicin - (p q ) es:

p

V
V
F
F

V
F
V
F

pq

p q

d) Se deja al lector que construya las tablas (d), (e), (f), (g).
Notas.
i) Observe que las proposiciones - ( p q ) y ( - p - q) tienen el mismo valor de verdad
para los correspondientes valores de verdad de p y q. En este caso, se dice que estas dos
proposiciones son equivalentes y se anota con los smbolos o .
As:
- ( p q ) (- p - q )
o bien
- (p q ) ( - p - q )
(1)
Otras proposiciones equivalentes son:
( p q) (- p q )
(2)

- ( p q ) p

(3)

-(-p) p
( p q ) p q q p

(4)
(5)

ii) Una proposicin compuesta es una Tautologa si y slo si dicha proposicin es verdadera
cualesquiera que sean los valores de verdad de las proposiciones componentes.
Por ejemplo: la tabla de verdad para la proposicin p r p q es:
p

pr

pq

p r ) p q)

V
V

V
V

V
F

V
V

V
V

V
V

11
V
F
V
F
V
V
V
F
F
F
V
V
F
V
V
F
V
V
F
V
F
F
F
V
F
F
V
F
V
V
F
F
F
F
F
V
Observe que en la ltima columna aparece slo el valor de verdad V, por lo tanto la
proposicin p r p q es una tautologa.
iii) Una proposicin compuesta es una contradiccin si y slo si dicha proposicin es falsa
cualesquiera que sean los valores de verdad de las proposiciones compuestas.
Por ejemplo: La proposicin (-p p) es una contradiccin (ver ejemplo 1a)
6 Negacin de proposiciones compuestas.
6.1 Negacin de una negacin.
La negacin de la proposicin -p es -(-p) la cual es equivalente a p. Veamos la tabla de
verdad.
Tabla 8
Negacin de una negacin.
p
-p
V
F
F
V
La columna 1 y 3 son iguales, por lo tanto p p

V
F

6.2 Negacin de una disjuncin.

Sean p, q dos proposiciones simples, la negacin de la proposicin
- p q lo cual equivale a: (-p) (-q). Es decir:
p q ((-p) (-q))
En el ejemplo 1 se demostr esta equivalencia.

(6)

es
(7)

As, la negacin de una disjuncin se obtiene formando la conjuncin de la negacin de las

proposiciones componentes.
6.3 Negacin de una conjuncin.
La negacin de la proposicin p q es - p q , esta ltima es equivalente a
(p) (q ) . Veamos, la tabla de verdad correspondiente:
Tabla 9
Negacin de una conjuncin.

12
p

-p

-q

EMBED
Equation

p q

( p ) ( q )

p q

V
V
F
F
V
F
F
V
F
F
V
F
V
V
F
V
V
F
F
V
V
F
F
V
V
F
V
V
Las columnas 6 y 7 de la tabla anterior son iguales, por lo tanto se puede concluir que:
p q

((- p ) ( - q ))

6.4 Negacin de una implicacin.

En la seccin anterior se indic que las proposiciones
equivalentes, es decir:

(8)

p q y p q son

p q p q

q
Por lo tanto negar
equivale a negar p q ; veamos:
p q p q
p q p q
p q p q
De donde la negacin de:

p q es equivalente a p q

por (2)

por (7)
por (6)
(9)

6.5 Negacin de una doble implicacin.

Para negar la proposicin p q partimos de:

p q p q q p

Negando ambas proposiciones:

p q q p
p q p q q p
p q p q q p

p q

Luego, la negacin de: p q es

p q q p

por (8)
por (9)
(10)

Ejemplo 3 Halle la negacin de las siguientes proposiciones.

p q q
p q
a)
b)

p
q p
c)
d)
Solucin:
a) Para negar p q procedemos as:

p q p q
Negando:

por (2)

p q p q

p q p q

por (7)

13
p q p q

por (6)

Directamente se puede negar p q as:

p q p q
p q p q

b) La negacin de

p q q se halla as:
p q q p q q

p q q
p q q

c) La negacin de r q p es: r q p

por (9)
por (6)

por (7)
por (8)
por (6)
(comprubelo)

d) La negacin de q p se obtiene aplicando (10), (6) y (7):

q p q p p q

Actividad 4 Redacte una proposicin compuesta cualquiera y una proposicin relacionada

con matemtica (puede ser un teorema, pero evite por el momento el uso de las palabras
todo(s), cada, cualquiera, existe, hay o alguna forma equivalente). Luego escriba una forma
equivalente a la proposicin y tambin su negacin.
__________________________________________________________________________
__________________________________________________________________________
__________________________________________________________________________
__________________________________________________________________________

RESUMEN: A continuacin se da un listado de tautologas (o leyes lgicas), algunas de

ellas se demostraron, las otras se dejan como ejercicios.
p q p q
p q p q
1)
2)
p q p q
p q p q
3)
4)
p q t p q p t
p q t p q p t
5)
6)
p q p
p q p q q p
8)
7)
p q t p q t
p q t p q t
9)
10)
p q p
11)
7 Proposiciones recprocas, contra recprocas, contrarias.
Sean p, q proposiciones, a partir de la proposicin p q se pueden formar otras
implicaciones, las cuales reciben nombres especiales:
Proposicin

Nombre

14
La tabla de verdad correspondiente a estas implicaciones:

-p

-q

V
V
F
F

V
F
V
F

F
F
V
V

F
V
F
V

Tabla 10
EMBED
Equatio
npq
V
F
V
V

qp

p q EMBED
Equation
q p

V
V
F
V

V
V
F
V

V
F
V
V

Observe que:
i) Las columnas 5 y 8 son iguales, por lo tanto p q y q p son equivalentes. Es
decir, la proposicin directa y su contra recproca son equivalentes.
ii) Las columnas 6 y 7 son iguales, de all que q p p q
Actividad 5 Sea la proposicin:
"Si f es una funcin real derivable en a entonces f es continua en a
a) La proposicin recproca es:
__________________________________________________________________________
b) La proposicin contraria es:
__________________________________________________________________________
c) El contra recproco es:
__________________________________________________________________________
8 Condicin necesaria y suficiente.
Para ilustrar consideremos la siguiente proposicin:
"todo nmero natural es tambin un nmero entero".
Esta proposicin puede expresarse usando una implicacin (o condicional) de la siguiente
forma:
p : "Si un nmero es natural, necesariamente es un nmero entero".
Otra forma equivalente es:
p : "Si un nmero es natural entonces es un nmero entero".
Tambin podemos redactar la proposicin de las siguientes formas:
a) Qu un nmero sea entero es condicin necesaria para que l sea natural.
b) Una condicin necesaria para que un nmero sea natural es que l sea entero.

15
Nos preguntamos:
Qu un nmero sea entero es suficiente para qu el nmero sea natural?
Es claro que no, pues -2 es entero pero no es natural.
Ahora consideremos las siguientes proposiciones:
c) Qu el nmero sea natural es suficiente para que l sea entero.
d) Una condicin suficiente para que el nmero sea entero es que l sea un
nmero natural.
Las proposiciones (a), (b), (c), (d) son formas equivalentes de redactar la proposicin
condicional p.
En conclusin, la implicacin H T se puede expresar de las siguientes formas:
i) Si H entonces T.
ii) T es condicin necesaria para H.
iii) Una condicin necesaria para H es T.
iv) H es condicin suficiente para T.
v) Una condicin suficiente para T es H.
De manera anloga la doble implicacin H T se puede expresar de las siguientes formas.
a) H es una condicin suficiente y necesaria para T.
b) T es una condicin suficiente y necesaria para H.
Ejercicio propuesto.
Sean las proposiciones:

p : Las diagonales se intersecan en el punto medio

q : Las diagonales son perpendiculares
t : La figura en un rectngulo.
c : La figura es un cuadrado.
r : La figura es un rombo.
d : La figura es un cuadriltero.
Escriba tres proposiciones compuestas verdaderas usando exclusivamente las proposiciones
atmicas dadas y las expresiones condicin necesaria y/o suficiente, condicin
suficiente, y simbolice cada una.
i.- ______________________________________________________________________
ii.- ______________________________________________________________________
iii.-_______________________________________________________________________
Ejercicios de repaso.
1) Cules de las siguientes expresiones son proposiciones. En los casos en los que resulten
ser proposiciones determine si es verdadera o falsa.
a) Si x es mayor que 2 entonces x2 es mayor que 4.
b) Dos tringulos congruentes son semejantes.
c) Dos tringulos semejantes son congruentes.

16
d)
e)

a (b + c) + 2
La nieve es blanca y el acero es un metal.

2) Si para cualquier proposicin q se tiene que p q es verdadera. Qu puede decirse

sobre el valor de verdad de p?
3) Sabiendo que: p q es falsa. Cul es valor de verdad de q?
4) Si p q es verdadera. Qu puede decirse del valor de verdad de p q ?.
5) Si q es una proposicin falsa, demuestre que:
a) p q es falsa.
b) p q es equivalente a -p.
c) p q es equivalente a p.
d) p q es equivalente a p.
6) Sean las proposiciones p, q, r, s, t tales que q y r son verdaderas, y p, s, t son
falsas. Determine el valor de verdad de:
a)
c)

p q p

b) p s t
d) p q p r

r q t q

7) Determine si las siguientes proposiciones son tautologas o contradicciones.

a)
c)

p q r q
p q q p

b)
d)

p q r

p q q r

8) Enuncie el recproco, contrario y contra recproco de las siguientes implicaciones.

a) Si n2 es un nmero entero par entonces n es un entero par.
b) Si c y d son nmeros impares entonces el producto c.d es un nmero impar.
9) Sabiendo que r t es falsa. Cul es el valor de verdad de r t t ?
10) Sean:
p: Hace calor

q:

Esta lloviendo. ,

r: El cielo est nublado

Exprese verbalmente las siguientes proposiciones:

a) p q
b) p q
d) p q
e) p q
h) r q
g) p q r
j) p q r .
9 Funciones proposicionales.

c) p q
f) p q r
i) q p

17
Una funcin proposicional definida sobre un conjunto no vaco U es un enunciado que
contiene una variable que recorre el conjunto U, de forma que al sustituir la variable por
cualquier elemento de U generamos una proposicin.
Son ejemplos de funciones proposicionales:
p( x ):
x es un nmero par.
q( x ):
x2-4=3
z( x ):
x2-1=-6
Si x=2 entonces se tiene:
p( 2 ):
2 es un nmero par.
q( 2 ):
22-4=3
z( 2 ):
22-1=-6
Las cuales son proposiciones (la primera es verdadera y las dos ltimas falsas).
La variable x pertenece a un conjunto de valores llamado conjunto universo, (el cual
denotaremos por U). Al sustituir x por uno de estos valores, la funcin proposicional puede
ser verdadera o falsa.
Al conjunto de valores de x U tal que la funcin proposicional resulta verdadera se llama
dominio o conjunto de veracidad de la funcin proposicional. As, si p(x) es una funcin
proposicional entonces el dominio de p(x) es x U / p( x) es V.
Ejemplo 5
Determine el dominio de las siguientes funciones proposicionales.
a)
U= 2, 3, 4, 5, 6 , p(x): x es par.
b)
U= 3, 0, 7 , 7 ,
q(x): x2 - 4 = 3.
c)
U= ,
z(x): x4 - 1 = -6
d)
U= ,
m(x): x2 + 1 es positivo
Solucin.
a) Para x = 2: p(2): 2 es par.
(V)
x = 3: p(3): 3 es par
(F)
x = 4: p(4): 4 es par.
(V)
x = 5: p(5): 5 es par.
(F)
x = 6: p(6): 6 es par
(V)
Slo para los valores de x = 2, x = 4, x = 6 se cumple que p(x) es verdadera, por lo tanto el
dominio de p(x) es 2,4,6 .
b) Si sustituimos x por cada uno de los valores pertenecientes a U= 3,0, 7 , 7 se
cumple que solo q( 7 ) y q( 7 ) son verdaderos, por lo tanto el dominio de q( x ) es

7 , 7

c) Ningn valor de x hace que z( x ) sea verdadera, por lo que el dominio de z( x ) es

el conjunto vaco (el cual se denota por ).

18
d) El dominio de m( x ) es el conjunto de los nmeros enteros
se cumple que x2+1 mayor que cero.

ya que para todo x

10 Cuantificadores.
Los cuantificadores son smbolos utilizados para indicar la cantidad de elementos del
conjunto universo que hacen verdadera a la funcin proposicional.
Mediante el proceso llamado cuantificacin es posible obtener proposiciones ms generales.
As, asociados a la variable x se introducen los smbolos y llamados cuantificador
universal y cuantificador existencial, respectivamente.
10.1 Cuantificador universal.
El smbolo correspondiente al cuantificador universal es , y la forma general de una
funcin proposicional cuantificada universalmente es:
(11)
x U: p(x)

La cual se lee: "para todo x U: p (x)" "para cualquier x U: p(x)"

La expresin (11) es una proposicin verdadera si p(x) es verdadera para todo
x U, y

falsa si existe al menos un valor de x U tal que p(x) es falsa.

Por ejemplo, la proposicin:

:x+4>3

es verdadera, ya que x + 4 > 3 es verdadero para todo nmero natural.

En cambio, en la proposicin:

x : x es par
"x es par" es verdadera para algunos valores de x
proposicin (1.12) es falsa.

(12)
y falsa para otros, por lo tanto la

10.2 Cuantificador existencial.

Forma general:
x U : q( x )
la cual se lee: "existe un x U tal que q( x )"

(13)

Una proposicin de la forma (1.13) es verdadera si existe al menos un valor de

x U
tal que p(x) es verdadera, y (1.13) es falsa si no existe algn x U tal que p(x) sea
verdadera.
Ejemplos de funciones proposicionales cuantificados existencialmente.
a) x : x + 2 = 8
b) x : x + 2 = 0
c) y : y2 - 1 = 0
Las proposiciones ( a ), ( c ) son verdaderas, pero la ( b ) es falsa.
10.3 Negacin de una funcin proposicional cuantificada.
Para ilustrar esto, consideremos la proposicin:

19
"Todo nmero entero es positivo".
la cual se puede escribirse en forma simblica as:
x : x es positivo.

(14)

Su negacin es:
"no todo nmero entero es positivo"
o
"existen nmeros enteros que no son positivos"
En forma simblica:

: x no es positivo.

(15)

Observe que (1.14) es falsa, por lo que (1.15) es verdadera.

En general, la negacin de la proposicin x U : p x es x U: p x
Es decir:

-x U : p x

xU:

p x

(16)

As, la negacin de una funcin cuantificada universalmente puede ser escrita en trminos
del cuantificador existencial.
Anlogamente, la negacin de una proposicin de la forma: x U: p x es x U:
p x

Es decir:

- x U: p(x) x U: -p(x)

Ejemplo 6
Halle la negacin de las siguientes proposiciones:
a) x : 2x + 2 2(x+1)
b) x : x es par.
Solucin.
La proposicin (a) es falsa ya que no existe un nmero natural x tal que
2x + 2 2(x+1).
La negacin de esta proposicin es:
x : 2 x 2 2( x 1)
La negacin de la proposicin (b) es:
x : x no es par.
Ejercicios propuestos.
1- Escriba en forma simblica usando los cuantificadores las proposiciones dadas.
Determine el valor de verdad.

20
a)
b)
c)
d)
e)

Todo nmero racional es un nmero real.

Existen nmeros enteros positivos pares, que son primos.
Todo nmero entero es positivo o negativo.
Cualquier funcin real derivable es continua
En todo tringulo rectngulo se cumple que el cuadrado de la hipotenusa es igual a la
suma de los cuadrados de los catetos

2- Escriba la negacin de las proposiciones dadas en el problema anterior.

3- Escriba la negacin de las siguientes proposiciones.
a) x :U: ( p x q x )
b) x U: p x q x
c) x : x+1=0
d) x : x+1=0
2

e) x
: x + 1 es positivo.
11 Mtodos de demostracin.
Un teorema es una proposicin que afirma una verdad demostrable.
La gran mayora de los teoremas matemticos tienen la forma implicativa: H T , donde H
representa la hiptesis o antecedente, y T representa la tesis o consecuente.
La hiptesis es una proposicin que se supone verdadera, y la tesis es una proposicin que
se afirma y que puede deducirse de la hiptesis.
La demostracin de un teorema consiste en encadenar un conjunto de razonamiento lgicos
que permiten deducir la tesis a partir de la hiptesis, y de teorema ya demostrados.
En otras palabras, la demostracin de un teorema de la forma H T consiste en demostrar
que: si H es verdadero entonces T es verdadero.
Algunos teoremas no tienen la forma implicativa y se hace necesario identificar claramente
la hiptesis y la tesis del mismo.
Entre los mtodos de demostracin que trataremos en este texto estn: mtodo directo,
mtodo indirecto, mtodo de reduccin al absurdo e induccin matemtica.
11.1 Mtodo Directo.
El mtodo directo para la demostracin de un teorema consiste en partir de la certeza de la
hiptesis y mediante un razonamiento lgico llegar a probar la verdad de la tesis.
En la transformacin de la hiptesis para lograr comprobar la tesis se pueden usar las
siguientes estrategias:
i) Sustituir un trmino o una expresin por su definicin.
ii) Utilizar axiomas o teoremas ya demostrados.
iii) Sustituir una proposicin por otra equivalente.

21
Ejemplo 7
Usando el mtodo directo, demuestre que:
" Si a,b,c son nmeros enteros tales que a divide a b, y b divide a c entonces a
divide a c".
Solucin.
En forma simblica la expresin "a divide a b" se escribe as: ab.
Luego, el teorema dado se puede escribir as:
"Si a,b,c , ab bc entonces ac"
En cual la hiptesis es:
a,b,c , ab bc
y la tesis es:
ac.
Recuerde que: ab significa que b=n.a para algn n .
Por hiptesis tenemos que:
ab b=n.a para algn n .
y
bc c=m.b para algn m .

(i)
(ii)

Sustituyendo (i) en (ii) se tiene:

c=m (n a)
lo cual equivale a:
c= (m n) a

Sea q=m.n

(ya que el producto de dos nmeros enteros es un nmero entero).

Luego existe q
demostrar).

, tal que c=q.a, lo cual significa que: a divide a c (lo que se quera

10.2 Mtodo indirecto.

Si queremos demostrar el teorema H T usando el mtodo indirecto, lo que se hace es
demostrar el contrarecproco, es decir se demuestra T H .
Ejemplo 8
Usando el mtodo indirecto ,demuestre que:
"Para cualesquiera x e y enteros positivos, si x y es un nmero impar entonces x e y son
impares"
Solucin.
Supongamos que x e y no son ambos impares (negacin de la tesis). Debemos concluir que
x y no es impar (negacin de la hiptesis).
Veamos la demostracin.
Supongamos que uno de los nmeros es par, por ejemplo consideremos x par:

22
Si x es par entonces x = 2p con p +. Luego:
xy = 2 py
x y = 2( p y ).
o bien
n

y
+. Luego: x y 2 n , n +, es decir x y es mltiplo de 2 y por lo
Sea
tanto x y no es impar.
As a partir de la negacin de la tesis, se lleg a la negacin de la hiptesis por lo que se
demostr el contra reciproco.
Por lo tanto queda demostrado el teorema dado.
10.3 Mtodo de reduccin al absurdo o mtodo de demostracin por contradiccin.
Si se quiere demostrar que la proposicin H T es verdadera usando el mtodo de
reduccin al absurdo se procede as: se parte de la negacin de la tesis y la afirmacin del
antecedente, es decir: T H , y si en el proceso de la demostracin se llega a una
contradiccin, entonces se demuestra que la proposicin H T es verdadera. Este mtodo
suele utilizarse para demostrar los teoremas de unicidad y algunas proposiciones que no
tienen una hiptesis particular (no son implicativas) . Como por ejemplo 2 es un nmero
irracional
Ejemplo 9
Usando el mtodo de reduccin al absurdo, demuestre que:
"Si m es un nmero entero tal que m 2 es un nmero entero par, entonces m es un nmero
entero par."
Solucin
Sea H: m2 es par, m
T: m es par.
Para aplicar el mtodo de reduccin al absurdo partimos de H T , es decir, suponemos
que: " m2 es par y m no es par".
Si m no es par entonces m es impar, lo que significa:
m = 2k + 1,
k
elevando al cuadrado:
m2 = (2k + 1)2, k
desarrollando:
m2 = 4k2 + 4k + 1, k
lo cual equivale a:
m2 = 2( k2 + 2k ) + 1, k
sea q = ( 2k2 + 2k ) , luego:
m2 = 2q + 1, q
esto significa que m2 es impar (lo cual es una contradiccin, ya que al inicio de la
demostracin se supone que m2 es par). Luego, lo supuesto (-T) es falso, por lo tanto T es
verdadero, es decir:
"m es par"
10.4 Induccin matemtica.

23
Si un teorema es una proposicin que se verifica para todos los nmeros naturales entonces
su demostracin se basa en el principio llamado Induccin Matemtica. Este es un mtodo
de demostracin por recurrencia.
Veamos en que consiste:
Sea p(n) una funcin proposicional, donde n . . Si ocurre que: p(1) es verdadera y
adems de la verdad de p(h) se deduce la verdad de p(h+1), entonces p(n) es verdadera para
todo nmero natural n.
En resumen, el principio de induccin se fundamenta en los siguientes pasos:
Sea p(n) una funcin proposicional. Si las proposiciones:
que:

p(1) y p(h) p(h+1), con h

p(n) es verdadera para todo n .

Ejemplo 10
Demuestre que: "n

, son verdaderas entonces se concluye

, n < 2n".

Solucin.
Sea p(n): n , n < 2n.
Como la proposicin p(n) se verifica para todo n
usando el mtodo de induccin matemtica:

, entonces la demostracin se har

( i ) Veamos si p (1) es verdadera, es decir sustituimos n=1 en la proposicin y se obtiene 1

< 21 lo cual es verdadero.
(ii) Suponemos que la proposicin es verdadera para n = h esto es.
h
p(h): h < 2h
(esto se conoce como la hiptesis inductiva).
Usando el hecho de que p(h) es verdadera se probara que p(h+1) es verdadera, o sea:
h+1 < 2h+1
Veamos:
2h+1=2 2h >2 h
por hiptesis inductiva
De all que:
2h+1 > h+h
pero como h entonces h 1; luego:
2h+1 > h + 1, h
con lo cual se prueba que p(h+1) es verdadera. Por lo que se concluye que:
n , n < 2n.

Ejemplo 11
Demuestre que: "si n es cualquier nmero natural entonces (-1)2n=1".
Solucin:

24
Usando el mtodo de induccin matemtica tenemos:
(i) Para n=1: (-1)2 1=(-1)2=1 es decir la proposicin es verdadera para n=1.

(ii) Supongamos que la proposicin es verdadera para n = h, esto es.

(-1)2h = 1
(Hiptesis Inductiva)
y probaremos que la proposicin se verifica para n= h + 1:
(-1)2(h+1) = (-1)2h+2

= (-1)2h (-1)2

= 1 1
=1

por ( i ) y ( ii)

As:
(-1)2(h+1) = 1
por lo que se concluye que: (-1)2n=1, n
11 Refutacin de una proposicin.
En algunas ocasiones nos preguntamos si una proposicin es verdadera o falsa, y es
probable que tratemos de comprobarla para algunos elementos de su dominio, lo cual no
dara la certeza de que esa proposicin es verdadera.
Si la proposicin es verdadera se usa alguno de los mtodos anteriores para demostrarla. No
obstante, si la proposicin es falsa, basta con tomar un elemento de su conjunto universo que
no satisfaga la proposicin, es decir solo con dar un CONTRAEJEMPLO podemos decir que
la proposicin es falsa. (a esto se le llama refutacin de una proposicin).
Ejemplo 12
Refutar las siguientes proposiciones:
a) x : x2 + x + 1 0
b) Si p tal que p es divisible por 6 y p es divisible por 4 entonces p es divisible por 24.
Solucin.
Para la proposicin (a) consideremos x = 0
02+0+1 0
lo cual es falso, por lo que la proposicin (a) es falsa.
La proposicin (b) se puede escribir en forma simblica as:
(6 p 4 p) (24 p)
para probar que esta proposicin es falsa basta con que el antecedente sea verdadero y el
consecuente falso (Recuerde la tabla de verdad de la implicacin). As: si tomamos p=12 se
cumple que:
612 412
pero no se verifica que 2412.

25
Nota: Si el teorema a demostrar tiene la forma H T , su demostracin consiste en probar
que las proposiciones ( H T ) y ( T H ) son ambas verdaderas.
Ejercicios propuestos:
1) En cada uno de los siguientes teoremas identifique la hiptesis y la tesis.
a) Si un tringulo es equiltero entonces es issceles.
b) Si a y b son nmeros pares entonces ( a + b ) es par.
c) Dos rectas L1 y L2 ( de un mismo plano) perpendiculares a una tercera recta L 3 son
paralelas entre si.
2) Enuncie el recproco, el contra recproco y el contrario de los teoremas del ejercicio 1.
3) Usando el mtodo de demostracin directo, demuestre que:
i) Si a y b son nmeros enteros entonces (a+b) es par
ii) Sean a,b . Si a es par y b impar entonces a b es par.
iii) Sean a,b .. Si es par y b impar entonces ( a + b ) es impar.
iv) Sean a,b . Si a y b entonces a b es impar.
v) Si m y n son nmeros enteros divisibles por 3 entonces m n es divisible por 3.
4) Usando el mtodo indirecto, demuestre que:
i) Si x, y son nmeros enteros y x y es impar entonces x e y son impares.
ii) Si m y m2 es impar entonces m es impar.
5) Demuestre la falsedad de los siguientes enunciados:
a) x : x 2 1 0
b) x : 5x2 3x - 2
c) x : x 2 -1 = 0 .
2
d) x : x > x .
e) Si p divide a (m+n) entonces p divide a m y a n, con p , m, n
6) Demuestre las siguientes proposiciones
a) (-1)2n-1 = -1 para todo n .
b) Si 0 < a < b entonces 0< an <bn para todo nmero natural n.
c) 1 + 2n 3n para todo n .
d) 1+3+5+............+(2n - 1)=n2, n .
e) 2+4+6+.............+2n = n(n + 1), n .
f) Si 0< x <1 y n es cualquier nmero natural entonces 0< xn <1.
g) (1+p)n 1+n.p , n ,