symbolic logic vs formal logic

symbolic logic and formal logic both are nouns.

Word	Noun	Adjective	Verb	Adverb
symbolic logic	Yes	No	No	No
formal logic	Yes	No	No	No

As nouns, symbolic logic and formal logic are synonyms defined as:

symbolic logic and formal logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

Other synonyms of symbolic logic include mathematical logic.

symbolic logic (noun)	formal logic (noun)
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity	any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity