DEMOSTRACIONES

Sin Con una inclusión en el

antecedente consecuente
Demostraciones a
nivel de elementos A  A B
Con una igualdad en el
consecuente
A   B  C    A  B  C
Con Demostrar a partir del
antecedente 1er miembro de la tesis
y C  A  B  C  B   A
consecuente
Desarrollar la hipótesis
completa hasta llegar a
la tesis
A B    A  B
Demostraciones Utilizando propiedades
conjuntistas básicas de conjuntos
demostradas previamente
 Demostraciones a nivel de elementos

Sin antecedente Con una inclusión en el consecuente

A  A B
Demostración:

x : x  A  x  A  x  B  x  A  B
Propiedad p  p  q , definición de unión
 Demostraciones a nivel de elementos

Sin antecedente Con una igualdad en el consecuente

A   B  C    A  B  C

Primera inclusión: x : x  A   B  C   x   A  B   C

Segunda inclusión:
x : x   A  B   C  x  A   B  C 
 x : x  A   B  C  
: x  A  x   B  C  
: x  A   x  B  x  C  
:  x  A  x  B   x  C 
: x   A  B   x  C 
 x   A  B  C
definición de intersección
definición de intersección
asociatividad de 
definición de intersección
definición de intersección
Con antecedente y consecuente realizando
la demostración a partir del primer
miembro de la tesis.

C  A  B  C  B   A
x : x   C  B  
 x C  x  B 
 x   A  B  x  B 
  x  A  x  B  x  B 
  x  A  x  B   x  B  x  B 
  x  A  x  B  F 
 x A xB  x A
Con antecedente y consecuente desarrollando la
hipótesis completa hasta llegar a la tesis.

A B    A  B
A B   
 x : x   A  B  
 x :   x   A  B   
 x :   x  A  x  B  
 x : x  A  x  B 
 x : x  A  x  B  
 A B
 Demostraciones conjuntistas.

 A  B    A  B    B  A   A  B 

 A  B   A  B 
    
 A A  A B  B  A  B  B   
    A  B    B  A  
  A  B    B  A
  B  A   A  B 