You are on page 1of 20

3.Realizar los ejercicios de la sección 5.5.

1. Diseñar un programa en C++ que permita evaluar la expresión p || q && r evalúe todas las
interpretaciones de la expresión anterior y compárelas con las interpretaciones de la fórmula
lógica p ∨ q ∧ r ¿Son lógicamente equivalentes?

P Q R ((P ∨ q) ^r) p||q &&r (p||q)&& r
(p||q)&& r
V V V V V V
V V F F V F
V F V V V V
V F F F V F
F V V V V V
F V F F F V
F F V F F V
F F F F F V

Rta// no son lógicamente equivalentes ya que c++ maneja una jerarquía de operadores
diferente.

2. Escribir en C++ una asignación a una variable real F que almacene el valor del módulo de
la fuerza con que se atraen o se repelen dos cargas Q1 y Q2 que se encuentran separadas
una distancia r. El módulo de la fuerza se puede calcular utilizando la ley de Coulomb que
está dada por la expresión.

3. Suponga que double a = 0.5, int b = -2 y int c = 3, entonces ¿Cuál es el valor que se
obtiene al evaluar de la siguiente expresión? -b + b * b % 3 - 4 * a * c / 2 * a
-(-2)+(((-2)*(-2))%3)-(4*0.5*3/2*0.5)
2+ (4%3)-1.5
2+1-1.5
3-1.5
1.5
Rta//si en donde yo vaya a guardar el resultado le asigno una variable (double) el
resultado va a ser 1.5, pero si asigno una variable de tipo entero (int) me va a dar 1.

4. Suponga que int a = 3, int b = 10, double c = 0.5 y int d = 4, entonces ¿Cuál es el valor
que se obtiene al evaluar de la siguiente expresión?
(int)(b * c) % a * -b / c + d - a % d
(5%3)*(-(10)/0.5))+4-(3%4)

7. i++.s += i. i++. 2. 5. . 14. Construya la traza para la siguiente secuencia de instrucciones: 1. s += i. int i = 0. t s i 1 0 - 2 0 0 3 0 0 4 0 0 5 1 1 6 1 1 7 3 2 8 3 2 9 6 3 10 6 3 11 10 4 12 10 4 13 15 5 14 15 5 15 21 6 ¿Si se repiten las dos últimas instrucciones de forma continua. 10. s += i. s += i. 13 . i++. 8. s += i. 12. i++. 11. 2*(-20)+4-3 -40+4-3 -39 5. 15. s += i. 9. 3. i++. s += i. i++. cual es la expresión (dependiente de i) que se desea calcular? Rta//la sucesión de la sumatoria de los números naturales “i” hasta el infinito. 6. int s = 0. 4.

6. p b t 1 1 0 0 2 1 2 0 3 1 2 0 4 1 2 1 5 2 2 1 6 2 2 3 7 4 2 3 8 4 2 7 9 8 2 7 10 8 2 15 11 16 2 15 12 16 2 31 13 32 2 31 14 32 2 63 ¿Si se repiten las dos últimas instrucciones de forma continua. p *= b. int b = 2. 11. cuáles son las expresiones que se desean calcular con las variable p y t? Rta// p=b^n t=(b^n)-1 . p *= b. 14. 12. p *= b. t += p. t += p.6. 2. 10. t += p. Construya la traza para la siguiente secuencia de instrucciones: 1. 4. t += p. 8. 5. 13. int p = 1. p *= b. int t. t += p. 7. t = p. 3. p *= b. 9.

f3(n) = n^2 Dom: (-∞. (0.0) ( . Es inyectiva y total vi. De las siguientes funciones definidas de Z a Z i.0) (0.∞) iii. De las siguientes relaciones definidas de Z en R i.6.∞) Img: (-∞. Encuentre todas las relaciones de A en B. 26. 1} y B = { } dos conjuntos. Es total iv.4. Es biyectiva y total. 1. Sean A = {0. ∞) iv. ) (1.0) ( . ) (1. 1. Dados A y B conjuntos finitos tales que |A| = n y |B| = m. f5(x) = ±x no es función vi. f2(n) = n Dom: (-∞. De las funciones definidas en el numeral 26.∞) Img: 1 ii.∞) 27.∞) Img(0. ¿Cuáles son inyectivas?.∞) Img: [0. f5(n) = 2^n Dom: (-∞. ¿cuáles son totales?. 4.∞) v. ∞) vi. f4(x) = |x| Es función v. es decir. iii. ¿cuáles son biyecciones? i. que en este caso hay 4096 unidades.∞) Img (-∞.1) ( . f2(x) = x2 Es función iii. )( .1) (1. 2. ) (0.1) ( . ii. )( . f1(n) = 1 Dom: (-∞. Sean A = {0. Es total.0) (1. 1) 4. f6(n) = log2 n Dom: (0. ) ( . 30] de la sección 6. f7(x) = 1/x2 Es función . 2} y B = { } dos conjuntos. ¿Cuántas relaciones de A en B Existen? Rta// existen 2^(n*m) relaciones posibles. ∞) Img (-∞. f6(x) = 1/x Es función vii. )( . ¿Cuántas relaciones de A en B existen? Rta// existen 2^(n*m) relaciones posibles. ¿cuáles son sobreyectivas?. 2. Es biyectiva 28. ) (0. f3(x) =√x Es función iv. f4(n) = n^3 Dom: (-∞. Es biyectiva y total v. f1(x) = x Es función ii. [26. Realizar los ejercicios 1.

Es biyectiva . vi. Dom: (0. vi.∞) ii. De las relaciones definidas en el numeral 28 que son funciones.viii. no es total viii. Dom: (-∞. ¿Cuál es el rango? i. ¿cuáles son inyectivas?. Es inyectiva vii.0) U (0.∞) Img: (∞. Dom: (-∞. Dom: (-∞. no es sobreyectiva.∞) iv. ¿Cuál es el dominio?.∞) Img: (-∞. Dom: (0.∞) viii.∞) v. f8(x) = log2 x Es función 29. Dom: (-∞. De las relaciones definidas en el numeral 28.0) U (0.∞) Img: [0.∞) Img: [0. No es inyectiva. ¿cuáles son totales?.-∞) 30. ¿cuáles son sobreyectivas?. Es total iii. ∞) Img: (-∞. ∞) vii. Es inyectiva iv.0) U (0. ¿cuáles son biyecciones? i. Es total v. Dom: (-∞. _no es función. Es biyectiva y total ii.∞) iii. ∞) Img: (0. ∞ ) Img: (0.

(si es una proposición ya que puedo asignarle un valor de verdad) 2. 1. 1742). justifique su respuesta. 8]. Realizar los ejercicios [1. [13i. (si es una proposición ya que puedo asignarle un valor de verdad) • Todo número primo es impar. (si es una proposición ya que puedo asignarle un valor de verdad) • Dame una cerveza. De los siguientes enunciados ¿cuáles son proposiciones y cuáles no?. (si es una proposición ya que puedo asignarle un valor de verdad) • La diferencia de dos primos. 14v. 14iii. (si es una proposición ya que puedo asignarle un valor de verdad) • 1 + 1 = 2. 13xvi].4]. 1. (no es una proposición porque hace referencia a una acción a realizar) • Colombia ganó ocho medallas olímpicas en Londres 2012. 14xv de la sección 3. 14vix. 14i. (si es una proposición ya que puedo asignarle un valor de verdad) • ¿Qué hora es? (no es una proposición ya que su respuesta depende de un factor externo) • x^n + y^n = z^n. [6. De las siguientes secuencias de símbolos ¿cuáles son fórmulas bien formadas y cuáles no? • ((¬(p) → r) ∧ (p ¬ q)) -no es una formula bien formada • ((¬(p) ↔ ¬(q)) ↔ (q → r)) -sí es una formula bien formada • (p ∧ q) ∨ (q → p)) -no es una formula bien formada • ((p ↔ p) ∧ (p → p) ∨ (p ∧ ¬(p))) -si es una formula bien formada . (si es una proposición ya que puedo asignarle un valor de verdad) • x + y = z + y si x = z. • Tom Hanks ha ganado dos premios Oscar como mejor actor por dos años consecutivos. (no es una proposición ya que la respuesta es cuantitativa) • Todo número par mayor que 2 puede escribirse como suma de dos números primos. (Christian Goldbach.3.

si (p) = V .3.β}→( α∧β) V V V V V V F F F V F V F F V F F F F V α β α∧β { α∧β}→α V V V V V F F V F V F V F F F V . α β {α. Hallar el significado de cada fórmula que se especifica a continuación con respecto a la interpretación definida para ésta. (q) = F. • f = (((p ∧ q) ↔( r ∨ s ))→ q). si (p) = V . f = (((p ∧ q) ↔ (r ∨ s ))→ q) = V • f = (((p → q) → q) → p). (q) = F. Verifique las implicaciones lógicas de la tabla 3. f = ((p ∨ (q ∧ r)) ↔ ((p ∨ q) ∧ (p ∨ q)= 6. si (p) = F. f = ((¬p ↔( (q ∨ ¬r) ∨ (q → r))) ↔ ¬¬q)= V • f = ((p ∨ (q ∧ r)) ↔ ((p ∨ q) ∧ (p ∨ q). (r) = V . si (p) = V . (q) = V . (s) = F.β} (α∧β) {α. Escriba la fórmula bien formada que representa cada una de las siguientes secuencias de símbolos: •p∧q↔r∨s→q ((p ∧ q) ↔ ( r ∨ s)) → q •p→q→q→p (((p → q) → q) → p) • ¬p ↔ q ∨ ¬r ∨ (q → r) ↔ ¬¬q (((¬p ↔ ((q ∨ ¬r) ∨ q)) → r) ↔ ¬¬q) • p ∨ (q ∧ r) ↔ p ∨ q ∧ (p ∨ q) ((p ∨ (q ∧ r)) ↔(( p ∨ q )∧ (p ∨ q))) 4. (r) = V . (q) = V . f = (((p → q) → q) → p) =V • f = ((¬p ↔(( q ∨ ¬r) ∨ (q → r))) ↔ ¬¬q) .3. (r) = V .

α β {α∧β} {α∧β}→β V V V V V F F V F V F V F F F V α β (α∨β) (α→(α∨β)) V V V V V F V V F V V V F F F V α β α∨β (β→( α∨β)) V V V V V F V V F V V V F F F V α Β (α∧α) ((α∧α) →β) (((α∧α) →β)→β) V V V V V V F V V V F V V V V F F F V V α β (α→β) (¬β∧(α →β)) (¬β∧(α →β))→¬α) V V V F V V F F F V F V V F V F F V V V .

α β ϒ α→β β→ϒ ((α→ β)∧(β→ϒ)) α→ϒ (((α→ (β∧β))→ϒ)→ (α→ϒ)) V V V V V V V V V F V F V F V V F V V V V V V V F F F F V F V V V V F V F F F V F F V F V F V V V F F F V F F V F V F V F F V V α β ϒ α↔β β↔ϒ ((α↔ β)∧(β↔ϒ)) α→ϒ (((α↔ (β∧β)) ↔ϒ)→ (α↔ϒ)) V V V V V V V V V F V F F F V V F V V F V F V V F F F V V V V V V V F V F F F V F F V V F F V V V F F F V F F V F V F F F V V V α β α∨β (¬α∧(α∨β)) ((¬α∧(α∨β)) →β) V V V F V V F F F V F V V V V F F F F V V V V F V F F F F V V F F F V F V V V v .

α β ¬α∨¬β (α∧ (¬α∨¬β)) ((α∧ (¬α∨¬β)) →¬ β) V V F F V V F V V V F V V F V F F V F V V V F F V F F V F V V F V F V F V V F V α β (α∨β) (¬β∧(α∨β)) (¬β∧(α∨β)) →α V V V F V V F V V V F V V F V F F F F V α β (¬α∨¬β) (β ∧ (¬α∨¬β)) (β→ (¬α∨¬β)) →¬α V V F F V V F V F V F V V F V F F V V V α ¬α β α→β ¬α→ β (α→β) ∧ (¬α→ β) ((α→ β) ∧ (¬α→ β) → β) V F V V V V V V F F F V F V F V V V V V V F V F V F F V α β α↔β α→β (α↔β) → (α→β) V V V V V V F F F V F V F V V F F V V V .

α β α↔β β → α (α↔β) → (β → α) V V V V V V F F V V F V F F V F F V V V α β β→α α→β α↔β (β→α)∧( α→β) (β→α)∧( α→β) → (α↔β) V V V V V V V V F V F F F V F V F V F F V F F V V V F V α β ¬α (α∧¬α) (α∧¬α) →β V V F F V V F F F V F V V F V F F V F V α β τ 𝚼 α→β 𝚼→τ α∨ 𝚼 β∨τ (α→β)∧(𝚼→τ) ((α→β)∧(ϒ→τ))∧ α∨ϒ (((α→β)∧(ϒ→τ))∧ α∨ ϒ)→β∨τ V V V V V V V V V V V V V V F V V V V V V V V V F V V F V V F F V V V F F V V V V V V V V F V V F V V V F F V V F V F F V V F F F V V F F V F F V V F F V V F F F F V V F F F V F V V V V V V V V V V F V V F V V F V V F V F V F V V F V V F F V F V F F V V F V V F V F F V V V V V V V V V F F V F V V F F V F V F F F V V F V V F F V F F F F V V F F V F V .

Verifique que las fórmulas f1= p ∧ q ∨ r y f2 = p ∧ (q ∨ r) no son lógicamente equivalentes. P Q R p∧q q∨r ((p∧q) ∨ r) p ∧ (q ∨ r) V V V V V V V V V F V V V V V F V F V V V V F F F V F F F V V F V V F F V F F V F F F F V F F V F F F F F F F F .α β τ 𝚼 ¬α ¬β ¬τ ¬𝚼 α→β 𝚼→τ ¬β∨¬τ ¬α∨¬𝚼 (α→β)∧(𝚼→τ) ((α→β)∧(𝚼→τ)) (((α→β)∧(𝚼→τ)) ∧¬β∨¬τ ∧¬β∨¬τ) →¬α∨¬𝚼 V V V V F F F F V V F F V F V V V V F F F F V V V F V V F V V V F V F F V F V F V F F F V V V F F F F V V V V V V V V V V F V V F V F F F V V F F F V V F V F F V F V F V V V F F V V F F V F V V F F F V F F F V V F F F F V V V F V V V F F V F V V V V F F F V V F V V F V F V V F V F F V V V F V V F V F V F V V F V F V F V V F F V F V F F V F V V V V V V V V V F F V V V V F F V V V V V V V F F V F V V F V V V V V V V V F F F V V V V F V F V V F F V F F F F V V V V V V V V V V V 7.

P Q ¬P ¬Q P→Q ¬(P∧¬Q) V V F F V V V F F V F F F V V F V V F F V V V V P Q ¬P ¬Q ¬(P∧¬Q) ¬(Q∧¬P) P↔Q ¬(P∧¬Q) ∧¬(P∧¬Q) V V F F V V V V V F F V F V F F F V V F V F F F F F V V V V V V .

A∩C {ø} iii. . 0 } ii. } . . 8. . A∪B {2. 6. . } A11={ . . 6. . ∪ {2. } A13={ . } iV {2. 4.A= {3. 9. si x es un digito y x es par. 4. 8 . 4. } A15= { . } A15={ . } A8={ . 3. . } A7={ . } A12={ . } A10={ .8. } A9={ . . } i. en otro caso A1= ø A2={ } A3={ } A4={ } A5={ } A6={ . F. } A14={ . 9} V.

(0. (8. (0. )} iii. . .o).u). .u). ( .i). . ). . . (6. .e). ). (8.a).(4.o). (6.4 ). .8). ). .i). ( . .a). 4 ). (4. (2. . 8 ).u). .0). ). ℘(A)= ø iii. . (6. (8.e). ). .a). ). . (2.u). 2 ).o).u). {(2. . ). (2. . ). .u). (2. (0. ). (0. . .e). . (2.u). . .o).u). iv. ( .e). {(2. (6. . ). (4.℘(C)= i.e). (2. (6. (6. (6. . B × A=A × C × B= {(2. (6. . (8. (8.o).a). .a).i). . (6.e). . ( . .o). . . (4. (4. . (8. . .a). . (0. (0. . 0 ). . .e). (4. . 0 ). (6.e). ).u). ( .( . 8 ).2 ). ( . (0. (0. . (8. ( . (2. .e).a).u). . (2. ( . . (2. (0.a).u). . . (8. (0. (2. ( .o). (8.o).i).i).a). . . .o). . . . (4.o). .u). (8. ). ( . .i). . (0.a). . (2. ). (4. (8.a ). ( .i). . 4 ). (0.i).a). (6.i). . (0.i).i).u)}. .a). 8 ). (4. (4. (8. (4. (6.o). ( . . ). (8.i).4 ). (4. ( . ( . (4. .e). (6.i).a). . . . (0.8 ).e).e). . (4. C (0. .o).u).a).o). (2.e). . (4. (6.o). (4.i). . . . 8). (0. (8. (0. 0 )} . 2 ).e). 8 ). (0.o).e). .o). (0. (6. (4. .i. .o).o). . . ( . . (4. (4.e). (8.i).e). (2.i). (8. .i). ( . (4. (0.a). B × A={( . . .e).e). ). (0. (8.u). . . ( . (8. (6.u). .i). . . . (8. (4.2) . (6. (0. {(2. . (4. (6. . (0.a). . (0. (4. (6. (6. . . (8.i). . 8 ). (8. ).u). ). (4.a). . ). .o). (8.i). . .a).o). (6.u). (8. ( . (2.(2. (6.u). . (6. {(2.a). (8. (2. . . (2. A × B = {(2. . (2. .e).u). ). (6.

℘(A)= ø iii.℘(C)= |A|= 0 |C|= 4 |A|= 5 |B|= 4 |A|x|b|= 20 |A|= 5 |B|= 4 |C|= 5 |A|x|B|x|C|=100 .i.

.

PROGRAMACION DE COMPUTADORES TALLER N°1 HERNAN DARIO MOJICA DIAZ EDUAR CASTRILLO VELILLA UNIVERSIDAD NACIONAL DE COLOMBIA FACULTAD DE INGENIERIA PROGRAMACION DE COMPUTADORES BOGOTA 2018 .