FORMULARIO DE LÓGICA Y CONJUNTOS

Prof. Tito Omonte Cabrera

La Sansi Centro de Enseñanza

Cel: 75470828 - 75961951 - 72719689 - 70794142 - 69504078

1. Conectivos Lógicos
∼: Negación
∧: Conjunción
∨: Disyunción (o, Incluyente)
⇒: Implicación o Condicional
⇔: Doble implicación o Bicondicional
⊻: Diferencia Simétrica (o, Excluyente)
∼ p: No p, No es cierto p, No ocurre p, Es falso p.
p ∧ q: p y q, p sin embargo q, p aunque q, p no obstante q, p pero q .
p ∨ q: p o q, Al menos p o q, Como minimo p o q.
p ⇒ q: p entonces q, p suficiente para q, q necesario para p.
p ⇔ q: p si y solo si q, p necesario y suficiente para q.
p ⊻ q: o bien p o bien q. Támbien se usa el simbolo △.

TAUTOLOGÍA: Proposición que resulta verdadera para cualquier valor de verdad de las proposiciones que la componen.
CONTRADICCIÓN: Proposición que resulta falsa para cualquier valor de verdad de las proposiciones que la componen.
CONTINGENCIA: Proposición compuesta que no es Tautologı́a ni Contradicción.

2. Tablas de verdad
Conjunción Disyunción Condicional Bicondicional Diferencia Simétrica
p q p∧q p q p∨q p q p⇒q p q p⇔q p q p⊻q
V V V V V V V V V V V V V V F
V F F V F V V F F V F F V F V
F V F F V V F V V F V F F V V
F F F F F F F F V F F V F F F

3. Leyes Lógicas
Sean p, q, r, s proposiciones entonces se cumplen las siguientes tautologı́as o leyes lógicas:
1. Involución. 7. Leyes de Identidad.
∼ (∼ p) ≡ p p∧V ≡p
2. Idempotencia. p∨F ≡p
p∧p≡p
8. Ley de Absorción.
p∨p≡p p∧F ≡F
3. Conmutatividad. p∨V ≡V
p∧q ≡q∧p
9. Ley del Complemento.
p∨q ≡q∨p
p∧ ∼ p ≡ F
p⊻q ≡q⊻p
p∨ ∼ p ≡ V
4. Asociatividad.
10. Ley *
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
p ∧ (p ∨ r) ≡ p
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
p ∨ (p ∧ r) ≡ p
(p ⊻ q) ⊻ r ≡ p ⊻ (q ⊻ r)
11. Ley **
5. Distributividad. p ∧ (∼ p ∨ q) ≡ (p ∧ q)
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
p ∨ (∼ p ∧ q) ≡ (p ∨ q)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
12. Ley de la Condicional.
6. Leyes de Morgan. p ⇒ q ≡∼ p ∨ q
∼ (p ∧ q) ≡ (∼ p∨ ∼ q)
13. Ley de la Contrarecı́proca.
∼ (p ∨ q) ≡ (∼ p∧ ∼ q) p ⇒ q ≡∼ q ⇒∼ p
∼ (p ⇒ q) ≡ (p∧ ∼ q) 14. Ley de la Bicondicional.
∼ (p ⇔ q) ≡∼ p ⇔ q p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)
4. Reglas de Inferencia Lógica

Modus Ponendo Ponens (MPP) Modus Tollendo Tolens (MTT) Modus Tollendo Ponens (MTP)
p⇒q p⇒q p∨q
p ∼q ∼p
q ∼p q

Modus Tollendo Ponens (MTP) Silogismo Hipotético (SH) Dilema Disyuntivo Constructivo
p∨q p⇒q p⇒q
∼q q⇒r r⇒s
p p⇒r p∨r
q∨s

Simplificación (S) Adición Conjuntiva (AC) Adición Disyuntiva (AD)

p∧q p∧q p p
p q q p∨ r
p∧q r: proposición que se necesite

5. Relaciones y 0peraciones entre Conjuntos

Sean A, B y C conjuntos, entonces se cumplen las siguientes definiciones y propiedades.
S
1. A ⊂ B ⇔ ∀x : x ∈ A ⇒ x ∈ B 4. A B = {x/x ∈ A ∨ x ∈ B} 7. Ac = A′ = {x/x 6∈ A}
T
2. A = B ⇔ (A ⊂ B) ∧ (B ⊂ A) 5. A B = {x/x ∈ A ∧ x ∈ B} 8. A − B = {x/x ∈ A ∧ x 6∈ B}
3. ∅ ⊂ A y A ⊂ A 6. P (A) = {x/x ⊂ A} 9. A △ B = (A − B) ∪ (B − A)

6. Número de elementos de un Conjunto n(A).

1. n(A ∪ B) = n(A) + n(B) − n(A ∩ B) 2. n(A − B) = n(A) − n(A ∩ B) 3. n(∅) = 0

7. Propiedades de las operaciones con Conjuntos

1. Involución. 8. Identidad.
T
(Ac )c = A A U =A
S
2. Idempotencia. A φ=A
T
A A=A A△∅=A
S
A A=A 9. Absorción
T
3. Conmutatividad. A φ=φ
T T S
A B=B A A U =U
S S
A B=B A 10. Propiedad *
T S
4. Asociatividad. A (A B) = A
T T T T S T
(A B) C = A (B C) A (A B) = A
S S S S
(A B) C = A (B C) 11. Propiedad **
T S T
5. Distributividad.
T S T S T A (Ac B) = A B
A (B C) = (A B) (A C) S T S
S T S T S A (Ac B) = A B
A (B C) = (A B) (A C)
12. Propiedades de Complemento.
T
6. De Morgan. A Ac = φ
T S
(A B)c = Ac B c S
S T A Ac = U
(A B)c = Ac B c T
A Bc = A − B
7. A − A = ∅; A − ∅ = A; ∅ − A = ∅
13. A − B = (A ∪ B) − B = A − (A ∩ B)

La SanSi Centro de Enseñanza

Dir. Av. Oquendo entre Ladislao Cabrera y Calama