truth-functional compound proposition

<logic> a compound proposition whose truth-value can be determined solely on the basis of the truth-values of its components and the definitions of its connectives.

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google