Matemática - 2022

Guı́a - Lógica

1. Identifique y señale cada proposición atómica con una “A” y cada proposición molecular con
una “M”. Además, escriba junto a cada proposición molecular el conectivo lógico utilizado
(conjunción, disyunción, implicación, negación, condicional).

(a) La vacuna es obligatoria.

(b) El edificio verde es de la facultad de ciencias.
(c) Camilo es ingeniero o es médico.
(d) Si planto un árbol, entonces tendré oxı́geno.
(e) La universidad está en Talca.
(f) Voy a clases si y sólo sı́ me matriculo.
(g) No es cierto que tengo que viajar.

2. escriba en lenguaje simbólico las expresiones del ejercicio anterior.

3. Sean p: “Él entiende la clase” y q: ‘Él estudia en casa” dos proposiciones. Escriba los
siguientes enunciados en forma simbólica con p y q.

(a) Él entiende la clase y estudia en casa.

(b) Él no estudia en casa ni entiende la clase.
(c) Si él no estudia en casa entonces no entiende la clase.
(d) Él estudia en casa, o él no estudia en casa y entiende la clase.
(e) Él entiende la clase pero no estudia en casa.
(f) Es falso que, él es no estudia en casa o entiende la clase.
(g) Él entiende la clase si y solo si estudia en casa.

4. Sean p: “Está lloviendo” y q: “Hace frı́o” dos proposiciones. Escriba en lenguaje corriente
las siguientes formas simbólicas.

(a) −p (c) −(p ∨ −q) (e) p ∧ q

(b) −q (d) −p ∧ −q (f) p → −q

5. Para cada una de las siguientes expresiones identifique las proposiciones y los conectivos
lógicos, escriba de forma simbólica.

(a) Si las estrellas emiten luz, entonces los planetas reflejan luz y giran alrededor de las
estrellas.
(b) Las adas aparecen si y sólo si está nublado y no hay personas.
(c) Andrés verá una pelı́cula o bien se dedicará a estudiar.
(d) Si Alicia no ve un conejo entonces no habrı́a entrado al agujero.
(e) O hace frı́o y llueve, o bien hay viento.
(f) Si hay energı́a, entonces no hace frı́o ni calor.
 6. Realice la tabla de verdad para cada una de las siguientes proposiciones:

(a) −(p → q) ↔ q
(b) (−p ∨ −q) → (p ∧ −q)
(c) [−(p ∧ −q) ∨ −r] ∨ [(p → −q) ∨ −r]
(d) [−(p ∨ q) ∧ −(q → −r)] ↔ [(−q ∧ p) ∨ r]

7. Escriba las siguientes expresiones en sı́mbolos y realice la tabla de verdad asociada a ellas

(a) Tienes un doctorado si y sólo si terminas la licenciatura y trabajas.

(b) Estás seguro y dices la verdad o solo mientes.
(c) si estudias a diario, entonces irás al cine y compras palomitas.

8. Si p es verdadero, q es falso y no se sabe el valor de r, determine el valor de verdad de las

siguientes proposiciones moleculares:

(a) [(∼ p∨ ∼ q) ∧ r] →∼ q
(b) [(∼ r ∧ q)∧ ∼ (r ∨ p)] ↔ r
(c) [∼ (p → q) → r] ∨ [∼ q →∼ r]

9. Decida si las siguientes proposiciones son tautologı́a, contradicción o contingencia:

(a) p ∨ (∼ p∨ ∼ q) (d) (p → q) ↔∼ (p − ∧ ∼ q)
(b) ∼ (p ∧ q)∧ ∼ (p ∨ q) (e) (p ↔ q) ↔ [(p → q) ∧ (q → p)]
(c) (p ∧ q) ∧ −(p ∨ q) (f) [p → (q ∧ r)] → (p → q)

10. Explique con palabras cómo se determinan los valores de las proposiciones atómicas (p, q y
r según corresponda) si se sabe que:

(a) [(∼ p → q) → r] ∨ [∼ q → r] es falsa. (c) [∼ p ∧ (p∨ ∼ q)] ∧ [p ↔ q] es verdadera.

(b) [(p ↔ q)∧ ∼ q] → (p∧ ∼ q) es falsa. (d) [(p ∨ q) ∧ p] → [(r ∨ q) ↔ p] es falsa.

11. Si la proposición: (q∨ ∼ p) → [(p ∧ r) ∨ s] es falsa, determine el valor de verdad de:

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

12. Determine cuál de las siguientes expresiones es o son lógicamente equivalente a (∼ p ∨ q) ∧ r:

(a) p → (∼ q ∧ r) (c) [p →∼ q] ∧ r
(b) [p → q] ∧ r (d) p → (q ∨ r)

13. Determine cuál(es) de los siguientes pares de proposiciones moleculares son implicancias o
equivalencias lógicas:

(a) A = (p → q)∧ ∼ q y B =∼ p
(b) C = p ∧ q y D =∼ (∼ p∨ ∼ q)
(c) E = (p → q) ∧ (p → r) y F = p → (q ∨ r)
 (d) G = p → q y H =∼ (p∧ ∼ q) → r
(e) I = p ↔ (q ∨ r) y J =∼ [∼ (p → (∼ r → q)] ↔ r

14. Construya un circuito correspondiente a cada una de las siguientes proposiciones:

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

(b) (p∧ ∼ q) ∨ (∼ p ∧ q) ∨ (∼ p∧ ∼ q)
(c) [r ∧ (p ∨ q) ∧ (r ∨ p)] ∨ [(p ∨ r) ∧ (r∨ ∼ p)]∧ ∼ q

15. Represente los siguientes circuitos en forma proposicional.

(a)

(b)

16. Utilizando leyes lógicas reducir las siguientes proposiciones, indicando cuáles son las leyes
utilizadas:

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

(b) (∼ p ∧ q) → (q → p)
(c) [p →∼ (q → p)] →∼ q
(d) [(p → q) ∧ (q → p)] ∨ [(∼ p ∧ q) ∨ (∼ p∧ ∼ q)]

17. Se define el conectivo lógico ⊗ por la siguiente tabla de verdad:

p q p⊗q
V V V
V F F
F V V
F F F
Determine la tabla de verdad de la proposición: [(p⊗ ∼ q) ∨ (q ⊗ p)] −→∼ p

18. Sea F el conectivo definido por la siguiente equivalencia lógica: pFq ⇔ (p∧ ∼ q) ∨ (∼ p ∧ q).
Demueste la tautologı́a pF(pFq) ⇔ q.

19. Sea p(x) una función proposicional sobre el conjunto R, utilizando cuantificadores escriba
con sı́mbolos los siguientes enunciados:
 (a) Un único real cumple con p(x).
(b) Al menos un real cumple con p(x).
(c) Todo real al cuadrado es positivo o cero.
(d) La ecuación 3x + 2 = 0 tiene solución única en los reales.
(e) No todos los números enteros son positivos

20. Considere A = {−3, −2, −1, 0, 1, 2, 3}. Determine el conjunto validez y el valor de verdad de
las siguientes expresiones:

(a) ∀x ∈ A, x + 1 ≤ 2
(b) ∃x ∈ A : |x| + 1 ≥ 4
(c) ∃!x ∈ A : |x| + 1 = 0
(d) ∀x ∈ A, 3|x| − 1 ≥ −5
(e) ∃!x ∈ A : (2x + 1 ≤ 4) ↔ (x − 3 < x2 )
(f) ∃x ∈ A : [2x + 1 ≤ 4] ↔ [(x − 3 < x2 ) → (2x + 1 ≤ 4)]

21. Considere A y B conjuntos. Determine la negación de las siguientes expresiones:

(a) ∃x ∈ A : p(x) ∨ q(x)

(b) ∀x ∈ A, p(x) → q(x)
(c) ∀x ∈ A, ∃y ∈ B : [p(x) → q(y)] ∨ q(y)
(d) ∃!x ∈ A : p(x) ∧ q(x)