ALGEBRA I Mat-100

Leyes Lógicas

1) Ley de complemento ~(p ∨ q) ≡ ~p ∧ ~q

~V ≡ F ; ~F ≡ V 12) Ley de la implicación o condicional
2) Ley de la doble negación p → q ≡ ~p ∨ q
~(~p) ≡ p
~(p → q) ≡ p ∧ ~q
3) Ley de dominación
13) Ley del bicondicional
p∧F≡F ; p∨V≡V
p ↔ q ≡ (p → q) ∧ (q → p)
4) Ley del neutro
p∧V≡p ; p∨F≡p p ↔ q ≡ (~p ∨ q) ∧ (p ∨ ~q)
5) Ley del inverso p ↔ q ≡ (p ∧ q) ∨ ~(p ∨ q)
p ∧ ~p ≡ F ; p ∨ ~p ≡ V p ↔ q ≡ ~(p∆q)
6) Ley de la idempotencia p ↔ F ≡ ~p ; p ↔ V ≡ p
p∧p≡p ; p∨ p ≡p
p ↔ p ≡ V ; p ↔ ~p ≡ F
7) Ley conmutativa
p∧q≡q∧p ; p∨q ≡q∨p 14) Ley de la disyunción excluyente ∨≡ ∆
p∆q ≡ (p ∧ ~q) ∨ (~p ∧ q)
p→q≢q→p
p∆q ≡ (p ∨ q) ∧ ~(p ∧ q)
p↔q≡q↔p ; p∆q ≡ q∆p
8) Ley asociativa p∆q ≡ ~(p ↔ q)
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r ~(p∆q) ≡ (p∆~q) ≡ (~p∆q)
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r p∆F ≡ p ; p∆V ≡ ~p
p → (q → r) ≢ (p → q) → r p∆p ≡ F ; p∆~p ≡ V
p∆(q∆r) ≡ (p∆q)∆r 15) Ley de transposición
p → q ≡ ~q → ~p
9) Ley distributiva
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) p ↔ q ≡ ~p ↔ ~q
p∆q ≡ ~p∆~q
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
16) Ley de exportación.
p → (q ∧ r) ≡ (p → q) ∧ (p → r)
(p ∧ q) → r ≡ p → (q → r)
p → (q ∨ r) ≡ (p → q) ∨ (p → r)
(p1 ∧ p2 ∧ … ∧ pn ) → r ≡
10) Ley de la absorción (p1 ∧ p2 ∧ … ∧ pn−1 ) → (pn → r)
p ∧ (p ∨ q) ≡ p ; p ∨ (p ∧ q) ≡ p
17) Ley de shaffer o de incompatibilidad
p ∧ (~p ∨ q) ≡ p ∧ q ; p ∨ (~p ∧ q) ≡ p ∨ q p|q ≡ ~(p ∧ q)
~p ∧ (p ∨ q) ≡ ~p ∧ q ; ~p ∨ (p ∧ q) ≡ ~p ∨ q 18) Ley de Nicod o de negación conjunta
11) Ley de Morgan p ↓ q ≡ ~(p ∨ q)
~(p ∧ q) ≡ ~p ∨ ~q 19) Otros relacionados
p ↔ q ≡ ~(p|q) ∨ (p ↓ q)

1
 ALGEBRA I Mat-100

p∆q ≡ ~(p ↓ q) ∧ (p|q) ∃! / p(x) se lee

“existe un único x, tal que se verifica
CUANTIFICADOR EXISTENCIAL Y UNIVERSAL p(x)”

∀x: p(x) se lee Negación de proposiciones con un cuantificador

“para todo x, se verifica p(x)”
∃x / p(x) se lee ~[∀x ∶ p(x)] ≡ ∃x / ~p(x)
“existe x, tal que se verifica p(x)” ~[∃x / ~p(x)] ≡ ∀x ∶ p(x)

Leyes de inferencia

1) Modus Ponendo pones (PP) o Modus ①p→q

pones (MP) ②q →r
①p →q ; [(p → q) ∧ (q → r)] → (p → r)
p→r
②p
; [(p → q) ∧ p] → q
q 7) Leyes de silogismo disyuntivo
①p∨q
2) Modus Tollendo tollens (TT) o Modus ②p→ t
tolles (MT) ③q →r
① ~q t∨r
②p →q
; [~q ∧ (p → q)] → ~p
~p 8) Ley de contrarrecíproco (LCR)
①p→q
3) Modus tollendo pones (TP) o silogismo ~q → ~p
disyuntivo (SD)
①p∨q ①p∨q 9) Ley de dilema constructiva (DC)
② ~p ② ~q ①p→q
;
q p ②r →s
③p∨r
4) Leyes de simplificación (LS) o (S) q∨s
①p∧q ①p∧q
;
p q 10) Ley de dilema destructiva (DD)
①p →q
5) Ley de conjunción (LC) o (C) ②r→ s
①p ③ ~q ∨ ~s
②q ~p ∨ ~r
; (p ∧ q) → (p ∧ q)
p∧q
11) Ley de Adición (LA)
6) Silogismo hipotético (SH) ①p
p∨q

2
 ALGEBRA I Mat-100

Leyes de teoría de conjuntos

1) Ley de complemento 11) Ley de Morgan

U c = ∅ ; ∅c = U (A ∩ B)c = Ac ∪ B c
2) Ley del doble complemento (A ∪ B)c = Ac ∩ B c
(Ac )c = A
(A∆B)c = (Ac ∆B) = (A∆B c )
3) Ley de dominación
12) Ley de la diferencia
A∩∅=∅ ; A∪U=U
A − B = A ∩ Bc
A−A=∅ ; ∅−A =∅ ; A−U=∅
A − B = (A ∪ B) − B
4) Ley del neutro
A∩U=A ; A∪∅=A A − B = A − (A ∩ B)

A − ∅ = A ; U − A = Ac B ∩ (A − B) = ∅
5) Ley del inverso 14) Ley de la diferencia simétrica
A ∩ Ac = ∅ ; A ∪ Ac = U A∆B = (A ∪ B) − (A ∩ B)
6) Ley de la idempotencia A∆B = (A − B) ∪ (B − A)
A∩A=A ; A∪A=A A∆B = (A ∩ B c ) ∪ (Ac ∩ B)
7) Ley conmutativa
A∆∅ = A ; A∆U = Ac
A∩B = B∩A ; A∪B= B∪A
A − B ≠ B − A ; A∆B = B∆A A∆A = ∅ ; A∆Ac = U
8) Ley asociativa (A∆B) ∩ C = (A ∩ C)∆(B ∩ C)
A ∩ (B ∩ C) = (A ∩ B) ∩ C (A∆B) ∩ (B∆C) = [B ∪ (A ∩ C)] − [B ∩ (A ∪ C)]
A ∪ (B ∪ C) = (A ∪ B) ∪ C (A∆B) ∪ (B∆C) = (A ∪ B ∪ C) − (A ∩ B ∩ C)
A − (B − C) ≠ (A − B) − C
INCLUSION
A∆(B∆C) = (A∆B)∆C
9) Ley distributiva A ⊂ B, “A es subconjunto de B”
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) A ⊂ B ↔ (∀x)(x ∈ A → x ∈ B)
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) Leyes de inclusión
A ∩ (B − C) = (A ∩ B) − (A ∩ C) A∪B=B
A ∪ (B − C) ≠ (A ∪ B) − (A ∪ C) A∩B = A
Ac ∪ B = U
A ∩ (B∆C) = (A ∩ B)∆(A ∩ C)
A ∩ Bc = A − B = ∅
A ∪ (B∆C) ≠ (A ∪ B)∆(A ∪ C)
A∆B = B − A
10) Ley de la absorción
A ∩ (A ∪ B) = A ; A ∪ (A ∩ B) = A
CONJUNTOS DISJUNTOS
A ∩ (Ac ∪ B) = A ∩ B ; A ∪ (Ac ∩ B) = A ∪ B
Ac ∩ (A ∪ B) = Ac ∩ B Ac ∪ (A ∩ B) = Ac ∪ B Sean A, B ⊂ U
A y B sin disconjuntos ↔ A ∩ B = ∅

3
 ALGEBRA I Mat-100

Ley de disjuntos CARDINALIDAD

Ac ∪ B = Ac Dado un conjunto A, n(A) se denomina número
A ∪ Bc = Ec de elementos.
Ac ∩ B = B − A = B Si A y B son conjuntos finitos, entonces:
A ∩ Bc = A − B = A A ∩ B = ∅ , entonces:
A = ∅ → n(A) = 0
A∆B = A ∪ B n(A ∪ B) = n(A) + n(B)
n(A ∪ B) = n(A) + n(B) − n(A ∩ B)
CONJUNTOS POR PARTES
n(A ∪ B) = n(A − B) + n(A ∩ B) + n(B − A)
Dado un conjunto A
P(A) = x / x ⊂ A x ∈ P(A) ↔ x ⊂ A
Si A tiene n elementos de P(A) tiene 2n
elementos