Se me presenta la siguiente expresssion: que deseo lógicamente reducir a:
La única área que no estoy seguro acerca de está mostrando que la cuantificación universal es distributiva sobre la conjunción, tan trivial como parece. Más bien, no estoy seguro de dónde encontrar teoremas o lemas relacionados con el tema. La teoría de texto de que esto viene proporciona ningún conocimiento y la lógica introductoria texto que tengo también no tocar el asunto, al menos en mucho detalle.