Practica Nº 3 - Ing. Metalúrgica
Practica Nº 3 - Ing. Metalúrgica
Practica Nº 3 - Ing. Metalúrgica
DE TRUJILLO
PRÁCTICA N° 03
b) {𝑝 ∧ [𝑞 ∧ 𝑝) →∼ 𝑟]} → (𝑟 →∼ 𝑞 )
c) {[𝑝 → (𝑞 ∨ ∼ 𝑟)] ∧ 𝑟} → (∼ 𝑝 ∨ ∼ 𝑞)
d) [𝑝 ∨ (𝑞 →∼ 𝑟)] ∧ 𝑟 → (𝑝 ∨ ∼ 𝑞)
c) No es cierto que Pizarro conquistó el Perú y no fue español, dado que Pizarro
conquistó el Perú si y solo si no fue marino, pero fue español.
d) Si el tren sale hoy para Huancayo, entonces no cayó ningún huayco, ya que si el tren
no sale hoy para Huancayo, entonces o cayó algún huayco o se produjo un paro;
pero es cierto que no se produjo un paro.
a) (1) ∼ (𝑝 ∧ 𝑞) b) (1) ∼ 𝑝 ∨ ∼ 𝑠
(2) ∼ 𝑟 → 𝑞 (2) ∼ 𝑠 → 𝑟
(3) ∼ 𝑝 → 𝑟 / ∴ 𝑟 (3) ∼ (𝑡 ∨ 𝑟) / ∴∼ 𝑝
c) (1) 𝑟 → 𝑡 d) (1) 𝑟 →∼ 𝑧
(2) 𝑠 → 𝑞 (2) (𝑡 ∨ 𝑠) → 𝑟
(3) (𝑡 ∨ 𝑞) → 𝑝 (3) 𝑧 ∨ ∼ 𝑠
(4) 𝑟 ∨ 𝑠 / ∴ 𝑝 (4) ∼ 𝑡 / ∴∼ (𝑡 ∨ 𝑠)
5. Utilizar una demostración condicional para deducir la conclusión en cada una de las
siguientes inferencias:
a) Demostrar 𝑟 → 𝑞 b) Demostrar 𝑡 →∼ (𝑝 ∨ 𝑞)
(1) (𝑝 ∨ 𝑞) →∼ 𝑟 (1) 𝑠 →∼ 𝑝
(2) 𝑠 → 𝑝 (2) ∼ 𝑞 ∨∼ 𝑟
(3) 𝑡 → 𝑞 (3) 𝑡 → (𝑠 ∧ 𝑟)
(4) 𝑠 ∨ 𝑡
c) Demostrar ∼ 𝑝 → (𝑠 ∨ ∼ 𝑡) d) Demostrar (𝑡 ∨ ∼ 𝑠) → 𝑟
(1) ∼ 𝑝 →∼ 𝑞 (1) ∼ 𝑟 → 𝑞
(2) ∼ 𝑟 ∨ 𝑠 (2) 𝑡 →∼ 𝑞
(3) ∼ 𝑞 → 𝑟 (3) ∼ 𝑠 →∼ 𝑞