任何一个包括全称量化析取式都可以用这个全称量词管辖整个析取式来取代,反之亦然,即:（)。