<logic> A proposition whose internal structure does not interest us; hence a proposition whose internal structure we do not make visible in our notation. Notation: p, q, r, etc.
[Glossary of First-Order Logic]
<2001-03-16>
Try this search on OneLook / Google