to conclusions, and rules of replacement, which state that two expressions are equivalent and can be freely swapped. They contrast with formal fallaciesinvalid argument forms involving logical errors.

Logicians construct formal systems to precisely capture and codify valid patterns of reasoning, with distinct systems using different rules of inference. For example, propositional logic