1

Semestre 4
Fascculo
2
Matemticas
Discretas



Matemticas
dicretas
Semestre 4
Matemticas discretas





















Matemticas discretas

Semestre 4
Tabla de contenido Pgina

Introduccin 1
Conceptos previos 1
Mapa conceptual Fascculo 2 1
Logros 2
Certeza y Valide 2 2
- Tablas de Verdad 2
- Tautologa 5
- Contradiccin o Falacia 5
- Contingencia (casualidad / eventualidad) 5
- Implicaciones y Equivalencias lgicas 8
- Diagramas de Certeza y Validez 10
- Demostracin Condicional 12
- Algebra Declarativa 14
- Leyes de la Lgica 14
Resumen 16
Bibliografa recomendada 16
Nexo 16
Seguimiento al autoaprendizaje 19


Crditos: 3
Tipo de asignatura: Terica Prctico







Matemticas
dicretas
Semestre 4
Matemticas discretas


Copyright2008 FUNDICIN UNIVERSITARIA SAN MARTN
Facultad de Universidad Abierta y a Distancia,
Educacin a Travs de Escenarios Mltiples
Bogot, D.C.

Prohibida la reproduccin total o parcial sin autorizacin
por escrito del Presidente de la Fundacin.

La redaccin de este fascculo estuvo a cargo de
NICOLAS GARCIA DONCEL
Docente tutor Programa de Ingeniera de Sistemas a Distancia.
Sede Bogot, D.C.

Correccin de estilo
EDIEGO ORTIZ MONCADA.

Diseo grfico y diagramacin a cargo de
SANTIAGO BECERRA SENZ
ORLANDO DAZ CRDENAS

Impreso en: GRFICAS SAN MARTN
Calle 61A No. 14-18 - Tels.: 2350298 - 2359825
Bogot, D.C., Abril de 2010












1
Fascculo No. 2
Semestre 4
Matemticas discretas

CMatemticas
discretas

Introduccin
La lgica proposicional corresponde a un sistema formal diseado para
realizar el anlisis de cierto tipos de argumentos conformados por pre-
misas (proposiciones) y las diferentes relaciones que se pueden establecer
entre ellas apoyados en las reglas de inferencia.

La certeza y la validez son dos elementos conceptuales utilizados para
identificar los posibles valores de verdad que una proposicin puede
asumir certeza- y el proceso de inferencia realizado, con ella, para
determinar una conclu-sin correcta -validez.

Conceptos previos
1. En qu consiste el proceso de Inferencia?
2. Qu es una implicacin?
3. Cundo afirmamos que una expresin es una proposicin?

Mapa conceptual fascculo 2















2


Matemticas discretas


Matemticas
discretas

Fascculo No. 2
Semestre 4

Al finalizar el estudio del presente fascculo, el estudiante estar en capacidad
de:
Conceptualizar los trminos referentes a Tautologa, Falacia y Contingencia.
Relacionar la aplicacin de las tablas de verdad en el desarrollo de
software.
Comprobar si un problema tiene una solucin vlida o no.
Aplicar las Leyes de la Lgica en la optimizacin de un circuito.

Certeza y validez
En el clculo proposicional, cuando se habla de certeza, se hace
referencia a los valores que una proposicin puede asumir, los cuales solo
pueden ser dos: verdadero o falso o en su defecto, utilizando la notacin
numrica, uno (1) o cero (0). Cuando hablamos de validez nos referiremos
al proceso, como tal, es decir cuando se tienen unas premisas, nos
apoyamos en las reglas de inferencia para que a travs de una deduccin
se logre obtener una conclusin, si esto se realiza de esta forma decimos
entonces que el proceso es vlido.

Ahora se estudiar la asignacin de valores de certeza verdaderos y
valores de certeza falsos, para ello se presentan las siguientes tablas de
verdad para cada una de las proposiciones estudiadas:

Tablas de verdad
Las tablas de verdad fueron desarrolladas por Charles Snaders Peirce en
1880, sin embargo el formato que an hoy se conoce fue el introducido por
Ludwig Wittgenstein en su obra tractatus lgico-philosophicus, publicado
en 1921. Las tablas de verdad son unas matrices que permiten establecer
todas las combinaciones posibles de los valores de verdad (verdadero,
falso) que una variable puede asumir cuando sta hace parte de una
proposicin. Las diferentes combinaciones posibles estn dadas por 2
n
,
en donde n corresponde al nmero de variables que componen una
proposicin.
Logros
Logros Logros

3
Matemticas discretas

Matemticas
discretas

Fascculo No. 2
Semestre 4
Conjuncin ( )
La conjuncin se refiere a la unin de dos proposiciones a travs del
trmino de enlace y, denotado por .

V V V
V F F
F F V
F F F
Tabla 2.1
Tabla de verdad para la Conjuncin.

El resultado de la tabla de verdad de la conjuncin se encuentra debajo
del trmino de enlace y significa que la nica forma para que sea verdad
es cuando las proposiciones tienen asignados valores de verdad; para las
dems asignaciones es falso.

Disyuncin ( )
Cuando se unen dos proposiciones a travs del trmino de enlace O , se
dice que es una disyuncin y se denota con .

V V V
V V F
F V V
F F F
Tabla 2.2.
Tabla de verdad para la Disyuncin.

El resultado de la tabla de verdad de la disyuncin se encuentra debajo del
trmino de enlace y significa que solamente cuando las proposiciones
tienen asignados valores de falsedad es falso, de lo contrario siempre va a
ser verdadero.

Condicional ( )
La condicional, considerada estructura de control en los procesos de
programacin de computadores, es la unin de dos proposiciones a travs
del trmino de enlace: s entonces, denotado con .

4


Matemticas discretas


Matemticas
discretas

Fascculo No. 2
Semestre 4

V V V
V F F
F V V
F V F
Tabla 2.3
Tabla de verdad para la Condicional.

El resultado de la tabla de verdad de la condicional se encuentra debajo
del trmino de enlace y significa que solamente cuando el antecedente es
verdadero y el consecuente es falso, es falso, de lo contrario siempre va a
ser verdadero.

Bicondicional ( )
La bicondicional es un trmino de enlace caracterizado por tener una
condicional, que puede ser utilizada en ambos sentidos, es decir podemos
decir que P implica a Q, pero tambin es posible decir que Q implica a P.
Entonces decimos que s y solo s P entonces Q, se denota con .

V V V
V F F
F F V
F V F
Tabla 2.4
Tabla de verdad para la Bicondicional

El resultado de la tabla de verdad de la bicondicional se encuentra debajo
del trmino de enlace y significa que cuando las proposiciones tienen
asignado el mismo valor de certeza y validez es verdadero; las dems
combinaciones tienen un valor de falso.

Negacin ( )
La negacin es el trmino de enlace ms sencillo pues se aplica a una
sola proposicin atmica para convertirla en molecular y se denota con .



5
Matemticas discretas

Matemticas
discretas

Fascculo No. 2
Semestre 4



F V
V F

Tabla 2.5
Tabla de verdad para la Negacin.

El resultado de la tabla de verdad de la negacin se encuentra debajo del
trmino de enlace y significa que cuando la proposicin tiene asignado el
valor de verdad se cambia a falso y cuando la proposicin tiene asignado
el valor de falsedad se cambia a verdadero.

Las tablas de verdad permiten clasificar las expresiones lgicas en:

Tautologa
Una expresin lgica es una tautologa si es verdadera para todas las
asignaciones posibles.

Falacia o contradiccin
Una expresin lgica es una contradiccin o falacia si es falsa para todas
las asignaciones posibles.

Contingencia (causalidad / eventualidad)
Una expresin lgica que no sea tautologa ni contradiccin se denomina
contingencia (causalidad / eventualidad).

Se presentan ahora algunos ejemplos que ilustran las definiciones de
tautologa, contradiccin y contingencia.

Ejemplo
Considrese la expresin:



6


Matemticas discretas


Matemticas
discretas

Fascculo No. 2
Semestre 4
Cuando se dice agrupacio-
nes ms internas se refiere
a: aquellas proposiciones
que se encuentran entre pa-
rntesis dentro de una pro-
posicin molecular.
Metalenguaje:
Se refiere al sistema axio-
matico, es decir a la simbo-
loga utilizada para la repre-
sentacin de proposiciones,
de las operaciones entre
ellas (trminos de enlace),
etc. En trminos generales
al lenguaje matemtico em-
pleado.

V V V V V V V
V F F F V V F
F V V F F V V
F V F F F V F
Tabla 2.6
Tabla de verdad para la proposicin

Para construir la tabla anterior (2.6) se parte de las agrupaciones ms
internas como es , cuyo resultado queda ubicado debajo del
trmino de enlace. Posteriormente se realiza ; finalmente con el
resultado de esta conjuncin se realiza y debajo del trmino de
enlace condicional se ubica el resultado de toda la expresin lgica, el
cual, para los diferentes valores de verdad asignados a sus proposiciones,
siempre da verdadero, indicando con ello que se trata de una tautologa.

Por ltimo es posible decir que es una tautologa y
para ello se utiliza el smbolo que hace parte del metalenguaje. Es
decir, que se puede expresar: para indicar que se
trata de una expresin tautolgica.



En este punto, ya existe una familiaridad con:



_____________________

La anterior expresin corresponde a un Ponendo Ponens. Otra
forma de realizar esta representacin es de la siguiente forma:



Todas las reglas de inferencia se pueden expresar de esta
manera. Tenga en cuenta que las premisas se unen con una
conjuncin y todas ellas implican una conclusin.

7
Matemticas discretas

Matemticas
discretas

Fascculo No. 2
Semestre 4
Ejemplo
Considrese la expresin:

V V V F F V F F V
V F F F F V F V F
F F V F V F V F V
F F F F V F F V F
Tabla 2.7.
Tabla de verdad para la proposicin

El resultado de la anterior tabla (2.7) muestra que es falsa para todas las
diversas asignaciones que tienen sus proposiciones, lo que quiere decir
que esta expresin lgica es una contradiccin o falacia.

Ejemplo
Considrese la expresin:

F V V F V
F V V V F
V F F F V
V F V V F
Tabla 2.8.
Tabla de verdad para la proposicin

El resultado de la tabla anterior muestra que tiene valores verdaderos y
falsos, as pues, no es ni tautologa ni contradiccin, por lo que recibe el
nombre de contingencia.

Desde el Fascculo 1 se ha estado hablando de las implicaciones, si
observamos la grfica de la Figura 1 que all a parece, estamos
refirindonos a una implicacin, pues en trminos generales decimos que
si P (siendo P, en este caso, el conjunto de todas las premisas) entonces Q
(considerando a Q como la conclusin).




8


Matemticas discretas


Matemticas
discretas

Fascculo No. 2
Semestre 4
Los smbolos
no son trminos de enlace
sino que hacen parte del
metalenguaje simblico.
Implicaciones y equivalencias lgicas
S P y Q son dos expresiones lgicas y si es una tautologa, se
puede decir, entonces, que P implica lgicamente a B. La forma de
representarlo es:


S P y Q son dos expresiones lgicas, y si P y Q para los diferentes valores
de certeza y validez tienen los mismos valores, se puede decir que P y Q
son lgicamente equivalente. La forma de representarlo es:




Toda conclusin obtenida utilizando las reglas de inferencia, se
dice que es una implicacin lgica, pues las premisas en su
totalidad son el antecedente y la conclusin el consecuente.
Adems por tratarse de un proceso de inferencia apoyado en las
reglas de inferencia siempre ser una tautologa.

De otra parte, las tablas de verdad permiten determinar si dos expresiones
son equivalentes o no.

Ejemplo


F V V V F V F F V
V V F F F V V V F
V F F V V F V F V
V F F F V F V V F
Tabla 2.9
Comparacin de las tablas de verdad, para determinar la equivalencia entre proposiciones.

As mismo, observando la tabla de verdad anterior (2.9) se puede
evidenciar que el resultado de la tabla de verdad de la expresin
es equivalente al resultado de la tabla de verdad de la

9
Matemticas discretas

Matemticas
discretas

Fascculo No. 2
Semestre 4
expresin . Con ello se demuestra que estas dos
expresiones son lgicamente equivalentes.

Ahora, se elaborar la tabla de verdad de la expresin, ya realizada
anteriormente [1]:

V V V
V F F
F V V
F V F
Tabla 2.10
Tabla de verdad dela Implicacin entre P y Q.

Luego, se obtiene la tabla de la expresin [2]:

F V V V
F V F F
V F V V
V F V F
Tabla 2.11
Tabla de verdad para la proposicin

Al observar los resultados de las expresiones [1] y [2] se puede concluir
que son expresiones lgicamente equivalentes:


2. 1

1. Las siguientes expresiones son equivalentes? Demustrelo.




2. Dos conjuntos de proposiciones cuyas tablas de verdad son iguales
dando como resultado una falacia puede tratarse de una:

3. Demostrar cuales de las siguientes expresiones son Tautologas,
Falacias o Contingencias
a.
b.
c.
d.

10


Matemticas discretas


Matemticas
discretas

Fascculo No. 2
Semestre 4
Una Proposiciones atmica
es aquella de la cual pode-
mos decir que es cierta o
falsa, pero adems de ello
no utiliza trminos de enlace,
es muy bsica.
Diagramas de certeza y validez
Los diagramas de certeza y validez son muy utilizados para demostrar el
valor de certeza y validez que puede tener una frmula lgica a partir de la
asignacin de valores a sus proposiciones atmicas.

Ejemplo
Sea . La siguiente frmula qu valor
adquiere?:



Figura 2.1.
Diagrama de certeza y validez de la proposicin

El valor que adquiere la frmula a partir de los valores asignados a sus
proposiciones es de verdad. De esta manera se puede determinar el valor
que asume una frmula a partir de unos valores de certeza asignados
previamente.

Otra de las utilidades de los diagramas de certeza y validez es poder
determinar si un problema tiene una conclusin no vlida, tal y como se
muestra en el siguiente ejemplo.

Ejemplo
Para demostrar si un problema tiene una conclusin no vlida deben
realizarse tres pasos:

1. Asignar valores de certeza y validez a las proposiciones atmicas
2. Dibujar los diagramas de certeza y validez de las premisas de tal forma
que todos den como resultado un valor de certeza verdadero.
3. Dibujar el diagrama de certeza y validez de la conclusin de tal forma
que ste de como resultado falso.

11
Matemticas discretas

Matemticas
discretas

Fascculo No. 2
Semestre 4
Cuando se dice que una
conclusin es no vlida sig-
nifica que no puede demos-
trarse a travs de las reglas
de inferencia.
Dichos pasos se llevan a cabo tal y como se muestra a continuacin:


______________

1. Se asignan los valores de certeza:

2. Se dibujan los diagramas de certeza para las premisas de manera que
stas sean verdaderas:



3. Ahora, se dibuja el diagrama de certeza para la conclusin de manera
que sta sea falsa:



Con base en lo anterior, se hace evidente que a partir de las asignaciones
de certeza y validez, las premisas han dado verdaderas y la conclusin
falsa. En consecuencia, se demuestra que este problema no tiene una
solucin vlida.



Cuando no es posible, para ninguna de las asignaciones de
certeza y validez, lograr que las premisas sean verdaderas y la
conclusin falsa, significa que el problema tiene solucin a travs
de las reglas de inferencia.


2.2


Demuestre por medio de una deduccin formal o una asignacin de
certeza si cada uno de los siguientes razonamientos son vlidos o no:

A.
1.

12


Matemticas discretas


Matemticas
discretas

Fascculo No. 2
Semestre 4
2.
3.

B.
1.
2.
3.
4.

C. O Ricardo y Martn tienen la misma edad, o Ricardo es mayor que
Martn. S Ricardo y Martn tienen la misma edad, entonces Alex y
Ricardo no tienen la misma edad. S Ricardo es mayor que Martn,
entonces Ricardo es mayor que Adriana. Por lo tanto, o Alex y
Ricardo no tienen la misma edad o Ricardo es mayor que Adriana.

Otras de las reglas de inferencia utilizada en las demostraciones directas
es la demostracin condicional, que como su nombre lo indica involucra
las proposiciones condicionales.

Demostracin condicional
En algunas ocasiones se requiere llegar a una demostracin condicional,
por lo que es necesario apoyarse en la regla de inferencia Demostracin
Condicional (cp), la cual indica que: si es posible deducir una proposicin
P de una proposicin Q y un conjunto de premisas, entonces se podra
deducir slo del conjunto de premisas, la proposicin .

Ejemplo:
O la lgica es difcil o no les gusta a muchos estudiantes.
Si la Matemtica es fcil, entonces la Lgica no es difcil.
Por lo tanto, si a muchos estudiantes les gusta la Lgica, la
Matemtica no es fcil.

Simbolizando el anterior razonamiento se tiene que:
P = La lgica es difcil
Q = La lgica les gusta a los estudiantes
M = La Matemtica es fcil

13
Matemticas discretas

Matemticas
discretas

Fascculo No. 2
Semestre 4




Realizando la demostracin:








En la demostracin anterior se aprecia que a partir de la lnea 3 hasta la 6,
se ha utilizado un corrimiento a la derecha, de las proposiciones que all
aparecen, ello es para evidenciar, visualmente, el grupo de premisas que
surgen con la inclusin de la premisa 3 , la cual se apoy en la regla
de premisas. A partir de la lnea 3 se empieza un proceso normal de
deduccin hasta llegar a la premisa 5 , la que finalmente permite
concluir que: S , entonces , , apoyndose en la regla de
premisa de la Demostracin Condicional (cp).



Cuando se trata de una demostracin condicional, siempre se
empieza incluyendo la premisa antecedente de la condicin a
demostrar, apoyado en la regla de premisa, y de esta manera se
inicia el proceso de deduccin hasta llegar a concluir con su
respectivo consecuente.


2.3

Demuestre, utilizando la regla de Demostracin Condicional, los
siguientes razonamientos:

A.
1.


14


Matemticas discretas


Matemticas
discretas

Fascculo No. 2
Semestre 4
Cuando se tiene una fun-
cin a travs de la cual se
puede realizar el diseo de
un circuito elctrico, esta
funcin o ecuacin se pue-
de minimizar, en la mayora
de los casos, para ello se
emplean las leyes de la l-
gica. Cuando esto sucede
se dice que el circuito se ha
optimizado, pues su imple-
mentacin se reduce en la
medida de los componentes
que utiliza.
B.
1.
2.
3.

C.
1.

Adems de las reglas de inferencia se cuenta con las leyes de la lgica q

lgebra Declarativa
El algebra declarativa se refiere a la utilizacin de las leyes de la lgica en
la minimizacin de expresiones proposicionales, que por su complejidad,
resulta difcil su entendimiento y manipulacin.

Las Leyes de la Lgica permiten, tambin, demostrar si una expresin es
equivalente a otra, adems, tienen aplicacin en la optimizacin de
circuitos elctricos.

Leyes de la Lgica
Las Leyes de la Lgica
(Para cualesquiera proposiciones primitivas p, q, r y cualquier tautologa To y cualquier
contradiccin Fo)
1. Ley de la Doble Negacin

2. Leyes de Morgan


3. Leyes Conmutativas


4. Leyes Asociativas



5. Leyes Distributivas


6. Leyes de Idempotencia



15
Matemticas discretas

Matemticas
discretas

Fascculo No. 2
Semestre 4
7. Leyes de Neutro


8. Leyes Inversas


9. Leyes de Dominacin


10. Leyes de Absorcin



Tabla 2.12
Leyes de la Lgica.

Uno de los campos de aplicacin de las Leyes de la Lgica es la
optimizacin de los circuitos elctricos. Observe el siguiente ejemplo:



Figura 2.2
Ejemplo Circuito elctrico.

En la figura 2.2, del circuito elctrico presentado la ecuacin resultante es:


Utilizando las Leyes de la Lgica es posible su optimizacin:



Ley distributiva de sobre

Ley de Inverso
Ley de Neutro

2.4


1. Realice la tabla de verdad de las ecuaciones (1) y (2) del ejemplo
anterior (circuito elctrico) y realice las respectivas conclusiones.

2. Se necesita que la corriente pase del terminal T1 al T2 en un circuito
de conmutacin conformado por interruptores, los cuales pueden

16


Matemticas discretas


Matemticas
discretas

Fascculo No. 2
Semestre 4
estar abiertos o cerrados. La ecuacin de dicho circuito es
, ser posible simplificar esta
ecuacin?, si es posible, justifique cada paso realizado a travs de
las Leyes de la Lgica.



En este fascculo se estudiaron las asignaciones de certeza y validez,
viendo con ello la creacin de las tablas de verdad para los diferentes tipos
de proposiciones: conjuntivas, disyuntivas, condicionales, bicondicionales
y negativas. Igualmente, con el desarrollo de las tablas de verdad
aparecen los conceptos de tautologas, contradicciones y contingencias.

A partir de la asignacin de los valores de certeza y validez se hace posible
la construccin de diagramas de certeza y validez que muestran el
comportamiento y el resultado de la ecuacin (expresin lgica), adems
de ello, se pueden utilizar dicho diagramas para determinar si un problema
tiene una conclusin vlida o no; en otras palabras, para saber si las reglas
de inferencia pueden emplearse para obtener una demostracin propo-
sicional.

Finalmente, se utilizaron las Leyes de la Lgica para la minimizacin de las
ecuaciones resultantes de los circuitos elctricos, lo que se conoce con el
nombre de lgebra Declarativa.



GRASSMANN, Winfried Karl y TREMBLAY. Jean Paul, Matemtica discreta
y lgica: Una perspectiva desde la Ciencia de la Computacin. Espaa:
Editorial Prentice Hall. 1998. (Texto Gua)
ROSS, K. Wright, Ch. Matemticas Discretas 2a. edicin. Mxico.
Editorial: Prentice Hall. 1990.

17
Matemticas discretas

Matemticas
discretas

Fascculo No. 2
Semestre 4
SUPESS, Patrick y Hill, Shirley. Introduccin a la lgica matemtica,
Barcelona: Editorial revert colombiana. 1988.



Se ha utilizado la asignacin de valores de certeza y validez para
determinar si una expresin es verdadera o falsa y adems, establecer si
un problema tiene solucin o no. En el prximo fascculo se abordar el
tema del Clculo de Predicados.























18


Matemticas discretas


Matemticas
discretas

Fascculo No. 2
Semestre 4
































19
Matemticas discretas

Matemticas
discretas

Fascculo No. 2
Semestre 4
Seguimiento al autoaprendizaje
Seguimiento al autoaprendizaje
Seguimiento al autoaprendizaje




Matemticas discretas - Fascculo No. 2

Nombre_______________________________________________________
Apellidos ________________________________ Fecha: _________________
Ciudad___________________________________Semestre: _______________

A. Realizar el diagrama de certeza teniendo presente los siguientes valores de
certeza para las proposiciones: P= v, Q= f, R= f y S= v

) ( )) ( ) ( ) (( Q S S P S R Q P v v . v .

B. Demuestre (Tablas de Verdad) si las siguientes expresiones son equivalencias
lgicas o no:

1. ( ) ( ) Q P Q P v .
2. Q P Q P v
3. ( ) ( ) Q P Q P Q P . v .
4. ( ) ( ) P Q Q P Q P .
5. ( ) ( ) Q P Q P Q P v . v

C. Indique cules de las siguientes expresiones son implicaciones lgicas:
1. ) ( Q P P v
2. P Q P . ) (
3. P Q P v ) (

D. Demuestre las siguientes expresiones, utilizando las Leyes de la Lgica:

1.
) ( ) ( q p q p . . v


2. ] ] ) [( [ q r q p v . v

3.
) ( ) ( ) ( r t p q t p r q p v v . v v . v v


4.
)] ( [ q p p p v . v


5.
) ( r q p q p . . v v


6.
)] ( ) [( r q p q p . . v


20


Matemticas discretas


Matemticas
discretas

Fascculo No. 2
Semestre 4
E. Para las siguientes expresiones, negando toda la ecuacin, encuentre y
demuestre cul sera su equivalencia lgica, utilizando las Leyes de la Lgica:

1. ( ) R Q P v
2. Si Juan va a la laguna de Guatavita, entonces Mara pagar las compras de
Juan

F. Analice las subrutinas A y B, resolviendo:
1. Demuestre si las proposiciones moleculares utilizadas all son equivalentes
o no.
2. Cul algoritmo es ms eficiente, desde el punto de vista de las compara-
ciones realizadas.

A: z= 4;
para (i=1; i<= 10; i++)
{
x= z i;
y= z + 3 * i;
s ((x > 0) y (y > 0))
entonces
escriba (la suma de x + y es = , x + y);
}

B: z= 4;
para (i=1; i<= 10; i++)
{
x= z i;
y= z + 3 * i;
s (x > 0)
{
entonces
s (y > 0)
entonces
escriba (la suma de x +y es = , x + y);
}
}