What is another word for symbolic logic?
[ sɪmbˈɒlɪk lˈɒd͡ʒɪk], [ sɪmbˈɒlɪk lˈɒdʒɪk], [ s_ɪ_m_b_ˈɒ_l_ɪ_k l_ˈɒ_dʒ_ɪ_k]
Related words: logic, propositional logic, first order logic, propositional calculus, first order calculus, symbolic logic, predicate logic, boolean logic, second order logic
Table of Contents
Synonyms for Symbolic logic:
n.• formal logic (noun)
Other synonyms:• Other relevant words (noun):
How to use "Symbolic logic" in context?
Symbolic logic, also known as formal logic, is a branch of logic that deals with precise representations of logical formulas in the form of symbols. Aristotelian logic, which enjoyed considerable popularity in the Islamic world during the medieval era, was based on symbols. In contrast, modern symbolic logic is based on the principle of propositional equality, which states that for all propositions p and q, p = q. The symbols of symbolic logic are usually formalized as strings of symbols each of which represents a term or a proposition. The operations of symbolic logic are represented by the rules of inference.
Word of the Day