symbolic logic

Definitions

The study of logical reasoning using symbols and formal systems rather than ordinary language.

Examples

We used symbolic logic to analyze the argument.

Symbolic logic represents statements with symbols.