Base de datos. Estructuras Discretas
Enviado por MARLON JEAN POOL NARVAEZ VILLAFUERTE • 11 de Noviembre de 2020 • Trabajos • 449 Palabras (2 Páginas) • 105 Visitas
Universidad Nacional Tecnológica de Lima Sur
Nombre: Flor Elizabeth Cerdán León
Estructuras Discretas
2020-2
Práctica
Nombre y Apellidos: Narvaez Villafuerte, Marlon
Fecha: 06/11/2020
Grupo: IS04S1
- Responda las siguientes preguntas:
- ¿Qué es una proposición?
Es una expresión que puede ser verdadera o falsa
- ¿Qué es una tabla de verdad?
Es una tabla que nos permite analizar cualquier fórmula y hallar sus valores de verdad.
- ¿Qué es la conjunción de p y q? ¿Cómo se denota?
Son proposiciones, y se denotan con símbolos para determinar si es verdadera o falsa.
- Proporcione la tabla de verdad para la conjunción de p y q.
p | q |
V | V |
V | F |
F | V |
F | F |
- ¿Qué es la disyunción de p y q? ¿Cómo se denota?
Es un operador lógico que actúa sobre dos valores de verdad, se denota como: ∧
- Proporcione la tabla de verdad para la disyunción de p y q.
(p ∧ q) |
V |
F |
F |
F |
- ¿Qué es la negación de p? ¿Cómo se denota?
La negación de p se forma cuando la proposición haciendo negativa la proporción o cambiándole su valor. Se denota: ~p.
- Determine si cada oración es una proposición. Si la oración es una proposición, escriba su negación. (No se piden los valores de verdad de las oraciones que son proposiciones).
- 2 + 5 = 19. (Proposición)
- Mesero, ¿serviría las nueces, quiero decir, serviría las nueces a los invitados? (No proposición)
- Para algún entero positivo n, 19340 = n · 17. (No proposición)
- Pélame una uva. (No proposición)
- La línea “Tócala otra vez, Sam” corresponde a la película “Casablanca”. (Proposición)
- Todo entero par mayor que 4 es la suma de dos primos. (No proposición)
- La diferencia de dos primos. (No proposición)
- Escriba la tabla de verdad de cada proposición
- p ∧ ¬q
p | q | p | ∧ | ~q |
V | V | V | F | F |
V | F | V | V | V |
F | V | F | F | F |
F | F | F | F | V |
- (¬p ∨ ¬q) ∨ p
p | q | (~p | v | ~q) | v | p |
V | V | F | F | F | V | V |
V | F | F | V | V | V | V |
F | V | V | V | F | V | F |
F | F | V | V | V | V | F |
p | q | (p v q) | ∧ | ~p |
V | V | V | F | F |
V | F | V | F | F |
F | V | V | V | V |
F | F | F | F | V |
- ( p ∨ q) ∧ ¬p
- ( p ∧ q) ∧ ¬p
p | q | (p ∧ q) | ∧ | ~p |
V | V | V | F | F |
V | F | F | F | F |
F | V | F | V | V |
F | F | F | V | V |
- ( p ∧ q) ∨ (¬p ∨ q)
p | q | (p ∧ q) | V | (~p | V q) |
V | V | V | V | F | V |
V | F | F | F | F | F |
F | V | F | V | V | V |
F | F | F | V | V | V |
- (¬p ∨ ¬q) ∨ p
p | q | (~ p | V | ~q ) | V p |
V | V | F | F | F | V |
V | F | F | V | V | V |
F | V | V | V | F | V |
F | F | V | V | V | V |
- ( p ∧ q) ∨ (r ∧ ¬p)
p | q | r | ( p ∧ q) | V | ( r ∧ ~p) |
V | V | V | V | V | F |
V | V | F | V | V | F |
V | F | V | F | F | F |
V | F | F | F | F | F |
F | V | V | F | V | V |
F | V | F | F | F | F |
F | F | V | F | V | V |
F | F | F | F | F | F |
- ( p ∨ q) ∧ (¬p ∨ q) ∧ ( p ∨ ¬q) ∧ (¬p ∨ ¬q)
p | q | ( p V q) | ∧ | ( ~p V q) | ∧ | ( p V ~q) | ∧ | ( ~p V ~q) |
V | V | V | V | V | V | V | F | F |
V | F | V | F | F | F | V | F | V |
F | V | V | V | V | F | F | F | V |
F | F | F | F | V | F | V | F | V |
- ¬( p ∧ q) ∨ (¬q ∨ r)
p | q | r | ~( p ∧ q) | V | ( ~q V r) |
V | V | V | F | V | V |
V | V | F | F | F | F |
V | F | V | V | V | V |
V | F | F | V | V | V |
F | V | V | V | V | V |
F | V | F | V | V | F |
F | F | V | V | V | V |
F | F | F | V | V | V |
...