What is the meaning of Formal_logic?

Mathematical logic.

A particular logical calculus.

Source: wiktionary.org