Universal Introduction and Quantifier Exchange Rules Overview Universal Introduction English Example The Logical Mechanics Quantifier Exchange Rules Examples An example Take…