Académique Documents
Professionnel Documents
Culture Documents
520145
Conceptos primitivos
Proposición
Conectivos lógicos
Tipos de proposiciones
p q
V V
V F
F V
F F
Negación (∼)
TABLA DE VERDAD
p ∼p
V F
F V
Conjunción (∧)
TABLA DE VERDAD.
p q p∧q
V V V
V F F
F V F
F F F
Disyunción (∨)
TABLA DE VERDAD
p q p∨q
V V V
V F V
F V V
F F F
Lógica y Conjuntos 7. FCFM.UdeC.
Lógica
Condicional (→)
Condicional (→)
TABLA DE VERDAD
p q p→q p q p↔q
V V V V V V
V F F V F F
F V V F V F
F F V F F V
Bicondicional (↔)
Definiciones varias
Implicación lógica
Equivalencia lógica
• ∼ (∼ p) ⇔ p (doble negación)
• p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r (asociatividad de ∨)
• p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r (asociatividad de ∧)
• p ↔ (q ↔ r) ⇔ (p ↔ q) ↔ r (asociatividad de ↔)
• p ∧ (q ∨ r) ⇔(p ∧ q) ∨ (p ∧ r)
(distributividad de ∧ con respecto a ∨)
• p ∨ (q ∧ r) ⇔(p ∨ q) ∧ (p ∨ r)
(distributividad de ∨ con respecto a ∧)
Función proposicional
Conjunto de validez
Negaciones importantes
• ∼ ( ∀ x ∈ A : p(x) ) ⇔ ( ∃ x ∈ A : ∼ p(x) )
• ∼ ( ∃ x ∈ A : p(x) ) ⇔ ( ∀ x ∈ A : ∼ p(x) )
• ∼ ( ∃! x ∈ A : p(x) ) ⇔
( ∀ x ∈ A : ∼ p(x) ) ∨ ( ∃ x ∈ A, ∃ y ∈ A, x 6= y :
p(x) ∧ p(y) )
Teoremas y demostraciones
– Directo: P1 ⇔ P2 y P2 ⇔ P3 .
– Usando transitividad. Mostrar que:
P1 ⇒ P2 , P2 ⇒ P3 , y P3 ⇒ P1 .
• Discreto: ∀n ∈ N : p(n)
Método de demostración: Inducción Matemática.
Proposición 1:
N := { 1, 2, 3, · · · } (Números naturales)
A ⊆ B ⇐⇒ (∀x ∈ U : x ∈ A ⇒ x ∈ B)
A=B ⇐⇒ (A ⊆ B) ∧ (B ⊆ A).
B ∈ P(A) ⇐⇒ B ⊆ A.
A − B := { x ∈ U : x∈A ∧ x 6∈ B }
(También se escribe A \ B ).
Ac := U − A = { x ∈ U : x 6∈ A }
• ∀x ∈ U : x ∈ A ∨ x ∈ Ac
• φc = U ∧ Uc = φ • A ∪ Ac = U
• (Ac )c = A • A ∩ Ac = φ
A ∩ B := { x ∈ U : x∈A ∧ x∈B}
A ∪ B := { x ∈ U : x∈A ∨ x∈B}
• A ∪ (B ∪ C) = (A ∪ B) ∪ C (asociatividad de ∪)
• A ∩ (B ∩ C) = (A ∩ B) ∩ C (asociatividad de ∩)
• A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) (distributividad )
• A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) (distributividad )
A × B := { (a, b) : a∈A ∧ b ∈ B }.
Por ejemplo,
Card(A) = Card({2, 4, 6, 8} = 4.
Además,
Propiedades
|A∪B∪C| = |A|+|B|+|C|−|A∩B|−|A∩C|−|B∩C|+|A∩B∩C| .