LÓGICA Y

TEORÍA DE
CONJUNTOS
TABLAS DE PERTENENCIA

P 𝑷𝒄

x  
x  
PERTENENCIA PARA LA UNIÓN

P Q PQ
x   
x   
x   
x   
PERTENENCIA PARA LA INTERSECCIÓN

P Q PQ
x   
x   
x   
x   
PERTENENCIA PARA DIFERENCIA DE
CONJUNTOS

P Q P–Q
x   
x   
x   
x   
RELACIÓN ENTRE TABLAS
DE VERDAD

TABLAS DE PERTENENCIA
COMPLEMENTO DE UN CONJUNTO Y LA NEGACIÓN
DE UNA PROPOSICIÓN

TABLA DE PERTENENCIA TABLAS DE VERDAD

CONJUNTOS PROPOSICIONES

P 𝑷𝒄 P P
x   V.V. V F
x   F V
TABLA DE PERTENENCIA TABLAS DE VERDAD

CONJUNTOS PROPOSICIONES

P Q P∪Q P Q P˅Q
   V V V
   V F V
x V.V.
   F V V
   F F F

UNIÓN DE CONJUNTOS Y DISYUNCIÓN DE

PROPOSICIONES
TABLA DE PERTENENCIA TABLAS DE VERDAD

CONJUNTOS PROPOSICIONES

P Q P∩Q P Q P˄Q
   V V V
   V F F
x V.V.
   F V F
   F F F

INTERSECCIÓN DE CONJUNTOS Y CONJUNCIÓN

DE PROPOSICIONES
 TODAS ESTAS EQUIVALENCIAS PERMITEN
EMITIR EL SIGUIENTE RESULTADO:

Dada una proposición compuesta, si se puede

determinar su expresión equivalente en teoría de

conjuntos, la tabla de pertenencia generada

ofrece información equivalente a la tabla de

verdad de la proposición respectiva.

 EQUIVALENCIAS BÁSICAS ENTRE
PROPOSICIONES Y TEORÍA DE CONJUNTOS

PROPOSICIÓN TEORÍA DE CONJUNTOS

P 𝑃𝑐
PQ PQ
PQ PQ
P→ Q 𝑃𝑐  Q
DEMOSTRACIÓN FORMAL DE LA IGUALDAD
DE CONJUNTOS

Diagramas de Venn.

Dos conjuntos son iguales si, al establecer su

respectivo diagrama de Venn, ambos determinan

las mismas zonas en el diagrama.

EJEMPLO
Demuestre que:

(P  Q)  R = (P  R)  (Q  R)

P Z1 Q
Z2 Z3

Z5
Z4 Z6

Z7 R Z8
 RESULTADO
Si un razonamiento lógico planteado de la
forma [P1  P2  P3 … ] → C es llevado a su
equivalente expresión en Teoría de
Conjuntos, su validez se puede determinar
de las siguientes dos formas:
1. TABLA DE PERTENENCIA.

Elaborar una tabla de pertenencia de la proposición

compuesta, traduciéndola al lenguaje de teoría de
conjuntos.

Si dicha expresión siempre cumple con mantener la

pertenencia, equivale a que en la tabla de verdad
siempre se obtenga el valor Verdadero, lo que
equivaldría a que la expresión es una tautología.
Para analizar el siguiente razonamiento por medio de
tabla de pertenencia:
1. P1
2. P2
3. P3
C
(𝑃1 ˄ 𝑃2 ˄ 𝑃3 ) → C
Es equivalente a ~ 𝑃1 ˄ 𝑃2 ˄ 𝑃3 ˅ C
(~𝑃1 ˅ ~𝑃2 ˅ ~𝑃3 ) ˅ C
En lenguaje de
conjuntos: 𝑃1𝑐 ∪ 𝑃2𝑐 ∪ 𝑃3𝑐 ∪ C
EJEMPLO
Analizar el siguiente razonamiento por medio de
tabla de pertenencia:
1. P→Q
2. P ᴧ R
RᴧQ
 (𝑃 ∩ 𝑄𝑐 ) ∪ (𝑃𝑐 ∪ 𝑅𝑐 ) ∪ (𝑅 ∩ 𝑄): M

P Q R 𝑃𝑐 𝑄 𝑐 𝑅 𝑐 𝑃 ∩ 𝑄𝑐 𝑃𝑐 ∪ 𝑅 𝑐 𝑅∩𝑄 M
2. DIAGRAMAS DE VENN.

Verificar, mediante un diagrama de Venn, que

todas las zonas delimitadas por

𝑃1 ∩ 𝑃2 ∩ 𝑃3 ∩ ⋯

son parte de las zonas delimitadas por el

conjunto Ҫ.
1. ~P ˅ Q
2. P ᴧ R
RᴧQ