<logic> A wff A of propositional logic created from a wff B of predicate logic by (1) removing the quantifiers from B, and (2) replacing each predicate symbol (and its arguments) in B with a propositional symbol. Notation: B^prop = p.
[Glossary of First-Order Logic]
Try this search on OneLook / Google