Mathematical Logic

This cheat sheet covers the high school math concept – Mathematical Logic.

This cheat sheet will particularly cover deductive logic or deductive reasoning (as opposed to inductive reasoning). Deductive logic is the process of reasoning from one or more statements ( called the premises) to reach a logically certain conclusion.

Here is an example:

All men are mortal. (Premise 1)

Socrates is a man. (Premise 2)

Therefore, Socrates is mortal. (Conclusion)

If all the premises are true and the terms are clearly defined, and the rules of deductive logic are followed, then the conclusion reached must be true.

Here is another example:

If an angle P satisfies 0° < P < 90°, then it is an acute angle.

P = 20°.

P is an acute angle.

Here’s one last example:

If it is snowing, then there are clouds in the sky.

There are no clouds in the sky.

Thus, it is not snowing.

This one page PDF covers summarised theory and the most important formulas related to the concept. Keep it handy while you’re revising the concept, especially before an exam.