Leyes del Álgebra de las Proposiciones

Ley de Involución o Negación Leyes de Ídem Potencia

~ ( ~P ) <=> P P ꓦ P <=> P
P ꓥ P <=> P
Leyes Conmutativas Leyes Asociativas
P ꓦ Q <=> Q ꓦ P (P ꓦ Q) ꓦ R <=> P ꓦ (Q ꓦ R)
P ꓥ Q <=> Q ꓥ P (P ꓥ Q ) ꓥ R <=> P ꓥ (Q ꓥ R)
Leyes Distributivas Leyes de Morgan
P ꓦ (Q ꓥ R) <=> (P ꓦ Q) ꓥ (Q ꓦ R) ~( P ꓦ Q) <=> ~P ꓥ ~Q
P ꓥ (Q ꓦ R) <=> (P ꓥ Q) ꓦ (P ꓥ R) ~( P ꓥ Q) <=> ~P ꓦ ~Q
Leyes de Absorción Leyes de Absorción Parcial
P ꓥ (P ꓦ R) <=> P ~P ꓥ (P ꓦ R) <=> ~P ꓥ R
P ꓦ (P ꓥ R) <=> P ~P ꓦ (P ꓥ R) <=> ~P ꓦ R
Ley Condicional Ley Bicondicional
P → Q <=> ~P ꓦ Q P ↔ Q <=> (P → Q) ꓥ ( Q → P)
Ley de Conjunción Negativa Ley Disyunción Exclusiva
P ↓ Q <=> ~ P ꓥ ~Q P ꓦ Q <=> ( P ꓦ Q) ꓥ ~( P ꓥ Q)
Leyes de Identidad Leyes de Complemento
~P ꓦ F <=> ~P P ꓦ ~P <=> V
~P ꓦ V <=> V P ꓥ ~P <=> F
P ꓥ F <=> F ~V <=> F
P ꓥ V <=> P ~F <=> V
 Conectivos Lógicos

Negación (~). - La negación es un operador lógico que cambia el valor de verdad de una proposición.

Conjunción (ꓥ). - Relaciona dos proposiciones simples para formar una proposición compuesta a través del
operador “Y”.

Disyunción (ꓦ). - Relaciona dos proposiciones simples para formar una proposición compuesta a través del
operador “O”.

Bi disyunción o Disyunción Exclusiva ( ꓦ ). - Es el conectivo lógico 𝑂 excluyente que a todo par de

proposiciones p, q asocia las proposiciones “p 𝑂 q”.

Condicional o Implicación (→). - Se llama implicación de las proposiciones p, q a la proposición ~p ꓦ q, se

nota: p → q.

Bicondicional o Equivalencia (↔). - Se llama equivalencia de p, q a la proposición (p → q) ꓥ (p → q), se

nota: p ↔ q.

Conjunción Negativa (↓). - Se llama conjunción negativa de p, q a la proposición ~p ꓥ ~q, se nota p ↓ q.

Tabla de Verdad

P q ¬p p˄q p˅q pꓦq p→q p↔q p↓q

V V F V V F V V F
V F V F V V F F F
F V F F V V V F F
F F V F F F V V V