Definition:Symbolic Logic