You are on page 1of 2

Facultad de Ciencias Fı́sicas y Matemáticas Universidad de Chile

MA1101-2 Introducción al Álgebra


Profesor : José Soto
Auxiliar : Arturo Merino

Formulario Tautologı́as y Conjuntos


18 de septiembre del 2016
Sean p, q, r proposiciones lógicas. Las siguientes son tautologı́as usadas comunmente:

1. Básicas b) p ∨ (q ∧ r) ⇐⇒ [(p ∨ q) ∧ (p ∨ r)]


a) (p ∧ p) ⇐⇒ F 5. Caracterizaciones
b) (p ∨ p) ⇐⇒ V a) (p =⇒ q) ⇐⇒ (p ∨ q)
c) (p ∧ V ) ⇐⇒ p b) (p ⇐⇒ q) ⇐⇒ [(p =⇒ q) ∧ (q =⇒ p)]
d) (p ∧ F ) ⇐⇒ F
6. Idempotencia
e) (p ∨ V ) ⇐⇒ V
f ) (p ∨ F ) ⇐⇒ p a) (p ∧ p) ⇐⇒ p
g) p ⇐⇒ p b) (p ∨ p) ⇐⇒ p

2. Conmutatividad 7. Leyes de Morgan

a) (p ∧ q) ⇐⇒ (q ∧ p) a) (p ∧ q) ⇐⇒ (p ∨ q)
b) (p ∨ q) ⇐⇒ (q ∨ p) b) (p ∨ q) ⇐⇒ (p ∧ q)

3. Asociatividad 8. Propiedades de la Implicancia

a) (p ∨ q) ∨ r ⇐⇒ p ∨ (q ∨ r) a) [(p =⇒ q) ∧ (q =⇒ r)] =⇒ (p =⇒ r)
b) (p ∧ q) ∧ r ⇐⇒ p ∧ (q ∧ r) b) (p =⇒ q) ⇐⇒ (q =⇒ p)
c) (p =⇒ p) ⇐⇒ V
Muchas veces interpretaremos esto como que si se tiene
solo ∧ o ∨ en una proposición, entonces dicha propo- 9. Propiedades de la Equivalencia
sición se puede parentizar como uno prefiera.
a) (p ⇐⇒ q) ⇐⇒ (q ⇐⇒ p)
4. Distributividad b) [(p ⇐⇒ q) ∧ (q ⇐⇒ r)] =⇒ (p ⇐⇒ r)
a) p ∧ (q ∨ r) ⇐⇒ [(p ∧ q) ∨ (p ∧ r)] c) (p ⇐⇒ p) ⇐⇒ V

1
Facultad de Ciencias Fı́sicas y Matemáticas Universidad de Chile

Sea U un conjunto universo y A, B, C subconjuntos de U.

1. Básicas a) A ∪ B = B ∪ A
a) ∅ = {x ∈ U : x 6= x} b) A ∩ B = B ∩ A
b) A = B ⇐⇒ (∀x ∈ U)(x ∈ A ⇐⇒ x ∈ B) c) A 4 B = B 4 A
c) A ⊆ B ⇐⇒ (∀x ∈ U)(x ∈ A =⇒ x ∈ B) 5. Asociatividad
d) A = B ⇐⇒ (A ⊆ B ∧ B ⊆ A)
a) A ∪ (B ∪ C) = (A ∪ B) ∪ C
e) A = A
b) A ∩ (B ∩ C) = (A ∩ B) ∩ C
f ) A = B ⇐⇒ B = A
c) A 4 (B 4 C) = (A 4 B) 4 C
g) (A = B ∧ B = C) =⇒ B = C
Muchas veces interpretaremos esto como que si se tiene
h) (A ⊆ B ∧ B ⊆ C) =⇒ A ⊆ C
solo ∩ o ∪ en una expresión, entonces dicha expresión
i) ∅ ⊆ A ⊆ U se puede parentizar como uno prefiera.
2. Definiciones 6. Distributividad
a) A ∪ B = {x ∈ U : x ∈ A ∨ x ∈ B} a) A ∪ (B ∩ C) = (A ∪ B) ∩ (B ∪ C)
b) A ∩ B = {x ∈ U : x ∈ A ∧ x ∈ B} b) A ∩ (B ∪ C) = (A ∩ B) ∪ (B ∩ C)
c) Ac = {x ∈ U : x ∈
/ A} c) A ∩ (B 4 C) = (A ∩ B) 4 (A ∩ C)
d) A \ B = A ∩ B c
7. Idempotencia
e) A 4 B = (A \ B) ∪ (B \ A) = (A ∪ B) \ (A ∩ B)
a) A ∪ A = A
3. Básicas II
b) A ∩ A = A
a) A = A ∪ ∅ = A ∩ U = (Ac )c
8. Leyes de Morgan
b) ∅ = A ∩ ∅ = A ∩ Ac
c) U = A ∪ U = A ∪ Ac a) (A ∪ B)c = Ac ∩ B c
d) (A ⊆ B) ⇐⇒ (B c ⊆ Ac ) b) (A ∩ B)c = Ac ∪ B c
e) A ∩ B ⊆ A ⊆ A ∪ B 9. Otros
f) ∅ = A4A
a) P(A) = {X ⊆ U : X ⊆ A}
g) A 4 ∅ = A
b) (a, b) = {{a}, {a, b}}
4. Conmutatividad c) A × B = {(x, y) : x ∈ A ∧ y ∈ B}