Definition:Characteristics of Symbolic Logic