===== Principios lógicos =====

==== Ley Reflexiva ====

  * J ≡ J

==== Ley de no Contradicción ====

  * ∼ (J ∧ ∼J )

==== Ley de Tercio Excluido ====

  * J ∨ ∼ J

===== Principales Leyes lógicas =====

==== Ley de Doble Negación ====

  * ∼∼ J ≡ J

==== Ley de Idempotencia ====

  - J ∧ J ≡ J
  - J ∨ J ≡ J

==== Ley Conmutativa ====

  - J ∧ K ≡ K ∧ J
  - J ∨ K ≡ K ∨ J
  - J ↔ K ≡ K ↔ J

==== Ley Asociativa ====

  - J ∧ (K ∧ L) ≡ (J ∧ K) ∧ L
  - J ∨ (K ∨ L) ≡ (J ∨ K) ∨ L
  - J ↔ (K ↔ L) ≡ (J ↔ K) ↔ L