Matemáticas

Ciencia de Datos
Discretas

Taller 1: Proposiciones, operadores lógicos y tablas de verdad

1. Cuáles de estas oraciones son proposiciones? Cuáles son los valores de verdad de las que son
proposiciones?
(a) 4 + 6 = 10.
(b) π es un número racional.
(c) La suma de dos números impares es un numero impar.
(d) Responda una pregunta.
(e) 4 + x = 10.
(f) 34 es un número de Fibonacci.
(g) La suma de dos números pares es un numero par.
√
−b ± b2 −4ac
(h) 2a .
(i) 2 + 5 × 3 6= 17.
(j) 4 − 2(3 − 5) > 7.
2. Hallar la negación, de las proposiciones del literal 1).
3. Sea p y q las proposiciones:
p : Estudié para el examen.
q : Aprobé el examen.
Expresar cada una de las siguientes proposiciones como una oración.

(a) ¬p (d) p → q
(b) q ∨ p (e) ¬p ↔ ¬q
(c) p ∧ ¬q (f) p → (p ∧ ¬q)

4. Sea p , q y r las siguientes proposiciones:

p: Aprueba el examen final.
q: Realiza todos los ejercicios de la materia.
r: Aprueba la materia.
Escribir estas proposiciones utilizando p , q y r y los conectivos lógicos (incluidas las negaciones).
(a) Aprueba la materia, pero no realiza todos los ejercicios de la materia.
(b) No realizar todos los ejercicios de la materia es suficiente para no aprobar la materia.
(c) Aprobar la materia es una condición suficiente y necesaria para aprobar el examen final.
(d) Aprobar la materia es una condición necesaria para: realizar todos los ejercicios de la materia
y aprobar el examen final.
(e) No realizar todos los ejercicios de la materia o no aprobar el examen final, implica no aprobar
la materia.
(f) Si realiza todos los ejercicios de la materia o no aprueba el examen final, entonces no aprueba
la materia.
 (g) Aprueba la materia si y solo si, aprueba el examen final y realiza todos los ejercicios de la
materia.
5. Hallar la contrarrecı́proca (C), recı́proca (R) e inversa (I) de las siguientes proposiciones :

(a) Eva se marea siempre que está en un barco.

(b) Es necesario tener una contraseña válida para iniciar sesión en el PC.
(c) Nacer en Colombia es suficiente para ser ciudadano de este paı́s.
(d) Si x es un número impar implica que x2 es un número impar.

6. Construir la tabla de verdad para las siguientes proposiciones compuestas:

(a) ¬p → (q → p) (e) [(¬p → q) ∨ r] ∧ (p → r)

(b) ¬(p ∨ q) ↔ (¬p ∧ ¬q) (f) (¬p ↔ r) → [q → (p Y r)]
(c) ¬(p Y ¬q) → ¬q (g) (r → ¬q) ∨ [r ∧ (p ↔ q)]
(d) (¬p → q) → ¬(q ∧ p) (h) [[(p ∧ ¬q) ∨ (p ∧ r)] ∧ (¬q → ¬p)] → r

7. Encontrar el bitwise OR, AND y XOR para las siguientes parejas de cadenas de bits:
(a) 0110 1110, 0111 1100
(b) 010 0010, 011 0100
(c) 10 0110, 11 1001
(d) 111 0010 0110, 011 0001 0000
Respuestas:

1. (a) Si, V. (d) No (g) Si, V. (j) Si, V.

(b) Si, F. (e) No. (h) No.
(c) Si, F. (f) Si, V. (i) Si, F

2. (a) 4 + 6 6= 10.
(b) π no es un número racional.
(c) La suma de dos números impares no es un número impar.
(d) No es una proposición.
(e) No es una proposición.
(f) 34 no es un número de Fibonacci.
(g) La suma de dos números pares no es un numero par.
(h) No es una proposición.
(i) 2 + 5 × 3 = 17
(j) 4 − 2(3 − 5) ≤ 7
3. (a) No estudié para el examen.
(b) Aprobé el examen o estudié para el examen.
(c) Estudié para el examen y no aprobé el examen.
(d) Si estudié para el examen, entonces aprobé el examen.
(e) Si no estudié para el examen si y solo si no aprobé el examen.
(f) Si estudié para el examen, entonces, estudié para el examen y no aprobé el examen.
4. (a) r ∧ ¬q
(b) ¬q → ¬r
(c) r ↔ p
(d) (q ∧ p) → r
(e) (¬q ∨ ¬p) → ¬r
(f) (q ∨ ¬p) → ¬r
(g) r ↔ (p ∧ q)
5. (a) i. C: Si Eva no se marea, entonces no esta en un barco.
ii. R: Si Eva se marea, entonces esta en un barco.
iii. I: Si Eva no esta en un barco, entonces no se marea
(b) i. C: Si no tenia una contraseña valida, entonces no inició sesión en el pc.
ii. R: Si tenia una contraseña valida, entonces inició sesión en el pc.
iii. I: Si no inició sesión en el pc, entonces no tenia una contraseña válida.
(c) i. C: Si no es ciudadano de este paı́s, entonces no nació en Colombia.
ii. R: Si es ciudadano de este paı́s, entonces nació en Colombia.
iii. I: Si no nació en Colombia, entonces no es ciudadano de este paı́s.
(d) i. C: Si x2 es un número par, entonces x es un número par
 ii. R: Si x2 es un número impar, entonces x es un número impar
iii. I: Si x es un número par, entonces x2 es un número par.
p q a b c d
V V V V V F
6. V F V V V V
F V F V F V
F F V V V V
p q r e f g h
V V V V V V V
V V F F V V V
V F V V V V V
V F F F V V V
F V V V V F V
F V F V V V V
F F V V V V V
F F F F V V V

OR AND XOR
a 0111 1110 0110 1100 0001 0010
7. b 011 0110 010 0000 001 0110
c 11 1111 10 0000 01 1111
d 111 0011 0110 011 0000 0000 100 0011 0110

“Los datos son la nueva ciencia. El Big Data son las respuestas”
Pat Gelsinger