The Logical Song

or: a series of propositions which I'm going to ask you to accept