MateDiscre F01 PDF

Matemticas discretas 1
Presentacin de la asignatura
La matemtica discreta juega un papel importante en la formacin de los
Ingenieros de Sistemas por cuanto es el soporte conceptual y matemtico
que permite al estudiante abordar con mayor facilidad diversas temticas
contenidas en el currculo del Programa Acadmico de Ingeniera de
Sistemas.
La Matemtica Discreta abarca temticas como:

1. Lgica proposicional: aporta los fundamentos necesarios para el uso
de operadores (aritmticos, booleanos, relacionales), jerarqua de
operadores y el manejo de condicionales que le permiten al estudiante
establecer controles en sus programas.
2. Grafos y rboles: permiten entender el concepto fundamental utilizado
cuando estas estructuras se requieren en el diseo de programas de
asignaturas como Estructuras de Datos y Estructuras de Informacin.
3. Teora de Conjuntos, relaciones y funciones: aportan en la comprensin
de lo que sucede con las bases de datos, sus consultas, vistas,
actualizaciones, eliminacin y modificacin de la informacin.
4. Cuantificadores y conteo: ayudan a realizar anlisis de algoritmos y
determinan la eficiencia de los mismos.
5. Algebra Booleana: permite enfrentar temticas que tienen que ver con
circuitos digtales, su diseo grfico, su optimizacin y diseo de tablas
de verdad.
6. Clculo de Predicados: facilita el abordaje de temticas relacionada con
el diseo de bases de datos de conocimientos utilizadas en la
Inteligencia Artificial, especficamente en el desarrollo de sistemas El rea de la lgica que se
encarga de las proposicio-
expertos. nes se denomina clculo
proposicional o lgica pro-
As, la matemtica discreta se encuentra en una buena proporcin en la posicional. Fue desarrolla-
da sistemticamente, por
currcula de Ingeniera de Sistemas y por ende fortalece una de las reas primera vez, por el filsofo
griego Aristteles hace ms
de sta disciplina: la Programacin de Computadores. de dos mil trescientos aos.
Fascculo No. 1 CMatemticas

Semestre 2 discretas
Matemticas discretas
Competencias generales de la asignatura

Los estudiantes a travs del contenido deben desarrollar las siguientes
habilidades, actitudes y aptitudes:
Competencia comunicativa
Expresar y sustentar las soluciones a problemas de lgica matemtica, de
manera eficiente y demostrar si su razonamiento es vlido o no.
Competencia cognitiva
Aplicar, de manera efectiva, las reglas de inferencia para realizar demos-
traciones directas y los cuantificadores en la abstraccin de diversas
situaciones cotidianas que as lo requieran.
Apropiar el concepto de grafos, rboles y sus aplicaciones.

Demostrar, con solvencia, que a travs de la utilizacin de un modelo de
la lgica formal, denominado lgica bivalente, se puede explicar el
funcionamiento de los circuitos electrnicos.
Experimentar, de manera general, el funcionamiento que rige las com-
puertas lgicas.
Competencia contextual
Aplicar, efectivamente, elementos de la lgica matemtica en procesos
pertinentes a la utilizacin de lenguajes de Programacin estructurados y
orientados a objeto y a aquellos que se basan en reglas de inferencia,
procesadores, circuitos electrnicos, probabilsticos y otros.
Competencia valorativa
Comprobar el efecto de las decisiones de la matemtica discreta en
diferentes contextos de la Ingeniera.
Identificar situaciones problemticas en las cuales se pueden aplicar
conceptos bsicos de la matemtica discreta para su solucin.
Fascculo No. 1
Matemticas
discretas
2 Semestre 2
Contenido mnimo de la asignatura
Fascculo 1.
Clculo Proposicional (Parte I)
Proposiciones
- Definicin
- Clases
Trminos de enlace
- Simbologa
- Conjunciones
- Disyunciones
- Condicionales
- Bicondicionales
- Negaciones
- Simbologa
Jerarqua de los Trminos de enlace
Inferencia Lgica
Reglas de Inferencia
Fascculo 2.
Clculo Proposicional (Parte II)
Certeza y Validez
- Tablas de Verdad
- Tautologa
- Falacia o Contradiccin
- Contingencia (casualidad / eventualidad)
- Implicaciones y Equivalencias lgicas
- Diagramas de Certeza y Validez
- Conclusiones no vlidas
- Demostracin Condicional
Fascculo No. 1
Semestre 2 3 Matemticas
discretas
- Algebra Declarativa
- Leyes de la Lgica
Fascculo 3.
Clculo de Predicados
Trminos y Predicados
- Trminos
- Predicados
- Simbolizacin
- Cuantificadores
- Especificacin universal y las Leyes de Identidad
Fascculo 4.
Elementos de la Teora de Conjuntos
- Conjuntos y subconjuntos
- Operaciones fundamentales con conjuntos
- Leyes del Algebra de Conjuntos
- Cardinalidad
Fascculo 5.
Principios de Conteo
- Regla de la Suma
- Regla del Producto
- Principio de Inclusin-Exclusin
- Permutaciones
- Combinatoria
Fascculo 6.
Relaciones y Funciones
Relaciones y su representacin
Dominios y Rangos
Propiedades de las relaciones
Fascculo No. 1
Matemticas
discretas
4 Semestre 2
- Relacin Reflexiva
- Relacin Simtrica
- Relacin Antisimtrica
- Relacin Transitiva
- Relaciones de Equivalencia
- rdenes Parciales
- Funciones
- Funcin Inyectiva
- Funcin Sobreyectiva
- Funcin Biyectiva
- Funcin Entera
- Funcin piso (suelo)
- Funcin techo
Fascculo 7
- Grafos y rboles
- Definicin y Modelado de grafos
- Caminos, accesibilidad y conexiones
- Caminos y ciclos hamiltonianos
- Caminos y ciclos de Euler
- Grafos Isomorfos
- Representacin Matricial
Matriz de Incidencia
Matriz de Adyacencia
rboles
- Propiedades
- Tipos de rboles
Fascculo 8.
lgebra Booleana y Mapas de Karnaugh
Definicin, variables y constantes
Fascculo No. 1
discretas
Leyes del Algebra Booleana

Expresiones Booleanas
Forma normal disyuntiva
Forma normal conjuntiva
Compuestas lgicas
Compuerta AND
Compuerta OR
Compuerta NOT
Compuerta XOR
Compuerta NAND
Compuerta NOR
Compuerta XNOR
Mapas de Karnaugh
Dos variables
Tres variables
Cuatro variables
Fascculo No. 1
Matemticas
discretas
6 Semestre 2
Mapa conceptual de la asignatura
Introduccin
La lgica se constituye en un elemento trascendental para cualquier
razonamiento matemtico con infinidad de aplicaciones en las ciencias de
la computacin como prcticas en el diseo de equipos informticos,
especificacin de sistemas, inteligencia artificial, programacin de comp-
utadores, lenguajes de programacin, diseo de circuitos digitales, y
muchas otras reas ms.
Las reglas de la lgica le dan un significado preciso a los enunciados

matemticos, y son muy usadas para la determinacin de la validez de los
procesos de inferencia.
Fascculo No. 1
discretas
Conceptos previos
Cmo se denomina aquella primitiva de programacin utilizada en el
control de las variables, de la entrada de informacin, etc.?
Cmo se llaman los operadores que permiten comparar los valores entre
dos variables? Cuando se emplean estos operadores, cules cree que
son los resultados que arroja esta comparacin?
Mapa conceptual fascculo 1
Fascculo No. 1
Matemticas
discretas
8 Semestre 2
Logros
Al finalizar el estudio del presente fascculo, el estudiante estar en capacidad

de:
Identificar y Clasificar una proposicin de acuerdo con los trminos de

enlace que predominan.
Simbolizar las proposiciones con sus respectivos trminos de enlace.
Realizar una demostracin directa e indirecta, apoyndose en las reglas de
inferencia.
Clculo Proposicional (parte I)

La lgica cuenta con un lenguaje exacto que nos obliga a ser cuidadosos
y fieles en su utilizacin. Con la lgica es posible la construccin y prueba
de programas de computador, en donde las proposiciones juegan un
papel importante.
Proposiciones
Las proposiciones se consideran expresiones afirmativas y en ellas se
puede demostrar si son verdaderas o falsas. Estas proposiciones, depen-
diendo de su estructura, se clasifican en atmicas y moleculares.
Las proposiciones atmicas son aquellas consideradas bsicas como por

ejemplo:
- Hoy hace fro
- Maana es martes
- Juan estudia en la universidad.
Las proposiciones moleculares son aquellas que utilizan un trmino de

enlace para su construccin.
Trminos de enlace
Los trminos de enlace son palabras utilizadas para unir las proposiciones
atmicas y cuando esto sucede reciben el nombre de proposiciones
moleculares. Los trminos de enlace son:
Fascculo No. 1
discretas
- Y
- O
- S entonces
- S y solo s
- No
De acuerdo con el trmino de enlace utilizado, las proposiciones molecula-

res pueden ser: conjuntivas, disyuntivas, condicionales, bicondicionales y
negativas, como se muestra en la siguiente tabla.
Trmino de Enlace Tipo de Proposicin Representacin Simblica
Y Conjuntiva
O Disyuntiva
S entonces Condicional
S y solo s Bicondicional
No Negativa
Tabla 1.1
Clases de proposiciones moleculares.
Cabe resaltar que los trminos de enlace se aplican a las proposiciones

atmicas convirtindolas en moleculares. As mismo, los trminos de
enlace y, o, s entonces y s y solo s permiten unir proposiciones
atmicas, sin embargo, slo el trmino de enlace no es aplicado a una
proposicin atmica.
Las siguientes proposiciones se consideran moleculares:

- Est lloviendo y Juan se ha mojado.
- Estudias o trabajas
- S estudias entonces aprobars el examen.
- S y solo s te capacitas podrs tener una mejor oportunidad en la vida.
- No es cierto que est lloviendo.
Fascculo No. 1
Matemticas
discretas
10 Semestre 2
Simbologa
Se utilizan las letras maysculas para representar las proposiciones, as:
Conjuncin:
A la vez llueve y hace fro
All se evidencian dos proposiciones atmicas unidas a travs del trmino

de enlace y. En ocasiones al utilizar el trmino de enlace y pueden
incluirse, tambin, las palabras A la vez. La simbolizacin de esta
proposicin molecular sera:
P: Llueve
Q: Hace fro
Negacin:
El curso de Lgica Computacional no es difcil
Como se observa, la negacin se aplica a la proposicin atmica, razn

por la cual se tiene que:
P: El curso de Lgica Computacional es difcil
Disyuncin:
O estudias o trabajas
Esta es otra forma de expresar una disyuncin y su simbologa es:
P: Estudias
Q: Trabajas
Condicional
S llueve entonces hace fro
Fascculo No. 1
discretas
Su simbolizacin es:
La proposicin , co- P: Llueve

mnmente se lee: S P en-
tonces Q; pero existen otras Q: Hace fro
formas de leerse como: P
condicional Q, P implica a Q.
En donde a P se le conoce
como Antecedente y a Q
como Consecuente. Bicondicional
S y solo s estamos todos se empezar la reunin
Su simbolizacin es:
P: Estamos todos
Q: Se empieza la reunin
Jerarqua de los trminos de enlace

La jerarqua de los trminos de enlace se muestra en la siguiente tabla
(1.2):
Trmino de Enlace Nivel de Jerarqua

3
1
Tabla 1.2
Jerarqua de los trminos de enlace.
Los trminos de enlace y y o tienen el mismo nivel de jerarqua o

fortaleza, esto significa que es necesario utilizar los smbolos de
agrupamiento, (), para establecer el trmino que predomina. De otra
parte, el trmino de enlace condicional; y, por ende, el bicondicional
tienen el nivel ms alto, lo que significa que son los ms fuertes; en tanto,
el trmino de enlace negativo, es el ms dbil.
Fascculo No. 1
Matemticas
discretas
12 Semestre 2
1.1
1. Realice el siguiente pareo con las palabras que se encuentran a la

izquierda y las definiciones de la derecha:
Palabras Descripcin
Antecedente a. La proposicin molecular que utiliza el trmino de
enlace y se denomina _____________________.
Atmica b. La proposicin molecular que utiliza el trmino de
enlace no es una __________________________
proposicin c. La proposicin molecular que utiliza el trmino de
molecular enlace s entonces es una _________________.
Condicional d. La combinacin de una o ms proposiciones
atmicas con un trmino de enlace se denomina
__________________________.
Conjuncin e. En lgica, una proposicin completa que no tiene
trmino de enlace se denomina ________________.
Consecuente f. La proposicin situada antes del trmino de
enlace condicional se denomina _________________
Disyuncin g. La proposicin situada despus del trmino de
enlace condicional se denomina ________________.
Negacin h. La proposicin molecular que utiliza el trmino de
enlace o se denomina _______________________.
2. Cules de las siguientes son proposiciones?

a. No pasar.
b. Qu hora es?
c. 2 + 3 = 5
d. Hoy es jueves
e. El verano de Girardot es clido y soleado.
3. Simboliza los siguientes enunciados

a. Estamos bajo cero y nieva.
b. Hoy es lunes
c. Si llueve entonces hace fro
d. No conduces a ms de 80 km. por hora.
e. Si conduces a ms de 80 km. por hora, te multan
f. Si y solo si nieva, entonces hace fro.
g. El almuerzo incluye fruta o sopa.
La simbolizacin de las proposiciones juega un papel importante pues no

solo facilita mucho ms el proceso de inferencia lgica sino que
estructuralmente permite evidenciarlo, de una manera ms directa.
Fascculo No. 1
discretas
Inferencia lgica
El proceso de inferencia hace parte de la Lgica Formal y se apoya en
La Lgica Formal se dedica
al estudio de los razona- las reglas de inferencia que permiten realizar una deduccin lgica, la cual
mientos correctos que se
desarrollan de una manera surge o se puede dar por la existencia de unas proposiciones denomi-
formal y esquematizada.
nadas premisas.
Es as como las reglas de inferencia permiten obtener otras proposiciones

denominadas conclusiones. Este proceso se conoce con el nombre de
deduccin lo cual implica que a partir de unas premisas, se obtiene una
consecuencia lgica.
Las premisas dadas se consideran hechos que son verdaderos, as por

ejemplo, en una investigacin, las pruebas que se utilizan para demostrar
una determinada situacin, al dotrsele de esa caracterstica permiten
generar una conclusin, apoyados en las reglas de inferencia, esta
conclusin tambin se considera verdadera. La siguiente figura muestra
esquemticamente estos procesos:
Figura 1.
Proceso de Inferencia
Fascculo No. 1
Matemticas
discretas
14 Semestre 2
Reglas de inferencia
Las reglas de inferencia son consideradas esquemas que permiten la
construccin de inferencias vlidas y que utilizan las premisas para poder
determinar una conclusin.
Las reglas de inferencia se muestran en la siguiente tabla

Representacin
Regla de Inferencia Ejemplo
Simblica
1. Modus Ponendo Ponens (pp)
2. Modus Tollendo Tollens

(tt)
3. Modus Tollendo Ponens

(tp)
4. Doble Negacin
(dn)
5. Regla de Simplificacin
(s)
6. Regla de Adjuncin
(a)
7. Ley del Silogismo

Hipottico (sh)
8. Ley de Adicin
(la)
9. Ley de Morgan
(lm)
Fascculo No. 1
discretas
10. Ley de Simplificacin

(dp)
Disyuntiva
11. Ley de Silogismo
Disyuntivo
(sd)
12. Ley Conmutativa

(lc)
13. Ley Bicondicional
(lb)
14. Regla de Premisas Una premisa se puede incluir en

cualquier punto de una deduccin. (rp)
Tabla 1.3
Reglas de inferencia.
En una proposicin condicional existen dos elementos que la componen:

la causa y el efecto que genera esa causa o le que llamaremos en este
curso el antecedente (la causa) y el consecuente (el efecto). Tomemos
como ejemplo: , esto se leera como p implica q, siendo p el
antecedente y q el consecuente. Tambin se lee como: s p entonces q.
Una condicional tambin se nombra como una implicacin
A continuacin se explican cada una de las reglas de inferencia de la tabla

anterior .
1. Modus Ponendo Ponens (mp). Es un modo (modus) a travs del cual
afirmando (ponendo) el antecedente se afirma (ponens) el consecuente.
Ejemplo
Qu se puede concluir de las siguientes proposiciones?:
Fascculo No. 1
Matemticas
discretas
16 Semestre 2
S Alicia va a la fiesta esta noche; entonces, maana se levantar tarde.

Alicia va a la fiesta.
Simbolizando las anteriores proposiciones se tiene:
P = Alicia va la fiesta esta noche

Q = Maana se levantar tarde
Como se observa, en la lnea 2 se encuentra la afirmacin del antecedente

de la implicacin que se encuentra en la lnea 1 , esto
permite concluir, a travs de la regla de inferencia Modus Ponendo Ponens
(pp), que Alicia se levantar tarde maana . Tal y como se muestra en
la lnea 3.
2. Modus Tollendo Tollens (tt). Es un modo (modus) a travs del cual

negando (tollendo) el consecuente, se niega (tollens) el antecedente.
Ejemplo
S Carlos estudia a distancia nocturno; entonces, podr trabajar en el da,

pero Carlos no puede trabajar en el da.
P = Carlos estudia a distancia nocturno

Q = podr trabajar en el da
Fascculo No. 1
discretas
Como se observa, en la lnea 2 se encuentra la negacin del consecuente

de la implicacin, la cual se encuentra en la lnea 1 ,
esto permite concluir, a travs de la regla de inferencia Modus Tollendo
Tolllens (tt), que Carlos no estudiar a distancia nocturno . Tal y
como se muestra en la lnea 3,
3. Modus Tollendo Ponens (tp). Es un modo (modus) a travs del cual

negando (tollendo) uno de los miembros de una disyuncin se afirma el otro
miembro.
Ejemplo
O Hace fro o Hace calor. No hace calor.
Simbolizando la anterior proposicin se tiene:
F = Hace fro
C = Hace calor
Como se observa, en la lnea 2 se encuentra la negacin de uno de

los miembros de la disyuncin , por este motivo se concluye,
apoyados en la regla de inferencia Modus Tollendo Ponens (tp), que Hace
fro . Tal y como se muestra en la lnea 3.
4. Doble Negacin (dn). Esta regla permite aplicar el trmino de enlace

negativo dos veces a una proposicin, o viceversa. Si existe una proposicin
con dos trminos de enlace negativos, seguidos, estos se pueden anular.
Ejemplo
Qu se puede concluir de la siguiente proposicin?:
No es cierto que no estaba en la fiesta.
Fascculo No. 1
Matemticas
discretas
18 Semestre 2
Simbolizando la anterior proposicin se tiene:
F = Estar en la fiesta
Con base en lo presentado en la lnea 2, se concluye, apoyados en la regla

de inferencia Doble Negacin (dn), que s estaba en la fiesta .
5. Regla de Simplificacin (s). Esta regla permite separar una

conjuncin dependiendo de lo que se desee demostrar.
Ejemplo
Alberto va al cine y despus va a la fiesta.
A = Alberto va al cine
F = Alberto va la fiesta
Se puede observar que el anterior ejercicio puede tener dos posibles

soluciones, tal y como se muestra en la lnea 2 y en la lnea 3
, apoyndose en la regla de inferencia Simplificacin (s).
6. Regla de Adjuncin (a). Esta regla permite unir dos proposiciones a travs
del trmino de enlace disyuntivo.
Ejemplo
Demostrar:
Si el Mircoles hay conferencia entonces no habr clase. Si el Mircoles
no hay clase entonces nos atrasaremos en el programa, pero no nos
Fascculo No. 1
discretas
atrasaremos en el programa, por lo tanto el Mircoles hay clases y no

hay conferencia.
La simbolizacin sera:
N = El Mircoles hay conferencia

C = El Mircoles hay clase
A = Atrasarse en el programa
Demostrando lo anterior:
Se aprecia en el proceso anterior la utilizacin de la regla tollendo tollens,

de tal manera que permita concluir como se hace en la lnea 4, con ello se
puede obtener a C que se necesita para obtener a N y as poder llegar a la
demostracin de , tal como aparece en la lnea 7.
Fascculo No. 1
Matemticas
discretas
20 Semestre 2
7. Ley del Silogismo Hipottico (sh). Esta ley permite deducir una
implicacin a partir de otras dos; en donde deber cumplirse que el
consecuente de la primera premisa sea antecedente de la segunda premisa;
de all, se concluye con el antecedente de la primera premisa y el consecuente
de la segunda premisa, unindolas a travs del trmino de enlace condicional.
Ejemplo
Demostrar:
S llueve entonces hace fro, s hace fro entonces tendr que usar un
abrigo, por lo tanto s llueve entonces tendr que usar un abrigo.
La simbolizacin sera:
Demostrando lo anterior:
8. Ley de Adicin (la). Esta ley hace posible unir dos proposiciones a travs
del trmino de enlace disyuntivo.
Ejemplo
Demostrar:
Patricia prepara la comida. Patricia solicita un domicilio.
Al simbolizar las anteriores proposiciones se tiene:
P = Patricia prepara la comida

D = Solicita un domicilio
Fascculo No. 1
discretas
En la lnea 3 se observa la conclusin del problema correspondiente a:

Patricia prepara la comida o solicita un domicilio . Este ejercicio
consiste en la unin de dos proposiciones a travs del trmino de enlace
disyuntivo, tal como se muestra en la lnea 3, apoyndose en la Regla de
Inferencia Adicin (la).
En el siguiente ejemplo se ver otra manera de utilizar esta regla:
Demostrar:
l est equivocado o estar sorprendido
La premisa dada es:
l est equivocado
La simbolizacin quedara:
E = l est equivocado
S = Estar sorprendido
Como se observa en el ejercicio anterior, una de las premisas a demostrar

no existe en el conjunto de las premisas consideradas verdaderas. En este
caso, se puede adicionar, como se muestra a continuacin:
En la lnea 2 se muestra la conclusin, apoyndose en la Regla de

Inferencia de Adicin, quedando demostrado el ejercicio.
9. Ley de Morgan (lm). Para aplicar esta ley debern cumplirse los siguientes
puntos:
a. Negar cada miembro de la disyuncin o conjuncin, conforme sea el caso.
b. Cambiar el trmino de enlace; s es una conjuncin cambia por una
disyuncin y si es una disyuncin cambia por una conjuncin.
c. Finalmente se niega toda la frmula.
Fascculo No. 1
Matemticas
discretas
22 Semestre 2
Ejemplo
Qu se puede concluir de la siguiente proposicin:
l est equivocado y yo tengo razn.
Al simbolizar las anteriores proposiciones se tiene:
E = l est equivocado
R = Yo tengo razn
Aplicando la Ley de Morgan, conforme a lo expresado anteriormente, se

tiene que :
En la conclusin la lnea 2 presenta la aplicacin de las tres condiciones

necesarias para aplicar Morgan: primero, negar cada proposicin, en este
caso de la conjuncin; segundo, cambiar el trmino de enlace, una
conjuncin - lnea 1-, quedando una disyuncin como aparece entre
parntesis de la lnea 2; tercero, se niega toda la expresin o frmula, tal
como se muestra en la lnea 2.
10. Ley del Silogismo Disyuntivo (sd). Esta ley es la nica que se aplica
utilizando tres premisas, para ello se debe cumplir con lo siguiente: 1. Deben
existir una disyuncin y dos implicaciones, como premisas del problema. 2.
Los miembros de la disyuncin deben ser los antecedentes de las dos
implicaciones. Ahora bien, una vez cumplido con los dos requisitos anteriores,
la conclusin se construye con los consecuentes de las implicaciones, los
cuales se deben unir utilizando la disyuncin como trmino de enlace.
Ejemplo
Qu se puede concluir de las siguientes proposiciones:
O Francisco trabaja o Francisco estudia. S Francisco trabaja

entonces podr sacar adelante su familia. S Francisco estudia
entonces podr sacar adelante su familia.

Fascculo No. 1
discretas
T = Francisco trabaja
E = Francisco estudia
P = Francisco podr sacar adelante su familia
Siguiendo lo expresado por el Silogismo Disyuntivo: existe una disyuncin

, y cada proposicin de la disyuncin son los antecedentes de
las implicaciones de las lneas 2 y 3 . Como se cumple
con esta estructura se puede concluir:
La conclusin - lnea 4- corresponde a los consecuentes de las

implicaciones de las lneas 2 y 3.
11. Ley de la Simplificacin Disyuntiva (dp). Esta ley permite separar una
disyuncin siempre y cuando las premisas sean iguales, de lo contrario no es
posible.
Retomando el ejercicio anterior y apoyndonos en la Regla de Inferencia

Simplificacin Disyuntiva (dp), es posible concluir que:
12. Ley Conmutativa (lc). Esta ley permite cambiar la ubicacin de dos
proposiciones que se encuentran unidas a travs del trmino de enlace
disyuntivo o conjuntivo.
Fascculo No. 1
Matemticas
discretas
24 Semestre 2
Ejemplo
Demostrar:
Sonia tendr que trabajar y estudiar
Las premisas son:
Si Sonia viaja a Europa entonces Sonia tendr que estudiar y trabajar,

pero Sonia viaja a Europa.
La simbolizacin queda:
V = Sonia viaja a Europa
E = Sonia tendr que estudiar
T = Sonia tendr que trabajar
En este ejemplo se observa la aplicacin sencilla de un ponendo

ponens para poder obtener la conjuncin lnea 3- puesto que esta es
la solucin, Finalmente se reordena y se concluye lnea 4- utilizando la
ley conmutativa.
13. Ley Bicondicional (lb). Esta ley permite dividir una proposicin
bicondicional en sus dos componentes condicionales y viceversa.
Ejemplo
Qu se puede concluir de las siguientes proposiciones:
S y solo s practicas con dedicacin, podrs aprender a conducir el

auto.
La simbolizacin queda:
P = Practicas con dedicacin
C = Aprender a conducir el auto
Fascculo No. 1
discretas
El ejercicio anterior tiene dos alternativas de solucin:
Como se observa, de una expresin bicondicional es posible concluir lo

expresado en las lneas 2 o 3, de acuerdo con lo que se necesite
demostrar.
Ahora bien, si en el ejercicio anterior se hubiese tenido:
La conclusin - lnea 3 - corresponde a una bicondicional resultado de

aplicar la Regla de Inferencia Ley Bicondicional.
14. Regla de Premisas (rp). Esta es una regla especial, pues permite incluir
una premisa en el proceso de deduccin, bajo ciertos parmetros:
i. Si en el proceso de demostracin se llega a un punto en que no es

posible utilizar las dems reglas de premisas, entonces, se puede incluir
la que se necesite.
ii. Si se pide demostrar una proposicin que no se encuentra dentro de las

premisas dadas, entonces, es factible incluirla para realizar el proceso de
inferencia.
Ejemplo
Demostar:
Como se observa en el ejercicio anterior, una de las proposiciones a

demostrar no se encuentra dentro del cuerpo del problema, lo que implica,
Fascculo No. 1
Matemticas
discretas
26 Semestre 2
que debemos adicionarla, y para ello, nos apoyamos en la regla de

premisas, tal como se muestra a continuacin:
En la lnea 6 se evidencia la inclusin de la premisa R , de tal manera

que permita la demostracin de lo solicitado inicialmente .
Existen algunas reglas de inferencia que hablan de antecedentes

y consecuentes, por lgica se sabe que se refiere a proposiciones
condicionales. Cuando se dice afirmando el antecedente, esto
hace referencia a que el antecedente debe dejarse en el mismo
estado y cuando se refiere a negar el consecuente, significa que
el consecuente debe encontrarse en el estado contrario. As pues,
observe la siguiente tabla:
Proposicin Estado Observacin
Se est afirmando
Se est afirmando
Se est negando
Se est negando
1.2
Demuestre, utilizando las reglas de inferencia, los siguientes ejercicios:
1. Si la banda no pudiera tocar rock o las bebidas no llegasen a tiempo;

entonces, la fiesta del Ao Nuevo tendra que cancelarse y Alicia se
enojara. Si la fiesta se cancelara, habra que devolver el dinero. No se
devolvi el dinero. Por lo tanto, la banda pudo tocar rock.
Fascculo No. 1
discretas
2. Si Domingo va a la carrera de autos; entonces, Elena se enojar. Si

Rafael juega cartas toda la noche; entonces, Carmen se enojar. Si
Elena o Carmen se enojan, le avisarn a Vernica (su abogado). Ve-
rnica no ha tenido noticias de estos dos clientes. En consecuencia,
ni Domingo fue a las carreras ni Rafael jug cartas toda la noche.
3. Realiza la siguiente demostracin:
1.
2.
3.
4.
5.
Renase con sus compaeros y consulten la epistemologa de la lgica, sus

inicios, su evolucin y los pensadores que hicieron posible su utilizacin a travs
de sus aportes. Finalmente realice un cuadro sinptico, que permita observar la
evolucin a travs del tiempo.
En este fascculo se desarrollaron conceptos bsicos del Clculo Propo-

sicional, es decir, las proposiciones, su clasificacin y su utilizacin a tra-
vs del proceso de inferencia apoyado en las reglas de la misma para
llegar a realizar demostraciones directas o deducciones proposicionales.
Uno de los aspectos importantes en el desarrollo de software, sin interesar

el paradigma utilizado (Procedimental u Orientado a Objetos), radica en el
establecimiento de controles a procesos o eventos que se puedan dar.
Esto es posible integrando expresiones lgicas las cuales utilizan estruc-
turas condicionales para ello; por consiguiente, se podr ver el siguiente
trozo de un algoritmo:
Fascculo No. 1
Matemticas
discretas
28 Semestre 2

If ( x > 0) {
entonces
mostrar El nmero es positivo
}

Al observar el ejemplo anterior, se puede hacer la simbolizacin, tal como
hasta el momento se ha hecho; para ello consideremos a la proposicin x
> 0 como P y a la instruccin mostrar El nmero es positivo, como Q,
luego ya tendramos una implicacin: . Cada vez que se cumpla
con x > 0 se va a ejecutar la instruccin mostrar, lo que quiere decir que
siempre que sea verdad el antecedente P se cumple el consecuente Q; en
otras palabras, afirmando el antecedente se afirma el consecuente y esto
corresponde al uso de la regla de premisas Modus Ponendo Ponens:
En este orden de ideas, a lo largo del desarrollo de software se encuentran

diversas estructuras de control las cuales permiten validar los campos,
eventos y/o situaciones que se puedan dar en la ejecucin de un
programa.
GRASSMANN, Winfried Karl; Tremblay, Jean Paul, Matemtica Discreta y

Lgica: Una perspectiva desde la Ciencia de la Computacin. Espaa:
Prentice Hall: 1998.
ROSS, K. Wright, Ch. Matemticas Discretas 2a. edicin. Mxico. Prentice
Hall. 1990.
SUPESS, Patrick; HILL, Shirley. Introduccin a la Lgica Matemtica,
Barcelona:Editorial Revert Colombiana, 1988. (Texto gua)
Fascculo No. 1
discretas
En este fascculo se abord la utilizacin de la demostracin directa

haciendo uso de las reglas de inferencia para realizar una inferencia lgica
a partir de unas premisas dadas. En el prximo fascculo se estudiar el
tema de la validez y certeza de estas proposiciones, al igual que sus
implicaciones.
Fascculo No. 1
Matemticas
discretas
30 Semestre 2
Seguimientoal autoaprendizaje
Matemticas discretas - Fascculo No. 1

Nombre_______________________________________________________
Apellidos ________________________________ Fecha: _________________
Ciudad___________________________________Semestre: _______________
1. Demostrar: P
1 .P Q( P )
2 .R S( P )
3.T S( P )
4. T U( P )
5. U ( P )
2. Demostrar: U
1.P Q (P)
2.Q R S (P)
3. R T U (P)
4.P T (P)
3. Si Ivonne va a su clase del lunes en la tarde; entonces, deber presentar

el taller para ese da. Si va al paseo el fin de semana, llegar el lunes
por la maana. Si Ivonne llega a su casa el lunes por la maana y va a
clase por la tarde; entonces, tendr que presentar el taller. Por
desgracia, Ivonne no alcanza a realizar el taller. De esta manera, qu
debi haber hecho, Ivonne, no ir al paseo o faltar a clase el da lunes?
4. Y ahora llegamos a la gran pregunta del por qu?. El robo no ha sido

el objeto del asesinato, puesto que nada desapareci Fue por motivos
polticos, o fue una mujer? sta es la pregunta con que me enfrento.
Fascculo No. 1
discretas
Desde el principio me he inclinado hacia esta ltima suposicin. Los

asesinos polticos se complacen demasiado en hacer slo su trabajo y
huir. Este asesinato, por el contrario, haba sido realizado muy delibe-
radamente, y quien lo perpetr ha dejado huellas por toda la habitacin,
mostrando que estuvo ah todo el tiempo.
5. Si Norma, va a su reunin del martes por la maana; entonces, deber

levantarse muy temprano ese da. Si va al concierto de Rock el lunes
por la noche; entonces, llegar a su casa despus de las 11:00 p.m. Si
Norma llega a su casa a esa hora y se levanta temprano al da siguiente;
entonces, tendr que ir a trabajar despus de dormir menos de siete
horas. Por desgracia, Norma, no puede trabajar con menos de siete
horas de descanso. Norma, no deber ir al concierto de Rock o deber
faltar a su reunin del martes por la maana.
Fascculo No. 1
Matemticas
discretas
32 Semestre 2

MateDiscre F01 PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

MateDiscre F01 PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

Matemticas discretas 1

La Matemtica Discreta abarca temticas como:

Fascculo No. 1 CMatemticas

Competencias generales de la asignatura

Apropiar el concepto de grafos, rboles y sus aplicaciones.

Contenido mnimo de la asignatura

Leyes del Algebra Booleana

Mapa conceptual de la asignatura

Las reglas de la lgica le dan un significado preciso a los enunciados

Mapa conceptual fascculo 1

Al finalizar el estudio del presente fascculo, el estudiante estar en capacidad

Identificar y Clasificar una proposicin de acuerdo con los trminos de

Clculo Proposicional (parte I)

Las proposiciones atmicas son aquellas consideradas bsicas como por

Las proposiciones moleculares son aquellas que utilizan un trmino de

De acuerdo con el trmino de enlace utilizado, las proposiciones molecula-

Trmino de Enlace Tipo de Proposicin Representacin Simblica

Cabe resaltar que los trminos de enlace se aplican a las proposiciones

Las siguientes proposiciones se consideran moleculares:

All se evidencian dos proposiciones atmicas unidas a travs del trmino

Como se observa, la negacin se aplica a la proposicin atmica, razn

Esta es otra forma de expresar una disyuncin y su simbologa es:

La proposicin , co- P: Llueve

Jerarqua de los trminos de enlace

Trmino de Enlace Nivel de Jerarqua

Los trminos de enlace y y o tienen el mismo nivel de jerarqua o

1. Realice el siguiente pareo con las palabras que se encuentran a la

2. Cules de las siguientes son proposiciones?

3. Simboliza los siguientes enunciados

La simbolizacin de las proposiciones juega un papel importante pues no

Es as como las reglas de inferencia permiten obtener otras proposiciones

Las premisas dadas se consideran hechos que son verdaderos, as por

Las reglas de inferencia se muestran en la siguiente tabla

1. Modus Ponendo Ponens (pp)

2. Modus Tollendo Tollens

3. Modus Tollendo Ponens

7. Ley del Silogismo

10. Ley de Simplificacin

12. Ley Conmutativa

13. Ley Bicondicional

14. Regla de Premisas Una premisa se puede incluir en

En una proposicin condicional existen dos elementos que la componen:

A continuacin se explican cada una de las reglas de inferencia de la tabla

S Alicia va a la fiesta esta noche; entonces, maana se levantar tarde.

Simbolizando las anteriores proposiciones se tiene:

P = Alicia va la fiesta esta noche

Como se observa, en la lnea 2 se encuentra la afirmacin del antecedente

2. Modus Tollendo Tollens (tt). Es un modo (modus) a travs del cual

S Carlos estudia a distancia nocturno; entonces, podr trabajar en el da,

Simbolizando las anteriores proposiciones se tiene:

P = Carlos estudia a distancia nocturno

Como se observa, en la lnea 2 se encuentra la negacin del consecuente

3. Modus Tollendo Ponens (tp). Es un modo (modus) a travs del cual

O Hace fro o Hace calor. No hace calor.

Simbolizando la anterior proposicin se tiene:

Como se observa, en la lnea 2 se encuentra la negacin de uno de

4. Doble Negacin (dn). Esta regla permite aplicar el trmino de enlace

No es cierto que no estaba en la fiesta.

Simbolizando la anterior proposicin se tiene:

Con base en lo presentado en la lnea 2, se concluye, apoyados en la regla

5. Regla de Simplificacin (s). Esta regla permite separar una

Alberto va al cine y despus va a la fiesta.

Simbolizando las anteriores proposiciones se tiene: