Conjuntos y proposiciones lógicas