Symbolic-logic
noun
1.
a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules.
symbolic logic
noun
1.
another term for formal logic
Read Also:
- 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 […]
- Symbolics
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.
- Symbolise
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 […]
- Symbolises
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 […]