Change of Quantifier (Predicate Calculus)
April 3, 2014 3:27 am
A description of the four versions of the Change of Quantifier Rule in Predicate Calculus (100 Days of Logic).