truth values

The glossary is being gradually proof checked, but currently has many typos and misspellings.

In most logics propositions can take one of two values 'true' or 'false'; these are called truth values.

Used in Chap. 2: pages 14, 15