There are some set of logical expressions which we accept as true and upon which we can build a set of useful theorems. These sets of...