Formal logic uses formal system to represent logic where concrete expressions are replaced with symbols. It is only concerned with the abstract structure of the argument instead of the concrete content.

For example,

All Sanitisers have Alcohol. Ross is a Sanitiser. Ross has Alcohol.

All S have A. R is a S. R has A.

Formal logic uses formal-language to express and analyse arguments.

References

  1. Formal Logic Wikipedia