El Conectivo Lógico ∧ y la Intersección de Conjuntos

Dadas dos proposiciones p y q, la proposición p ∧ q se lee ''p y q''. Esta proposición es verdadera solamente cuando las dos proposiciones que la componen son simultáneamente verdaderas. La proposición es falsa en todos los otros casos.

La relación equivalente a ésta en la teoría de conjuntos, es la intersección. Dados dos conjuntos A y B, se forma el conjunto intersección, escrito AB, tomando todos los elementos que pertenecen simultáneamente a ambos conjuntos. Se tiene, por lo tanto, que:

AB = x : x ∈ A y x  B }

El diagrama de Venn que se utiliza para representar la intersección de conjuntos aparece en la siguiente figura:.

Conjunto AB


La Lógica y la Teoría de Conjuntos

Cantor define conjunto como una colección determinada de diversos objetos reales o imaginarios, y que se denominan elementos del conjunto. ...