LOGICA Problemas

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 2

Problemas de lógica proposicional

PROBLEMAS DE LÓGICA PROPOSICIONAL

1. En los enunciados que se presentan indique en cada caso si el enunciado es o no es una proposición. Justifique su
respuesta. En caso de ser una proposición, establezca su valor de verdad.

a. Julio César fue presidente de la República Dominicana.


b. 2 + 2 = 4.
c. Si la Tierra es plana, entonces 2 + 2 = 4.
d. ¿En tu casa o en la mı́a?
e. ¡Ayúdeme, por favor!
f. La matemática es importante.
g. Existen dos soluciones para la ecuación x2 + 4 = 20 y ambas soluciones son enteras.
h. Si x es cualquier número entero, entonces x2 es un número entero positivo.
i. Vé en su busca.
j. x es mayor que y.
k. 15 es un número primo.
l. a + b = 17
m. La población de la República Dominicana es de siete millones.
n. Las mesas son cuadradas.
ñ. ¿Bello dı́a?

2. En los siguientes problemas, escriba cada una de las proposiciones dadas en forma simbólica.

a. “Luis es estudiante y Juan es zapatero”.


b. “El domingo es un dı́a feriado o José ha sido expulsado”.
c. “Si 2 + 2 = 4, entonces 3 + 3 = 8”.
d. “O 3 + 4 = 7 o la Tierra es plana”.
e. “Antonio es hijo de Luis si y sólo si Luis es el padre de Antonio”.

3. Suponga que

? p: 7 < 9,
? q: El Sol es un astro frı́o y
? r: La temperatura está por debajo de cero.

Escriba las proposiciones indicadas.

a. p ∨ q g. (p ∧ q) ↔ r
b. p ∧ q h. ∼ (p ∨ r) Y q
c. ∼ p → q
i. (p ∨ q) → r
d. p →∼ q
e. (r ∧ p) → q j. (p ∧ q) ∧ (q ∧ r)
f. (p ∨ q) → r k. ∼ q ↔ r

4. Considere la proposición:
[(∼ p ∧ q) ∨ (p ∨ r)] → [(p∨ ∼ q) ∨ (p∨ ∼ r)]
e indique cuál es el valor de verdad de esta proposición para cada uno de los casos dados.

a. p es falso, q es falso, r es falso.


b. p es falso, q es falso, r es verdadero.
c. p es verdadero, q es falso, r es verdadero.

1 Prof.: SUÁREZ A., Fredy R.


Problemas de lógica proposicional

d. p es verdadero, q es verdadero, r es falso.


e. p es verdadero, q es verdadero, r es verdadero.

5. Si las proposiciones: p ∧ s; p → (q ∨ r); s →∼ r son todas verdaderas, halle el valor de la verdad de p, q, s, r.

6. Si las proposiciones: p ↔ q es F ; t → s es F ; ∼ p ∧ r es V , halle el valor de la verdad o falsedad de p, q, s, r, t.

7. Si la proposición compuesta
(p ∧ q) → (r ∨ t)
es falsa, halle las proposiciones que son falsas.

8. Si las proposiciones: p ∧ s, p → (q ∨ r) y s →∼ r son todas verdaderas ¿Cuáles son los valores de verdad o falsedad?
de las siguientes proposiciones.

a. (r∨ ∼ p) →∼ q
b. (r → p) ∧ (q → r)

9. La proposición ∼ (p → q) ∧ (q →∼ r) ¿Es equivalente a cuál o (cuáles) de las proposiciones siguientes?

a. p ∧ (p∨ ∼ r)∧ ∼ q
b. (p∧ ∼ q) ∧ [∼ (q ∧ r)]

c. (p∧ ∼ q) ∨ (p∧ ∼ r)∧ ∼ q

10. Determine la tabla de la verdad de las siguientes proposiciones:

a. (p∧ ∼ q) ∨ (∼ p ∨ p)
b. (p ∧ q) ∨ [(q∨ ∼ r) → p]
c. [(r ∨ s) ∧ (w →∼ r) ∧ (∼ h → s)] → (w ∨ h)

11. ¿Algunas de las proposiciones es tautologı́a?



a. ∼ [∼ (p ∨ q) ∧ (p∨ ∼ p)] →∼ q ↔ (p → q)
 
b. ∼ (∼ p ↔ q) ↔ (p ↔ q)
c. ∼ {(p ∧ q) ∨ [p ∧ (∼ p ∨ q)]} ↔ (∼ p ∨ p).

12. Clasifique cada una de las proposiciones dadas como una contingencia, como una tautologı́a o como una contradic-
ción, según corresponda.

a. p∨ ∼ (p ∧ q)
b. (p ∧ q)∧ ∼ (p ∨ q)
c. (p ∧ q) ∨ (p ∨ q)
d. [p ∧ (q ∨ r)] ∧ [q ∧ (p ∨ r)]
e. (p → q) ↔ (∼ q →∼ p)
f. (p ↔ q) ↔ [(p → q) ∧ (q → p)]
g. p ∨ (q ∧ r) ↔ [(p ∨ q) ∧ (p ∨ r)]
h. (p ∧ q)∧ ∼ (p ∨ r)
i. [(p ↔ q) ∨ (p → r)] → (q ∧ p)

13. Indique si el par de proposiciones dadas en cada caso es un par de proposiciones lógicamente equivalentes.

a. P ≡ [(p → q) ∧ (r ∧ s)], Q ≡ [(p ∨ r) → (q ∨ s)]


b. P ≡ p → q, Q ≡∼ (p∧ ∼ q) → r
c. P ≡ p ∧ q, Q ≡∼ (∼ p∨ ∼ q)
d. P ≡ (p → q) ∨ (p → r), Q ≡ p → (q ∨ r)
e. P ≡ (p → q) ∧ (r → s), Q ≡ (∼ q∨ ∼ s) → (∼ p∨ ∼ r)

2 Prof.: SUÁREZ A., Fredy R.

También podría gustarte