So I just got out of my intro to logic final at UMass and there was one question I just couldn't solve, and I'd like to know how. Anyways, here it is, 1. ∀xFx V ∀xGx 2. Show: ∀x(Fx V Gx) I did 90% of the exam in a half hour, then spent the next hour on this alone and couldn't really get that close. Anyways, just really curious how you'd go about doing it. Thanks.