UNC - FIC

EQUIVALENCIAS NOTABLES p⟶q≡~p∨q

b) De la disyunción
1. Doble negación o Involución (D.N.)
p ⟶ q ≡ ~ (~p ∧ ~q)
~~p≡p 8. Leyes del bicondicional
2. Idempotencia (IDEM.) a) De la conjunción
a) De la conjunción (p ⟷ q) ≡ (p ⟶ q) ∧ (q ⟶ p)
p∧p≡p (p ⟷ q) ≡ (~ p ∨ q) ∧ (~ q ∨ p)
b) De la disyunción b) De la disyunción
p∨p≡p (p ⟷ q) ≡ (p ∧ q) ∨ (~ p ∧ ~ q)
3. Conmutatividad (CONM.) 9. Leyes de absorción (ABS.)
a) De la conjunción a) De la conjunción con respecto a la
p∧q≡q∧p disyunción
b) De la disyunción p ∧ (p ∨ q) ≡ p
p∨q≡q∨p p ∧ (~ p ∨ q) ≡ p ∧ q
4. Asociatividad (ASOC.) b) De la disyunción con respecto a la
disyunción
a) De la conjunción
p ∨ (p ∧ q) ≡ p
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
p ∨ (~ p ∧ q) ≡ p ∨ q
b) De la disyunción
10. Leyes de transposición (TRANS.)
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
a) Del condicional
5. Distributiva (DIST.) p⟶q≡~q⟶~p
a) De la conjunción con respecto a la b) Del bicondicional
disyunción p⟷q≡~q⟷~p
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) 11. Leyes de exportación
b) De la disyunción con respecto a la a) De condicional
conjunción (p ∧ q) ⟶ r ≡ p ⟶ (q ⟶ r)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) Generalizando se tiene:
c) Del condicional con respecto a la (𝑝1∧𝑝2 ∧𝑝3 ∧…∧𝑝𝑛 ) ⟶ r ≡
conjunción [(𝑝1∧𝑝2 ∧𝑝3 ∧…∧𝑝𝑛−1) ⟶ 𝑝𝑛 ⟶r)]
p ⟶ (q ∧ r) ≡ (p ⟶ q) ∧ (p ⟶ r) 12. Leyes del complemento
d) Del condicional con respecto a la a) De la conjunción
disyunción p∧~p≡F
p ⟶ (q ∨ r) ≡ (p ⟶ q) ∨ (p ⟶ r) b) De la disyunción
6. Leyes de Morgan (DE M.) p∨~p≡V
a) Negación de la conjunción 13. De identidad (IDENT.)
~ (p ∧ q) ≡ ~ p ∨ ~q a) De conjunción
b) Negación de la disyunción p∧V≡p
~ (p ∨ q) ≡ ~ p ∧ ~q p∧F≡F
c) Negación del condicional b) De disyunción
~ (p ⟶ q) ≡ p ∧ ~q p∨V≡V
d) Negación del bicondicional p∨F≡p
~ (p ⟷ q) ≡ p ⊻ q Otras leyes:
e) Negación de la disyunción exclusiva ~V≡F
~ (p ⊻ q) ≡ p ⟷ q ~F≡V
14. De la disyunción exclusiva
7. Leyes del condicional p ⊻ q ≡ (p ∨ q) ∧ (~ p ∨ ~q)
a) De la conjunción

Contáctenos a: aplicaciongatmat@gmail.com
Guevara Rodriguez J.