For the purpose of propositional logic, propositions are (almost) atomic black-boxes: They have names and definitions, but their names are just atomic symbols in the logic syntax, and their ...