Afianzando el saber Lógica de Programación
ARTURO FERNANDO CORPAS ULLOAApuntes13 de Noviembre de 2020
1.170 Palabras (5 Páginas)197 Visitas
[pic 1]
Taller: Afianzando el saber Lógica de Programación
Taller: Afianzando el saber
- Señala la(s) proposiciones incorrectas.
- “8 Es un número entero par divisible por dos”.
b. “17 = 17”.[pic 2]
c. “7”.
- “La solución de 4x –7 = 1, es 2”
- “27 es múltiplo de 9”
- “4x –7”[pic 3]
- “12 es un número entero par”
- “¿Cuál es la respuesta de 2x –5 =?”[pic 4]
- “p es divisor de 2”[pic 5]
- “La solución de 4x –7 = 1, es 3”
- “18 es múltiplo de 7”
- Complementa las siguientes tablas según sea el caso. a.
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 |
[pic 6]
c.
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.
Leyes | Nombres |
p ∨ p ≡ V p ∨ ¬p ≡ F | |
p ∨ F ≡ p p ∨ V ≡ p | |
p ∨ V ≡ V p ∧ F ≡ F |
Leyes de dominación |
p ∨ p ≡ p p ∧ p ≡ p |
Leyes de ildempotencia |
¬(¬p) ≡ p | Ley de doble negación |
p ∨ q ≡ q ∨ p p ∧ q ≡ q ∧ p |
Ley conmutativa |
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r |
Leyes asociativas |
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 implicación |
p ⇔ q ≡ (p ⇒ q) ∧ (q⇒p) | Definición de equivalencia |
...