Due to the rapid development of modern network data, the existing algorithms for generating association rules can bring in a number of redundant rules which are far greater than the actual value of the rules. The redundant rules not only affect user analysis, but also reduce the utilization of the association rules. In order to eliminate the redundant rules, we propose a method for removing redundant association rules of business data based on the first order predicate formula, which uses the first order predicate formula to represent the association rules through the conversion of the equivalent formula. And the predicate formula is converted to the adjacency matrix by using the algorithm and the matrix equivalence, and the redundant association rules are deleted. Experimental raw data is from the UCI data set, the association rules are generated by Weka, and then the redundant rules are removed by Java and MATLAB.