DPLMSaludG3

•

↓

• •

p  ↓  q 

| p

∼  p  ∧ ∼  q 

p|q 

∼  p ∨ ∼  q 

⊕ q 

∼  ( p  ↓∼  p ) (∼  p  →  p )  ↓  p

∼  [ p  →  ( ∼  p ∧  p)] ∼  ( ∼  p  ↔  p )  →∼  ( ∼  p ∨  p) ( p ∧  p)  ↔  [ p ∨ (∼  q  |  q )]

[( p ∨  q )  ∧  p ] → [(r  ∨  q ) ←→ p]  p, q, r

[( p∧ ∼  q )  →  ( r ∨  p)] ←→ [ ∼  q  ∨ (r ∨  p)] [ p|(q |r)] ∨ [r|(q | p)] [( p ←→ r) ∧ (m ∨ n)] → (∼

p

⊕ s)

{(r ∨ s)  ←→  m ∨ (∼  r  ←→∼  n ) ∨ n} ∧ ( p ⊕ r)

{[(∼  p ∨ q )  →  ( p ∧  p)]  ←→ [( r  →  p )  ←→ ( p ⊕ q )]} →  [(r ∨ q )  ←→ ( r ∧ q )]

 p, q, r

[ p ⊕ (q  ⊕ r)]  ←→ [ ∼  r ∧ q ]

 p  ←→  ( q  ∧ r )

[( p  →  q ) ∧ (∼  p  →  r )]  →  [( p∨ ∼  p ) ∧ (q  ∨ r)] [( p  →  q ) ∧ (r  →  q )]  →  [( p ∨ r)  →  q ]