es: p → (m V n)
a) Verdadero b) Falso
4. Traduzca las siguientes oraciones a notación simbólica utilizando las
variables indicadas y asócielas a la formalización adecuada en la tabla
inferior:
a: La información es correcta.
b: Existe un incremento en los costos de producción.
c: El analista tiene un error de apreciación.
Traduzca al lenguaje formal la proposición: La información es incorrecta, sólo
si existe un incremento en los costos de producción o el analista tiene un error
de apreciación.
6. Determine el valor de verdad de las siguientes proposiciones:
b. b) Si (4 + 5) = 20 entonces (6 + 7) = 12.
c. c) Si (9 + 5) = 14 entonces (6 + 5) = 11.
T = la temperatura sube
P = ha llovido
C = el cerezo florece
1. (T ∧ P) → C
2. (T → P) ↔ (T’ ∨ P)
3. (C → P)’
4. T’ ∨ (C → P)
5. T ↔ C’
6. C → (P ∧ T’)
11. Llene la siguiente tabla que muestra los diferentes conectivos de la lógica
proposicional con su respectivo nombre y notación, con los símbolos y lectura
correcta.
DISYUNCIÓN V pVq p o q
CONDICIONAL
→ p→q Si p entonces q
DOBLE q
IMPLICACIÓN p si y sólo si q
EQUIVALENCIA ↔ p ↔q
p es equivalente a q
BICONDICIONAL
NEGACIÓN 𝑝′ No p; es falso que p
14.1. (A ∧ Z) ∧ (¬ Y ∧ B)’
14.2. A ∧ B ∧ (Y ∧ Z’)’
14.3. [A ∧ (B ∧ (Y ∧ (Z ∧ ‘A)’))’]’
14.4. (A ∧ B) ∨ X’
15. Cuáles de las siguientes proposiciones son verdaderas y cuáles falsas:
a) (p → q ∧ r) ↔ (q’ v r)’ v r’
p q r q’ r’ (p → q ∧ r) ↔ (q’ v r)’ v r’
1 1 1 0 0
1 1 0 0 1
1 0 1 1 0
0 1 1 0 0
1 0 0 1 1
0 1 0 0 1
0 0 1 1 0
0 0 0 1 1
2 1 4 1 2 3
c) (p → q) ∧ r → (p v r)’ v r’
d) (p → q) ∧ (q → r) → (p ∧ r’)
e) [ (p v q’) → (p → q)] → [(p’ → q) v p’] v p’
f) LEYES NOTABLES EN LÓGICA
Las leyes de lógica más notables son las que se enlistan a continuación:
1.- Ley de doble negación
p''p
(pp)p
p p pp
1 1 1
0 0 0
p q r (pq)r p(qr)
1 1 1 1 1 1 1
1 1 0 1 1 1 1
1 0 1 1 1 1 1
0 1 1 1 1 1 1
1 0 0 1 1 1 0
0 1 0 1 1 1 1
0 0 1 0 1 1 1
0 0 0 0 0 0 0
[(pq)r][p(qr)]