You're talking about formal proof system, and I was talking about formula satisfaction in structures.. But equivalent formulas for any structure are equivalent formulas in the formal system. (And conversely, thanks to the completness theorem (Gödel, 1930)).

Has your system 3 original axioms and 2 deduction rules? (plus the predicate calculus tautologies)