The Foundation of Reasoning

Logic is the skeleton of all mathematics. Every proof, every algorithm, every scientific argument follows the same rules. At its core, logic asks one question: if certain things are true, what must follow?

The simplest logical structure is the conditional: if P, then Q. If it rains, the ground gets wet. If a number is divisible by 10, it ends in zero. These "if-then" chains are the building blocks of every proof and every line of computer code.

Logic does not tell you what to believe. It tells you what your beliefs commit you to — and that is what makes it powerful.