UNIVERSIDAD TECNOLÓGICA NACIONAL

TECNICATURA SUPERIOR EN PROGRAMACIÓN – MATEMÁTICA I

TABLA DE EQUIVALENCIAS LÓGICAS

Proposición 1 Equivale a Proposición 2 Nombre

−(−𝑝) ⟺ 𝑝 Ley de doble negación
−(𝑝 ∧ 𝑞) ⟺ −𝑝 ∨ −𝑞
Leyes de Morgan
−(𝑝 ∨ 𝑞) ⟺ −𝑝 ∧ −𝑞
𝑝∧𝑞 ⟺ 𝑞∧𝑝
Leyes conmutativas
𝑝∨𝑞 ⟺ 𝑞∨𝑝
𝑝 ∧ (𝑞 ∧ 𝑟) ⟺ (𝑝 ∧ 𝑞) ∧ 𝑟
Leyes asociativas
𝑝 ∨ (𝑞 ∨ 𝑟) ⟺ (𝑝 ∨ 𝑞) ∨ 𝑟
𝑝 ∧ (𝑞 ∨ 𝑟) ⟺ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
Leyes distributivas
𝑝 ∨ (𝑞 ∧ 𝑟) ⟺ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
𝑝∨𝑝 ⟺ 𝑝
Leyes idempotentes
𝑝∧𝑝 ⟺ 𝑝
𝑝 ∧ −𝑝 ⟺ 𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑐𝑜𝑛𝑡𝑟𝑎𝑑𝑖𝑐𝑐𝑖ó𝑛
Leyes inversas
𝑝 ∨ −𝑝 ⟺ 𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑡𝑎𝑢𝑡𝑜𝑙𝑜𝑔í𝑎
𝑝 ∨ (𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑐𝑜𝑛𝑡𝑟𝑎𝑑𝑖𝑐𝑐𝑖ó𝑛) ⟺ 𝑝
Leyes de neutro
𝑝 ∧ (𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑡𝑎𝑢𝑡𝑜𝑙𝑜𝑔í𝑎) ⟺ 𝑝
𝑝 ∨ (𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑡𝑎𝑢𝑡𝑜𝑙𝑜𝑔í𝑎) ⟺ 𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑡𝑎𝑢𝑡𝑜𝑙𝑜𝑔í𝑎
Leyes de dominación
𝑝 ∧ (𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑐𝑜𝑛𝑡𝑟𝑎𝑑𝑖𝑐𝑐𝑖ó𝑛) ⟺ 𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 𝑐𝑜𝑛𝑡𝑟𝑎𝑑𝑖𝑐𝑐𝑖ó𝑛
𝑝 ∨ (𝑝 ∧ 𝑞) ⟺ 𝑝
Leyes de absorción
𝑝 ∧ (𝑝 ∨ 𝑞) ⟺ 𝑝
𝑝→𝑞 ⟺ −𝑝 ∨ 𝑞 Condicional como disyunción
𝑝↔𝑞 ⟺ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝) Bicondicional como conjunción
𝑝→𝑞 ⟺ −𝑞 → −𝑝 Contrarrecíproco
𝑝↔𝑞 ⟺ 𝑞↔𝑝 Conmutativa del bicondicional