A truth-function of a proposition p is a proposition containing p and such that its truth or falsehood depends only upon the truth or falsehood of p , and similarly a truth-function of several propositions p , q , r , … is one containing p , q , r , …
20