Álgebra I S12016 Profesor Oscar López Aliaga

Ejercicios Propuestos de Lógica

1. Mediante tablas de verdad demuestre que las siguientes proposiciones

son tautologías.
a. ((𝑝 ⇒ 𝑞̅ ) ∧ (𝑟̅ ∨ 𝑞) ∧ 𝑟) ⇒ 𝑝̅
b. [(𝑝 ∨ 𝑞) ⇔ (𝑝 ∧ 𝑟)] ⇒ [(𝑞 ⇒ 𝑝) ∧ (𝑝 ⟹ 𝑟)]

2. Probar sin usar tablas de verdad que las siguientes proposiciones son
tautologías.
a. (𝑝 ⇒ 𝑞) ⇒ [(𝑞̅̅̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅̅̅
∧ 𝑟) ⇒ (𝑝 ∧ 𝑟)]
b. [(𝑝 ⇒ 𝑞̅) ∧ (𝑟 ⇒ 𝑞)] ⇒ (𝑝 ⇒ 𝑟̅ )

3. En esta parte, dada una hipótesis (una proposición que se asume

verdadera), deberás estudiar el valor de verdad de otra proposición.
a. Sean 𝑝 𝑞 𝑟 proposiciones. Averigua si la equivalencia [𝑝 ∨ (𝑞 ∧ 𝑟)] ⇔
[(𝑝 ∨ 𝑟) ∧ 𝑞] puede ser verdadera sin que lo sea la implicancia 𝑝 ⇒ 𝑞.
b. Sean 𝑝 𝑞 𝑟 𝑠 proposiciones que satisfacen -es decir, hacen verdadera- la
proposición (𝑞 𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑎) ∧ [(𝑝 ∧ 𝑞) 𝑛𝑜 𝑒𝑠 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒 𝑐𝑜𝑛 (𝑟 ⇔ 𝑠)].
Demuestra que el valor de verdad de la siguiente proposición es
verdadera para todas las combinaciones de valores veritativos que
cumplen la hipótesis.
[(𝑝 ∧ 𝑟) ∨ (𝑞 ⇒ 𝑠)] ⇒ [𝑝 ∨ (𝑟 ∧ 𝑠)]

4. Determine la negación de las siguientes proposiciones.

̅̅̅̅̅̅)
a. (∀𝑥)(∀𝑦)(𝑝(𝑥) ⇒ 𝑞(𝑦)
b. (∀𝑥)[𝑞(𝑥) ⇒ (∃𝑦)𝑝(𝑦)]

5. Se define el conectivo 𝑝∇𝑞 como 𝑝∇𝑞 ≡ 𝑝̅ ∧ 𝑞̅ . Demostrar sin usar tabla

de verdad que 𝑝∇𝑝 ⇔ 𝑝̅

6. Establezca la validez del argumento:

a. 〈𝑝 ⇒ 𝑟, 𝑝̅ ⇒ 𝑞, 𝑞 ⇒ 𝑠 ∖ 𝑟̅ ⇒ 𝑠〉
b. 〈𝑝 ⇒ 𝑟, 𝑟 ⇒ 𝑠, 𝑡 ∨ 𝑠̅, 𝑡̅ ∨ 𝑢, 𝑢̅ ∖ 𝑝̅ 〉
FIN.