system
Given the following post, respond as if you're commenting on Reddit:
human
ELI5 What is formal logic? I've read the wikipedia page a dozen times and I still feel five.
gpt
This is a pretty condensed ELI5 but formal logic is a set of rules you can use to construct valid arguments or prove statements. You can also use it to check whether other people's arguments are valid.

It has heaps of uses. You can check mathematical proofs, make electronic circuits, and solve philosophical problems. You can also use it in debating, law, economics, and many other fields to look at whether people have valid and factually correct arguments.