LEYES DE LA LÓGICA PROPOSICIONAL (EQUIVALENCIAS LÓGICAS)

1. Idempotencia

• (𝑝 ∧ 𝑝) 𝑝
• (𝑝 ∨ 𝑝) 𝑝

2. Conmutatividad

• (𝑝 ∧ 𝑞) ( 𝑞 ∧ 𝑝)
• (𝑝 ∨ 𝑞) (𝑞 ∨ 𝑝)
• (𝑝 ⊻ 𝑞) (𝑞 ⊻ 𝑝)
• (𝑝 ↔ 𝑞) (𝑞 ↔ 𝑝)
• (𝑝 ↓ 𝑞) (𝑞 ↓ 𝑝)
• (𝑝 ↑ 𝑞) (𝑞 ↑ 𝑝)

3. Asociatividad

• [(𝑝 ∧ 𝑞) ∧ 𝑟] [𝑝 ∧ (𝑞 ∧ 𝑟) ]
• [(𝑝 ∨ 𝑞) ∨ 𝑟] [𝑝 ∨ (𝑞 ∨ 𝑟) ]
• [(𝑝 ↔ 𝑞) ↔ 𝑟] [𝑝 ↔ (𝑞 ↔ 𝑟) ]
• [(𝑝 ⊻ 𝑞) ⊻ 𝑟] [𝑝 ⊻ (𝑞 ⊻ 𝑟) ]

4. Distributividad

• [𝑝 ∧ (q ∨ r) ] [(𝑝 ∧ 𝑞 ) ∨ (𝑝 ∧ 𝑟)]
• [𝑝 ∨ (q ∧ r) ] [(𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)]
• [𝑝 → (𝑞 ∧ 𝑟) ] [(𝑝 → 𝑞) ∧ (𝑝 → r)]
• [𝑝 → (𝑞 ∨ 𝑟) ] [(𝑝 → 𝑞) ∨ (𝑝 → 𝑟)]
• [𝑝 → (𝑞 ↔ 𝑟) ] [(𝑝 → 𝑞) ↔ (𝑝 → 𝑟)]

5. Leyes de la condicional (Implicación material)

• (𝑝 → 𝑞) (~ 𝑝 ∨ 𝑞) Definición de la implicación material

• (𝑝 → 𝑞) ( 𝑝 ↑ ~ 𝑞) Reducción de la implicación material
• (𝑝 → 𝑞) (~𝑞 → ~ p) Ley de transposición
• [𝑝 → (𝑞 → 𝑟) ] [𝑞 → (𝑝 → 𝑟)] Ley de conmutación simple
• [(𝑝 ∧ 𝑞) → 𝑟] [𝑝 → (𝑞 → 𝑟)] 1a ley de exportación
• [(𝑝 ∧ 𝑞) → 𝑟] [𝑞 → (𝑝 → 𝑟)] 2a ley de exportación

6. Leyes de la bicondicional (Equivalencia material)

• (𝑝 ↔ 𝑞) [(𝑝 ∧ 𝑞) ∨ (~ 𝑝 ∧ ~ 𝑞 ) ]
• (𝑝 ↔ 𝑞) [(𝑝 → 𝑞) ∧ (𝑞 → 𝑝) ]
 • (𝑝 ↔ 𝑞) (~ 𝑝 ↔ ~ 𝑞) Inversión de la bicondicional
• (𝑝 ↔ 𝑞) (~ 𝑞 ↔ ~ 𝑝) Transposición de la bicondicional

7. Negación de las operaciones binarias

• ~ (𝑝 ∧ 𝑞) (~ 𝑝 ∨ ~ 𝑞)
𝐿𝑒𝑦𝑒𝑠 𝑑𝑒 𝐷𝑒 𝑀𝑜𝑟𝑔𝑎𝑛
• ~ (𝑝 ∨ 𝑞) (~ 𝑝 ∧ ~ 𝑞)
• ~ (𝑝 → 𝑞) (𝑝 ∧ ~ 𝑞)
• ~ (𝑝 ↔ 𝑞) (𝑝 ⊻ 𝑞) (~ 𝑝 ↔ 𝑞) (𝑝 ↔ ~ 𝑞) (𝑝 ∧ ~ 𝑞) ∨ (~ 𝑝 ∧ 𝑞)
• ~ (𝑝 ↓ 𝑞) (𝑝 ∨ 𝑞)
• ~ (𝑝 ↑ 𝑞) (𝑝 ∧ 𝑞)
• ~ (𝑝 ⊻ 𝑞) (𝑝 ↔ 𝑞)

8. Leyes de Identidad

• (𝑝 ∧ T) 𝑝 (T es elemento neutro para ∧)

• (𝑝 ∧ F) F (F es elemento absorbente para ∧)
• (𝑝 ∨ T) T (T es elemento absorbente para ∨)
• (𝑝 ∨ F) 𝑝 (F es elemento neutro para ∨)

9. Leyes de complementación

• (𝑝 ∨ ~ p) 𝑇 Ley del tercero excluido

• (𝑝 ∧ ~ p) F Ley de contradicción
• ~T 𝐹
• ~F 𝑇
• ~(~ p) p Ley de involución o de doble negación

10. Leyes de absorción

• [p ∧ (𝑝 ∨ 𝑞)] 𝑝
• [p ∨ (𝑝 ∧ 𝑞)] 𝑝