lOMoARcPSD|22544337

Tablas de Implicaciones notables vertical

Lógica (Universidad Peruana de Ciencias Aplicadas)

Escanea para abrir en Studocu

Studocu no está patrocinado ni avalado por ningún colegio o universidad.

Descargado por Yafeth YT
 lOMoARcPSD|22544337

Lógica - MA473 - Implicaciones notables

Equivalencias Notables. Implicaciones notables
1. Ley de Idempotencia 1. Ley del Modus Ponens (M.P.)
(𝒑  ��) ≡ 𝒑 (𝒑  ��) ≡ 𝒑 p→q
p
2. Ley Asociativa
𝒑  𝒒  𝒓 ≡ (𝒑  ��)  𝒓 ≡ 𝒑  (𝒒  ��) q
𝒑  𝒒  𝒓 ≡ (𝒑  𝒒)  𝒓 ≡ 𝒑  (𝒒  𝒓 ) 2. Ley del Modus Tollens (M.T.)
𝒑 ↔ 𝒒 ↔ 𝒓 ≡ (𝒑 ↔ 𝒒) ↔ 𝒓 ≡
𝒑 ↔ (𝒒 ↔ ��) p→q
~q
3. Ley Conmutativa ~p
(𝒑)  ��) ≡ (𝒒  𝒑 ) (𝒑  𝒒) ≡ (𝒒 
�� 3. Ley de Simplificación (Simp.)
↔ ��) ≡ (𝒒 ↔ ��)
↮(𝒑 ��) (𝒑 ↮ ��) ≡ (𝒒
p q
4. Ley Distributiva q
𝒑  (𝒒  ��) ≡ (𝒑  ��)  (𝒑  ��)
𝒑  (𝒒  ��) ≡ (𝒑  ��)  (𝒑  ��) p q
𝒑 → (𝒒��) ≡ (𝒑 → 𝒒)(𝒑 → ��) p
5. Leyes de D'Morgan 4. Ley del Silogismo Disyuntivo (S.D.)
~(𝒑  𝒒) ≡ ~𝒑  ~𝒒 pq
~(𝒑  ��) ≡ ~𝒑  ~𝒒
~p
6. Leyes del Condicional q
𝒑 → 𝒒 ≡ ~𝒑  𝒒
∴ ~(𝒑 → 𝒒) ≡ 𝒑  ~𝒒 pq
~q
7. Ley de Transposición
𝒑 → 𝒒 ≡ ~𝒒 → ~𝒑 p

5. Ley del Silogismo Hipotético (S.H.)

8. Ley del Bicondicional p→q
𝒑 ↔ 𝒒 ≡ (𝒑 → 𝒒) (𝒒 → ��) ≡ (𝒑 
𝒒)  (~𝒑  ~𝒒) q→r
9. Leyes del Complemento p→r
𝒑  ~𝒑 ≡ 𝑽 𝒑  ~𝒑 ≡ 𝑭
6. Ley de Adición (Ad.)
10. Ley de la doble negación p
~(~��) ≡ 𝒑
pq
11. Leyes de la Identidad 7. Ley de la Conjunción (Conj.)
𝒑 𝑭≡𝒑 𝒑 𝑽≡𝑽
𝒑𝑭≡𝑭 𝒑𝑽 ≡ 𝒑 pq
pq
12. Leyes de Absorción
𝒑  (𝒑  ��) ≡ 𝒑 8. Ley del Dilema Constructivo (D.C.)
𝒑  (𝒑  𝒒) ≡ 𝒑 (p → q)  (r → s)
𝒑  (~𝒑  𝒒) ≡ (��𝒒) pr
𝒑  (~𝒑  𝒒) ≡ (𝒑  𝒒)
qs
9. Ley del Dilema Destructivo (D.D.)
(p → q)  (r → s)
~q  ~s
~p  ~r
10. Exportación (Export.)
(p ∧ q) → r ≡ p →(q → r)

Descargado por Yafeth YT

 lOMoARcPSD|22544337

Descargado por Yafeth YT (maquina2101@gmail.com)