Before revision: Formal logic Formal logic is also known as symbolic logic and is widely used in mathematical logic.
After revision: concept analysisFormal logic Formal logic is also known as symbolic logic and is widely used in mathematical logic.