Math Goodies Glossary

Symbolic logic is a treatment of formal logic in which a system of symbols is used to represent quantities and relationships.