Definition:Depend
From ProofWiki
Definition
A statement $q$ depends upon another statement $p$ if the truth value of $q$ is influenced (in some way) by that of $p$, but is not necessarily implied by that of $p$.
Some authors prefer rests on for depends upon.
Sources
- E.J. Lemmon: Beginning Logic (1965): $\S 1.2$
