<logic> a proposition that is part of a compound proposition. A component may itself be compound. For example, p is a component in p => q, and p => q is a component in (p => q) v r.
[Glossary of First-Order Logic]
<2001-03-16>
Try this search on OneLook / Google