Teórica II - Conjuntos: Tablas de

verdad, producto cartesiano

Conjuntos - Tablas de verdad

• AC : Negación ¬
• A ∪ B : Disyunción no exclusiva ∨
• A ∩ B : Conjunción ∧
• A △ B : Disyunción exclusiva ⊻
• A ⊆ B : Implicación ⟹ 
• A = B : Bi-implicación ⟺ 

Tablas de verdad

Proposición
Es una afirmación que es o bien verdadera o bien falsa.

Negación: Conjunción:

p ¬ p p q p∧q
V ​ F ​ ​ V F F
F V F ​ V ​ F ​ ​

V V V
F F F

Disyunción no excluyente: Disyunción excluyente:

p q p∨q p q p⊻q
V F V V F V
F ​ V ​ V ​ ​ F ​ V ​ V ​ ​

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

Implicación: Bi-implicación: Mar Mar 25, 2021

Es lo mismo que (¬p) ∨ q 

Mar Mar 25, 2021

Es lo mismo que (p \implies q) \land (q
\implies p)
 p q p ⟹ q p q p ⟺ q
V F F V F F
F ​ V ​ V ​ ​ F ​ V ​ F ​ ​

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

Demostraciones
Directa Contrarrecíproca Por el absurdo

P ⟹ Q ¬Q ⟹ (¬P ) ¬[P ∧ (¬Q)]

Producto cartesiano

DEF:
Sean A, B conjuntos,

A × B = {(x, y) ∈ R2 : x ∈
A, y ∈ B}

• Son pares ordenados, xes el primer elemento del par y pertenece a A, y es el segundo
elemento del par y pertenece a B . Entonces:
 A×B 
=B×A

Propiedades
Sea A ⊆ U, B ⊆ V

• A × ∅ = ∅ = B × ∅ • A × B ⊆ U × V
• Convención: A × A = A2  • (A × B)C 
= AC × B C 

• Si A =B
 = ∅entonces A × B 
= B × A

Sean A1 , A2 , ..., An conjuntos

​ ​ ​

A1 × ... × An = {(x1 , ..., xn ) ∈ Rn : x1 ∈ A1 , ..., xn ∈ An }

​ ​ ​ ​ ​ ​ ​ ​