Predicate logic mathematics not being correct-: Removing implications

Top