## Things To Know

### What is this course about?

Mathematical logic is one of the fundamental topics in discrete mathematics. In fact, it's used in building the foundation of all mathematics, in general.

It is the science of reasoning, intuition; all done symbolically. Having its roots back in the time of the ancient Greeks, mathematical logic has evolved enormously over the years.

What we know today is a very sophisticated, formal system to work with reasoning.

Understanding mathematical logic is of immense importance if you ought to understand mathematical proofs — how to use given knowledge to derive new things; how to switch between conditionals and their contrapositives to simplify proof work; and so on.

### What will you learn in this course?

In this course, you'll develop the skills to reason and work with statements in mathematics and English, convert them into logical expressions, and assert new statements.

Specifically, by the end of this course you will know:

- The history of mathematical logic — where it all began; which logicians played a big role in the formalisation of logic and so on.
- What is propositional calculus, also known as propositional logic; how to use it in expressing simple declarative sentences.
- What is the difference between atomic and compound propositions, and that how to simplify working with propositions using propositional variables.
- What are logical operators, also known as logical connectives, and how to use them in combining different propositions together into one single propositions. Moreover, you'll be able to relate the behaviour of all logical operators with natural language.
- What is negation, disjunction, conjunction, implications and bi-implication, and how to represent each of these operations symbolically.
- What are truth tables, and how to use them to evaluate the truth value of a given proposition in all possible cases; to understand the semantics of given operators; to check whether given propositions are always true, or always false; and so on.
- What are valuation and interpretation functions, and how can they used to formally define propositional satisfiability and validity.
- The different variations of a given implication — inverse, converse and contrapositive — and that which variation conveys the same meaning as the original implication statement.
- The concept of propositional equivalences, which is vital in simplifying given propositions by removing long expressions with equivalent shorter expressions. You'll also know what are the two laws of De Morgan, along with many other simple laws.
- What is predicate calculus, also known as predicate logic, or as first-order logic.
- What are predicates and how are they the foundational concept of predicate calculus.Moreover, you'll know how to combine predicates with given subjects using propositional functions.
- What are quantifiers and how are they used extensively throughout mathematics to assert something regarding a group of objects. You will be familiar with the two most common quantifiers — universal quantifier and existential quantifier.
- How to combine, two or more quantifiers together to express many statements otherwise not capable of being expressed with single quantifiers.

### Why should you take this course?

Doing a quick Google search on mathematical logic courses yields quite a few options to consider. Ok, let's be practical — there are numerous options to consider. Given so many options, you might think why should you opt for this course.

Well, let's see why...

- First of all, this course on propositional logic is free, unlike some courses out there that although teach well, but are behind the prerequisites of payments and subscriptions.
- Secondly, this course is crafted such that anyone with no prior knowledge of logic can understand it, and benefit from it at a practical level. We have made the course starting from the very beginning i.e. the history of logic, which we feel serves as a good foundation in students learning propositional logic.
- There are exercises and practical-level examples for every aspect explored in the course. Since we are learning logic, we aim to explain everything from its point of intuition. For instance, in explaining what is a disjunction, we lay out quite a few sentences from natural language and ask you to reason when exactly would you say that the given statement is true. Based on natural intuition, you would then be able to better relate to the meaning of disjunction in logic.
- Even if you're not a math guy, learning propositional logic has its applications in computer science. It's used in AI, ML and many other areas of computing. Although the way these applications utilise logic is more involved, the basics are nonetheless the same and so you could benefit from learning them.