Propositional Variables

Tags

logic

Are [see page 32, variables] used to stand for propositions in propositional logic.