Taller: Afianzando el saber Lógica de Programación
Enviado por Fernando Carmona Urrea • 15 de Agosto de 2019 • Tarea • 1.404 Palabras (6 Páginas) • 833 Visitas
[pic 1]
Taller: Afianzando el saber Lógica de Programación
LUIS FERNANDO CARMONA URREA
CÓDIGO: 98.483.914
Taller: Afianzando el saber[pic 2]
- Señala la(s) proposiciones incorrectas.
- “8 Es un número entero par divisible por dos”.
b. “17 = 17”.
c. “7”.
- “La solución de 4x –7 = 1, es 2”
- “27 es múltiplo de 9”
f. “4x –7”
- “12 es un número entero par”
- “¿Cuál es la respuesta de 2x –5 =?”
- “p es divisor de 2”
- “La solución de 4x –7 = 1, es 3”
- “18 es múltiplo de 7”
- Complementa las siguientes tablas según sea el caso.[pic 3]
Nexos | Símbolos |
Negación | ¬ ~ |
y | ∧ |
o | ∨ |
Implicación | ⇒ |
Equivalencia | ↔ |
b.
P | Q | P ∧ Q |
V | V | V |
V | F | F |
F | V | F |
F | F | F |
c.[pic 4]
P | Q | P ∨ Q |
V | V | V |
V | F | V |
F | V | V |
F | F | F |
d.
P | ¬P |
V | F |
F | V |
e.
P | Q | P ⇒ Q |
V | V | V |
V | F | F |
F | V | V |
F | F | V |
f.
P | Q | P ⇔ Q |
V | V | V |
V | F | F |
F | V | F |
F | F | V |
g.[pic 5]
Leyes | Nombres |
p p ≡ V p ∨ ¬p ≡ F | Ley de exclusión del término medio Ley de contradicción |
p ∨ F ≡ p p ∨ V ≡ p | Leyes de identidad |
p ∨ V ≡ V p ∧ F ≡ F | Leyes de dominación |
p ∨ p ≡ p p ∧ p ≡ p | Leyes de ildempotencia |
¬(¬p) ≡ p | Leyes de doble negación |
p ∨ q ≡ q ∨ p p ∧ q ≡ q ∧ p | Leyes conmutativa |
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r | Leyes asociativa |
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) | Leyes distributivas |
¬(p ∧ q) ≡ ¬p ∨ ¬q ¬(p ∨ q) ≡ ¬p ∧ ¬q | Leyes de Morgan |
p ⇒ q ≡ ¬p ∨ q | Definición de la implicación |
p ⇔ q ≡ (p ⇒ q) ∧ (q⇒p) | Definición de la equivalencia |
...