UNIVERSIDAD TECNICA DE MANABÍ

NOMBRES:
ELVIA ELIANA IBARRA ALCÍVAR
PROFESOR:
ING. VICENTE ZAMBRANO
MATERIA:
MATEMÁTICA DISCRETA
ESPECIALIDAD:
ING. EN TECNOLOGÍAS DE LA INFORMACIÓN
NIVEL:
SEGUNDO SEMESTRE
AÑO LECTIVO:
2020-2021
HOJA DE VIDA
MISIÓN Y VISIÓN
Misión
Obtener los mayores conocimientos en la asignatura, para así poder practicarlo y
darles un realce a los conocimientos ya aprendidos durante el periodo de estudio.

Visión
Ser una de las estudiantes con mayores conocimientos en la materia, para así poder
aplicarlos en la especialidad que se está estudiando, y poder acreditar sin ningún
inconveniente futuro.
CLASES
Lógica, conjuntos y combinatoria
 LÓGICA MATEMÁTICA
Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la
lógica proporciona reglas y técnicas para determinar si es o no valido un argumento
dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas;
en ciencias de la computación para verificar si son o no correctos los programas; en
las ciencias física y naturales, para sacar conclusiones de experimentos; y en las
ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas.

Proposiciones
Una proposición es una oración declarativa que sea verdadero (V) o falso (F). Nos
referimos al valor de V o F como valor de verdad de la declaración. Pero no
pueden ser verdadero y falso a la vez.
EJEMPLO:
 El enunciado 1+1=2 es una declaración, ya que puede ser verdadera o falsa.
Pues es verdadera esta declaración, su valor de verdad es V (VERDADERO).
 El enunciado 2=0 es también una declaración, pero su valor de verdad es F
(FALSO)

OPERADORES LÓGICOS
Conjunción
La conjunción de p y q es la declaración p^q, que se lee “p y q”. su valor de
verdad se define por el texto de la siguiente tabla de verdad.

p q p^q
V V V
V F F
F V F
F F F
Disyunción
La disyunción de p y q es la declaración p vq, que se lee “p o q”. su valor de verdad
se define por la siguiente tabla de verdad.

p q p^q
V V V
V F V
F V V
F F F

Negación
La negación de p es la proposición ~p, que se lee “no p”. Su valor de verdad se
define por la siguiente tabla de verdad.

p ~p
T F
F T

La “o” Exclusiva
Una disyunción exclusiva solamente es verdadera cuando ambas frases tienen
valores diferentes y es falsa si las dos frases son ambas verdaderas o ambas
falsas. El símbolo de la o “o” exclusiva es ⊕.
Una tabla de la verdad de la disyunción exclusiva se representa así:

p q p⊕ q
V V F
V F V
F V V
F F F
Condicionante
la condicional de dos proposiciones p, q da lugar a la proposición, “ si p entonces
q”, “solo si”, se representa por p→ q.

p q p→q
V V V
V F F
F V V
F F V

Bicondicional
El Bicondicional o doble implicación es un operador que funciona sobre dos
valores de verdad, típicamente lo0s valores de verdad de dos proposiciones,
volviendo al valor de verdad verdadero cuando ambas proposiciones tienen el
mismo valor de verdad, y falso cuando los valores de verdad son diferentes.
También se lee “si solo si”.

p q p↔q
V V V
V F F
F V F
F F V

Orden de operadores lógicos

Podemos construir formulas con la tabla de verdad y utilizando la precedencia de
operadores lógicos, así como también podemos especificar el orden de las
formulas. Por último, si tenemos varios operadores iguales agrupamos a resolver
de izquierda a derecha.
Negación (~ 1)
Conjunción ( ^ )

Disyunción ( v ⊕ )
Entonces ( → )
Bicondicional ( ↔ )
Si realizamos la agrupación el orden es el siguiente:

()
[]
{}
Si tenemos varios operadores iguales empezamos de izquierda a derecha.
TABLAS DE VERDAD DE PROPOSICIONES COMPUESTAS

Tablas de verdad
Una tabla de verdad muestra la relación entre los valores de verdad de
proposiciones. La tabla muestra los dos posible de verdad de una proposición p y
los correspondientes valores de verdad de su negación ~p.
La negación de una proposición se puede considerar como el resultado de aplicar
el operador negación sobre una proposición. El operador negación construye una
nueva proposición a partir de la proposición individual existente.
Si utilizamos dos proposiciones representadas por p y q. Utilizamos la fórmula
matemática: 2n, donde n representa el número de proposiciones en la proposición
compuesta.

p q p^q
V V V
V F F
F V F
F F V

Lógicas de operaciones con bits

Las computadoras representan información usando bits. Un bit es un símbolo con
dos valores posibles a saber 0 (cero) y 1(uno). Este significado de la palabra bit
proviene de un digito binario. Porque ceros y unos son los dígitos utilizados en
representaciones binarias de números. Como se hace habitualmente, usaremos 1bit
para representar verdadero y un bit 0 para representar falso. Es decir 1, representa
V o T (verdadero True) y 0 representa F (falso o False) una variable se llama
booleana si su valor es verdadero o falso por consiguiente una variable booleana
 se puede representar usando un bit. Al remplazar verdadero por uno y falso por un
cero en las tablas de verdad para los operadores v, ^ y ⊕, las columnas en la
tabla 9 para se obtiene las operaciones de bit correspondiente. También usaremos
la notación OR, AND y XOR para los operadores v, ^ y ⊕, como se hace en varios
lenguajes de programación.

Proposición 1 Proposición 2 AND OR XOR

P Q P^Q P^Q P⊕Q
1 1 1 1 0
1 0 0 1 1
0 1 0 1 1
0 0 0 0 0

Traducción de lenguaje natural a lenguaje simbólico

Las frases normales que utilizamos en nuestra vida diaria, necesitamos transfórmala
en algo que puedan entender los ordenadores o maquinas digitales. Para eso
utilizamos una serie de símbolos para representar una proposición para que pueda
tener un valor de verdad de verdad o falso.
Los símbolos a utilizar usaremos letras del alfabeto para denotar proposiciones, se
denota por V para las proposiciones verdadero, y F para las proposiciones falsa.

Circuitos lógicos
Circuitos electrónicos, cada señal de entrada/salida se puede ver como 0 o 1.

 0 representa falso
 1 representa verdadero
Los circuitos se construyen a partir de tres circuitos básicos llamados puertas.
Ejemplo:

p ∧ (q ∨ ¬r) ¬ (p∧ (p ∨
¬r)

q ∨ ¬r
¬r

Equivalencias lógicas
La situación de una sentencia por otra de igual valor de verdad en la construcción
de argumentos matemáticos se emplea con frecuencia métodos que producen
proposiciones con el mismo valor de verdad como las leyes de lógica
anteriormente vistas, se clasifican de acuerdo a sus posibles valores.

Tautología
Es una proposición de todos sus resultados de la tabla de verdad son verdadero.
Ejemplo:

p ~p p^(~p)
T F V
T F F

Contradicción
Es una proposición que tiene como resultado falso en la tabla de verdad
Ejemplo:

p ~p p^(~p)
T F f
F T F
Contingencia
Es una proposición que tiene verdadero y falso en los resultados de la tabla de
verdad.
Ejemplo:

p q p^q
T T V
T F F
F T F
F F F
Satisfactible
Una proposición es satisfactoria si contiene al menos un valor de verdad en los
resultados de la tabla de verdad.
Ejemplo:

p q p^q
T T V
T F F
F T F
F F F

Equivalencias lógicas
Se dice que las proposiciones p y q son lógicamente equivalentes so p↔ q es una
tautología.
La notación p=q denota que p y q son lógicamente equivalentes.
Ejemplo:
 Leyes de la lógica proposicional
Tabla de equivalencia lógica
 Razonamientos
Traducción de frases del lenguaje natural
Existen razones para traducir frases del lenguaje natural a expresión con variables
proposicionales y conectivos lógicos. Ten en cuenta que esto puede conllevar hacer
un conjunto de suposiciones razonables basadas en el sentido que se da a la frase.
Por otra parte, una vez que hemos traducido frases del lenguaje natural a
expresiones lógicas para determinar sus valores de verdad.

Especificaciones de Sistemas
Traducir oraciones del lenguaje natural a expresiones lógicas es una parte básica
de las especificaciones de los sistemas informáticos, tanto de hardware y software.

Juegos de lógica
Los juegos que se pueden resolver usando razonamiento lógico se conocen como
juegos lógicos. Resolver dichos juegos es una buena forma de utilizar las reglas de
la lógica. Además, en todos los desarrollos de los diferentes softwares utilizamos
conectores lógicos y razonamientos lógicos.

Predicado lógico
Un predicado es una proposición que es una función de una o más variables

Cuantificadores lógicos
Sirven para describir los valores de una variable que se aplica en un predicado
lógico para obtener un valor de verdad (Verdadero o Falso).

METODOS DE DEMOSTRACION
Muchos de los teoremas son en base a una multiplicación p ->q, donde es verdadera
a excepción que p sea verdadera y q sea falsa tendríamos un resultado falso, por lo que el
teorema no sería correcto.

Demostración directa
En esta demostración utilizamos la implicación p->q parta demostrar que se cumple el
problema. Una demostración de este tipo se llama demostración directa.
Debemos partir de p es verdadera y se utilizan reglas de lógica, definiciones y teoremas ya
demostrados para demostrar que q también debe ser verdadera.
Demostración indirecta
En este método utilizamos la implicación contrarrecíproca. –q -> -p es verdadera, a
partir de la implicación p->q.
La contrarrecíproca se suele demostrar directamente, realizando los cambios en las
proposiciones. Negando la proposición q, para luego por demostración directa llegar
a la negación p.

Demostración por reducción al absurdo

En este método vamos a partir que se puede encontrar una contradicción q tal
–p->q sea verdadera, esto es, -p->F es verdadera. Entonces la proposición –p tiene
que ser falsa. Por tanto, p debe ser verdadera.

DEFINICIONES BASICAS
Definición. - un conjunto es una colección desordenada de objetos.
 Un conjunto es una colección desordenada de objeto.
 La notación x∈ S denota que x es un elemento del conjunto S.
 Si x no es miembro del conjunto S, se escribe por x∈ S.ç
Algunos conjuntos importantes
 B = Valores Booleanos = {True, False}
 N =Números Naturales = {0,1,2,3,…..}
 Z = Números Enteros = {…-3,-2,-1,0,1,2,3,…}
 Z+ = Z = Números enteros positivos = {1,2,3,…}
 R = Conjunto de los números reales
 R+ = R>0- Conjunto de los Números Reales Positivos
 C = Conjunto de los números Complejos
 Q = Conjunto de los números racionales

Notación de construcción de Conjuntos

Especifique la propiedad o propiedades, que todos los miembros del conjunto deben
satisfacer.

 S = {XI x es un numero entero positivo inferior a 100}

 S = {XI x∈ Z+^X<100}
 S = { x∈ Z I x<100}
Notación de intervalo
Se usa para describir subconjuntos de conjuntos en los que se define una orden,
por ejemplo, números:

 [a, b] = {x I a≤ x ≤ b}
 [a, b) = {x I a≤ x < b}
 (a, b] = {x I a< x ≤ b}
 (a, b) = {x I a< x <b}

Conjunto universal y conjunto vacío

El conjunto universal o universal U es el conjunto que contiene exactamente a todos
los elementos.
El conjunto vacío no contiene ningún elemento. Es simbolizado por ∅ 0 {}.

Subconjunto
Definición: El conjunto A se dice que es subconjunto de B si, solo si, todo elemento
de A es también un elemento de B.

Conjunto igualdad
Dos conjuntos A y B son iguales si tiene los mismos elementos.
Se representa por:
A = B↔ A ⊆B ^B ⊆A.

Propiedades de los subconjuntos

A es un subconjunto apropiado de B si A⊆ B Y A =B. esto se denota por A⊂ B
A⊂ B se expresa por:
∀X(x E A→ x E B ) ^ ∃x (x E B ^x EI A)

Cardinalidad de un Conjunto
Sea S un conjunto, si hay exactamente n elementos distintos en S, donde n es un
entero no negativo, decimos que S es un conjunto finito y n es el cardinal de S.

Conjunto Partes
Dado un conjunto S, el conjunto de las partes S es el conjunto de todos los
subconjuntos de S. el conjunto de las partes de S se denota por P(S) o también 2s.
Producto cartesiano
Sean A y B conjuntos. El producto cartesiano de A y B, denotado por A x B, es el
conjunto de todos los pares ordenados (a, b) donde a E A y b E, por tanto:
A X B = {(a, b)I a ∈ A ^b ∈ B}