Matematicas Discretas: Logica

Matematicas DiscretasI
Lgica
Un idad I .Lgica
Conte nido:
1.1. ENUNCIADOS O PROPOSICIONES ......................................................................................... 2

1.1.1. INTRODUCCIN AL ORIGEN Y UTILIDAD DE LAS MATEMTICAS DISCRETAS ...................... 2
1.1.2. DEFINICIN DE LGICA ........................................................................................................ 2
1.1.3. DIFERENCIA ENTRE UN ENUNCIADO Y PROPOSICIN .......................................................... 2
1.2. C ONECTIVOS LGICOS ........................................................................................................... 4
1.2.1. NEGACIN O CONTRADICTORIA ............................................................................................ 5
1.2.2. CONJUNCIN ........................................................................................................................ 5
1.2.3. DISYUNCIN O ALTERNACIN .............................................................................................. 6
1.3. T ABLAS DE VERDAD ............................................................................................................... 7
1.4. C ONDICIONALES .................................................................................................................... 8
1.4.1. CONDICIONAL ....................................................................................................................... 8
1.4.2. B ICONDICIONAL O EQUIVALENCIA ....................................................................................... 9
1.4.3. RECPROCA .......................................................................................................................... 11
1.4.4. CONTRAPUESTA (CONTRAPOSITIVA, CONTRAPOSICIN O TRANSPOSICIN )...................... 11
1.4.5. TAUTOLOGAS ..................................................................................................................... 11
1.4.6. CONTRADICCIN ................................................................................................................. 11
1.4.7. CONTINGENCIA ................................................................................................................... 12
1.5. APLICACIN DE LAS PROPOSICIONES ................................................................................12
1.5.1. ANLISIS DE PROBLEMAS CON PROPOSICIONES ................................................................ 12
1.5.2. INTERPRETACIN DE PROGRAMAS RECURSIVOS ................................................................ 13
1.5.3. EJERCICIOS . ........................................................................................................................ 14
1.6. PROCESOS DE DEMOSTRACIN..........................................................................................15
1.6.1. INFERENCIAS ...................................................................................................................... 17
1.6.2. REGLA DE MODUS PONENDO PONENS ................................................................................ 20
1.6.3. REGLA DE LA DOBLE N EGACIN ........................................................................................ 21
1.6.4. REGLA DEL MODUS TOLLENDO TOLLENS ........................................................................... 22
1.6.5. LEYES DE ADJUNCIN Y SIMPLIFICACIN .......................................................................... 23
1.6.6. REGLA DE S ILOGISMO DISYUNTIVO.................................................................................... 23
1.6.7. LEY DE ADICIN .................................................................................................................. 24
1.6.8. REGLA DE S ILOGISMO HIPOTTICO.................................................................................... 25
1.7. I NDUCCIN MATEMTICA....................................................................................................25
1.8. REFERENCIAS.......................................................................................................................30
Maribel Gmez Franco
Lgica
1.1. Enunciados o Proposiciones

1.1.1. Introduccin al origen y utilidad de las Matemticas Discretas
Las Matemticas Discretas son matemticas finitas, las cuales estudian problemas matemticos
concernientes a conjuntos finitos. El adjetivo discreto significa separado, dividido, discontinuo. Es
el estudio de los mtodos y principios que se utilizan para distinguir el razonamiento bueno (correcto)
del malo (incorrecto).
La influencia de las Matemticas Discretas a mediados del siglo veinte se puede atribuir en gran
medida a dos mquinas, el telfono y la computadora. La industria telefnica se enfrent con
problemas que involucran, conmutacin, circuitos relevadores, redes y codificacin. Debido a que
estos problemas a menudo se convierten en problemas de matemticas discretas, la investigacin en
matemticas discretas ha sido motivada por problemas que involucran el telfono y ha sido publicada
por Laboratorios Bell. As como el telfono, la computadora ha proporcionado una gran fuente de
problemas en matemticas discretas. Su habilidad para realizar clculos con velocidad ha hecho
prcticas algunas tcnicas de matemticas discretas las cuales hubieran permanecido esotricas o
sin uso. [4]
1.1.2. Definicin de Lgica

La lgica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones del
conocimiento humano. Serie coherente de ideas. La lgica estudia mtodos de razonamiento,
especficamente, mtodos que separan los razonamientos vlidos de los no vlidos. Para demostrar
los teoremas en matemticas es necesario razonar correctamente en la prueba de ellos [2].
Una de las principales tareas de la lgica es la de proporcionar las reglas por medio de las cuales
podemos determinar cuando un razonamiento o argumento es vlido. [1]
La lgica tiene importantes aplicaciones prcticas. Sus reglas se utilizan, por ejemplo, en la escritura
de programas de computadoras y en el diseo de circuitos digitales. La lgica tambin juega un gran
papel en la construccin de pruebas matemticas. [4]
1.1.3. Diferencia entre un enunciado y proposicin

Un enunciado u oracin es una proposicin que se demuestra durante el curso de otra
demostracin. Un enunciado es una afirmacin verbal o escrita que puede ser verdadera o falsa.
Estas afirmaciones se realizan por medio de enunciados declarativos.
Una proposicin o declaracin es una afirmacin que puede ser verdadera o falsa, pero no ambas
a la vez. Una proposicin es una expresin declarativa que no pueden dividirse o analizarse por
medio de expresiones declarativas ms sencillas y, adems, solo puede decirse que ellas son falsas o
verdaderas. En el estudio de la lgica slo se admiten expresiones declarativas; no se admiten
expresiones interrogativas, exclamativas, etc.
Las proposiciones son verdaderas o falsas, y en esto difieren de las preguntas, rdenes y
exclamaciones. Solamente las proposiciones se pueden afirmar o negar; las preguntas se pueden
responder, las ordenes se pueden dar y las exclamaciones pueden pronunciarse, pero ninguna de
ellas se puede afirmar, negar o juzgarse como verdadera o falsa.
Maribel Gmez Franco
Lgica
Es usual distinguir entre las oraciones y las proposiciones que expresan. Dos oraciones, que son
claramente distintas porque constan de diferentes palabras ordenadas en distintas formas, pueden
en el mismo contexto tener el mismo significado y emplearse para afirmar la misma proposicin.
Pedro conduce el auto.
El auto es conducido por Pedro.
son dos oraciones diferentes, porque la primera contiene cuatro palabras y mientras que la segunda
contiene seis. Pero las dos tienen el mismo significado. Se utiliza el trmino proposicin para
referirse al contenido que ambos enunciados afirman [7].
La diferencia entre enunciados y proposiciones puede entenderse mejor si se hace notar que una
oracin es siempre oracin de un lenguaje particular en el cual se emite, mientras que las
proposiciones no son propias de un lenguaje. Las cuatro oraciones:
It is raining.
Est lloviendo.
Il pleut.
Es regnet.
ciertamente son diferentes, porque estn escritas en lenguajes diferentes: ingls, espaol, francs y
alemn, pero tienen el mismo significado, y en un contexto apropiado se pueden usar para afirmar la
proposicin de la cual cada una es una formulacin distinta.
Los trminos proposicin y enunciado no son exactamente sinnimos, pero en el contexto de la
investigacin lgica se usan en un sentido muy parecido. Algunos autores prefieren el trmino
enunciado al de proposicin [7].
Una proposicin es un teorema de menor generalidad o importancia. Se pueden utilizar letras
maysculas o minsculas, en este texto, se utilizan minsculas como p, q, o r, para denotar las
proposiciones. Por ejemplo:
p: 9 + 5 = 14 .
q: Ciudad Jurez es la capital de Chihuahua.
r: El nmero de tomos en el universo es 1075.
s: Si x es un nmero positivo real y x 2=9, entonces x=3.
De lo anterior, p es una proposicin verdadera, q es falsa; r puede ser verdadera o falsa, pero no
ambas; y s es proposicin verdadera.
Para entender mejor qu es una proposicin, a continuacin se listan algunos enunciados que no son
proposiciones:
u: Entrega tu tarea!
v: Si x 2=9, entonces x=3.
w: Es divertido este curso?
El enunciado v no es una proposicin porque la variable x no se especifica. Si x fuera un nmero
real positivo, entonces la proposicin v sera verdadera, pero si x fuera -3, entonces sera falsa. Por
ltimo, u y w no son enunciados declarativos.
Ejercicio 1. Escriba tres proposiciones simples.
Maribel Gmez Franco
Lgica
Ejercicio 2. Indique la razn por la cual las siguientes expresiones no son proposiciones:
a) Vamos al cine?
b) Prstame tu calculadora.
c) Presione ENTER para finalizar.
d) Enciende la computadora.
1.2. Conectivos lgicos

Existen tres maneras bsicas para construir nuevas proposiciones, se pueden combinar dos
proposiciones con y, o, o se puede negar una proposicin. Las proposiciones que resultan de
combinar otras reciben el nombre de proposiciones compuestas. Una proposicin que no es
combinacin de otras se conoce como proposicin atmica. En otras palabras, una proposicin
compuesta est formada por proposiciones atmicas.
Ejemplos de proposiciones compuestas:
a) Del siguiente prrafo:
Las compuertas lgicas son la base para el desarrollo de circuitos integrados ms complejos y el
diseo de sistemas digitales.
Las proposiciones simples que se encuentran son:
?
?
Las compuertas lgicas son la base para el desarrollo de circuitos digitales ms complejos.
Las compuertas lgicas son la base para el diseo de sistemas digitales.
b) Del siguiente prrafo:

La seleccin y uso de los circuitos digitales integrados en un diseo dependen de la aplicacin del
mismo.
Las proposiciones simples que se encuentran son:
?
?
La seleccin de los circuitos digitales en un diseo dependen de la aplicacin del mismo.

El uso de los circuitos digitales integrados en un diseo dependen de la aplicacin del mismo.
c) Si las compuertas lgicas son la base para el diseo de circuitos digitales de mediana escala de
integracin, entonces se deben estudiar primero antes de hacer diseos con ellas.
Las proposiciones simples son:
? Las compuertas lgicas son la base para el diseo de circuitos digitales de mediana escala de
integracin
? Las compuertas lgicas se deben estudiar primero antes de hacer diseos con ellas.
d) Un programa es legible solamente si est bien estructurado.
?
?
Un programa es legible
Un programa est bien estructurado
Maribel Gmez Franco
Lgica
Ejercicio 3: Cules son las proposiciones simples de las siguientes proposiciones compuestas?
a) El nmero 7 es impar y el nmero 8 es par.
b) La lgica es una disciplina que estudia la estructura, el fundamento y el uso de las expresiones del
conocimiento humano.
c) Los programas son formulaciones concretas de algoritmos abstractos basados en ci ertas
representaciones y estructuras de datos.
1.2.1. Negacin o contradictoria

Sea p una proposicin. Se define la negacin de p, denotada por p (? p, p, ~p) como la proposicin
que es verdadera cuando p es falsa, y es falsa cuando p es ver dadera. [5]. Se puede formar la
negacin p de p, invirtiendo simplemente los valores de verdad de p. Suele leerse p como no p. Por
ejemplo:
p: El lpiz se quebr
La negacin de p es la proposicin:
p : El lpiz no se quebr
La negacin de cualquier enunciado verdadero es falsa y la negacin de cualquier enunciado falso es
verdadera. La negacin de un enunciado se puede expresar prefijando la frase no, es falso que, o
no es el caso que.
1.2.2. Conjuncin
Sean p y q dos proposiciones. Se define la conjuncin de p y q, denotada con p ? q, como la
proposicin que es verdadera cuando ambas, p y q, sean verdaderas, y es falsa, cuando p o q, o ambas
sean falsas. [5]. Por ejemplo:
p: El carro est descompuesto
q: La escuela est lejos
La conjuncin de p y q es:
p ? q: El carro est descompuesto y la escuela est lejos
La conjuncin de dos enunciados se puede formar colocando la palabra y entre ellos: los dos
enunciados as combinados se llaman conyuntos. Otro smbolo que se puede utilizar para
representar una conjuncin es el punto ?.
Maribel Gmez Franco
Lgica
1.2.3. Disyuncin o alternacin

Sean p y q dos proposiciones. Se define la disyuncin de p y q, denotada con p ? q, como la
proposicin que es verdadera cuando ya sea que p o q o ambas sean verdaderas, y es falsa, cuando
ambas p y q, sean falsas. [5]
Considerando las proposiciones del ejemplo anterior, la disyuncin de p y q es:
p ? q: El carro est descompuesto o la escuela est lejos
La disyuncin de dos enunciados se forma en espaol insertando la palabra o entre ellos (OR, en
ingls). Los dos componentes combinados de esta forma se llaman disyuntos (o alternativas). La
palabra o es ambigua, tiene dos significados relacionados pero distintos. Una disyuncin dbil o
inclusiva es verdadera solamente cuando uno o los dos disyuntos son verdaderos: solamente si los
dos disyuntos son falsos, la disyuncin inclusiva es falsa. El o inclusivo tiene el sentido de
cualquiera, posiblemente ambos. En algunas situaciones se puede representar como y/o [7].
La palabra o tambin se utiliza en un sentido fuerte o exclusiva, en el cual el significado no es
por lo menos uno sino uno y slo uno. La o exclusivo (XOR) se denota por p ? q. La proposicin
compuesta p ? q es verdadera si una o la otra pero no ambas proposiciones p, q es verdadera. La
XOR tambin se puede simbolizar con ? y significa que una o la otra es verdadera pero no ambas.
El latn tiene dos palabras diferentes que corresponden a los dos sentidos de la disyuncin. La
palabra vel significa la disyuncin inclusiva, mientras que la palabra aut corresponde a la disyuncin
exclusiva. Se acostumbra utilizar la letra inicial de la palabra vel para representar la disyuncin en
su sentido inclusivo [7].
Si las proposiciones p1, ..., pn, se combinan para formar la proposicin compuesta P, se escribir en
ocasiones
P = P(p1, . . . , pn)
Utilizando los conectivos o trminos de enlace y sus smbolos las proposiciones se pueden escribir en
forma simblica. A continuacin se listan algunos ejemplos,
1. Necesito hacer ejercicio o ponerme a dieta.
p: necesito hacer ejercicio
q: necesito ponerme a dieta
y su simbolizacin es: p ? q
2. Llegar a tiempo a clase no es problema para los estudiantes y ellos pueden aprender mejor.
p: llegar a tiempo a clase es problema para los estudiantes
q: ellos pueden aprender mejor
3. Las compuertas lgicas son la base para el desarrollo de circuitos integrados ms complejos y el
diseo de sistemas digitales.
Donde las proposiciones simples son:
p: Las compuertas lgicas son la base para el desarrollo de circuitos digitales ms complejos.
q: Las compuertas lgicas son la base para el diseo de sistemas digitales.
y se representa de la siguiente forma: p? q.
Maribel Gmez Franco
Lgica
1.3. Tablas de verdad

Los valores de verdad o veracidad de una proposicin compuesta pueden describirse por una tabla de
verdad. La tabla de verdad de una proposicin compuestas P = P(p1, . . . , pn) enumera todas las
posibles combinaciones de los valores de verdad para p1, ... , pn. Se denota T (true) al valor verdadero
y F, al falso. Para cada una de estas combinaciones enuncia el valor de verdad de P (p1, . . . , pn). En la
figura 1.1 se definen las tablas de verdad de la negacin, conjuncin y disyuncin. En las tablas de
verdad se puede utilizar un uno (1) para representar un valor verdadero y un cero (0) para falso.
p? q
p? q
a) Conjuncin
b) Disyuncin
c) Negacin
Figura 1.1 Tablas de verdad.
Ejercicio 4. Encuentre el valor de verdad de la proposicin ( p ? q ) ? r.

Si se tienen tres proposiciones, entonces se requieres de ocho renglones para representar todos los
posibles valores de cada una de ellas.
p
p ? q
( p ? q ) ? r
Si la frmula contiene una variable, cuntos renglones aparecen en la tabla?

Si la frmula contiene dos variables, cuntos renglones aparecen en la tabla?
Si la frmula contiene tres variables, cuantos renglones aparecen en la tabla?
Si la frmula tuviera n variables, cuntos renglones deberan aparecer en la tabla?
Maribel Gmez Franco
______
______
______
______
Lgica
Ejercicio 5. Construir las tablas de verdad de las siguientes proposiciones:

1) ( p ? q ) ? (r? s)
2) (p? (q ? r )) ? s
3) ( p? (q ? r )) ? (r ? s)
1.4. Condicionales
1.4.1. Condicional
La implicacin condicional p ? q (si p entonces q) significa que la veracidad de p implica la
veracidad de q. Es decir, si p es verdadera, entonces q debe ser verdadera. La nica manera de que
esto falle es que p sea verdadera cuando q es falsa. La proposicin si p entonces q tambin se lee p
implica q.
La proposicin p se denomina hiptesis o antecedente y la proposicin q, conclusin o consecuente. La
hiptesis es la clusula que sigue al condicional si. La formulacin si p entonces q destaca la
hiptesis, mientras que la formulacin p solo si q subraya la conclusin.
Por ejemplo, considere la proposicin Si todos los alumnos estudian (p) entonces aprueban el
examen (q). Si no estudian no aprueban, la proposicin es cierta. Si no estudian no hay forma de
argumentar que la afirmacin es falsa. Si estudian y no aprueban el examen, entonces la proposicin
es falsa. Por ltimo, si estudian y aprueban el examen la proposicin es verdadera. La figura 1.2
muestra la tabla de verdad de la implicacin condicional.
p
p? q
Figura 1.2 Tabla de verdad de la implicacin condicional
La implicacin entre dos proposiciones p, q es verdadera en todos los casos menos en aquel en el que
el antecedente es verdadero y el consecuente falso. [1]
La hiptesis es la clusula posterior al condicional si. La clusula slo si es la conclusin. Cuando
significa lo mismo que si. La conclusin expresa una condicin necesaria. La hiptesis expresa
una condicin suficiente.
La formulacin s i p entonc e s q enfatiza la hiptesis, mientras que la formulacin p slo si q
enfatiza la conclusin; la diferencia es slo de estilo.
Ejercicio 6. Escribir en forma simblica cada una de las proposiciones que a continuacin se listan.
1. Si son las 11:00 entonces es hora de empezar la clase.
p: son las 11:00
Maribel Gmez Franco
Lgica
q: es hora de empezar la clase

2. Si Toms no va a trabajar maana entonces no conservar su trabajo.
p: Toms va a trabajar maana
q: Toms conservar su trabajo
y su simbolizacin es: p ? r
3. Si todos tenemos la capacidad de aprender y nos esforzamos lo suficiente, entonces no hay razn
para reprobar los cursos.
p: todos tenemos la capacidad de aprender
q: todos nos esforzamos lo suficiente
r: hay razn para reprobar los cursos
y su simbolizacin es: (p ? q) ? r
4. Si las compuertas lgicas son la base para el diseo de circuitos digitales de mediana escala de
integracin, entonces se deben estudiar primero antes de hacer diseos con ellas.
p: Las compuertas lgicas son la base para el diseo de circuitos digitales de mediana escala
de integracin
q: Las compuertas lgicas se deben estudiar primero antes de hacer diseos con ellas.
y se representa de la forma: p ? q
5. Si p es verdadera, q
a) (p? q) ? r
b) (p? q) ? r
c) p? (q ? r)
d) p ? (q ? r)
es falsa y r es verdadera, determine el valor de verdad de cada proposicin.

(V? F) ? V
F? V
Verdadera
(V? F) ? V
V? F
Falsa
V? (F ? V)
V? V
Verdadera
V? (F ? V)
V? V
Verdadera
1.4.2. Bicondicional o equivalencia

Sea p y q dos proposiciones. La proposicin p s y slo s q o p es equivalente a q, denotada con
p? q, es verdadera si ambas p y q, con verdaderas o si ambas p y q son falsas, y que es falsa si p es
verdadero cuando q es falsa y si p es falsa cuando q es verdadera. La tabla de verdad de la figura 1.3
muestra la definicin de p? q.
p
p? q
Figura 1.3 Tabla de verdad de la implicacin bicondicional
Maribel Gmez Franco
Lgica
En algunos casos, es posible que dos proposiciones compuestas tengan los mismos valores de verdad,
sin importar los valores de verdad de sus proposiciones constituyentes. Tales proposiciones son
lgicamente equivalentes.
La bicondicional (o equivalencia) es verdadera cuando ambas proposiciones tienen el mismo valor de
verdad y falso cuando ambas tienen diferente valor. La bicondicional se define con la tabla de verdad
(p? q)? (q? p).
Existen dos equivalencias lgicas de cierto inters e importancia, que expresan las relaciones entre
conjuncin, disyuncin y negacin. Puesto que la disyuncin p ? q afirma solamente que por lo menos
uno de los dos disyuntos es verdadero, no se contradice al afirmar que por lo menos uno es falso, sino
solamente afirmando que ambos son falsos. As, afirmar la negacin de la disyuncin p ? q es
lgicamente equivalente a afirmar la conjuncin de las negaciones de p y de q. En smbolos, tenemos
el bicondicional (p? q)? (p? q) cuya verdad lgica queda establecida con la tabla de verdad de la figura
1.4.
p? q
(p ? q)
(p? q)
(p? q)? (p? q)
Figura 1.4 Tabla de verdad de comprobacin de equivalencias lgicas del primer teorema de DeMorgan
De igual manera, al afirmar la conjuncin de p y de q se afirma que ambas son verdaderas, para
contradecirlas necesitamos solamente afirmar que al menos una de ellas es falsa. As, afirmar la
negacin de la conjuncin p? q es lgicamente equivalente a afirmar la disyuncin de las negaciones
de p y de q. En smbolos, se tiene la bicondicional (p ? q) ? p? q, que fcilmente se puede probar
como tautologa. Estos dos bicondicionales tautolgicos se con ocen como los teoremas de DeMorgan y
fueron enunciados por el matemtico y lgico Augusto DeMorgan (1806 -1871). Los teoremas de
DeMorgan pueden tener las siguientes formulaciones en espaol.
La negacin de la disyuncin de dos enunciados es lgicamente equivalente a la conjuncin de las
negaciones de los dos enunciados.
La negacin de la conjuncin de dos enunciados es lgicamente equivalente a la disyuncin de las
negaciones de los dos enunciados [7].
Ejercicio. Demostrar las siguientes equivalencias:

a) El segundo teorema de DeMorgan.
b) (p? q)? p? q
c) p ? q ? ( p? q)? ( q? p)
Maribel Gmez Franco
10
Lgica
1.4.3. Recproca
La proposicin q ? p se llama la recproca de p ?
simplemente cambia los papeles de p y q.
q. La recproca de una proposicin condicional
Considerando la frase: S i est lloviendo entonces hay nubes en el cielo . Esta es la proposicin
compuesta p ? q donde p= est lloviendo y q= hay nubes en el cielo. Esta es una proposicin
verdadera. Su recproca q ? p se lee: Si hay nubes en el cielo entonces est lloviendo. sta es una
proposicin falsa.
1.4.4. Contrapuesta (contrapositiva, contraposicin o transposicin)

La contrapositiva de la proposicin p ?
equivalente a la proposicin q ? p.
q es la proposicin q ?
p. La proposicin p ?
q es
Considerando el ejempl o de la seccin anterior, la contrapositiva q ? p dice: Si no hay nubes en el

cielo entonces no est lloviendo
La contrapositiva es una forma alternativa, lgicamente equivalente de la proposicin condicional.
La recproca de una proposicin condicional solamente cambia los papeles de p y q, mientras que la
contrapositiva cambia los papeles de p y q y niega cada una de ellas.
Teorema La proposicin condicional p? q y su contrapositiva q ? p son lgicamente equivalentes.
En la figura 1.5 se muestra la tabla de verdad que demuestra este teorema.
p
p? q
q ? p
Figura 1.5 Demostracin del teorema
1.4.5. Tautologas
La proposicin P es una tautologa si P es verdadera para todos los valores de verdad que se
asignen a p1, ..., pn. Una tautologa es una proposicin que es verdadera en cualquier circunstancia.
Aun cuando estas proposiciones son siempre verdaderas, son importantes porque cuando se traten
proposiciones que se ven algo complicadas y se quiera mostrar que son verdaderas, la manera de
hacerlo ser utilizando otras proposiciones que se sabe son siempre verdaderas.
1.4.6. Contradiccin
La proposicin P es una contradiccin si P es falsa para todos los valores de verdad que se asignen
a p1, ...,pn. Una contradiccin es una proposicin que es falsa en cualquier circunstancia.
Maribel Gmez Franco
11
Lgica
La negacin de una tautologa es una contradiccin y la negacin de una contradiccin es una

tautologa. Por ejemplo, la tabla de verdad de la figura 1.2 que se presenta para la proposicin p ? p
es una tautologa, y para la proposicin p ? p , es una contradiccin: [2]
P
p? p
p ? p
Figura 1.4 Tabla de verdad de una tautologa y una contradiccin
1.4.7. Contingencia
Si los valores de verdad de una proposicin son en algunos casos verdaderos y en otros falsos, a la
proposicin se le llama contingencia. [1]
1.5. Aplicacin de las proposiciones

1.5.1. Anlisis de problemas con proposiciones
El control de la ejecucin de los enunciados que estn en un programa de computacin se efecta
evaluando la veracidad de las proposiciones que lo forman.
Por ejemplo, en la estructura if-then-else (es decir, si-entonces-o si no)
if p then
accin 1
else
accin 2
si la proposicin p es verdadera, se ejecuta la accin 1 (pero no la accin 2) y si la proposicin p es
falsa, se ejecuta la accin 2 (pero no la accin 1).
En la estructura while loop (es decir, mientras-lazo, repetir)
while p do
accin
la ejecucin de la accin se repetir tantas veces como p sea verdadera.
Ejemplo: En la codificacin siguiente:

i:=1
j:=1
while (i<2 and j<5) or i+j=5 do
begin
i:=i+2;
j:=j+1;
end
Maribel Gmez Franco
12
El lazo se ejecutar dos veces. Si
Lgica
p: i<2
q:j<5
r: i+j=5
la proposicin puede escribirse ((p ? q) ? r) ? i=i+2, j=j+1.

Un ejemplo simple de sistemas digitales en el que se puedan utilizar proposiciones es en el diseo de
una alarma de casa. Para que se active la alarma se debe cumplir alguna de las siguientes
condiciones:
?
?
?
?
?
p: La puerta uno ha sido abierta.

q: La puerta dos ha sido abierta.
r: El vidrio de la ventana uno se ha roto.
s: El vidrio de la ventana dos se ha roto.
t: La alarma se ha activado.
El sistema digital de alarma puede escribirse: (p ? q ? r ? s) ? t.
1.5.2. Interpretacin de programas recursivos

A menudo es posible desarrollar relaciones entre los elementos de una sucesin. Tales relaciones se
llaman relaciones de recurrencia.
Una relacin de recurrencia para una sucesin a0, a1, . . . es una ecuacin que relaciona an, con
alguno de sus antecesores, a0, a1, . . . an-1. Una relacin de recurrencia define indirectamente el
trmino n-simo de una sucesin. Para calcular an primeramente deben evaluarse los trminos a0, a1,
. . . an-1.
Un algoritmo recursivo es uno que hace referencia a s mismo. Muchos lenguajes de programacin
de alto nivel apoyan directamente la recursin permitiendo que las rutinas se llamen o refieran a s
mismas.
El diagrama de flujo (ver figura 1.5) empieza con valores iniciales de cantidades llamadas I y S, el
cual calcula e imprime valores sucesivos de S.
Inicia
I = 1, S=1
Imprime S
S=S+2I+1
I=I+1
Figura 1.5
Ejemplo: Sea Sn el nmero de subconjuntos de un conjunto de n elementos. En virtud de que para

formar un conjunto de n elementos a partir de un conjunto de (n -1) elementos se duplica el nmero
de subconjuntos, la relacin de recurrencia:
Maribel Gmez Franco
13
Lgica
Sn=2 S n-1
y la condicin inicial
S0 = 1
Ejemplo: El factorial de n, o n factorial, se define como:
?1
n! ? ?
?n ?n ? 1 ??n ? 2 ?? 2 ? 1
si n ? 0
si n ? 1
Es decir, si n? 1, n! Es igual a producto de todos los enteros entre 1 y n, inclusive 0! se define como
uno. Por ejemplo:
3! = 3 ? 2 ? 1 = 6,
6! = 6 ? 5 ? 4 ? 3 ? 2 ? 1 =720
1.5.3. Ejercicios.
1. Sean p, q y r las proposiciones siguientes:
p: est lloviendo
q: el Sol est brillando
r: hay nubes en el cielo.
Traducir la siguiente notacin lgica, utilizando p, q, r y conectivos lgicos.
a) Est lloviendo y el sol est brillando.
b) Si est lloviendo, entonces hay nubes en el cielo.
c) Si no est lloviendo, entonces el Sol no est brillando y hay nubes en el cielo.
d) El Sol est brillando si y slo si no est lloviendo.
e) Si no hay nubes en el cielo entonces el Sol no est brillando.
2. Sean p, q y r como en el ejercicio 1. Traducir lo siguiente a oraciones en espaol.
a) (p ?
b) (p ?
c) p ?
d) ( p ?
e) (p ?
q) ? r
r) ? q
(q ? r)
(q ? r))
q)? r
3. Proporcione los valores de verdad de las proposiciones de los ejercicios 1 y 2.

4. Sean p, q, r y s las proposiciones siguientes:
p: termino de escribir mi programa de computacin antes de la comida
q: juego tenis por la tarde
r: el sol est brillando
s: la humedad es baja.
Traducir la siguiente notacin lgica, utilizando p, q, r, s y conectivos lgicos.
Maribel Gmez Franco
14
Lgica
a) Si el sol est brillando, podra jugar tenis por la tarde.

b) Terminar de escribir mi programa de computacin antes de la comida es necesario para
jugar tenis esta tarde.
c) El sol est brillando y jugar tenis esta tarde.
d) Baja humedad y luz del sol son suficientes para m para jugar tenis esta tarde.
5. Construir una tabla de verdad para cada una de las siguientes proposiciones.
a) p ? q
b) ( p ? q ) ? p
c) ( p ? q ) ? p
d) (p ? q) ? p
6. Para el ejercicio 5. Determine si las correspondientes proposiciones dadas son una tautologa,
una contradiccin o ninguna de ellas.
7. Escribir cada proposicin en forma simblica. Escribir la recproca y la contrapositiva de cada
afirmacin de manera simblica y con palabras. Adems, determine el valor de verdad de cada
proposicin condicional, su recproca y su contrapositiva.
a) Si 4<6, entonces 9>12
b) Si 4>6, entonces 9>12
c) ? 1? < 3 si -3<1<3
d) ? 4? < 3 si -3<4<3
8. Para cada par de proposiciones P y Q indique si P?Q.
a) P=p, Q=p ? q
b) P= p ? q, Q=p ? q
c) P=p ? q, Q= p ? q
d) P= p? (q? r), Q=p? (q? r)
1.6. Procesos de Demostracin

Una de las principales funciones de la lgica es la de proporcionar reglas de razonamiento o reglas de
inferencia (consideradas implicaciones lgicas correctas o estructuras de razonamiento correcto), que
permitan inferir (obtener), de manera correcta, una conclusin a partir de ciertas premisas.
Al proceso de derivar una conclusin a partir de ciertas premisas y reglas de inferencia, se le llama:
demostracin o prueba formal. Una demostracin es un ensayo que indica de manera irrefutable
que un enunciado es verdadero.
Un argumento que establece la verdad de un teorema es una demostracin. La lgica es una
herramienta para el anlisis de las demostraciones. Un argumento es una serie de proposiciones que
se escriben:
Maribel Gmez Franco
15
Lgica
p1
p2
?
pn
? q
p 1 , p2 , ? , p n
? q
Las proposiciones p1, p2, ..., pn son las hiptesis (o premisas) y la proposicin q es la conclusin. El
argumento es vlido si siempre que p1 y p2 y ... y p n sean todas verdaderas, entonces q deber
tambin ser verdadera; en caso contrario, el argumento no es vlido (es una falacia) [2].
En un argumento vlido, se dice que la conclusin se sigue de las hiptesis. No se dice que la
conclusin sea verdadera; slo se dice que si se garantizan las hiptesis, entonces se tiene
garantizada la conclusin. Un argumento es vlido debido a su forma, no a su contenido.
Ejemplo. Determinar si el siguiente argumento es vlido: p? q, p ?? q
Como primera solucin se construye una tabla de verdad para todas las proposiciones que aparecen
en el argumento.
p
p?
De la tabla se puede observar que siempre que las hiptesis p ? q y p son verdaderas, la conclusin
q tambin lo es, por lo tanto, el argumento es vlido.
En la segunda solucin se puede dejar de lado la tabla de verdad, verificando directamente que
siempre que las hiptesis sean verdaderas, la conclusin tambin es verdadera. Suponiendo que p? q
y p sean verdaderas. Entonces q debe ser verdadera, ya que en caso contrario p ? q sera falsa. Por
tanto, el argumento es vlido.
Ejemplo. Representar el siguiente argumento en forma simblica y determinar si es vlido:
Si Juan obtiene el ascenso se compra un carro.
Juan se compra un carro.
___________________________________________
? Juan obtiene el ascenso
Si se hace:
p: Juan obtiene el ascenso
q: Juan se compra un carro
el argumento puede escribirse como
Maribel Gmez Franco
16
Lgica
p? q
q
______
? p
Si el argumento es vlido, entonces siempre que p ?
q y p sean ambas verdaderas, p debera ser
verdadera. Esto es posible si p es falsa y q es verdadera. En este caso, p no es verdadera; as el
argumento no es vlido.
1.6.1. Inferencias
Inferencia es el proceso por el cual se llega a una proposicin y se afirma sobre la base de una o ms
proposiciones aceptadas como punto inicial del proceso. Para determinar si una inferencia es
correcta, el lgico examina las proposiciones que constituyen los puntos inicial y final de este proceso,
as como las relaciones que existen entre ellos [7].
Tabla 1.5 Equivalencias lgicas
1
2a
b
c
3a
b
4a
b
5a
b
6a
b
c
d
7a
b
8a
b
c
d
9
10a
p? q
?p ? q? ?
Doble negacin
?q ? p ?
?p ? q? ? ?q ? p ?
?p ? q ?? ?q ? p?
??p ? q ?? r ?? ?p ? ?q ? r ??
??p ? q ?? r ?? ?p ? ?q ? r ??
?p ? ?q ? r ??? ??p ? q?? ?p ? r ??
?p ? ?q ? r ??? ??p ? q?? ?p ? r ??
?p ? p? ? p
?p ? p? ? p
? p ? c? ? p
?p ? t ?? t
?p ? c ? ? c
?p ? t ?? p
?p ? p ??
?p ? p??
?p ? q ? ?
?p ? q ? ?
?p ? q ? ?
?p ? q ? ?
?p ? q ? ?
?p ? q ? ?
Leyes conmutativas
Leyes asociativas
Leyes distributivas
Leyes de idempotencia
Leyes de identidad
Tautologa (Verdadera)
Contradiccin (Falsa)
?p ? q ?
?p ? q ?
?p ? q ?
?p ? q ?
?q ? p ?
?p ? q ?
Maribel Gmez Franco
Leyes de De Morgan
Contrapositiva
Implicacin
17
b
11a
b
12a
b
13
14
15
Lgica
?p ? q ? ? ?p ? q ?
?p ? q ? ? ?p ? q ?
?p ? q ? ? ?p ? q ?
??p ? r ? ? ?q ? r ?? ? ??p ? q? ? r ?
??p ? q ?? ?p ? r ?? ? ?p ? ?p ? r ??
?p ? q ?? ??p ? q? ? ?q ? p??
??p ? q ?? r ?? ?p ? ?q ? r ??
?p ? q ? ? ??p ? ? q ? ? c?
Prueba por casos

Equivalencia
Ley de exportacin
Reduccin al absurdo
En una demostracin una conclusin se admite como correcta considerando que las premisas
(suposiciones, axiomas, hiptesis), y que el razonamiento utilizado para la deduccin de la
conclusin, a partir de las premisas, sigue un conjunto de reglas aceptables de la inferencia lgica.
Estas reglas de inferencia lgica son las estructuras de razonamiento que se consideran correctas, es
decir, son aquellas cuya frmula proposicional asociada es una tautologa.
Las reglas de inferencia son una tcnica o listas de tcnicas que de alguna forma evitan la necesidad
de construir tablas de verdad, especialmente las grandes. Estas reglas ayudan de la siguiente forma:
1. Permiten considerar slo los casos donde todas las hiptesis son verdaderas. Dado que slo se
consideran los renglones de una tabla de verdad donde cada hiptesis tiene un valor
verdadero de uno y no se construye la tabla de verdad.
2. Son fundamentales en el desarrollo de una prueba paso a paso mostrando cmo la conclusin
q lgicamente sigue de la hiptesis p1, p2, p3, ...,pn en una implicacin
?p1 ?
p2 ? p3 ? ... ? pn ?? q
tal desarrollo establece la validez de una prueba (o argumento)

Cada regla de inferencia proviene de una implicacin lgica o equivalencia lgica. En la tabla 1.5 se
presentan algunas equivalencias lgicas.
En la tabla 1.6 se presentan algunas implicaciones lgicas. Cada proposicin se transforma en una
tautologa si se cambia ? por ? .
Tabla 1.6 Implicaciones lgicas
16
17
18
19
20
21
22
?p ? q ?
?p ? q? ? p
?p ? c ? ? p
?p ? ?p ? q ??? q
??p ? q ?? q ?? p
??p ? q ?? p ?? q
p ? ?q ? ?p ? q ??
p?
Maribel Gmez Franco
Adicin o Ampliacin disyuntiva

Simplificacin conjuntiva
Absurdo
Modus ponens
Modus tollens
Silogismo1 disyuntivo
18
23
24
25a
b
c
26a
b
27a
b
??p ?
??p ?
?p ?
?p ?
?p ?
??p ?
??p ?
??p ?
??p ?
Lgica
q ?? ?q ? r ???
q ?? ?q ? r ???
q ?? ??p ? r ? ?
q ?? ??p ? r ? ?
q ?? ?p ? r ??
q? ? ?r ?
q? ? ?r ?
q ?? ?r ?
q ?? ?r ?
?p ?
r?
?p ? r ?
?q ? r ??
?q ? r ??
?q ? r ?
s ??? ??p ? r ?? ?q ? s ??
s ??? ??p ? r ?? ?q ? s ??
s ?? ? ??q ? s ?? ?p ? r ??
s ?? ? ??q ? s ?? ?p ? r ??
Transitividad de ?
Transitividad de ? o silogismo hipottico
Dilemas constructivos
Dilemas destructivos
Un silogismo es un argumento deductivo que consiste en dos premisas y una conclusin.

Cada implicacin lgica de la tabla 1.6 corresponde a una regla de inferencia. Algunas de ellas se
presentan en la tabla 1.7. Si dos proposiciones compuestas P y Q son lgicamente equivalentes,
entonces en particular P ? Q, por lo que se tiene la regla de inferencia correspondiente.
1
Tabla 1.7. Reglas de Inferencia
P
28
? P? Q
Adicin
P? Q
29
30
31
32
33
34
Maribel Gmez Franco
?P
P
P? Q
?Q
P? Q
Q
? P
P? Q
P
?Q
P? Q
Q? R
?P? R
P
Q
?P? Q
Simplificacin
Modus ponens
Modus tollens
Silogismo disyuntivo
Silogismo hipottico
Conjuncin
19
Lgica
1.6.2. Regla de modus ponendo ponens

Se supone que se tienen dos premisas, la frmula p ? q y la frmula p. Se sabe que estas premisas
estn dadas; es decir, se empieza diciendo que se ha dado p y que se ha dado p ? q. Se puede sacar
una conclusin de estas dos proposiciones? La conclusin es clara si se leen las premisas en la forma:
Si p entonces q, y p.
La primera proposicin expresa que si se verifica p, entonces se verifica q, y la segunda dice que se
verifica p. La conclusin es que se verifica q. La proposicin q es consecuencia lgica de las premisas,
p y p? q.
Por ejemplo, la primera premisa es:
Si llueve, entonces el cielo ha de estar nublado.
La segunda premisa es:
Llueve.
La conclusin que se puede sacar de las premisas el cielo ha de estar nublado. Esta conclusin se
puede inferir lgicamente de las premisas dadas [8].
La regla aplicada tiene un nombre latino, modus ponendo ponens. En su forma simblica se expresa
por la implicacin lgica:
?p ? ?p ? q???
Esta regla se puede escribir en su forma tabular:

p
p? q
? q
Donde los tres puntos (? ) representan la palabra por lo tanto, indicando que q es un consecuencia
lgica de la hiptesis p y p? q, la cual aparece arriba de la lnea horizontal. Otra interpretacin es
que la hiptesis (enunciado arriba de la lnea horizontal) presenta un argumento vlido para, o
prueba de, la conclusin q.
Esta regla se presenta en situaciones donde se discute que si (1) p es verdadera, y (2) p? q es
verdadera (o p? q), entonces la conclusin q tambin debe ser verdadera. (Despus de todo, si q fuera
falsa y p fuera verdadera, entonces no se tendra p? q verdadera).
A continuacin se presentan algunos ejemplos del uso de esta regla en la deduccin de conclusiones a
partir de premisas.
Premisa 1.
Premisa 2.
Conclusin.
Maribel Gmez Franco
Si Juan est en el cine, entonces Juan est viendo una pelcula.

Juan est en el cine.
Juan est viendo una pelcula.
20
Lgica
Otro ejemplo:
Premisa 1.
Premisa 2.
Conclusin.
Si Victoria no estudia suficiente entonces no aprobar el examen.

Victoria no estudia suficiente.
No aprobar el examen.
Simblicamente el primer ejemplo se expresa as:

p:
q:
Si Juan est en el cine, entonces Juan est viendo una pelcula.

Juan est en el cine.
Premisa 1:
p? q
Premisa 2:
Conclusin.
?q
La regla de inferencia llamada modus ponendo ponens (PP) permite demostrar q a partir de p? q y p.
El segundo ejemplo se simboliza de la manera siguiente, donde p es la proposicin Victoria estudia
suficiente y q es la proposicin aprobar el examen.
? p? ? q
?p
??q
En cada uno de los ejemplos, la regla modus ponendo ponens permite pasar de dos premisas a la
conclusin. Esta regla de inferencia dice que si se tienen dos proposiciones de la forma p? q y p, se
puede deducir la conclusin q.
El nombre modus ponendo ponens se puede explicar de la siguiente manera: Esta regla de inferencia
es el mtodo (modus), que afirma (ponens) el consecuente, afirmando (ponendo) el antecedente [8].
1.6.3. Regla de la doble Negacin

La regla de doble negacin (DN) es una regla simple que permite pasar de una premisa nica a la
conclusin. Un ejemplo simple es el de una negacin de negacin, que brevemente se denomina doble
negacin. Sea la proposicin:
No ocurre que Pedro no es un atleta.
Qu conclusin se puede sacar de esta premisa? Evidentemente, se puede decir que:
Pedro es un atleta.
La regla de la doble negacin tambin acta en sentido contrario. Por ejemplo, de la proposicin,
Eva estudia todos los das para aprobar el curso.
Se puede concluir la negacin de su negacin:
No ocurre que Eva no estudia todos los das para no aprobar el curso.
Maribel Gmez Franco
21
Lgica
As la regla de la doble negacin tiene dos formas simblicas:

p
?? p
?? p
p
1.6.4. Regla del modus tollendo tollens

La regla de inferencia que tiene el nombre latino modus tollendo tollens (TT) se aplica tambin a las
proposiciones condicionales. Pero en este caso, negando t(ollendo) el consecuente, se puede negar
(tollens) el antecedente de la condicional. Esta regla de inferencia est dada por:
p? q
q
? p
La deduccin siguiente es un ejemplo del uso del modus tollendo tollens [8].
Premisa 1.
Premisa 2.
Conclusin.
Si el auto enciende, entonces el auto funciona adecuadamente

El auto no funciona adecuadamente.
Por tanto, el auto no enciende.
El ejemplo se puede simbolizar de la manera siguiente, sea

p:
q:
El auto enciende
El auto funciona adecuadamente
p? q
q
? p
La regla modus tollendo tollens permite pasar de dos premisas: (a) a una proposicin condicional, y
(b) una proposicin que niega el consecuente, a una conclusin que niega el antecedente.
Otro ejemplo, se tiene la proposicin condicional:
Si me dan un ascenso, entonces me puedo comprar un carro.
Se niega el consecuente:
No me puedo comprar un carro.
Entonces se puede negar el antecedente:
Por tanto, no me dan el ascenso.
Maribel Gmez Franco
22
Lgica
1.6.5. Leyes de adjuncin y simplificacin

Si dos premisas son verdaderas, entonces se podran juntar en una proposicin molecular utilizando
el trmino de enlace y obteniendo una proposicin verdadera. La regla que permite pasar de las dos
premisas a la conclusin se denomina regla de adjuncin. Se indica abreviadamente por A.
De las premisas
se puede concluir
o
p
q
_______
?p? q
? q? p
El orden de las premisas es indiferente.
Ejemplo:
Premisa 1.
Premisa 2.
Mara es adolescente
Juan es adulto
La conclusin: Mara es adolescente y Juan es adulto.

La regla que permite pasar de una conjuncin a cada una de las dos proposiciones que estn unidas
por ? se denomina regla de simplificacin. Abreviada por S.
De la premisa:
Se puede concluir:
o
p ? q
_______
? p
q
Premisa:
El cumpleaos de Pablo es el martes y el de Juan es el viernes.
Conclusin:
El cumpleaos de Pablo es el martes

El de Juan es el viernes.
1.6.6. Regla de Silogismo disyuntivo

En el lenguaje cotidiano ha dos maneras posibles de usar la palabra o. Algunas veces significa que se
presenta una u otra de dos cosas, pero no las dos a la vez. Este es el sentido excluyente de o. Por
ejemplo, en la proposicin:
Pedro vive en Jurez o vive en Chihuahua.
se expresa que una de las dos proposiciones simples es cierta y la otra es falsa.
La disyuncin que por lo menos una premisa se cumple, por tanto, si se encuentra que una de sus
premisas no se cumple, se sabe que la otra ha de cumplirse. Esta regla se denomina modus tollendo
ponens [8] o silogismo disyuntivo [6]. Una vez mas el nombre latino dice algo acerca de la regla. Dice
Maribel Gmez Franco
23
Lgica
que negando (tollendo) un miembro de una disyuncin se afirma (ponens) el otro miembro.
Simblicamente se puede expresar:
De la premisa:
y la premisa:
se puede concluir
o
de la premisa:
y la premisa:
se puede concluir
p? q
p
______
?q
p? q
q
______
?p
Supngase que se tiene como premisa la disyuncin:

O esta sustancia contiene hidrgeno o contiene oxgeno.
La segunda premisa dice:
Esta sustancia no contiene hidrgen o
Por medio del silogismo disyuntivo se puede concluir:
Esta sustancia contiene hidrgeno.
1.6.7. Ley de adicin

La ley de adicin expresa el hecho que si se tiene una proposicin que es cierta, entonces la
disyuncin de aquella proposicin y otra cualquiera ha de ser tambin cierta. Si se da la proposicin
p, entonces la proposicin p ? q es consecuencia. Puesto que se ha dado p como proposicin cierta, se
sabe que p ? q ha de ser una proposicin cierta. Cuando una premisa es cierta, la conclusin que se
sigue de ella ha de ser cierta [8].
Por ejemplo si, como premisa cierta se ha dado:
Esta bufanda es negra,
Entonces se sabe que la proposicin siguiente ha de ser cierta.
O esta bufanda es negra o es caf.
Se puede tambin concluir:
Esta bufanda es negra o es larga
Esta bufanda es negra o es nueva
En forma simblica, si se tiene la proposicin p, se puede concluir p? q, o p? r , o s ? p, o t ? p, y as
sucesivamente. La abreviatura para la ley de adicin es LA.
Maribel Gmez Franco
24
Lgica
1.6.8. Regla de Silogismo hipottico

La ley del silogismo hipottico HS est dada por la implicacin lgica:
p? q
q? r
______
? p? r
Las premisas y la conclusin son condicionales.
La ley de silogismo hipottico se puede aplicar considerando los siguientes pasos:
1. Se hace una inspeccin general para comprobar que se tienen las dos condicionales requeridas.
2. Se comprueba cuidadosamente que el antecedente de una de las condicionales coincida con el
consecuente de la otra.
3. Se forma como conclusin una condicional cuyo antecedente es el otro antecedente de una de las
premisas y cuyo consecuente es el consecuente de la otra premisa [8].
Ejemplo. De las premisas:
1. Si me dan el ascenso entonces me compro un carro.
2. Si me compro un carro entonces me voy de vacaciones.
Se puede concluir:
Si me dan el ascenso entonces me voy de vacaciones.
Esta conclusin no dice que me dan el ascenso ni que me voy de vacaciones. Slo dice lo que ocurrira
si me dan el ascenso.
Ejercicio. Qu conclusin se puede sacar por la ley de silogismo hipottico de los conjuntos de
proposiciones siguientes?
1. Si el agua se hiela, entonces sus molculas forman cristales. Si las molculas forman cristales,
entonces el agua aumenta de volumen.
Si el agua se hiela, entonces el agua aumenta de volumen.
2. Si Toms conduce a una velocidad de 50 km/h, entonces en 9 horas habr recorrido 450 km.
Si en 9 horas ha recorrido 450 km, entonces habr recorrido 90 km ms que ayer en el mismo
perodo.
Si Toms conduce a una velocidad de 50 km/h, entonces habr recorrido 90 km ms que ayer en el
mismo periodo.
1.7. Induccin matemtica

La induccin matemtica es un mtodo de demostracin que generalmente se utiliza cuando se
trata de establecer la veracidad de una lista infinita de proposiciones [6]. Es decir, el mtodo de
induccin matemtica permite, bajo ciertas condiciones, cuando se tiene una proposicin vlida en
varios casos particulares y es imposible analizar todos los casos, afirmar que esta proposicin es
vlida en general [1]. Este mtodo es bastante natural para usarse en una variedad de situaciones en
ciencias de la computacin, como por ejemplo mostrar que un programa de computacin o que un
algoritmo con ciclos funciona como se espera [6].
Maribel Gmez Franco
25
Lgica
Este mtodo se basa en el Principio de Induccin Matemtica que consiste en lo siguiente:

Una proposicin es vlida para todo nmero natural n si:
1.Base de la induccin (B): es vlida para n =1 y,
2.Paso inductivo (I): de su validez para una nmero natural cualquiera n=k se desprende
su validez para
n=k+1.
Toda demostr acin que se basa en el principio de induccin matemtica se denomina: por induccin.
Tal demostracin consta necesariamente de dos pasos. Si ambos pasos han sido demostrados, se
puede afirmar, en virtud de ste principio, que la proposicin es vlida para todo nmero natural n
[1].
Considerando una lista p(1), p(2), p(3), ... de proposiciones con ndices en
p(n ) son verdaderas a condicin de que
P. Todas las proposiciones
(B) p(1) sea verdadera;

(I) p(n+1) sea verdadera siempre que p(n) sea verdadera.
En la notacin del clculo proposicional, el paso inductivo es equivalente a:
La implicacin p(n ) ? p(n+1) es verdadera para todo n ? P.
El Principio de induccin matemtica se refiere a que si de alguna manera se puede mostrar (B) e (I),
entonces las p(n ) son verdaderas. El trabajo reside en mostrar (B) e (I) que deben verificarse antes de
poder aplicar este principio [6].
Ejemplo 1. Considere un juego de video que empieza con una nave espacial a mitad de la pantalla.
En cinco segundos aparece un extraterrestre. Cinco segundos ms tarde el extraterrestre se divide en
dos, que aparecen en dos lugares de la pantalla. Cinco segundos ms tarde estos dos extraterrestres
se subdividen en dos, y as sucesivamente. Cada cinco segundos el nmero de extraterrestres se
duplica. La tarea del jugador es eliminarlos, antes de que cubran la pantalla.
Suponiendo que el jugador no es muy hbil y que todos sobreviven. Cuntos extraterrestres habr
30 segundos despus de empezado el juego? Calculando el nmero de extraterrestres en intervalos de
cinco segundos, obtenemos la tabla:
Tiempo (segundos)
10
15
20
25
30
Extraterrestres
16
32
Por lo que la respuesta a la pregunta es 32 extraterrestres en 30 segundos.

Ahora se quiere saber el nmero de estos seres en cinco minutos. Se puede simplemente ampliar la
tabla hacia la derecha, duplicando las entradas del segundo rengln conforme se proceda, pero
claramente hay un camino ms fcil.
Sea A(n) el nmero de extraterrestres en la pantalla despus de un intervalo de cinco segundos.
Entonces A(1)=1, A(2)=2, A(3)=4, etc. Se puede observar que A(n)=2n-1 para n=1, 2, 3, 4, 5, 6, y parece
razonable esperar que despus de cinco minutos, que es 5? 60 segundos, el valor de A(60) sea 259
(muchos extraterrestres). Cmo se puede estar seguro de que lo que se espera es correcto sin hacer
todos los clculos?.
Maribel Gmez Franco
26
Lgica
El mtodo de induccin matemtica se aplica justo en tales situaciones en las cuales,

1. sabemos la respuesta al principio,
2. sabemos como determinar la respuesta en una etapa a partir de la respuesta de la etapa
anterior, y
3. tenemos una expectativa de respuesta general.
Desde luego, si lo que se anticipa est equivocado; no se puede ser capaz de demostrar que est bien
con este mtodo ni con cualquier otro. Pero si la expectativa es correcta, entonces la induccin
matemtica da la estructura para que con una demostracin se confirme la expectativa [6].
En el ejemplo anterior se daba A(1)=1 y A(n+1) = 2 ? A(n) para n ? 1. Esperando que A(n)=2 n-1 para
toda n ? P, aunque realmente solo importaba que n=60.
Para cada n ? P , sea la n -sima proposicin p(n) A(n)=2n-1. Entonces p(1) es A(1) = 21-1 = 20 , que
es verdadera pues 20=1. As, la base (B) se cumple. Tambin se puede verificar p(2); es decir, A(2)=21,
as como otros casos particulares, pero no es necesario.
Para el paso inductivo (I) simplemente se debe revisar que para cada n, si p(n) es verdadera; es decir,
si A(n)=2n-1, entonces p(n+1) es verdadera. Esto es, A(n+1)=2(n-1)-1. Suponiendo que A(n)=2 n-1 para
alguna n ? P. Entonces,
A(n+1) = 2 ? A(n )
= 2 ? 2n-1
= 2n=2(n+1)-1
por la estructura del juego

por hiptesis
como se quera comprobar. De esta forma, (I) se cumple. Por el principio de induccin matemtica
todas las proposiciones p(n) son verdaderas. En particular se tiene que A(60)=259.
Ejemplo 2.
naturales.
Se dice que Gauss resolvi, siendo un nio, la suma de los primeros 100 nmeros
Obtener la suma de los primeros 100 nmeros naturales.

Calcular la suma de los primeros 200 nmeros naturales.
Cul sera la frmula para calcular cualquier suma?
Solucin. La ancdota con respecto a Gauss es ms o menos as:
Se cuenta que estando Gauss en el saln de clases, como buen nio inquieto, empez a desesperar al
profesor. ste, para entretenerlo, le pidi que obtuviera la suma de los primeros 100 nmeros
naturales, creyendo que lo iba a demorar un buen rato. Sin embargo, Gauss encontr la respuesta en
menos tiempo del que haba considerado el profesor. Se dice que el razonamiento de Gauss, con tal de
no trabajar mucho, fue el siguiente:
Si se suma 100 + 1 = 101
Si se suma 99 + 2 = 101
......................
......................
Si se suma 51 + 50 = 101
En total seran 50 sumas
Y con esto ya tengo la suma de los 100 primeros nmeros.
Maribel Gmez Franco
27
Lgica
Adems, hay 50 sumas, que es la mitad de 100, cuya suma es 101. Entonces, (101)(50) = 5050, y este
es el resultado que me pide el maestro.
El enunciado clsico de un problema como el anterior es:
Demostrar por induccin lo siguiente:
n
i?
i ?1
n?n ? 1 ?
2
Siguiendo el mtodo de induccin, se tienen que hacer los dos pasos. Esto es,
Paso 1 (B). Primero se verifica que la proposicin se cumple con n=1. Se tiene:
1
i ? 1? ? ? A
i ?1
Siguiendo la ecuacin propuesta:
1?1 ? 1? 2
? ? 1? ? ? B
2
2
Como A y B son iguales, se cumple para n=1.
Paso 2 (I). Segn el mtodo de induccin matemtica, se tiene que suponer que la proposicin es
vlida para un nmero n= k.
Si de ah se deduce, siguiendo una secuencia vlida de argumentos, que la proposicin es vlida para
el valor n= k+1, se puede afirmar que dicha proposicin es vlida para cualquier nmero n. Siguiendo
este mtodo, se supone cierta la proposicin para n=k, esto es, lo que se debe suponer es que:
k
i?
i ?1
k ?k ? 1?
, es vlida . . . . . . . . . C
2
Es necesario tratar de comprobar que la proposicin es vlida para n= k+1, a partir de (C) n=k. Pero,
qu significa deducir que es vlida para n=k+1?
Significa que, utilizando argumentos vlidos, que en este caso son algebraicos, se llegue de:
k
i?
i ?1
k ?k ? 1 ?
2
k ?1
i ?1
i?
?k ? 1??k ? 2?
2
Se tiene lo siguient e:
k ?1
i ?1
i?
i ?1
i?
k ?1
por propiedades de las sumas
i? k? 1
Siguiendo con el mtodo de induccin matemtica, gracias al paso inductivo, se puede escribir:
Maribel Gmez Franco
28
Lgica
k ?1
k ?k ? 1?
?
2
i ?1
k?1
i? k ? 1
La relacin anterior se puede escribir como:

k ?1
k ?k ? 1?
? ?k ? 1?
2
i?
i? k ? 1
La igualdad anterior se puede establecer ya que se est suponiendo que la proposicin se cumple
para n=k.
Al obtener el comn denominador, se tiene que:
k?1
k ?k ? 1?? 2?k ? 1?
2
i?
i ?1
De lo anterior se puede observar que (k+1) se puede factorizar y se tiene:

k ?1
i?
i ?1
?k ? 1??k ? 2?
2
que es el objetivo esperado [6].

Ejemplo 3. Considere la suma de enteros positivos impares consecutivos:
1) 1 = 1
2) 1+3 = 4
3) 1+3+5 = 9
4) 1+3+5+7=16
5) 1+3+5+7+9=25
De lo anterior, se puede deducir que la suma de n enteros positivos impares es igual al cuadrado de
n, lo cual se puede expresar por la siguiente ecuacin:
n
? ?2i ? 1?? n
i ?1
Paso 1. (B)
1
Para n=1,
? ?2i ? 1?? 1
?1
i ?1
Paso 2. (I)
Para n=k
k
? ?2i ? 1?? k
i ?1
Para n=k+1
Maribel Gmez Franco
29
Lgica
k ?1
? ?2i ? 1?? ? ?2i ? 1?? ?2k ? 1?

i ?1
i ?1
? k ? ?2k ? 1? ? k 2 ? 2k ? 1
2
? ?k ? 1?
1.8. Referencias
[1] J. L Ramrez, M. Jurez y L. Villalobos. Curso propedutico de Matemticas. CENIDET.
Cuernavaca, Mor., Junio de 1994.
[2] R. Johnsonbaugh. Matematicas Discretas. Ed. Prentice Hall. Cuarta edicin. Mxico, 1999.
ISBN:970-17-0253-0.
[3] E. Scheinerman. Matematicas Discretas . Ed. Thomson Learning. Mxico, 2001. ISBN 970-686071 -1.
[4] P. Fletcher, H. Hoyle y C. W. Patty. Foundations of Discrete Mathematics. Ed. PWS-KENT.
Boston, 1991. ISBN 0-534-98381-2 (International Studen Edition)
[5] C. Liu. Elementos de Matemticas Discretas. Ed. McGraw -Hill. Segunda Edicin. Mxico, 1995.
ISBN 970-10-0743-3.
[6] K. Ross y C. R. B. Wright. Matemticas Discretas. Ed. Prentice Hall. Segunda Edicin. Mxico,
1990. ISBN 968-880-180-1.
[7] I. M. Copy y C. Cohen. Introduccin a la Lgica. Ed. Limusa. Octava edicin, Mxico, 1997. ISBN
968 -18-4882-9.
[8] P. Suppes y S. Hill. Introduccin a la lgica matemtica. Ed. Revert, S. A., Espaa, 1968.
Maribel Gmez Franco
30

Matematicas Discretas: Logica

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Matematicas Discretas: Logica

Caricato da

Copyright:

Formati disponibili

Matematicas DiscretasI

1.1. ENUNCIADOS O PROPOSICIONES ......................................................................................... 2

Maribel Gmez Franco

1.1. Enunciados o Proposiciones

1.1.2. Definicin de Lgica

1.1.3. Diferencia entre un enunciado y proposicin

Maribel Gmez Franco

Maribel Gmez Franco

1.2. Conectivos lgicos

b) Del siguiente prrafo:

La seleccin de los circuitos digitales en un diseo dependen de la aplicacin del mismo.

Maribel Gmez Franco

1.2.1. Negacin o contradictoria

Maribel Gmez Franco

1.2.3. Disyuncin o alternacin

Maribel Gmez Franco

1.3. Tablas de verdad

Figura 1.1 Tablas de verdad.

Ejercicio 4. Encuentre el valor de verdad de la proposicin ( p ? q ) ? r.

Si la frmula contiene una variable, cuntos renglones aparecen en la tabla?

Maribel Gmez Franco

Ejercicio 5. Construir las tablas de verdad de las siguientes proposiciones:

Figura 1.2 Tabla de verdad de la implicacin condicional

Maribel Gmez Franco

q: es hora de empezar la clase

es falsa y r es verdadera, determine el valor de verdad de cada proposicin.

1.4.2. Bicondicional o equivalencia

Figura 1.3 Tabla de verdad de la implicacin bicondicional

Maribel Gmez Franco

(p? q)? (p? q)

Ejercicio. Demostrar las siguientes equivalencias:

Maribel Gmez Franco

q. La recproca de una proposicin condicional

1.4.4. Contrapuesta (contrapositiva, contraposicin o transposicin)

Considerando el ejempl o de la seccin anterior, la contrapositiva q ? p dice: Si no hay nubes en el

Figura 1.5 Demostracin del teorema

Maribel Gmez Franco

La negacin de una tautologa es una contradiccin y la negacin de una contradiccin es una

Figura 1.4 Tabla de verdad de una tautologa y una contradiccin

1.5. Aplicacin de las proposiciones

Ejemplo: En la codificacin siguiente:

Maribel Gmez Franco

El lazo se ejecutar dos veces. Si

la proposicin puede escribirse ((p ? q) ? r) ? i=i+2, j=j+1.

p: La puerta uno ha sido abierta.

El sistema digital de alarma puede escribirse: (p ? q ? r ? s) ? t.

1.5.2. Interpretacin de programas recursivos

Ejemplo: Sea Sn el nmero de subconjuntos de un conjunto de n elementos. En virtud de que para

Maribel Gmez Franco

Ejemplo: El factorial de n, o n factorial, se define como:

3. Proporcione los valores de verdad de las proposiciones de los ejercicios 1 y 2.

Maribel Gmez Franco

a) Si el sol est brillando, podra jugar tenis por la tarde.

1.6. Procesos de Demostracin

Maribel Gmez Franco

p: Juan obtiene el ascenso

q: Juan se compra un carro

el argumento puede escribirse como

Maribel Gmez Franco

Maribel Gmez Franco

Prueba por casos

tal desarrollo establece la validez de una prueba (o argumento)

Maribel Gmez Franco

Adicin o Ampliacin disyuntiva