Documentos de Académico
Documentos de Profesional
Documentos de Cultura
¬(𝑝 ∧ ¬𝑞)
(𝑝 ∧ 𝑞) → 𝑝
𝑝 → (𝑝 ∨ 𝑞)
[𝑝 ∧ (𝑞 ∨ 𝑟)] ⇾ [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)]
[(𝑝 ∧ 𝑞) ↔ 𝑝] → (𝑝 ↔ 𝑞)
[(𝑝 → 𝑞) ∨ (𝑟 → 𝑠)] → [(𝑝 ∨ 𝑟) → (𝑞 ∨ 𝑠)]
𝑝 → (𝑞 → 𝑝)
¬[(¬𝑝 → ¬𝑞) ↔ (𝑞 → 𝑎)]
(𝑝 ↔ 𝑞) ↔ (𝑞 ↔ 𝑟) ↔ (𝑝 ↔ 𝑟)
2. Demuestre aplicando tabla de verdad:
i. Ley del modus ponens: [(𝑝 → 𝑞) ∧ 𝑝] ⟹ 𝑞
ii. Ley del Modus Tollendo Tollens: [(𝑝 → 𝑞) ∧ ¬𝑞] ⟹ ¬p
iii. Ley del silogismo hipotético o Ley de absorción:
iv. [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] ⟹ (𝑝 → 𝑟)
v. Ley del silogismo disyuntivo: [𝑝 ∧ (¬𝑝 ∨ ¬𝑞)] ⟹ ¬𝑞
vi. Ley de silogismo disyuntivo:[¬𝑝 ∧ (𝑝 ∨ 𝑞)] ⟹ 𝑞
vii. Equivalencia lógica asociativa: [(𝑝 ∧ 𝑞) ∧ 𝑟] ⟺ [𝑝 ∧ (𝑞 ∧ 𝑟)]
viii. Equivalencia lógica asociativa: [(𝑝 ∨ 𝑞) ∨ 𝑟] ⟺ [𝑝 ∨ (𝑞 ∨ 𝑟)]
ix. Equivalencia lógica distributiva:[𝑝 ∧ (𝑞 ∨ 𝑟)] ⟺ [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)]
x. Equivalencia lógica distributiva:[𝑝 ∨ (𝑞 ∧ 𝑟)] ⟺ [(𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)]
xi. Ley de Morga:¬(𝑝 ∨ 𝑞) ⟺ (¬𝑝 ∧ ¬𝑞)
xii. Ley de Morga:¬(𝑝 ∧ 𝑞) ⟺ (¬𝑝 ∨ ¬𝑞)
xiii. Reducción al Absurdo:(𝑝 ⇾ 𝑞) ⟺ [(𝑝𝑞) → 𝐹]
xiv. Ley de Exportación:[(𝑝𝑞) → 𝑟] ⟺ [𝑝 → (𝑞 → 𝑟)]
3. Establecer si la proposición asignada es tautología, contingencia o
contradicción.
i. 𝑝 ∧ (¬𝑝 ∨ 𝑞) = p ∧ 𝑞
ii. [(𝑝 ∧ 𝑞) ∧ ¬𝑝] → 𝑝
iii. ¬[𝑟 ∧ (¬𝑟 ∨ 𝑠)] = (¬𝑟 ∨ ¬𝑠)
iv. [𝑝 ∧ (𝑞 ∨ 𝑟)] ⇾ [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)]
v. [(𝑝 ∧ 𝑞) ↔ 𝑝] → (𝑝 ↔ 𝑞)
vi. [(𝑝 → 𝑞) ∨ (𝑟 → 𝑠)] → [(𝑝 ∨ 𝑟) → (𝑞 ∨ 𝑠)]
vii. [(𝑝 → 𝑞) ∧ (𝑟 → 𝑞) ∧ ¬𝑟] → ¬𝑞
viii. ¬[(¬𝑝 → ¬𝑞) ↔ (𝑞 → 𝑎)]
ix. (𝑝 ↔ 𝑞) ↔ (𝑞 ↔ 𝑟) ↔ (𝑝 ↔ 𝑟)
x. 𝑟 ∨ (¬𝑟 ∧ 𝑡) = 𝑟 ∨ 𝑡
xi. (𝑝 ∧ 𝑞) ↔ (𝑟 ∧ 𝑠)
q r
p t
s
b. Conmutador 2
𝑞ത 𝑟
𝑝ҧ
𝑝
c. Conmutador 3
𝑞ത 𝑠
𝑝 𝑝ҧ
𝑞 𝑟ҧ 𝑞ത