Definition:Symbolic Logic

Symbolic logic is the study of logic by means of symbols representing the logical forms of statements.