Introduction to Logic

Propositional Vocabulary

A propositional vocabulary is a set of propositional constants.