Description: If A. x ph is affirmed, ph cannot be denied. Identical to sp .
See ax-frege58b and frege58c for versions which more closely track the
original. Axiom 58 of Frege1879 p. 51. (Contributed by RP, 28-Mar-2020)(Proof modification is discouraged.)