ABSTRACT

We have adopted the practice of representing tenns by upper case letters. For example, we represent the compound term 'gentleman and scholar' as '<+G+S>'. By convention, we use lower case for statement letters. For example, we may let 'a' stand for 'roses are red'. We now show how to represent compound statements such as 'roses are red and violets are blue' in algebraic notation.