law of distribution of universal quantifier in relation to disjunction

• 全称量词对析取的分配率