In the remainder of this , we will discuss a logical language called . It provides a convenient way to describe the logical relationship between two (or more) assertions, by using capital letters to represent assertions. Considered only as a symbol of , the letter A could mean any assertion. So, when translating from English into , it is important to provide a symbolization key that specifies what assertion is represented by each letter.
The name of the logical language and the symbol type A is supposed to be are never specified.
Based upon 1.4, the name is probably supposed to be 'propositional logic.'