Virtually all working mathematicians would agree with me that you aren't doing anything sensible in real world terms when you don't specify a well-formed domain of discourse upon which to apply discrete formal logic. Try it on a mathematician or 6 in your neighborhood, see if any of them are unfamiliar with the phrase "well-formed domain of discourse".
You better look up your math prof's office hours--you've got a long way to go.