LGICA MATEMTICA

MATEMTICA

Contenido
Proposiciones
Conectivos lgicos y tablas de verdad
Tautologas, contradicciones
y consecuencias lgicas
Leyes de equivalencia. lgebra booleana
de proposiciones
Cuantificadores universal y existencial.
Frmulas cuantificadas
Mtodos bsicos de demostracin en
matemticas

Bibliografa
Notas de lgebra Moderna
Ral Ernesto Gonzlez T., Ed. Iteso, 1996

Matemticas Discretas
R. Johnsonbaugh, Ed. Prentice-Hall, 1999

Matemticas Discreta y Combinatoria

Ralph P. Grimaldi, Ed. Pearson, 1997

Elements of Discrete Mathematics

C. L. Liu, Ed. McGraw-Hill, 1985

Proposiciones

Proposiciones

Proposicin es una afirmacin de la cual podemos decir

De aqu en adelante, denotaremos a una proposicin

mediante una letra (como p, q, r, etc.), posiblemente con
algn subndice

EJEMPLOS:
Son proposiciones

Para cada proposicin hay dos posibles valores de verdad

que le podemos asignar: V (verdadero) F (falso)

que es falsa, o bien que es verdadera,

pero no ambas cosas.

a) Lima es la capital de Per.

b) Hay vida en Marte.
c) 4 + 5 = 8.

y si tenemos una proposicin p a la cual se le ha

asignado el valor de verdad V (o bien, el valor F), diremos
tambin que p es verdadera (o que es falsa).

No son proposiciones
d) x + 2 = 3.
e) Qu hora es?.
f) 20 3.
g) Esta afirmacin es falsa

Conectivos lgicos y tablas de verdad

Podemos formar nuevas proposiciones a partir proposiciones
dadas mediante el uso de conectivos lgicos. Algunos de
ellos son:

y
o

conjuncin
disyuncin

si , entonces

implicacin

si y slo si

doble implicacin

no

negacin

El significado que les damos trata de acercarse al uso comn

tanto como sea posible.

Sean P y Q proposiciones.
Formamos una nueva proposicin, P (que se lee no P),
y la llamamos la negacin de P.
Tambin podemos formar una nueva proposicin usando
cualquiera de estos smbolos:

, , y
Cada una de estas proposiciones se denota y llama por:
(P Q)

la conjuncin de P y Q

(P Q)

la disyuncin de P y Q

(P Q)

la implicacin de P y Q

(P Q)

la doble implicacin de P y Q

Tablas de verdad

EJEMPLO:
Construyamos la tabla de verdad de la proposicin

El valor de verdad que le asignamos a cada una de las

proposiciones compuestas depende de los valores de
verdad asignados a las proposiciones ms simples que las
forman, tal como se establece en las tablas de verdad
siguientes:
p

pq

pq

pq

pq

10

P:= (p1 p3) (p1 p3)

p1

p3

p1

p3

p1 p 3

p1 p3

V
V
F
F

V
F
V
F

F
F
V
V

F
V
F
V

V
F
V
V

F
V
V
V

P
F
F
V
V

11

La Isla de los Caballerosos y

los Bribones
Es una isla en la que hay slo dos tipos de individuos:

Los (o las) caballerosos, que siempre dicen la verdad

Los (o las) bribones, que siempre mienten

El reportero
McGregor ha ido de
visita a la isla para
interrogar a sus
habitantes

12

McGregor toc una puerta. El marido sali y pregunt qu

deseaba.
Estoy realizando un reportaje sobre los habitantes
de la isla, replic McGregor.
Podra decirme
cul de ustedes es, si acaso,
Necesito
informacin
un caballeroso
cul es un bribn?
sobre
usted y suy esposa.

Los dos
somos
bribones!
De cul tipo es el marido
y de cul es la esposa?

13

14

La siguiente casa visitada por McGregor result an ms

intrigante. Ah le pregunt al marido:

McGregor fue a la casa siguiente y le pregunt al marido:

Son bribones los dos?

Puede decirme algo acerca

de usted y su esposa?

Al menos
uno de los
dos lo es.
De cul tipo es
cada uno?

Si yo soy
caballeroso,
entonces tambin
lo es mi esposa.

De cul tipo es el
marido y de cul es
la esposa?

15

Tautologas y contradicciones
Sea T una proposicin que se forma con las n letras
proposicionales p1, p2 , ... , pn usando los conectivos ya
definidos.
Decimos que T es una tautologa si T es verdadera para
todas las asignaciones posibles de valores de verdad de las
proposiciones que la forman.
Llamamos contradiccin a una proposicin C cuya negacin
C es una tautologa.
Evidentemente, una contradiccin es una proposicin falsa
para todas las asignaciones posibles de valores de verdad
de las proposiciones que la forman

16

EJEMPLO:

La proposicin T:= (p q) ((p q) (r r))

es una tautologa:

V
V
F
F

V
F
V
F

F
V
F
V

p q p q (p q) (r r)
F
V
F
F

V
F
V
V

V
F
V
V

Esta tautologa suele llamarse

Prueba por Reduccin al Absurdo
Observemos que las proposiciones
(p q) y (p q) (r r)
tienen la misma tabla de verdad

T
V
V
V
V

17

Consecuencias lgicas

EJEMPLOS: La proposicin C:= (p p) p

es una contradiccin:
p

p p p

Tambin son contradicciones

(p p)

18

Sean P1, P2, ..., Pn n proposiciones, y sea Q una proposicin.

(p p)

Decimos que Q es una consecuencia lgica de P1, P2, ..., Pn ,

y escribimos
P1, P2, ..., Pn Q
si y slo si siempre que las proposiciones P1, P2, ..., Pn sean
verdaderas tambin lo es Q .
Cuando P1, P2, ..., Pn

La tautologa (p p) es conocida como la

Ley del Tercero Excluido

Q, decimos que tenemos un

argumento lgico vlido, cuya

conclusin es Q y cuyas
premisas o hiptesis son P1, P2, ..., Pn.

19

EJEMPLO:

Usemos tablas de verdad para determinar si el

argumento lgico siguiente es o no es vlido:
p q, r q

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

q
F
F
V
V
F
F
V
V

pq
V
V
V
V
V
V
F
F

pr

r q
V
F
V
V
V
F
V
V

pr
V
V
V
V
V
F
V
F

El
argumento
es vlido

20

Estando en la Isla de los Caballerosos y los Bribones, el

censor McGregor se enter de una leyenda acerca de un
Si acerc
yo soy acaballeroso
tesoro escondido en la isla. As que se
un par de y
nativos y les pregunt directamente: este es un bribn,
entonces hay un tesoro
Es cierto que hay un tesoro
escondido en la isla.
escondido en la isla?
Eso que t dijiste compa
es falso!

Hay un tesoro escondido en la isla?

21

22

Leyes de equivalencia

Leyes de equivalencia

Dos proposiciones, P y Q, son llamadas equivalentes

(y escribimos P Q) siempre y cuando la proposicin
P Q es una tautologa

Si pensamos que dos proposiciones equivalentes son

esencialmente iguales y que los conectivos lgicos son
operaciones entre proposiciones, entonces podemos
algebrizar la lgica formando una estructura algebraica
conocida como el
lgebra Booleana de la Lgica Proposicional.
Esta satisface las leyes que establecemos a continuacin.
Pero antes, introduzcamos dos smbolos nuevos, que en esta
lgebra juegan el papel de elementos neutros:

Observemos que si P Q, entonces

las tablas de verdad de P y Q son idnticas fila a fila
Algunas equivalencias sencillas pero tiles son :
i.

P Q (P Q) (Q P)

ii.

P Q P Q

iii.

P Q P Q

iv.

P Q Q P

(falsedad) que es una contradiccin

(verdad)

(Ley Contrarecproca)

que es una tautologa

Observemos que p p

p p

23

Leyes de equivalencia
Leyes Asociativas:
(p q) r p (q r)

(p q) r p (q r)

Leyes Conmutativas:
pqqp

pqqp

Leyes Distributivas:
p (q r) (p q) (p r)

p (q r) (p q) (p r)

Leyes de De Morgan:
(p q) p q

(p q) p q

24

Leyes de equivalencia
Leyes de Idempotencia:
(p p) p

(p p) p

Ley de Doble Negacin:

p p
Leyes de Absorcin:
p (p q) p

p (p q) p

Leyes del Cero y el Uno:

(p ) p

(p )

(p

(p

)p

25

EJEMPLO:

Conjuntos y predicados

Usemos las leyes de equivalencia establecidas

anteriormente para probar la equivalencia
siguiente:
p q (p q) (q p)

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

26

Un conjunto es una coleccin cualquiera de objetos,

llamados los elementos del conjunto.

Justifiquemos
cada paso !

Dados los conjuntos A y B, la expresin AB representa la

proposicin A es un elemento de B,
o tambin A pertenece a B.
La negacin de la proposicin AB se escribe AB.

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

Algunos conjuntos que usamos frecuentemente son:

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

:= los nmeros naturales: 1, 2, 3, ...

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

:= los nmeros enteros: ..., -2, -1, 0, 1, 2, ...

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

:= los nmeros racionales: q = a/b, con a, b y b 0

(p q) (q p)

:= los nmeros reales: r = a.b0b1b2b3..., con a, bi

27

Conjuntos y predicados
Un predicado o proposicin abierta es una afirmacin que
contiene una o ms variables, las cuales toman sus valores
de cierto conjunto universal o dominio, que al ser
sustituidas por elementos de ese conjunto convierten a la
expresin en una proposicin.
Denotaremos a un predicado que contenga las variables x, y,
z, etc., como P(x, y, z, ...).
Si P(x) es un predicado cuya variable x toma sus valores de
un dominio D y dD, entonces P(d) es una proposicin.
Si Q(x, y) es un predicado tal que la variable x toma sus
valores de A, mientras que la variable y los toma del dominio
B, entonces, para aA, bB, tenemos que
Q(a, b) es una proposicin.

28

Predicados
EJEMPLO: Sea P(x): x + 1 > 2 y tomemos como dominio .
Si x es sustituida por 1, obtenemos 2 > 2 o P(1) (F).
Si x es sustituida por 3, obtenemos 4 > 2 o P(3) (V).
Vamos a combinar predicados usando los mismos
conectivos del clculo proposicional, y aplicaremos las
propiedades de las proposiciones (como las leyes de
equivalencia), tal como si stos fueran proposiciones.
EJEMPLO:
(P(x) Q(x, y)) (P(x) Q(x, y))
P(x) Q(x, y) (ley de De Morgan)
(ley de doble neg.)
P(x) Q(x, y)

29

Cuantificador universal

30

Cuantificador universal
EJEMPLOS:
1. Sean A:= el conjunto de las flores, y P(x): x es amarilla.

Dado un predicado P(x), tal que los valores de la variable x

son tomados de un conjunto A, al colocarle a su izquierda la
expresin
(x)
(que se lee para todo x (en A), tal que, o tambin para cada
x (en A), tal que), obtenemos una proposicin:
(x)P(x),
la cual es verdadera si y slo si cada elemento de A convierte
a P(x) en una proposicin verdadera.
De lo contrario, (x)P(x) es falsa.
Es decir, si hay por lo menos un elemento de A que convierte
a P(x) en una proposicin falsa, entonces (x)P(x) es falsa.
Un elemento a de A para el cual P(x) es falsa es llamado un
contraejemplo de (x)P(x)

Entonces (x)P(x) es la proposicin para toda x flor, x es

amarilla, o mejor an todas las flores son amarillas
2. Consideremos la proposicin
Todos los nmeros impares son primos
Para expresarla simblicamente, tomemos como dominio
el conjunto de los nmeros naturales , y sean
L(x): x es impar
P(x): x es primo
Entonces la proposicin dada se escribe as:
(x)(L(x) P(x))

31

Cuantificador existencial
Dada una proposicin abierta P(x), tal que los valores de la
variable x son tomados de un conjunto A, al colocarle a su
izquierda la expresin
(x)
(que se lee existe un elemento x (en A), tal que, o tambin
hay un x (en A), tal que), obtenemos la proposicin:
(x)P(x).
Esta proposicin es verdadera si y slo si hay por lo menos un
elemento en A que convierta a P(x) en una proposicin
verdadera. De lo contrario, es falsa.
De aqu que, si todo elemento de A convierte a P(x) en una
proposicin verdadera, entonces (x)P(x) es falsa.

32

Cuantificador existencial
EJEMPLOS:
1. Sean A:= el conjunto de las flores, y P(x): x es amarilla.
Entonces (x)P(x) es la proposicin existe una x flor tal que
x es amarilla, o mejor an Al menos una flor es amarilla
2. Consideremos la proposicin
Algunos nmeros impares son primos
Para expresarla simblicamente, tomemos como dominio
el conjunto de los nmeros naturales , y sean
L(x): x es impar
P(x): x es primo
Entonces la proposicin dada se escribe as:
(x)(L(x) P(x))

33

Negaciones de cuantificadores

34

Negaciones de cuantificadores

De las definiciones de los cuantificadores universal y

existencial se desprenden las siguientes equivalencias:

EJEMPLO:
Sobre el dominio tenemos el predicado Q(x, y): y > x .
Entonces la proposicin

(x)P(x) (x)P(x)

(x)(y)Q(x, y)

(x)P(x) (x)P(x)

Se interpreta como
para cada nmero entero x existe un nmero entero y tal
que y > x.
Su negacin es: (x)(y)Q(x, y) (x)(y)Q(x, y)

EJEMPLO:
Consideremos la proposicin
Todos los nmeros impares son primos
Su forma simblica es: (x)(L(x) P(x))
Su negacin es: (x)(L(x) P(x)) (x)(L(x) P(x))
(x)(L(x) P(x))
Es decir: Algunos nmeros impares no son primos

la cual se interpreta como:

(x)(y)Q(x, y)

Hay un nmero entero ms grande que todos los dems

36

Sistemas de matemticas
Consisten de
Trminos no definidos

Mtodos Bsicos de
Demostracin en
Matemticas

Son palabras que se aceptan como

conceptos bsicos

Definiciones
Son proposiciones construidas a partir de
trminos no definidos y conceptos aceptados
previamente para crear un nuevo concepto

Axiomas
35

Son proposiciones aceptadas como

verdaderas dentro del sistema

37

Sistemas de matemticas

38

Reglas de inferencia o deduccin

Las consecuencias lgicas empleadas en una demostracin

suelen ser aplicaciones de algunas reglas de deduccin o
inferencia, as que constituyen pequeos argumentos lgicos
vlidos. Algunas de las ms comunes son:

Dentro de un sistema podemos derivar teoremas.

Teorema es una proposicin del sistema que tiene una
demostracin
Una demostracin de una proposicin P del sistema es una
cadena de consecuencias lgicas que termina en P y en la
cual cada afirmacin es

un axioma o

una proposicin probada previamente o

una consecuencia lgica de proposiciones anteriores

de la cadena
Lo que esencialmente busca una demostracin de una
proposicin P es establecer que en el sistema en cuestin
P es una proposicin verdadera

Modus Ponens (MP):

p q, p

Modus Tollens (MT):

p q, q

Silogismo Hipottico
o Ley Transitiva (LT):

p q, q r

Instanciacin Universal (IU):

q
p
pr

(x)P(x), dD

P(d)

Generalizacin Universal (GU): P(d) para cada dD

Instanciacin Existencial (IE): (x)P(x)

(x)P(x)

P(d), para algn dD

Generalizacin Existencial (GE): P(d), dD

(x)P(x)

39

40

Demostracin directa
Para probar en forma directa una proposicin del tipo
p q debemos
Suponer: p
Probar: q
EJEMPLO:
Probemos el teorema siguiente:

Teorema: Sean m, n dos nmeros enteros cualesquiera.

Si m y n son nmeros impares, entonces
m + n es un nmero par.
Demostracin:
Supongamos que m, n son nmeros
impares.
Probemos que m + n es un nmero par.

Como m, n son nmeros impares (hiptesis)

existen enteros k, j tales que m = 2k + 1 y n = 2j + 1.
Luego, m + n = (2k + 1) + (2j + 1)
= 2k + 2j + 2
= 2(k + j + 1).
Sea p:= k + j + 1.
Tenemos que p es un entero porque k, j, 1 son enteros y
la suma de enteros es un entero.
Adems, m + n = 2p, por lo cual
m + n es un nmero entero par.
Q.E.D.

41

Demostracin directa

42

EJEMPLO:
Ahora probemos el teorema siguiente:

EJEMPLO:
Primero probemos el teorema siguiente:

Teorema: Si a, b son nmeros enteros cualesquiera,

Teorema: Si n es un nmero entero, entonces n0 = 0.

Demostracin: Supongamos que n es un nmero entero.
Como n0 = n(0 + 0)
= n0 + n0
(0 es neutro y prop. distributiva)
y n0 + 0 = n0,
(0 es neutro)
tenemos que
(transitividad de =)
n0 + n0 = n0 + 0,
(prop. cancelativa)
de donde n0 = 0.
Q.E.D.

entonces a(b) = (ab).

Demostracin:
Supongamos que a, b
Probar: a(b) = (ab).
ab + a(b) = a(b + (b))

(prop. distributiva)

= a0

(prop. elemento inverso)

(Teorema anterior)
=0
Por tanto, a(b) es un inverso aditivo de ab.
Pero (ab) es el inverso aditivo de ab
Por tanto, a(b) = (ab). Q.E.D.

43

Demostracin directa
Para probar en forma directa una proposicin del tipo
p q debemos
Probar: a) p q
b) q p
EJEMPLO:
Probemos la ley de la cancelacin multiplicativa:

Teorema: Sean a, b, c nmeros enteros tales que a 0.

Entonces, ab = ac si y slo si b = c.
Demostracin:
() Primero supongamos que ab = ac
Probar: b = c.
(hiptesis)
Como ab = ac,

44

Demostracin (cont.):
ab + a(c) = ac + a(c)
(prop. elemento inverso)
Luego, ab + a(c) = 0.
Pero, ab + a(c) = a(b c)
(prop. distributiva)
Por tanto, a(b c) = 0,
(en no hay divisores de 0)
de donde, a = 0 b c = 0.
Como, por hiptesis, a 0,
concluimos que b c = 0,
(props. asociativa y elemento inverso)
de donde b = c.
() Ahora supongamos que b = c.
Probar: ab = ac.
(hiptesis)
Como b = c,
ab = ac.
Q.E.D.

45

Demostracin indirecta

46

Demostracin (cont.):
Luego, n2 = (2k + 1)2 = 4k2 + 4k + 1
= 2(2k2 + 2k) + 1.
Por tanto, n2 es impar, es decir, n2 no es par.

Una proposicin del tipo p q se puede probar en

forma indirecta as:
Suponer: q
Probar: p

Q.E.D.

EJEMPLO:
Probemos el teorema siguiente:

Teorema: Sea n un nmero entero.

Si n2 es par, entonces n es par.

Demostracin:
Supongamos que n no es par.
Entonces n es impar, por lo cual existe k tal que
n = 2k + 1.

47

Demostracin por contradiccin

Una proposicin del tipo p q se puede probar por
contradiccin as:
Suponer: p q
Probar: r r, para alguna proposicin r
EJEMPLO:
Probemos el clsico teorema de Euclides siguiente:

Teorema: Si p es un nmero primo, entonces existe un

Demostracin:

nmero primo q mayor que p.

Supongamos que p es un nmero primo, pero

no hay otro nmero primo mayor que p.
Sea n:= 235...p + 1 el producto de todos los
nmero primos menores o iguales a p, ms 1.

48

Est claro que n > p.

Como, por hiptesis, no hay un nmero primo mayor que p,
concluimos que n no es primo.
Pero, no hay un nmero primo menor o igual que p que
sea un factor de n
(porque al dividir n entre cualquier nmero primo menor o
igual que p siempre obtenemos residuo 1).
Por tanto, hay al menos un factor primo de n que es
mayor que p. 0
Esto contradice nuestra suposicin de que no hay
nmeros primos mayores que p. Q.E.D.
Corolario: El conjunto de los nmeros primos es infinito.
Demostracin: Si no fuera as, entonces habra un nmero
primo ms grande, lo que contradira el teorema.

49

EJEMPLO:
Probemos este otro teorema clsico:

50

de donde, p2 = 2q2.
Esto nos dice que p2 es par, lo que implica
(de acuerdo con un teorema que probamos antes)
que el propio nmero p es par.

Teorema: Si r es un nmero real tal que r2 = 2, entonces

r no es un nmero racional.
Demostracin:
Supongamos que r es un nmero real tal que r2 = 2
y que, por el contrario, r es racional.
Entonces existen nmero enteros p, q tales que r = p/q.

Entonces, existe un entero k tal que p = 2k,

de donde, 2q2 = p2 = (2k)2 = 4k2.
Cancelando a ambos lados obtenemos que
q2 = 2k2,
es decir, q2 es par, por lo cual el propio q es par. 0
(p, q no tenan factores en comn distintos de 1!)

Sin prdida de generalidad, asumamos que p, q no tienen

factores comunes distintos de 1 (ya que si no fuera as,
podramos cancelar todos sus factores comunes y obtener
el mismo nmero r).

Por tanto, r no es un nmero racional.

Luego, r2 = (p/q)2 = p2/q2 = 2,

Por supuesto, r es conocido como 2.

Podemos generalizar el teorema anterior?

51

Demostracin por casos

Una proposicin del tipo p q con p = r s se puede
probar por casos as:
Probar: a) r q
b) s q
EJEMPLO:
Probemos el teorema siguiente:

Teorema: Si x es un nmero real, entonces |x| x |x|.

Demostracin:
Supongamos que x es un nmero real.
Entonces x 0 x < 0.
Supongamos primero que x 0.
Entonces |x|:= x 0 x = |x|.

52

Supongamos ahora que x < 0.

Entonces x > 0 > x, por lo cual, |x|:= x > x = |x|.
Por lo tanto (en cualquier caso), tenemos que |x| x |x|.

Corolario 1: Sean x, r nmeros reales con r > 0.

Si r x r, entonces |x| r.
Demostracin:
Supongamos que r x r y consideremos dos casos:
a) Supongamos que x 0.
Entonces, |x| = x, y como x r
(por hiptesis),
tenemos que |x| r.
b) Supongamos que x < 0.
Entonces |x| = x, y como r x
(por hiptesis)
tenemos que r |x|,
de donde |x| r.
Por tanto, |x| r (en cualquier caso). Q.E.D.

53

54

Un habitante de la Isla de los Caballerosos y los Bribones se

fue de vacaciones a otra isla. All lo apres la polica
sospechando que haba cometido un delito y lo llev ante el
juez. Este se enter de donde provena el acusado y le dio la
oportunidad de defenderse.
Seor Juez, el que
Tiene algo que decir en su
cometi el delito es un
defensa?
bribn.

Corolario 2: (Desigualdad Triangular)

Sean x, y nmeros reales.
Entonces |x + y| |x| + |y|.

Demostracin:
Por el teorema anterior tenemos que
|x| x |x|, |y| y |y|.
Sumando las desigualdades obtenemos
(|x| + |y|) x + y |x| + |y|,
de donde (por el corolario 1 anterior),
|x + y| |x| + |y|. Q.E.D.

Le ayud o le perjudic lo que dijo?

55

Demostracin directa de una

proposicin universal
Una proposicin del tipo (x)P(x), donde P(x) denota
una afirmacin respecto de los elementos de un dominio
D, se puede probar en forma directa as:
Sea sD (cualquiera)
Probar: P(s) es verdadera.

56

Demostracin directa de una

proposicin existencial
Una proposicin del tipo (x)P(x), donde P(x) denota
una afirmacin respecto de los elementos de un dominio
D, se prueba en forma directa hallando (explcitamente)
un elemento dD tal que
P(d) es verdadera.