Академический Документы
Профессиональный Документы
Культура Документы
Solución.
Arcos de selección (𝐴, 𝐷), (𝐶, 𝐸), (𝐷, 𝐹), (𝐴, 𝐵), (𝐵, 𝐸), (𝐸, 𝐺)
8. Aplicar el algoritmo de Kruskal para encontrar el camino más corto del siguiente
grafo
Solución:
Peso del grafo generador mínimo = 5+5+6+7+7+9
= 39
Las aristas de color verde son las aristas del árbol generador mínimo
Solución
10. Encontrar el camino más corto del siguiente grafo, mediante el algoritmo de Prim
Solución:
Solución.
Interpretación. La matriz de cierre transitivo muestra todos los caminos posibles que
existen entre los nodos del grafo, no necesariamente caminos directos sino caminos
posibles es decir, A puede conectarse con cualquier vértice, con todos los vértices del
grafo, etc. Pero D no se puede conectarse con ningún vértice ni siquiera consigo mismo.
2. Calcular la distancia mínima que existe de un vértice a cualquier otro y el
recorrido que va a tomar esa distancia. Ahora conteste las siguientes preguntas:
a- Cuál es la distancia y recorrido más corto de A hacia E
Distancia de 7
Recorrido A-B-C-E
b- Cuál es la distancia y recorrido más corto de D a E
Distancia de 5
Recorrido D-B-C-E
Solución
3. La Empresa cuenta con 7 bodegas
distribuidoras de aguacate en el país. Los
administradores desean saber el costo mínimos de
flete de una bodega a otra sin importar la bodega
que envía y la bodega que recibe, esto para
optimizar recursos a la hora que se transporta
producto.
Calcular la distancia y recorrido más corto sí;
Se quiere llevar producto de bodega A a la
bodega G
Se quiere llevar producto de bodega F a la
bodega A
Solución
4. Escriba verdadero o falso ante los siguientes enunciados acerca de los árboles
(teoría de grafos), en caso de ser falsa argumente su respuesta.
Los arboles tienen que ser:
a) Conexos (______)
b) Entre cada par de vértices de G existe un único camino. (___)
c) G es conexo con orden n y tamaño n- 2. (____)
d) En todo árbol se cumple que |𝑎| = 𝑣 + 1 (_______)
Literal a, b, c son verdaderas.
Literal d es falsa ya que en todo árbol se tiene que el número de vértices es igual a número
de aristas más uno. |𝑣| = 𝑎 + 1
a)
Solución
b)
SOLUCION
6. ¿Cuántas aristas deben eliminarse de un grafo conexo con n vértices y m aristas
para obtener un árbol generador?
Cómo se sabe que un grafo es conexo, si es posible formar un camino desde cualquier vértice
a cualquier otro en el grafo, y partiendo de la definición de un árbol generador que dice que se
forma a partir de un grafo simple, entonces el árbol generador, contiene todos los vértices de
G, también se toma en cuenta que un grafo simple es conexo si y solo si admite un árbol
generador. Y como fórmula general nos queda: 𝑚 − 𝑛 + 1
CONECTORES LÓGICOS
RESUELVA EL SIGUIENTE CUESTIONARIO
1. Escoja la respuesta correcta:
¿Qué son los conectores lógicos?
a) Sentencia declarativa que contiene un número definido de variables y que se vuelve en
una proposición cuando las variables son sustituidas por valores.
b) Interpretación para un sistema de lógica proposicional es una asignación de valores de
verdad para cada variable proposicional.
c) Es un sistema matemático que utiliza variables y operadores lógicos.
d) Nos permiten definir operaciones con proposiciones. Son símbolos que enlazan dos o
más proposiciones simples para formar una proposición compuesta.
Respuesta: literal d
Respuesta
Conjunción ∨
Bicondicional ↔
Disyunción ∧
Condicional →
Negación ¬
Disyunción Exclusiva ∨
Escriba aquí la ecuación.
3. Sean p, q y r las siguientes proposiciones:
p: "está lloviendo"
q: "el sol está brillando"
r: "hay nubes en el cielo"
Traducir las siguientes oraciones a notación simbólica utilizando las letras asignadas y
los conectivos lógicos:
a) Esté lloviendo y el Sol 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 sólo si, no está lloviendo. 𝑞 ↔ ¬ 𝑝
e) Si no hay nubes en el cielo, entonces el Sol esté brillando.¬ 𝑟 → 𝑞
f) Está lloviendo o el sol esté brillando. 𝑝 ∨𝑞
c) ¬(𝒑 ∨ 𝒒) ∧ 𝒓
Es falso que está lloviendo o el sol está brillando y hay nubes en el cielo.
d) (𝒑 → 𝒓) → 𝒒
e) ¬(𝒑 ↔ (𝒒 ∨ 𝒓))
Es falso que está lloviendo si y solo si el sol no está brillando o no hay nubes en el cielo.
(¬𝒑 ∨ 𝒒) → (𝒓 ∧ 𝒑)
𝒑 𝒒 𝒓 ¬𝒑 ∨ 𝒒 → 𝒓 ∧ 𝒑
V V V F V V V V V V
V V F F V V F F F V
V F V F F F V V V V
V F F F F F V F F V
F V V V V V F V F F
F V F V V V F F F F
F F V V V F F V F F
F F F V V F F F F F
Solución (𝑝 ∧ ¬ 𝑞) → ( 𝑟 → ¬ 𝑠)
𝒑=𝑽
𝐹
𝒒=𝑭 𝑉 𝐹
𝒓=𝑽 𝑉 𝑉 𝑉 𝐹
𝒔=𝑽
Solución
Eres ingeniero o matemático: ( 𝑝 ∨ 𝑞 )
Eres ingeniero: 𝒑
…… pero no eres matemático ∧ ¬ 𝑞
Eres matemático: 𝒒
Eres ingeniero o matemático, pero no eres matemático ( 𝑝 ∨ 𝑞 ) ∧ ¬ 𝑞
Eres ingeniero o matemático, pero no eres matemático. Por tanto,
eres ingeniero. [ ( 𝑝 ∨ 𝑞 ) ∧ ¬ 𝑞 ] → 𝑝
Solución:
Si usted ve un gato negro entonces tendrá mala suerte. 𝑚 → 𝑛
Usted ve un gato negro: 𝒎
Es falso que si usted ve un gato negro entonces tendrá mala suerte.
Usted tendrá mala suerte: 𝒏
¬ (𝒎 → 𝒏)
c) Si en Marte no hay agua, entonces no hay vida; en consecuencia, no hay marcianos ni
platillos voladores.
Solución:
En marte hay agua: 𝒑 Si en Marte no hay agua, entonces no hay vida ¬ 𝑝 → ¬ 𝑞
p q r ¬𝒒 𝒑→𝒒 ∨ ¬𝒒 ∧ 𝒓 ↔ 𝒓→𝒒
V V V F V V F V V
V V F F V V F V V
V F V V F V V F F
V F F V F F F F V
F V V F V V F V V
F V F F V V F V V
F F V V V V V F F
F F F V V V F V V
Solución:
a) Naturalmente nos referimos a la Luna que orbita la tierra, esta Luna, es redonda y no
cuadrada, en cuanto al perro, en efecto, tiene cuatro patas, tenemos:
La luna es cuadrada: Falso Conjunción ∧
Mi perro tiene cuatro patas: Verdadero
∴ 𝑭𝒂𝒍𝒔𝒐
b)
1 + 1 = 2 Verdadero Condicional →
10 < 15 Falso ∴ 𝑭𝒂𝒍𝒔𝒐
c)
O la derivada de 𝑥 2 es 2𝑥 Verdadero
Disyunción exclusiva ∨
o la integral indefinida 2𝑥 es 𝑥 2 Verdadero
∴ 𝑭𝒂𝒍𝒔𝒐
3. Él está cojo.
4. Qué alegría
5. 3 − 5 > 3
Solución:
Describamos rápidamente cada uno de los enunciados.
Descansa en paz: es un mandato, por tanto, no es un enunciado declarativo
𝑥4 𝑥 𝑛+1
∫ 𝑥 3 𝑑𝑥 = 4
es una proposición ya que la integral indefinida de ∫ 𝑥 𝑛 = 𝑛+1
CUANTIFICADORES
LOGICOS
Cuantificador Universal: ∀
∃ 𝒙 ∈ 𝑫, 𝑸(𝒙)
𝐷 = {1, 𝑎, 𝑒} D = {1, a, e}
∀𝒙 ∈ 𝑫, 𝑸(𝒙) ≡ 𝑸(𝟏) ∧ 𝑸(𝒂) ∧ 𝑸(𝒆)
RESOLUCION:
CUANTIFICADORES
LOGICOS
∀𝑥 ∈ 𝐷, 𝑄(𝑥) ∃ 𝒙 ∈ 𝑫, 𝑸(𝒙)
𝐷 = {1, 𝑎, 𝑒} D = {1, a, e}
∀𝒙 ∈ 𝑫, 𝑸(𝒙) ≡ 𝑸(𝟏) ∧ 𝑸(𝒂) ∧ 𝑸(𝒆) ∃x ∈D,Q(x)≡Q(1)∨Q(a)∨Q(e)
5. Para la afirmación:
∀x, si x es político, entonces x es un buen conversador
Usando los predicados
P (x) = x es político y
C(x) = x es un buen conversador,
Indique cuáles expresiones describen la afirmación:
SOLUCION:
7. Realice el siguiente ejemplo de cuantificadores lógicos:
Considere:
Solución:
8. Expresar:
“Todos los gatos tienen cola” en cálculo de predicados
Solución:
Hallar primero el ámbito del cuantificador universal, que es “Si x es un gato, entonces x tiene
cola” y se define como:
Gx ↔ x es un gato Cx ↔ x tiene cola
∴ (∀x) Gx → Cx
9. Expresar:
“x protege el circuito de luces” Para cada x, x protege el circuito de luces
Solución.
En este caso utiliza “x” para afirmar que cada elemento del universo tiene una cierta
propiedad
Wx ↔ x protege el circuito de luces
(∀x) Wx
10. Sea A= {1,2,3,4,5}
a) (∃ x ∈ A)(x+3=10)
NOT
0 0 0 0 0 0 1 1
0 0 0 1 0 1 0 0
0 0 1 0 0 1 0 0
0 0 1 1 0 1 0 0
0 1 0 0 0 0 1 1
0 1 0 1 0 1 0 0
0 1 1 0 0 1 0 0
0 1 1 1 0 1 0 0
1 0 0 0 0 0 1 1
1 0 0 1 0 1 0 0
1 0 1 0 0 1 0 0
1 0 1 1 0 1 0 0
1 1 0 0 1 0 1 0
1 1 0 1 1 1 0 1
1 1 1 0 1 1 0 1
1 1 1 1 1 1 0 1
Tabla de verdad
0 0 1 1 1 0 1 1
0 1 1 0 0 1 0 0
1 0 0 1 0 0 1 1
1 1 0 0 0 0 1 1
TABLA DE VERDAD
A B C A’ B’ & (A.B) &(A’ B’) ≥1
0 0 0 1 1 0 1 1
0 0 1 1 1 0 1 1
0 1 0 1 0 0 0 0
0 1 1 1 0 0 0 0
1 0 0 0 1 0 0 0
1 0 1 0 1 0 0 0
1 1 0 0 0 1 0 1
1 1 1 0 0 1 0 1
A B C
F1
Solución:
0 0 0 1 1 1 0 0 1 1
0 0 1 1 1 0 0 0 0 0
0 1 0 1 0 1 0 1 0 1
0 1 1 1 0 0 0 0 0 0
1 0 0 0 1 1 0 0 1 1
1 0 1 0 1 0 1 0 0 1
1 1 0 0 0 1 0 0 0 0
1 1 1 0 0 0 0 0 0 0
F2 = A’ + AB’C’ + B’C + AD
A B C D
F2
Solución:
0 0 0 1 1 1 1 0 1 0 0 0 1
0 0 1 0 1 1 0 1 1 0 1 0 1
0 0 1 1 1 1 0 0 1 0 1 0 1
0 1 0 0 1 0 1 1 1 0 0 0 1
0 1 0 1 1 0 1 0 1 0 0 0 1
0 1 1 0 1 0 0 1 1 0 0 0 1
0 1 1 1 1 0 0 0 1 0 0 0 1
1 0 0 0 0 1 1 1 0 1 0 0 1
1 0 0 1 0 1 1 0 0 1 0 1 1
1 0 1 0 0 1 0 1 0 0 1 0 0
1 0 1 1 0 1 0 0 0 0 1 1 1
1 1 0 0 0 0 1 1 0 0 0 0 0
1 1 0 1 0 0 1 0 0 0 0 1 1
1 1 1 0 0 0 0 1 0 0 0 0 0
1 1 1 1 0 0 0 0 0 0 0 1 1
A B C A’ B’ C’ A’BC’ B’C’ OR
0 0 0 1 1 1 0 1 1
0 0 1 1 1 0 0 0 0
0 1 0 1 0 1 1 0 1
0 1 1 1 0 0 0 0 0
1 0 0 0 1 1 0 1 1
1 0 1 0 1 0 0 0 0
1 1 0 0 0 1 0 0 0
1 1 1 0 0 0 0 0 0