1.3.5. Relación entre la Teoría de Conjuntos y la Lógica Proposicional.

Existe una relación muy estrecha entre la Teoría de Conjuntos y la Lógica Proposicional.
Para mostrar dicha relación, denotemos con letras mayúsculas A,B ...  los conjuntos y  con los correspondientes minúsculas a,b ... sus  propiedades características  (es decir, la proposición lógica que  caracteriza a los elementos de cada conjunto); entonces se tiene la  siguiente correspondencia:

Además, el conjunto vacío se corresponde con una contradicción y el  conjunto universal con una tautología.