In classical logic, with its intended semantics, the truth values are true (1 or T), and untrue or false (0 or ⊥); that is, classical logic is a two-valued logic.
Propositional variables become variables in the Boolean domain.