ABSTRACT
From the point of view of those issues of validity that interest logic, and treating of propositions as a whole, this compound proposition may be fully represented by the following:
p stands in place of ‘Sarah is standing on her head’
q stands in place of ‘Fish have bad tempers’
and then writing it as:
This is the form of the compound proposition, and that is all that matters to logic. So this can now stand in place of all propositions with that form. The content is drained out of it. The content is irrelevant, and symbols make sure we are not distracted by the content. There is no more mystery to using symbols in logic than that.
