Describir: Demostracion formal por etapas de la formula [X (i pertenece I) ~ A [(i pertenene I) U{i}xBi]