What is formal logic?

Formal logic is reasoning with conditionals, chains, and quantifiers using strict rules.

It is the if-then machinery: contrapositives, conditional chains, and some/most inferences.

Formal logic questions reward diagramming. Translate the words into arrows, then read the answer off the diagram.