Elementos Logic A

Elementos de l
ogica
Instituto de Matem
aticas
Facultad de Ciencias Exactas y Naturales
Universidad de Antioquia
17 de septiembre de 2015
Indice
1
Introducci
on
Del lenguaje natural al lenguaje l

ogico
Proposiciones y conectivos l
ogicos
Tablas de verdad
Negaci
on de conjunciones, disyunciones e implicaciones
Cuantificadores
Negaci
on de cuantificadores
Combinaci
Existencia u
nica
Metodos de demostraci
on
Demostraci
on directa
Demostraci
on por contrarrecproco
Demostraci
on por contradicci
on
Demostraci
on por casos
Demostraciones que involucran cuantificadores
Refutaci
on con contraejemplos
Introduccion
En matem
aticas, una de las actividades m
as importantes consiste
en demostrar, es decir, a partir de unas afirmaciones iniciales en
las que nos ponemos de acuerdo como punto de arranque,
deducimos, mediante reglas de razonamiento aceptadas,
proposiciones m
as complejas. Y para ponernos de acuerdo,
necesitamos de la m
axima precisi
on en dichas afirmaciones
iniciales, para que cualquier matem
atico de cualquier lugar del
mundo entienda perfectamente y sin ambig
uedad que se pretende
demostrar. [de Guzm
an-Oz
amiz, 2004, p. 11]
Introduccion
Que es la l
ogica?
Introduccion
Que es la l
ogica?
La l
ogica es la disciplina que estudia la forma y la validez de las
deducciones o inferencias.
Introduccion
Que es la l
ogica?
La l
Hace m
as de dos mil a
nos, Arist
oteles y los fil
osofos estoicos descubrieron
que la validez de una deducci
on depende de su estructura o forma y no de
su contenido, con esto fundaron las bases de la l
ogica formal.
Introduccion
Que es la l
ogica?
La l
Hace m
as de dos mil a
nos, Arist
oteles y los fil
osofos estoicos descubrieron
que la validez de una deducci
on depende de su estructura o forma y no de
su contenido, con esto fundaron las bases de la l
ogica formal.
Desde la segunda mitad del siglo XIX y gracias en buena parte a los
trabajos de George Boole y Gottlob Frege, la l
ogica formal tom
o por
modelo pautas metodol
ogicas del simbolismo matem
atico, y comenz
oa
llamarse L
ogica Simb
olica o L
ogica Matem
atica, alcanzando un desarrollo
comparable al que experiment
o la fsica en el siglo XVII, gracias a la
revoluci
on cientfica protagonizada por Galileo Galilei.
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
ogicos
Para definir que es una deducci

on, es necesario primero definir que es una
proposici
on:
ogicos

proposici
on:
Una proposici
on (o enunciado) es una sentencia declarativa a la que se
puede asignar un valor de verdad (verdadera o falsa).
ogicos

proposici
on:
Una proposici
Ejemplos de proposiciones:
Est
a lloviendo.
ogicos

proposici
on:
Una proposici
Est
a lloviendo.
Las vacas vuelan.
ogicos

proposici
on:
Una proposici
Est
a lloviendo.
Las vacas vuelan.
Si 4 es divisible por 6, entonces 4 es divisible por 2.
ogicos

proposici
on:
Una proposici
Est
a lloviendo.
Las vacas vuelan.
2 es irracional.
ogicos

proposici
on:
Una proposici
Est
a lloviendo.
Las vacas vuelan.
2 es irracional.
Existen n
umeros reales que no son racionales.
ogicos

proposici
on:
Una proposici
Est
a lloviendo.
Las vacas vuelan.
2 es irracional.
Existen n
Todo tri
angulo equil
atero e is
osceles.
ogicos

proposici
on:
Una proposici
Est
a lloviendo.
Las vacas vuelan.
2 es irracional.
Existen n
Todo tri
angulo equil
atero e is
osceles.
Todo entero mayor que 4 es la suma de dos n
umeros primos.
ogicos
Ejemplos de sentencias o expresiones que no son proposiciones:

Est
a lloviendo?
ogicos

Est
a lloviendo?
Hazme un favor.
ogicos

Est
a lloviendo?
Hazme un favor.
5 + 7.
ogicos

Est
a lloviendo?
Hazme un favor.
5 + 7.
2.
ogicos

Est
a lloviendo?
Hazme un favor.
5 + 7.
2.
x + 3 = 5.
ogicos

Est
a lloviendo?
Hazme un favor.
5 + 7.
2.
x + 3 = 5.
N R.
ogicos
A las proposiciones se les puede aplicar ciertas operaciones l

ogicas, lo que
permite generar nuevas proposiciones.
ogicos

ogicas, lo que
permite generar nuevas proposiciones. Los principales operadores (o
conectivos) l
ogicos son: negaci
on (no), conjunci
on (si), disyunci
on (o),
implicaci
on (si... entonces) y la doble implicaci
on o bicondicional (... si y
solo si...).
ogicos

ogicas, lo que
conectivos) l
ogicos son: negaci
on (no), conjunci
on (si), disyunci
on (o),
implicaci
solo si...).
La construcci
on de un lenguaje formal, con smbolos y reglas de formaci
on
de f
ormulas rigurosamente definidos (para representar proposiciones), es
u
til para el an
alisis l
ogico de deducciones.
ogicos

ogicas, lo que
conectivos) l
ogicos son: negaci
on (no), conjunci
on (si), disyunci
on (o),
implicaci
solo si...).
La construcci
on
de f
u
til para el an
alisis l
Las proposiciones que contienen conectivos l
ogicos se llaman compuestas y
las que no contienen conectivos l
ogicos se llaman at
omicas.
ogicos

ogicas, lo que
conectivos) l
ogicos son: negaci
on (no), conjunci
on (si), disyunci
on (o),
implicaci
solo si...).
La construcci
on
de f
u
til para el an
alisis l
Las proposiciones que contienen conectivos l
ogicos se llaman compuestas y
las que no contienen conectivos l
ogicos se llaman at
omicas.
Las proposiciones at
omicas se representan por letras may
usculas P , Q,
R . . . a las cuales se les llama variables proposicionales.
ogicos
La negaci
on de una proposici
on P (que en l
ogica se denota P ) es una
proposici
on que afirma la falsedad de la proposici
on P .
ogicos
La negaci
on de una proposici
on P (que en l
proposici
on P . En el lenguaje
ordinario se usa el adverbio no para expresar la negaci
on.
ogicos
La negaci
on de una proposici
on P (que en l
proposici
on.
Ejemplos:
2 no es racional.
ogicos
La negaci
on de una proposici
on P (que en l
proposici
on.
Ejemplos:
2 no es racional.
5 no es primo.
ogicos
La negaci
on de una proposici
on P (que en l
proposici
on.
Ejemplos:
2 no es racional.
5 no es primo.
Cu
al es el valor de verdad de las proposiciones anteriores?
ogicos
La negaci
on de una proposici
on P (que en l
proposici
on.
Ejemplos:
2 no es racional.
5 no es primo.
Cu
Dada una proposici
on P , cu
ales son las condiciones de verdad de P ?
ogicos
La negaci
on de una proposici
on P (que en l
proposici
on.
Ejemplos:
2 no es racional.
5 no es primo.
Cu
Dada una proposici
on P , cu
P
V
ogicos
La negaci
on de una proposici
on P (que en l
proposici
on.
Ejemplos:
2 no es racional.
5 no es primo.
Cu
Dada una proposici
on P , cu
P
V
P
F
ogicos
La negaci
on de una proposici
on P (que en l
proposici
on.
Ejemplos:
2 no es racional.
5 no es primo.
Cu
Dada una proposici
on P , cu
P
V
F
P
F
ogicos
La negaci
on de una proposici
on P (que en l
proposici
on.
Ejemplos:
2 no es racional.
5 no es primo.
Cu
Dada una proposici
on P , cu
P
V
F
P
F
V
ogicos
En el lenguaje ordinario, en particular en el espa

nol, algunas veces se usa la
doble negaci
on de manera ret
orica para dar mayor enfasis a una afirmaci
on.
ogicos

doble negaci
on de manera ret
on.
Ejemplo: se dice
no ire nunca a Estados Unidos
para afirmar
nunca ire a Estados Unidos.
ogicos

doble negaci
on de manera ret
on.
Ejemplo: se dice
no ire nunca a Estados Unidos
para afirmar
nunca ire a Estados Unidos.
En el lenguaje matem
atico, la doble negaci
on de una proposici
on siempre
equivale a la afirmaci
on de la proposici
on.
ogicos
La conjunci
on de dos proposiciones P y Q (que en l
ogica se denota P Q)
es una proposici
on que afirma la verdad de ambas proposiciones.
ogicos
La conjunci
es una proposici
on que afirma la verdad de ambas proposiciones. En el
lenguaje ordinario se usa el conectivo y para expresar la conjunci
on.
ogicos
La conjunci
es una proposici
on.
Ejemplos:
es mayor que 2 y es racional.
ogicos
La conjunci
es una proposici
on.
Ejemplos:
2 es primo y es par.
ogicos
La conjunci
es una proposici
on.
Ejemplos:
Cu
ogicos
La conjunci
es una proposici
on.
Ejemplos:
Cu
Dadas proposiciones P y Q, cu
ales son las condiciones de verdad de P Q?
ogicos
La conjunci
es una proposici
on.
Ejemplos:
Cu
P
V
Q
V
P Q
ogicos
La conjunci
es una proposici
on.
Ejemplos:
Cu
P
V
Q
V
P Q
V
ogicos
La conjunci
es una proposici
on.
Ejemplos:
Cu
P
V
V
Q
V
F
P Q
V
ogicos
La conjunci
es una proposici
on.
Ejemplos:
Cu
P
V
V
Q
V
F
P Q
V
F
ogicos
La conjunci
es una proposici
on.
Ejemplos:
Cu
P
V
V
F
Q
V
F
V
P Q
V
F
ogicos
La conjunci
es una proposici
on.
Ejemplos:
Cu
P
V
V
F
Q
V
F
V
P Q
V
F
F
ogicos
La conjunci
es una proposici
on.
Ejemplos:
Cu
P
V
V
F
F
Q
V
F
V
F
P Q
V
F
F
ogicos
La conjunci
es una proposici
on.
Ejemplos:
Cu
P
V
V
F
F
Q
V
F
V
F
P Q
V
F
F
F
ogicos
La conjunci
on en matem
aticas funciona de manera similar a un circuito
electrico con dos interruptores conectados en serie.
II
Resultado
ogicos
La conjunci
on en matem
I
P
II
P
Resultado
ogicos
La conjunci
on en matem
I
P
II
P
Resultado
P
ogicos
La conjunci
on en matem
I
P
P
II
P
A
Resultado
P
ogicos
La conjunci
on en matem
I
P
P
II
P
A
Resultado
P
A
ogicos
La conjunci
on en matem
I
P
P
A
II
P
A
P
Resultado
P
A
ogicos
La conjunci
on en matem
I
P
P
A
II
P
A
P
Resultado
P
A
A
ogicos
La conjunci
on en matem
I
P
P
A
A
II
P
A
P
A
Resultado
P
A
A
ogicos
La conjunci
on en matem
I
P
P
A
A
II
P
A
P
A
Resultado
P
A
A
A
ogicos
En el lenguaje natural, el conectivo y se usa algunas veces con una

connotaci
on temporal implcita.
ogicos

connotaci
Ejemplo: la proposici
on
me ba
ne y fui al cine
tiene un significado diferente a
fui al cine y me ba
ne.
ogicos

connotaci
on
me ba
ne y fui al cine
tiene un significado diferente a
fui al cine y me ba
ne.
En matem
aticas las proposiciones son atemporales, y el valor de verdad de
una conjunci
on es independiente del orden de las proposiciones.
ogicos
La disyunci
es una proposici
on que afirma que al menos una de las dos proposiciones es
verdadera.
ogicos
La disyunci
es una proposici
verdadera. En el lenguaje ordinario se usa el conectivo o para expresar la
disyunci
on.
ogicos
La disyunci
es una proposici
disyunci
on.
Ejemplos:
7 es m
ultiplo de 3 o de 5.
ogicos
La disyunci
es una proposici
disyunci
on.
Ejemplos:
7 es m
Un tri
angulo A es escaleno o is
osceles.
ogicos
La disyunci
es una proposici
disyunci
on.
Ejemplos:
7 es m
Un tri
osceles.
Cu
ogicos
La disyunci
es una proposici
disyunci
on.
Ejemplos:
7 es m
Un tri
osceles.
Cu
ogicos
La disyunci
es una proposici
disyunci
on.
Ejemplos:
7 es m
Un tri
osceles.
Cu
P
V
Q
V
P Q
ogicos
La disyunci
es una proposici
disyunci
on.
Ejemplos:
7 es m
Un tri
osceles.
Cu
P
V
Q
V
P Q
V
ogicos
La disyunci
es una proposici
disyunci
on.
Ejemplos:
7 es m
Un tri
osceles.
Cu
P
V
V
Q
V
F
P Q
V
ogicos
La disyunci
es una proposici
disyunci
on.
Ejemplos:
7 es m
Un tri
osceles.
Cu
P
V
V
Q
V
F
P Q
V
V
ogicos
La disyunci
es una proposici
disyunci
on.
Ejemplos:
7 es m
Un tri
osceles.
Cu
P
V
V
F
Q
V
F
V
P Q
V
V
ogicos
La disyunci
es una proposici
disyunci
on.
Ejemplos:
7 es m
Un tri
osceles.
Cu
P
V
V
F
Q
V
F
V
P Q
V
V
V
ogicos
La disyunci
es una proposici
disyunci
on.
Ejemplos:
7 es m
Un tri
osceles.
Cu
P
V
V
F
F
Q
V
F
V
F
P Q
V
V
V
ogicos
La disyunci
es una proposici
disyunci
on.
Ejemplos:
7 es m
Un tri
osceles.
Cu
P
V
V
F
F
Q
V
F
V
F
P Q
V
V
V
F
ogicos
La disyunci
on en matem
electrico con dos interruptores conectados en paralelo.
II
Resultado
ogicos
La disyunci
on en matem
I
P
II
P
Resultado
ogicos
La disyunci
on en matem
I
P
II
P
Resultado
P
ogicos
La disyunci
on en matem
I
P
P
II
P
A
Resultado
P
ogicos
La disyunci
on en matem
I
P
P
II
P
A
Resultado
P
P
ogicos
La disyunci
on en matem
I
P
P
A
II
P
A
P
Resultado
P
P
ogicos
La disyunci
on en matem
I
P
P
A
II
P
A
P
Resultado
P
P
P
ogicos
La disyunci
on en matem
I
P
P
A
A
II
P
A
P
A
Resultado
P
P
P
ogicos
La disyunci
on en matem
I
P
P
A
A
II
P
A
P
A
Resultado
P
P
P
A
ogicos
En el lenguaje natural, el conectivo o se usa algunas veces de manera

excluyente.
ogicos

excluyente.
on
ire a jugar f
utbol o a nadar
quiere decir que la persona que hizo la afirmaci
on ir
a a realizar alguno de
los dos deportes, pero no ambos.
ogicos

excluyente.
on
ire a jugar f
utbol o a nadar
quiere decir que la persona que hizo la afirmaci
on ir
a a realizar alguno de
los dos deportes, pero no ambos.
Por convenci
on, en el lenguaje matem
atico la disyunci
on siempre tiene un
significado inclusivo. Si se quiere hacer una afirmaci
on excluyente se debe
hacer de manera explcita (adicionar pero no ambos, o algo similar).
ogicos
Una implicaci
on es una proposici
on que afirma que la verdad de una
proposici
on P lleva a la verdad de una proposici
on Q (lo que en l
ogica se
denota P Q).
ogicos
Una implicaci
on es una proposici
proposici
on Q (lo que en l
ogica se
denota P Q). En una implicaci
on P Q, la proposici
on P se llama
antecedente y la proposici
on Q se llama consecuente.
ogicos
Una implicaci
on es una proposici
proposici
on Q (lo que en l
ogica se
on P se llama
on Q se llama consecuente. En el lenguaje
ordinario se usa Si. . . entonces. . . para expresar la implicaci
on.
ogicos
Una implicaci
on es una proposici
proposici
on Q (lo que en l
ogica se
on P se llama
on.
Ejemplos:
Si Juan es antioque
no, entonces es colombiano.
ogicos
Una implicaci
on es una proposici
proposici
on Q (lo que en l
ogica se
on P se llama
on.
Ejemplos:
Si Juan es antioque
Si 27 es m
ultiplo de 3, entonces 27 es m
ultiplo de 6.
ogicos
Una implicaci
on es una proposici
proposici
on Q (lo que en l
ogica se
on P se llama
on.
Ejemplos:
Si Juan es antioque
Si 27 es m
ultiplo de 6.
Si las vacas vuelan, entonces yo soy superman.
ogicos
Una implicaci
on es una proposici
proposici
on Q (lo que en l
ogica se
on P se llama
on.
Ejemplos:
Si Juan es antioque
Si 27 es m
ultiplo de 6.
Si las vacas vuelan, entonces 1 + 1 = 2.
ogicos
Una implicaci
on es una proposici
proposici
on Q (lo que en l
ogica se
on P se llama
on.
Ejemplos:
Si Juan es antioque
Si 27 es m
ultiplo de 6.
Si las vacas vuelan, entonces 1 + 1 = 2.
Cu
ogicos
ales son las condiciones de verdad de
P Q?
ogicos
P Q?
P
V
Q
V
P Q
ogicos
P Q?
P
V
Q
V
P Q
V
ogicos
P Q?
P
V
V
Q
V
F
P Q
V
ogicos
P Q?
P
V
V
Q
V
F
P Q
V
F
ogicos
P Q?
P
V
V
F
Q
V
F
V
P Q
V
F
ogicos
P Q?
P
V
V
F
Q
V
F
V
P Q
V
F
V
ogicos
P Q?
P
V
V
F
F
Q
V
F
V
F
P Q
V
F
V
ogicos
P Q?
P
V
V
F
F
Q
V
F
V
F
P Q
V
F
V
V
ogicos
Otras formas de escribir implicaciones (diferentes de Si..., entonces) son:
ogicos

Q si P es lo mismo que P Q
ogicos

Ejemplo: Un triangulo A es is
osceles si es equil
atero.
ogicos

osceles si es equil
atero.
P solo si Q es lo mismo que P Q
ogicos

osceles si es equil
atero.
P solo si Q es lo mismo que P Q
Ejemplo: Juan es antioque
no solo si es colombiano.
ogicos
P es condici
on suficiente para Q si de la verdad de P se sigue la verdad de
Q (es decir, si P Q es verdadero).
ogicos
P es condici
P es condici
on necesaria para Q si Q es verdadero solo si P tambien lo es
(es decir, si Q P es verdadero).
ogicos
P es condici
P es condici
Ejemplos:
Ser antioque
no es condici
on suficiente para ser colombiano.
ogicos
P es condici
P es condici
Ejemplos:
Ser antioque
no es condici
Ser antioque
no NO es condici
on necesaria para ser colombiano.
ogicos
P es condici
P es condici
Ejemplos:
Ser antioque
no es condici
Ser antioque
no NO es condici
Ser colombiano es necesario para ser antioque
no.
ogicos
P es condici
P es condici
Ejemplos:
Ser antioque
no es condici
Ser antioque
no NO es condici
no.
Ser colombiano NO es suficiente para ser antioque
no.
ogicos
P es condici
P es condici
Ejemplos:
Ser antioque
no es condici
Ser antioque
no NO es condici
no.
no.
Que x = 10 es suficiente para que x 0.
ogicos
P es condici
P es condici
Ejemplos:
Ser antioque
no es condici
Ser antioque
no NO es condici
no.
no.
Que x = 10 es suficiente para que x 0.
Que x 0 es necesario para que x = 10.
ogicos
En l
ogica, una implicaci
on no necesariamente afirma una relaci
on de
causa-efecto (y se llama implicaci
on material), pues para que P Q sea
verdadera no importan los significados de P y Q, ni la relaci
on entre estos,
sino sus valores de verdad. Pero en matem
aticas, en las proposiciones
implicativas normalmente hay una relaci
on entre el significado del
antecedente y el del consecuente.
ogicos
En l
on de
on entre estos,
Ejemplos: proposiciones verdaderas l
ogicamente, pero sin relevancia
matem
atica.
Si 2 divide a 4, entonces 2 es irracional.
ogicos
En l
on de
on entre estos,
Ejemplos: proposiciones verdaderas l
ogicamente, pero sin relevancia
matem
atica.
Si 2 divide a 4, entonces 2 es irracional.

Si 1 = 2, entonces 8 es primo.
ogicos
Dada una proposici

on de la forma P Q:
ogicos
Dada una proposici

on de la forma P Q:
Su recproca es la proposici
on Q P .
ogicos
Dada una proposici

on de la forma P Q:
on Q P .
Su contrarrecproca (o contrapositiva) es la proposici
on Q P .
ogicos
Dada una proposici

on de la forma P Q:
on Q P .
on Q P .
Ejemplo: para la proposici
on si A es un triangulo equil
atero, entonces es
is
osceles.
ogicos
Dada una proposici

on de la forma P Q:
on Q P .
on Q P .
atero, entonces es
is
osceles.
Su recproca es si A es un triangulo is
osceles, entonces es equil
atero.
ogicos
Dada una proposici

on de la forma P Q:
on Q P .
on Q P .
atero, entonces es
is
osceles.
atero.
Su contrarrecproca es si A no es un triangulo is
osceles, entonces no es
equil
atero.
ogicos
Dada una proposici

on de la forma P Q:
on Q P .
on Q P .
atero, entonces es
is
osceles.
atero.
Su contrarrecproca es si A no es un triangulo is
osceles, entonces no es
equil
atero.
Cu
ogicos
La proposici
on que afirma la implicaci
on de dos proposiciones P y Q en
ambos sentidos se llama doble implicaci
on (
o bicondicional) (en l
ogica se
denota P Q).
ogicos
La proposici
on (
ogica se
denota P Q). En el lenguaje ordinario se usa si y solo si para expresar
la doble implicaci
on.
ogicos
La proposici
on (
ogica se
la doble implicaci
on.
Ejemplos:
El producto de dos n
umeros enteros es par si y solo si ambos n
umeros
son pares.
ogicos
La proposici
on (
ogica se
la doble implicaci
on.
Ejemplos:
umeros
son pares.
Un entero a es par si y solo si a + 1 es impar.
ogicos
La proposici
on (
ogica se
la doble implicaci
on.
Ejemplos:
umeros
son pares.
25 es divisible por 3 si y solo si la suma de los dgitos de 25 es divisible
por 3.
ogicos
La proposici
on (
ogica se
la doble implicaci
on.
Ejemplos:
umeros
son pares.
25 es divisible por 3 si y solo si la suma de los dgitos de 25 es divisible
por 3.
Cu
ogicos
P Q?
ogicos
P Q?
P
V
Q
V
P Q
ogicos
P Q?
P
V
Q
V
P Q
V
ogicos
P Q?
P
V
V
Q
V
F
P Q
V
ogicos
P Q?
P
V
V
Q
V
F
P Q
V
F
ogicos
P Q?
P
V
V
F
Q
V
F
V
P Q
V
F
ogicos
P Q?
P
V
V
F
Q
V
F
V
P Q
V
F
F
ogicos
P Q?
P
V
V
F
F
Q
V
F
V
F
P Q
V
F
F
ogicos
P Q?
P
V
V
F
F
Q
V
F
V
F
P Q
V
F
F
V
ogicos
Ejemplo de representaci
on simb
olica de una proposici
on compuesta:
ogicos
on simb
on compuesta:
Proposici
on: 1238 es m
ultiplo de 3 y no es m
ultiplo de 6, si es impar y es
m
ultiplo de 3.
ogicos
on simb
on compuesta:
Proposici
on: 1238 es m
m
ultiplo de 3.
Representaci
on simb
olica: bajo las convenciones:
P : 1238 es m
ultiplo de 3.
Q: 1238 es m
ultiplo de 6.
R: 1238 es impar.
ogicos
on simb
on compuesta:
Proposici
on: 1238 es m
m
ultiplo de 3.
Representaci
on simb
P : 1238 es m
ultiplo de 3.
Q: 1238 es m
ultiplo de 6.
R: 1238 es impar.
La proposici
on anterior se representa por (R P ) (P Q).
ogicos
Ejemplo de pasar de representaci

on simb
olica a lenguaje natural:
ogicos

on simb
Representaci
on simb
P : soy paisa.
Q: me gustan los frijoles.
R: me gusta la arepa.
S: me gusta el ajiaco.
ogicos

on simb
Representaci
on simb
P : soy paisa.
Proposiciones:
P (Q R) representa
ogicos

on simb
Representaci
on simb
P : soy paisa.
Proposiciones:
P (Q R) representa si soy paisa, entonces me gustan los frijoles y
la arepa.
ogicos

on simb
Representaci
on simb
P : soy paisa.
Proposiciones:
la arepa.
(Q S) P representa
ogicos

on simb
Representaci
on simb
P : soy paisa.
Proposiciones:
la arepa.
(Q S) P representa no me gustan los frijoles y me gusta el ajiaco,
o soy paisa.
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
Tablas de verdad
Una tabla de verdad es una tabla en la que se muestran todos los posibles
valores de verdad que se pueden asignar a una proposici
on compuesta.
Tablas de verdad
on compuesta.
C
omo construir una tabla de verdad para una f
ormula ?
Tablas de verdad
on compuesta.
C
ormula ?
1
Construir una tabla, donde las columnas corresponden a las

subf
ormulas de y las filas corresponden a las posibles combinaciones
de valores de verdad para las variables proposicionales de (si n es el
n
umero de variables proposicionales de , cu
antas filas debe tener su
tabla de verdad?).
Tablas de verdad
on compuesta.
C
ormula ?
1

subf
n
tabla de verdad?).
Colocar todas las posibles combinaciones de valores de verdad para las

variables proposicionales de .
Tablas de verdad
on compuesta.
C
ormula ?
1

subf
n
tabla de verdad?).
Colocar todas las posibles combinaciones de valores de verdad para las

variables proposicionales de .
Asignar valores de verdad a subf

ormulas m
as complejas, hasta llegar a
, teniendo en cuenta los valores de verdad asignados a las subf
ormulas
anteriores y las condiciones de verdad de los conectivos l
ogicos.
Tablas de verdad
Tabla de verdad para (P Q) (P Q):

P
V
Q
V
P Q
P Q
(P Q) (P Q)
Tablas de verdad

P
V
Q
V
P
F
P Q
V
P Q
V
(P Q) (P Q)
V
Tablas de verdad

P
V
V
Q
V
F
P
F
P Q
V
P Q
V
(P Q) (P Q)
V
Tablas de verdad

P
V
V
Q
V
F
P
F
F
P Q
V
F
P Q
V
F
(P Q) (P Q)
V
V
Tablas de verdad

P
V
V
F
Q
V
F
V
P
F
F
P Q
V
F
P Q
V
F
(P Q) (P Q)
V
V
Tablas de verdad

P
V
V
F
Q
V
F
V
P
F
F
V
P Q
V
F
V
P Q
V
F
V
(P Q) (P Q)
V
V
V
Tablas de verdad

P
V
V
F
F
Q
V
F
V
F
P
F
F
V
P Q
V
F
V
P Q
V
F
V
(P Q) (P Q)
V
V
V
Tablas de verdad

P
V
V
F
F
Q
V
F
V
F
P
F
F
V
V
P Q
V
F
V
V
P Q
V
F
V
V
(P Q) (P Q)
V
V
V
V
Tablas de verdad
Una proposici
on es:
Tautologa: si solo puede tomar valor de verdad V . Las tautologas
tambien se llaman leyes l
ogicas o f
ormulas l
ogicamente v
alidas.
Tablas de verdad
Una proposici
on es:
ogicas o f
ormulas l
ogicamente v
alidas.
Ejemplos:
P P (doble negaci
on).
Tablas de verdad
Una proposici
on es:
ogicas o f
ormulas l
ogicamente v
alidas.
Ejemplos:
P P (doble negaci
on).
P P (tercer excluido).
Tablas de verdad
Una proposici
on es:
ogicas o f
ormulas l
ogicamente v
alidas.
Ejemplos:
P P (doble negaci
on).
((P (Q R)) ((P Q) (P R)) (Ley distributiva).
Tablas de verdad
Una proposici
on es:
ogicas o f
ormulas l
ogicamente v
alidas.
Ejemplos:
P P (doble negaci
on).
Contradicci
on: si solo puede tomar valor de verdad F .
Tablas de verdad
Una proposici
on es:
ogicas o f
ormulas l
ogicamente v
alidas.
Ejemplos:
P P (doble negaci
on).
Contradicci
Ejemplos:
P P .
Tablas de verdad
Una proposici
on es:
ogicas o f
ormulas l
ogicamente v
alidas.
Ejemplos:
P P (doble negaci
on).
Contradicci
Ejemplos:
P P .
P P .
Tablas de verdad
Una proposici
on es:
ogicas o f
ormulas l
ogicamente v
alidas.
Ejemplos:
P P (doble negaci
on).
Contradicci
Ejemplos:
P P .
P P .
Contingencia: si puede tomar valor de verdad V y F . Las contingencias
tambien se llaman enunciados condicionales.
Tablas de verdad
Una proposici
on es:
ogicas o f
ormulas l
ogicamente v
alidas.
Ejemplos:
P P (doble negaci
on).
Contradicci
Ejemplos:
P P .
P P .
Ejemplos:
P P .
Tablas de verdad
Una proposici
on es:
ogicas o f
ormulas l
ogicamente v
alidas.
Ejemplos:
P P (doble negaci
on).
Contradicci
Ejemplos:
P P .
P P .
Ejemplos:
P P .
P (P Q).
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
Negacion de conjunciones, disyunciones e implicaciones
La negaci
on de
2 es primo y es par
es equivalente a
La negaci
on de
2 es primo y es par
es equivalente a
2 no es primo o no es par.
La negaci
on de
2 es primo y es par
es equivalente a
Negaci
on de una conjunci
on: (P Q) es equivalente a
La negaci
on de
2 es primo y es par
es equivalente a
Negaci
on de una conjunci
on: (P Q) es equivalente a P Q (Ley de
De Morgan).
La negaci
on de
7 es m
ultiplo de 3 o de 5
es equivalente a
La negaci
on de
7 es m
ultiplo de 3 o de 5
es equivalente a
7 no es m
ultiplo de 5.
La negaci
on de
7 es m
ultiplo de 3 o de 5
es equivalente a
7 no es m
ultiplo de 5.
Negaci
on de una disyunci
La negaci
on de
7 es m
ultiplo de 3 o de 5
es equivalente a
7 no es m
ultiplo de 5.
Negaci
on de una disyunci
on: (P Q) es equivalente a P Q (Ley de
De Morgan).
La negaci
on de
Si Juan es antioque
no, entonces es colombiano
es equivalente a
La negaci
on de
Si Juan es antioque
es equivalente a
Juan es antioque
no y no es colombiano.
La negaci
on de
Si Juan es antioque
es equivalente a
Juan es antioque
Negaci
on de una implicaci
La negaci
on de
Si Juan es antioque
es equivalente a
Juan es antioque
Negaci
on de una implicaci
on: (P Q) es equivalente a P Q.
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
Cuantificadores
Para representar adecuadamente afirmaciones m

as complejas es
necesario el uso de variables, funciones proposicionales y
cuantificadores.
Cuantificadores

as complejas es
cuantificadores.
Las variables son letras que representan objetos indeterminados sobre
un cierto universo de discurso (o dominio de interpretaci
on).
Cuantificadores

as complejas es
cuantificadores.
on).
Las funciones proposicionales son expresiones cuyos valores de verdad
dependen de los valores asignados a ciertas variables.
Cuantificadores

as complejas es
cuantificadores.
on).
Las funciones proposicionales son expresiones cuyos valores de verdad
dependen de los valores asignados a ciertas variables.
En l
ogica y matem
atica se trabaja b
asicamente con dos
cuantificadores, el cuantificador universal (que en l
ogica se denota , y
que significa para todo) y el cuantificador existencial (que en l
ogica
se denota , y que significa existe al menos un).
Cuantificadores
Ejemplos de funciones proposicionales:

x + 5 = 0.
Cuantificadores

x + 5 = 0.
x2 0.
Cuantificadores

x + 5 = 0.
x2 0.
Adicionando cuantificadores a funciones proposicionales se obtienen
sentencias con significado completo, a las que se les puede asignar
valor de verdad (bajo un determinado universo de discurso).
Cuantificadores

x + 5 = 0.
x2 0.
Ejemplo de sentencias con cuantificadores:
Existe un x tal que x + 5 = 0 (verdadero en Z, falso en N). Se puede
representar por x(x + 5 = 0).
Cuantificadores

x + 5 = 0.
x2 0.
Ejemplo de sentencias con cuantificadores:
Existe un x tal que x + 5 = 0 (verdadero en Z, falso en N). Se puede
representar por x(x + 5 = 0).
Para todo x, x2 0 (verdadero en N, Z, Q y R). Se puede representar
por x(x2 0).
Cuantificadores
Se usa la notaci
on P (x1 , . . . , xn ) para representar funciones proposicionales
P cuyo valor de verdad depende de las variables x1 , . . . , xn .
Cuantificadores
Se usa la notaci
Ejemplos:
P (x): x es primo.
Cuantificadores
Se usa la notaci
Ejemplos:
P (x): x es primo.
Q(x, y): x 0 x + y y.
Cuantificadores
Si P (x) es una funci

on proposicional que depende de x:
x(P (x)) representa para todo x, P (x), y es verdadera en un universo
de discurso U si P (c) es verdadera para todos los objetos c que
pertenecen a U .
Cuantificadores
Si P (x) es una funci

on proposicional que depende de x:
x(P (x)) representa para todo x, P (x), y es verdadera en un universo
de discurso U si P (c) es verdadera para todos los objetos c que
pertenecen a U .
x(P (x)) representa existe (al menos un) x tal que P (x), y es
verdadera en un universo de discurso U si existe un objeto c que
pertenece a U tal que P (c).
Cuantificadores
Ejemplo: La sentencia x(0 x):
Cuantificadores

Es verdadera en los n
umeros naturales, pues para cualquier n
umero
natural n se tiene que 0 n es verdadero.
Cuantificadores

umero
Es falsa en los n
umeros enteros, pues no todos los n
umeros naturales
son mayores o iguales a 0 (por ejemplo, 0 2 es falso).
Cuantificadores

umero
Es falsa en los n
umeros naturales
Ejemplo: La sentencia x(x2 = 5):
Cuantificadores

umero
Es falsa en los n
umeros naturales
umeros reales, pues tanto
satisfacen la ecuaci
on x2 = 5.
5 como 5
Cuantificadores

umero
Es falsa en los n
umeros naturales
umeros reales, pues tanto
satisfacen la ecuaci
on x2 = 5.
5 como 5
Es falsa en los n
umeros racionales, pues no existe ning
un racional que
elevado a la dos de 5.
Cuantificadores
Para especificar que una variable x toma valores en un dominio (o universo

de discurso) U , se usa x U o x U .
Cuantificadores

Ejemplos:
x Z(x + 5 = 0).
Cuantificadores

Ejemplos:
x Z(x + 5 = 0).
x R(x2 0).
Cuantificadores

Ejemplos:
x Z(x + 5 = 0).
x R(x2 0).
La expresi
on x U (P (x)) es equivalente a x(x U P (x)).
Cuantificadores

Ejemplos:
x Z(x + 5 = 0).
x R(x2 0).
La expresi
La expresi
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
Negacion de cuantificadores
La negaci
on de
todos los gatos son negros
es equivalente a
La negaci
on de
es equivalente a
existen gatos que no son negros.
La negaci
on de
es equivalente a
Negaci
on de un cuantificador universal:
x(P (x)) es equivalente a
La negaci
on de
es equivalente a
Negaci
x(P (x)) es equivalente a x(P (x)).
La negaci
on de
es equivalente a
Negaci
x U (P (x)) es equivalente a
La negaci
on de
es equivalente a
Negaci
x U (P (x)) es equivalente a x U (P (x)).
La negaci
on de
existen vacas que vuelan
es equivalente a
La negaci
on de
es equivalente a
ninguna vaca vuela (o todas las vacas no vuelan).
La negaci
on de
es equivalente a
Negaci
on de un cuantificador existencial:
x(P (x)) es equivalente a
La negaci
on de
es equivalente a
Negaci
La negaci
on de
es equivalente a
Negaci
x U (P (x)) es equivalente a
La negaci
on de
es equivalente a
Negaci
x U (P (x)) es equivalente a x U (P (x)).
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
Combinacion de cuantificadores
En una sentencia se pueden usar varios cuantificadores.

Ejemplo: sea A un subconjunto de n
umeros reales, se dice que A tiene cota
superior si existe un n
umero real que es mayor o igual que todos los
elementos de A.

elementos de A.
C
omo expresar esta definici
on con smbolos l
ogicos?:

elementos de A.
C
on con smbolos l
ogicos?: A tiene cota
superior si x R y A(y x).

elementos de A.
C
on con smbolos l
A = [0, 1) tiene cota superior?.

elementos de A.
C
on con smbolos l
A = N tiene cota superior?.

elementos de A.
C
on con smbolos l
Cu
ando A no tiene cota superior?:

elementos de A.
C
on con smbolos l
Cu
ando A no tiene cota superior?: cuando x R y A(y x),
que es equivalente a x R y A(y x) (o x R y A(y > x)).
El orden en los cuantificadores es importante?

Ejemplos:
xy(x + y = 0) es equivalente a yx(x + y = 0) ?

Ejemplos:
xy(x y = y x) es equivalente a yx(x y = y x) ?

Ejemplos:
xy(x < y) es equivalente a yx(x < y) ?

Ejemplos:
xy(x < y) es equivalente a yx(x < y) ?
Nota: Cuando los cuantificadores son diferentes el orden es importante.
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
Existencia u
nica
Se usa !x(P (x)) para representar existe exactamente un x tal que P (x), y
esta sentencia es verdadera en un universo de discurso U si existe
exactamente un elemento c en U tal que P (c).
Existencia u
nica
Ejemplo: sea P (x): x es primo y Q(x): x es par. La sentencia existe un
u
nico primo par se representa por:
!x(P (x) Q(x)).
Existencia u
nica
u
!x(P (x) Q(x)).
C
omo representar la existencia u
nica sin usar ! ?:
Existencia u
nica
u
!x(P (x) Q(x)).
C
omo representar la existencia u
nica sin usar ! ?:
!x(P (x)) es equivalente a x(P (x)) xy((P (x) P (y)) x = y).
Metodos de demostracion
Una deducci
on es una secuencia de proposiciones, relacionadas de tal
manera que aceptar la verdad de las proposiciones iniciales (llamadas
hip
otesis o premisas) debe llevar a aceptar la verdad de la proposici
on final
(llamada conclusi
on).
Una deducci
hip
on final
(llamada conclusi
on).
Una demostraci
on o prueba es un argumento deductivo l
ogicamente v
alido
que justifica la verdad de una determinada proposici
on.
Una deducci
hip
on final
(llamada conclusi
on).
Una demostraci
ogicamente v
alido
on.
Que se puede usar en una demostraci
on?
Una deducci
hip
on final
(llamada conclusi
on).
Una demostraci
ogicamente v
alido
on.
on?
Definiciones.
Una deducci
hip
on final
(llamada conclusi
on).
Una demostraci
ogicamente v
alido
on.
on?
Definiciones.
Axiomas.
Una deducci
hip
on final
(llamada conclusi
on).
Una demostraci
ogicamente v
alido
on.
on?
Definiciones.
Axiomas.
Proposiciones previamente demostradas (llamadas teoremas).
Una deducci
hip
on final
(llamada conclusi
on).
Una demostraci
ogicamente v
alido
on.
on?
Definiciones.
Axiomas.
Leyes l
ogicas.
Una deducci
hip
on final
(llamada conclusi
on).
Una demostraci
ogicamente v
alido
on.
on?
Definiciones.
Axiomas.
Leyes l
ogicas.
Reglas de inferencia.
Definiciones: descripciones claras y precisas de los conceptos matem

aticos.

aticos.
Ejemplos:
Sean x y y n
umeros enteros, se dice que x divide a y, lo que se denota
x|y, si existe un entero k tal que y = k x.

aticos.
Ejemplos:
Sean x y y n
Sea x un n
umero natural, x es primo si x 6= 1 y es divisible solo por 1 y
el mismo.

aticos.
Ejemplos:
Sean x y y n
Sea x un n
el mismo.
Dos n
umeros enteros son coprimos (o primos relativos) si sus u
nicos
divisores comunes son 1 y 1 (en smbolos: x, y son coprimos si
(k|x k|y) (k = 1 k = 1)).

aticos.
Ejemplos:
Sean x y y n
Sea x un n
el mismo.
Dos n
nicos
(k|x k|y) (k = 1 k = 1)).
Un polgono regular es un polgono cuyos lados y a
ngulos interiores son
congruentes entre s.

aticos.
Ejemplos:
Sean x y y n
Sea x un n
el mismo.
Dos n
nicos
(k|x k|y) (k = 1 k = 1)).
Un polgono regular es un polgono cuyos lados y a
ngulos interiores son
congruentes entre s.
Las definiciones siempre son en ambas direcciones (es decir, son
sentencias de tipo si y solo si, aunque no se haga explcito el
bicondicional).
Por supuesto, una definici

on NO requiere demostraci
on. Sin embargo,
existen buenas y malas definiciones.

on. Sin embargo,
Cu
ando una definici
on es buena ?:

on. Sin embargo,
Cu
ando una definici
on es buena ?:
Cuando es lo suficientemente clara y precisa.

on. Sin embargo,
Cu
ando una definici
on es buena ?:
Cuando efectivamente separa una clase de objetos entre los que
satisfacen la definici
on y los que no la satisfacen.

on. Sin embargo,
Cu
ando una definici
on es buena ?:
Cuando los objetos que satisfacen la definici
on tienen algunas
propiedades interesantes.

on. Sin embargo,
Cu
ando una definici
on es buena ?:
on tienen algunas
Cuando crea un nuevo concepto que permite dar soluci
on
a un
problema (ejemplo: la definici
on de la unidad imaginaria i = 1).

on. Sin embargo,
Cu
ando una definici
on es buena ?:
on tienen algunas
Cuando crea un nuevo concepto que permite dar soluci
on
a un
problema (ejemplo: la definici
on de la unidad imaginaria i = 1).
Los nombres dados a los objetos matem
aticos muchas veces est
an
relacionados con sus propiedades (ejemplos: cota superior, lmite de una
funci
on) en otros casos se deben al nombre de su creador (ejemplos:
Algebra
Booleana, Conjunto de Cantor).
Axiomas: proposiciones que se aceptan como verdaderas en una teora.

Ejemplos: dos axiomas de la geometra Euclidiana son:

Dados dos puntos se puede trazar una recta que los une.

Dados dos puntos se puede trazar una recta que los une.
Por un punto exterior a una recta, se puede trazar una u
nica paralela
(axioma equivalente al axioma de las paralelas (o quinto
postulado de Euclides)).
Leyes l
ogicas: proposiciones l
ogicamente v
alidas.
Leyes l
ogicamente v
alidas.
Reglas de inferencias: deducci
on v
alida de proposiciones a partir de otras
proposiciones.
Leyes l
ogicamente v
alidas.
Reglas de inferencias: deducci
on v
alida de proposiciones a partir de otras
proposiciones.
Si de la verdad de un conjunto de sentencias {P1 , . . . , Pn } se sigue
necesariamente la verdad de la sentencia Q, se tiene la regla de
inferencia:
P1
..
.
Pn
Q
Ejemplos de reglas de inferencia:

Modus ponens
P Q
P
Q

Modus ponens
P Q
P
Q
Modus tollens
P Q
Q
P

Modus ponens
P Q
P
Q
Modus tollens
P Q
Q
P
Silogismo hipotetico
P Q
QR
P R

Modus ponens
P Q
P
Q
Modus tollens
P Q
Q
P
P Q
QR
P R
Silogismo disyuntivo
P Q
P
Q

Modus ponens
P Q
P
Q
Silogismo disyuntivo
P Q
P
Q
Modus tollens
P Q
Q
P
P Q
QR
P R
Disyunci
on de casos
P Q
P R
QR
R
Pasos a seguir en la construcci

on de una demostraci
on (siguiendo las reglas
de Polya):

de Polya):
Comprensi
on: identifique y comprenda las hip
otesis y la conclusi
on.

de Polya):
Comprensi
on.
Dise
no de un plan de soluci
on: escoja un metodo de demostraci
on.

de Polya):
Comprensi
on.
Dise
on.
Ejecuci
on del plan: construya la demostraci
on siguiendo el metodo
de demostraci
on elegido y las reglas de construcci
on de demostraciones.

de Polya):
Comprensi
on.
Dise
on.
Ejecuci
on del plan: construya la demostraci
on siguiendo el metodo
de demostraci
on elegido y las reglas de construcci
on de demostraciones.
An
alisis retrospectivo: una vez demostrada la proposici
on, h
agase el
siguiente tipo de preguntas: se puede generalizar el teorema? vale el
recproco? que pasa si elimino una de las hip
otesis? etc.
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
Demostracion directa
Demostraci
on directa: Para demostrar una proposici
on (usualmente de la
forma P Q), se parte de las hip
otesis (P ) y se van obteniendo nuevas
proposiciones (usando leyes l
ogicas, reglas de inferencia, definiciones,
axiomas o proposiciones previamente demostradas) hasta obtener la
proposici
on Q.
Demostraci
on directa: Para demostrar una proposici
on (usualmente de la
forma P Q), se parte de las hip
otesis (P ) y se van obteniendo nuevas
proposiciones (usando leyes l
ogicas, reglas de inferencia, definiciones,
axiomas o proposiciones previamente demostradas) hasta obtener la
proposici
on Q.
Nota: para obtener la secuencia de proposiciones que llevan de P a Q es u
til
tambien pensar de atr
as hacia adelante (preguntarse a que proposici
on S
debo llegar para obtener Q? y para obtener S a que debo llegar? y
as sucesivamente, hasta que los caminos que se est
an construyendo de
manera progresiva y regresiva se encuentren).
Ejemplo de demostraci
on directa.
Proposici
on: Si a, b y c son n
umeros enteros tales que a|b y b|c, entonces
a|c.
on directa.
Proposici
a|c.
Hip
otesis: (1) a, b y c son n
umeros enteros; (2) a|b y (3) b|c.
on directa.
Proposici
a|c.
Hip
Conclusi
on: a|c.
on directa.
Proposici
a|c.
Hip
Conclusi
on: a|c.
Demostraci
on: Sean a, b y c n
umeros enteros, tales que a|b y b|c.
Entonces a k = b, para alg
un entero k y b l = c, para alg
un entero l.
Luego (a k) l = c y por asociatividad del producto se tiene que
a (k l) = c. Por lo tanto a|c.
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
Demostracion por contrarrecproco
Demostraci
on por contrarrecproco: Para demostrar una proposici
on de la
forma P Q, se demuestra la proposici
on Q P .
Demostraci
on por contrarrecproco: Para demostrar una proposici
on de la
forma P Q, se demuestra la proposici
on Q P .
Justificaci
on: como P Q y Q P son f
ormulas equivalentes, si se
demuestra Q P , por equivalencia l
ogica se tiene P Q. En algunos
casos puede resultar m
as f
acil demostrar Q P que P Q.
on por contrarrecproco.
Proposici
on: Sea m un n
umero entero. Si m2 es impar entonces m es
impar.
Proposici
on: Sea m un n
umero entero. Si m2 es impar entonces m es
impar.
Demostraci
on: Sea m un n
umero entero. Supongamos que m no es impar,
entonces m es par. Luego, m = 2n para alg
un n
umero entero n. Se tiene
entonces que m2 = (2n)2 = 4n2 = 2(2n2 ). Como 2n2 es un n
umero entero,
entonces m2 es par, y por lo tanto m2 no es impar.
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
Demostracion por contradicci

on
Demostraci
on por contradicci
on (o reducci
on al absurdo): Para demostrar
una proposici
on P , se supone P y se deduce una contradicci
on (es decir,
se deduce Q Q para alguna proposici
on Q).

on
Demostraci
on por contradicci
on (o reducci
una proposici
on (es decir,
on Q).
Justificaci
on: Si se supone P y se llega a Q Q, se ha demostrado
P (Q Q), que es equivalente a (Q Q) P . Por la ley del tercer
excluido y modus ponens se tiene P .

on
Demostraci
on por contradicci
on (o reducci
una proposici
on (es decir,
on Q).
Justificaci
on: Si se supone P y se llega a Q Q, se ha demostrado
P (Q Q), que es equivalente a (Q Q) P . Por la ley del tercer
excluido y modus ponens se tiene P .
Nota: Si la proposici
on P a demostrar es de la forma Q R, se supone Q y
R (que es equivalente a (Q R)) y se deduce una contradicci
on.

on
on por contradicci
on.
Proposici
on: 2 es irracional.

on
on por contradicci
on.
Proposici
Definici
on: Un n
umero real r es racional si existen n
umeros enteros a, b
tales que r = ab , y es irracional en caso contrario.

on
on por contradicci
on.
Proposici
Definici
on: Un n
umero real r es racional si existen n
umeros enteros a, b
tales que r = ab , y es irracional en caso contrario.
Demostraci
Sean a, b n
umeros enteros
on:a Suponga que 2 es racional.
tales que 2 = b . Se puede suponer que ab es irreducible (si no lo es, se
0
0
puede reducir ab , y se obtienen enteros a0 , b0 tales que 2 = ab0 y ab0 es
irreducible). Se tiene entonces que:
a 2
( 2)2 =
,
b
a2
2= 2,
b
2b2 = a2 .

on
Luego, a2 es par, y por lo tanto a es par. Sea a = 2k, donde k es un n

umero
entero. Entonces:
2b2 = (2k)2 ,
2b2 = 4k2 ,
b2 = 2k2 .
Luego, b2 es par y b tambien lo es. Entonces
Por lo tanto, 2 es irracional.
a
b
es reducible (contradicci
on).
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
Demostracion por casos
Demostraci
on por casos: Para demostrar una proposici
on P Q, si P
puede dividirse en casos P1 , . . . , Pn (es decir, si P es equivalente a
P1 . . . Pn ), se demuestran las proposiciones P1 Q, . . . , Pn Q.
Demostraci
on por casos: Para demostrar una proposici
on P Q, si P
puede dividirse en casos P1 , . . . , Pn (es decir, si P es equivalente a
P1 . . . Pn ), se demuestran las proposiciones P1 Q, . . . , Pn Q.
Justificaci
on: (P1 . . . Pn ) Q es equivalente a
(P1 Q) . . . (Pn Q).
on por casos.
Proposici
on: Sea n un n
umero entero, entonces n2 + n es par.
on por casos.
Proposici
on: Sea n un n
umero entero, entonces n2 + n es par.
Demostraci
on: Sea n un n
umero entero, entonces n es par o n es impar.
Caso 1 (si n es par): existe un entero k tal que n = 2k y se tiene que
n2 + n = (2k)2 + 2k = 4k2 + 2k = 2(2k2 + k). Como k es entero,
2k2 + k tambien lo es, y por lo tanto n2 + n es par.
Caso 2 (si n es impar): existe un entero k tal que n = 2k + 1 y se tiene
que n2 + n = (2k + 1)2 + 2k + 1 = 4k2 + 4k + 1 + 2k + 1 =
4k2 + 6k + 2 = 2(2k2 + 3k + 1). Como k es entero, 2k2 + 3k + 1
tambien lo es, y por lo tanto n2 + n es par.
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
Demostraci
on de sentencias universales: para demostrar una sentencia de la
forma x U (P (x)), comience por suponer un objeto arbitrario x U y
muestre que x satisface la propiedad P . Como el objeto elegido al comienzo
es arbitrario, la propiedad mostrada vale para todos los objetos en U .
Demostraci
on de sentencias universales: para demostrar una sentencia de la
forma x U (P (x)), comience por suponer un objeto arbitrario x U y
muestre que x satisface la propiedad P . Como el objeto elegido al comienzo
es arbitrario, la propiedad mostrada vale para todos los objetos en U .
Ejemplo: en el ejemplo anterior, la sentencia Sea n un n
umero entero,
entonces n2 + n es par es equivalente a la sentencia n Z(n2 + n es par),
y la demostraci
on se hizo suponiendo al comienzo que n es un n
umero
entero arbitrario, por lo tanto, la demostraci
on vale para todo n Z.
Demostraci
on de sentencias existenciales: una forma de demostrar una
sentencia de la forma x U (P (x)) es exhibir o construir un objeto x U
que satisface la propiedad P .
Demostraci
Ejemplo:
Proposici
on: Existen dos n
umeros primos tales que su suma es
n
umero primo.
Demostraci
Ejemplo:
Proposici
on: Existen dos n
n
umero primo.
Demostraci
on: 2 y 3 son n
umeros primos y su suma (5) tambien es
n
umero primo.
Demostraci
Ejemplo:
Proposici
on: Existen dos n
n
umero primo.
Demostraci
on: 2 y 3 son n
umeros primos y su suma (5) tambien es
n
umero primo.
2 y 3 son los u
nicos n
umeros primos cuya suma es primo?

Ejemplo: Si a, b, c, d, e y f son n
umeros reales tales que ad bc 6= 0,
entonces el conjunto de ecuaciones {ax + by = e, cx + dy = f } tiene
soluci
on.

soluci
on.
D
onde est
a el cuantificador existencial en la proposici
on anterior?

soluci
on.
D
onde est
on anterior?
el conjunto de ecuaciones {ax + by = e, cx + dy = f } tienen soluci
on es
equivalente a Existen n
umeros reales x y y tales que ax + by = e y
cx + dy = f .

soluci
on.
D
onde est
on anterior?
on es
cx + dy = f .
Proceso para llegar a la demostraci
on: razonando de atr
as hacia
adelante, se supone ax + by = e y cx + dy = f , y mediante operaciones
algebraicas se llega a:
x=
de bf
af ce
, y=
.
ad bc
ad bc

soluci
on.
D
onde est
on anterior?
on es
cx + dy = f .
Proceso para llegar a la demostraci
on: razonando de atr
as hacia
adelante, se supone ax + by = e y cx + dy = f , y mediante operaciones
algebraicas se llega a:
x=
de bf
af ce
, y=
.
ad bc
ad bc
Demostraci
on: Sean a, b, c, d, e y f n
af ce
entonces x = debf
y
y
=
son
n
u
meros
reales y satisfacen las
adbc
adbc
ecuaciones ax + by = e y cx + dy = f .
Existen pruebas no constructivas de existencia, en las que se demuestra

que un determinado tipo de objeto existe sin exhibir o construir un objeto
con esas caractersticas.
Existen pruebas no constructivas de existencia, en las que se demuestra

que un determinado tipo de objeto existe sin exhibir o construir un objeto
con esas caractersticas.
Ejemplo: la existencia de irracionales puede ser deducida de la
numerabilidad de los racionales y la no numerabilidad de los reales.

Demostraci
on de existencia u
nica: como una sentencia de la forma
!x(P (x)) es equivalente a x(P (x)) x, y((P (x) P (y)) x = y), para
demostrar !x(P (x)) se debe demostrar primero la existencia (x(P (x))) y
luego la unicidad (x, y((P (x) P (y)) x = y)).

Demostraci
on de existencia u
Ejemplo Para todo n
umero real positivo y, existe un u
nico n
umero real x
tal que 2x = y.

Demostraci
on de existencia u
Ejemplo Para todo n
nico n
umero real x
tal que 2x = y.
Demostraci
on:
Existencia: se prueba como se indic
o anteriormente.

Demostraci
on de existencia u
Ejemplo Para todo n
nico n
umero real x
tal que 2x = y.
Demostraci
on:
Existencia: se prueba como se indic
o anteriormente.
Unicidad: sean x y z n
umeros reales tales que 2x = y y 2z = y,
entonces:
2x = 2 z ,
log2 (2x ) = log2 (2z ),
x = z.
Indice
1
Introducci
on

ogico
ogicos
Tablas de verdad
Negaci
Cuantificadores
Negaci
Combinaci
Existencia u
nica
on
Demostraci
on directa
Demostraci
Demostraci
on por contradicci
on
Demostraci
on por casos
Refutaci
Refutacion con contraejemplos
Un contraejemplo es un ejemplo que muestra que una determinada

proposici
on es falsa.

proposici
on es falsa.
Los contraejemplos son u
tiles para refutar proposiciones.

proposici
on es falsa.
Pregunta: la proposici
on Todos los subconjuntos de los n
umeros reales
tienen cota superior es verdadera?

proposici
on es falsa.
umeros reales
Un contraejemplo para la proposici
on anterior es N, pues para cualquier
n
umero real siempre existe un n
umero natural que es mayor que el (parte
entera del n
umero real m
as 1, por ejemplo).

proposici
on es falsa.
umeros reales
Un contraejemplo para la proposici
on anterior es N, pues para cualquier
n
umero real siempre existe un n
umero natural que es mayor que el (parte
entera del n
umero real m
as 1, por ejemplo).
Nota: siempre que se intenta establecer la verdad de una proposici
on se
debe, por un lado, buscar una demostraci
on, y por otro buscar un
contraejemplo; para finalmente lograr demostrar o refutar, respectivamente,
dicha proposici
on.
Referencias bibliograficas
de Guzm
an-Oz
amiz, M. (2004).
C
omo Hablar, Demostrar y Resolver en Matem
aticas.
Base Universitaria. Anaya.
Houston, K. (2009).
How to Think Like a Mathematician.
A Companion to Undergraduate Mathematics. Cambridge University
Press.
Solow, D. (1993).
C
omo Entender y Hacer Demostraciones en Matem
aticas.
Limusa, Noriega Editores.
Traducci
on del libro How to Read and Do Proofs.
Uzc
ategui-Aylwin, C. (2011).
L
ogica, Conjuntos y N
umeros.
Consejo de Publicaciones, Universidad de los Andes, Venezuela.

Elementos Logic A

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Elementos Logic A

Загружено:

Авторское право:

Доступные форматы

Elementos de l

Del lenguaje natural al lenguaje l

Del lenguaje natural al lenguaje l

Para definir que es una deducci

Para definir que es una deducci

Para definir que es una deducci

Para definir que es una deducci

Para definir que es una deducci

Para definir que es una deducci

Para definir que es una deducci

Para definir que es una deducci

Para definir que es una deducci

Ejemplos de sentencias o expresiones que no son proposiciones:

Ejemplos de sentencias o expresiones que no son proposiciones:

Ejemplos de sentencias o expresiones que no son proposiciones:

Ejemplos de sentencias o expresiones que no son proposiciones:

Ejemplos de sentencias o expresiones que no son proposiciones:

Ejemplos de sentencias o expresiones que no son proposiciones:

A las proposiciones se les puede aplicar ciertas operaciones l

A las proposiciones se les puede aplicar ciertas operaciones l

A las proposiciones se les puede aplicar ciertas operaciones l

A las proposiciones se les puede aplicar ciertas operaciones l

A las proposiciones se les puede aplicar ciertas operaciones l

En el lenguaje ordinario, en particular en el espa

En el lenguaje ordinario, en particular en el espa

En el lenguaje ordinario, en particular en el espa

En el lenguaje natural, el conectivo y se usa algunas veces con una

En el lenguaje natural, el conectivo y se usa algunas veces con una

En el lenguaje natural, el conectivo y se usa algunas veces con una

En el lenguaje natural, el conectivo o se usa algunas veces de manera

En el lenguaje natural, el conectivo o se usa algunas veces de manera

En el lenguaje natural, el conectivo o se usa algunas veces de manera

Otras formas de escribir implicaciones (diferentes de Si..., entonces) son:

Otras formas de escribir implicaciones (diferentes de Si..., entonces) son:

Otras formas de escribir implicaciones (diferentes de Si..., entonces) son:

Otras formas de escribir implicaciones (diferentes de Si..., entonces) son:

Otras formas de escribir implicaciones (diferentes de Si..., entonces) son:

Si 2 divide a 4, entonces 2 es irracional.

Si 2 divide a 4, entonces 2 es irracional.

Dada una proposici

Dada una proposici

Dada una proposici

Dada una proposici

Dada una proposici

Dada una proposici

Dada una proposici

Ejemplo de pasar de representaci

Ejemplo de pasar de representaci

Ejemplo de pasar de representaci

Ejemplo de pasar de representaci

Ejemplo de pasar de representaci

Ejemplo de pasar de representaci

Del lenguaje natural al lenguaje l

Construir una tabla, donde las columnas corresponden a las

Construir una tabla, donde las columnas corresponden a las

Colocar todas las posibles combinaciones de valores de verdad para las

Construir una tabla, donde las columnas corresponden a las

Colocar todas las posibles combinaciones de valores de verdad para las

Asignar valores de verdad a subf

Tabla de verdad para (P Q) (P Q):

Tabla de verdad para (P Q) (P Q):

Tabla de verdad para (P Q) (P Q):

Tabla de verdad para (P Q) (P Q):

Tabla de verdad para (P Q) (P Q):