Ejercicios 1 - Lógica
Ejercicios 1 - Lógica
Ejercicios 1 - Lógica
2. Simboliza las siguientes proposiciones compuestas, para ello identifica las proposiciones simples
que las componen y utiliza los conectivos correspondientes de acuerdo al enunciado. Nota:
recuerde que cada proposición simple debe tener un sujeto y una acción.
a) Has obtenido un sobresaliente en esta asignatura, pero no has hecho todos los ejercicios de
este libro.
b) Has hecho todos los ejercicios de este libro, has obtenido un sobresaliente en esta asignatura
y también en el examen final.
d) Conseguir un sobresaliente en el examen final y realizar todos los ejercicios de este libro es
suficiente para obtener un sobresaliente en esta asignatura.
e) Puedes conseguir un sobresaliente en esta asignatura si, y sólo si, haces todos los ejercicios de
este libro o tu calificación en el examen final es de sobresaliente.
a) p: Las estrellas emiten luz. q: Los planetas reflejan la luz. r: Los planetas giran alrededor de
las estrellas.
b) p: Llueve
q: Hace sol
5. Elabore la tabla de verdad de las siguientes proposiciones compuestas y determine si son
tautología, Contradicción o ninguna de las dos.
a) (p → q) (q → p)
b) [p ] → [ (p ∧ q) ∨ (p ∧ q) ]
c) (p ∨ ∼q) → q
d) p → (p ∨ q)
e) (p →p
f) [(p ↔ p] → (p ↔ q)
g) [(p → q) (r → s)] → [(p ∨ q) → (q ∨ s )]
h) [(p → q) ( q)] → ( p)
i) (p q) ↔ [( q) ( p)]
a) ∼ [ (p ∧ q) → r]
b) ∼ [ ∼ [ ∼ (q → r) → (s ∧ w)]]
c) ∼ {(r → x) ∧ ∼ [(p ∧ q) ∨ s]}
8. Si se sabe que (p ∧ q) y (q → r) son falsas, ¿cuáles de las siguientes proposiciones son verdaderas?
a) (∼p v r) v s
b) ∼ [ (∼p ∧ q) v ∼r]
c) ∼ [ p ∧ (∼q v ∼p)]
e) (p → q) con (p ∨ ∼ q)
f) (p ∨ q) con [∼ (p ∧ q)]
i) (p → q) con (∼ q → ∼ p)
10. En cada ítem, escriba la proposición correspondiente en la forma “Si P entonces Q”.
11. Para cada proposición dada, escriba: la recíproca, la inversa y la contrarrecíproca, en la forma
si…entonces. (Sugerencia: escribir la proposición dada en la forma si…entonces)
a) Si tú lo construyes, el vendrá.
b) Todos los perros tienen pulgas.
c) Si Elvia alcanza esa nota, romperá los vidrios.
d) Si amarte es un error, no quiero estar en lo correcto.
e) Todo número entero es racional.