Lógica y teoría de conjuntos

P
x  
x  

TABLAS DE PERTENENCIA
 P Q PQ
x   
x   
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
 TABLAS DE VERDAD

TABLAS DE PERTENENCIA
TABLA DE PERTENENCIA TABLAS DE VERDAD
CONJUNTOS PROPOSICIONES

P P P
x   VV V F
x   F V

COMPLEMENTO DE UN CONJUNTO Y LA
NEGACIÓN DE UNA PROPOSICIÓN
 UNIÓN DE CONJUNTOS

DISYUNCIÓN DE PROPOSICIONES
INTERSECCIÓN DE CONJUNTOS

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.
POR EJEMPLO:
Determinar la proposición equivalente a:
(A v B)  (~Q) en teoría de conjuntos y
mediante la tabla de pertenencia respectiva,
deducir el valor de verdad para el caso
particular en que A es falsa, B es verdadera y
Q verdadera.
PROPOSICIONES BÁSICAS

TEORÍA DE CONJUNTOS PROPOSICIÓN

P
PQ PQ
PQ PQ
Q P Q
PROPOSICIONES BÁSICAS
TEORÍA DE CONJUNTOS PROPOSICIÓN

P
PQ PQ
PQ PQ
Q P Q

(A v B)  (~Q)=
(A  B) 
C: (A v B)  (~Q): (A  B) 

A B Q AB (A  B) 
∉ ∉
∉
∉ ∉ ∉
∉ ∉
∉ ∉ ∉
∉ ∉
∉ ∉ ∉ ∉
∉ ∉ ∉
 DEMOSTRACIÓN FORMAL DE LA
IGUALDAD DE CONJUNTOS

Diagramas de Venn

Demostración por pertenencia

simultánea
 EJEMPLO
DEMUESTRE QUE
1.-) (P  Q)  R = (P  R)  (Q  R)

2.-)
 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. Diagrama de Venn.
2. Tabla de pertenencia.