You are on page 1of 1

Álgebra I-sec

Ayudantı́a 1
Ayudante:

Marzo, 2017.

1. Determine si las siguientes proposiciones compuestas son siempre verdaderas o bien siempre
falsas o bien su valor de verdad depende del valor de verdad de las proposiciones que las
conforman

a) (q ∨ (q ∧ r)) ⇒ q
b) (q ∧ (q ⇒ r)) ∨ ¬r
c) (¬q ∨ r) ∧ r

2. a) Demuestre que ¬(p ∨ q) ≡ ¬p ∧ ¬q.
b) Considere el conectivo binario ∗ definido por

p q p∗q
v v f
v f v
f v f
f f f

Determine una proposición compuesta logicamente equivalente a p ∗ q que sólo contenga
los conectivos ¬ y ∧. ¿Será verdad que p ∗ q ≡ q ∗ p ?
c) Suponga que p ∗ q es verdadera, determine el valor de verdad de (p ⇒ q) ∨ (q ⇔ ¬p)