a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules.
another term for formal logic
- Symbolic mathematical laboratory
tool, mathematics An on-line system under CTSS for symbolic mathematics. It used a display screen and a light pen. [Sammet 1969, p.514]. (1995-04-16)
- Symbolic mathematics
mathematics, application (Or “symbolic math”) The use of computers to manipulate mathematical equations and expressions in symbolic form, as opposed to manipulating the numerical quantities represented by those symbols. Such a system might be used for symbolic integration or differentiation, substitution of one expression into another, simplification of an expression, change of subject etc. One […]
noun, (used with a singular verb) 1. the branch of theology dealing with the study of the history and meaning of church creeds and confessions.
verb (used with object), symbolized, symbolizing. 1. to be a symbol of; stand for or represent in the manner of a symbol. 2. to represent by a symbol or symbols. 3. to regard or treat as symbolic. verb (used without object), symbolized, symbolizing. 4. to use symbols. verb 1. (transitive) to serve as or be […]