symbolic logic in English

noun
1
the use of symbols to denote propositions, terms, and relations in order to assist reasoning.
He proposes that Boole's symbolic logic and Leibniz's work on language prefigured the development of computers, and complemented capitalism's imperative towards abstraction.

Use "symbolic logic" in a sentence

Below are sample sentences containing the word "symbolic logic" from the English Dictionary. We can refer to these sentence patterns for sentences in case of finding sample sentences with the word "symbolic logic", or refer to the context using the word "symbolic logic" in the English Dictionary.

1. For Contraposition in the field of symbolic logic, see Transposition (logic).

2. However, because of the abstruse symbolic logic and complex formula catastrophe theory is seldom used for the research of bridge construction project optimization.

3. George Boole, English mathematician who helped establish modern symbolic logic and whose algebra of logic, now called Boolean algebra, is basic to the design of digital computer circuits