DOCENTE OSCAR DANILO BEDOYA TOBAR E- MAIL profeoscardanilo@yahoo.

com
ASIGNATURA LÓGICA DEL PENSAMIENTO ACTIVIDAD TALLER 6 PROPOSICIONES
ESTUDIANTE TRABAJO GRUPAL GRUPO S 2491 y S2491B FECHA 25 septiembre 2021

1. Construya la tabla de verdad para cada proposición y determine si es Tautología,

Contradicción o Contingencia
a. (𝑝 → 𝑞) → (𝑝 → 𝑝 ∧ 𝑞)
b. (𝑃 → 𝑄) ∧ (𝑄 → 𝑅) → (𝑃 → 𝑅)
c. [𝑃 ∨ (~𝑃 ∧ 𝑄)] ∨ (∼ 𝑃 ∧ ~𝑄)

2. Escriba la reciproca, contraria y contrarrecíproca para cada condicional

a. Si x es múltiplo de 4, no es menor que 3
b. Si x es par pero no múltiplo de 4 entonces es mayor que 0, mayor que 5, o
menor que 3
c. Si x no es par, no es múltiplo de 4

3. Demostrar que
a. La condicional es distributiva respecto a la conjunción
𝑃 → (𝑄 ∧ 𝑅) ≡ (𝑃 → 𝑄) ∧ (𝑃 → 𝑅)
b. 𝑃 ∨ 𝑄 ≡ (𝑃 ∨ 𝑄) ∧∼ (𝑃 ∧ 𝑄)
c. ∼ (𝐴 → 𝐵) ≡ 𝐴 ∧∼ 𝐵
d. ∼ (𝐴 ∧ 𝐵) ≡∼ 𝐴 ∨∼ 𝐵
e. ∼ (𝐴 ↔ 𝐵) ≡ 𝐴 ↔∼ 𝐵 ≡∼ 𝐴 ↔ 𝐵