Presumed knowledge
There aren't really any prerequisites for this course.
Course overview
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.
Learning outcomes
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 behavior of all logical operators with natural language.
 What is negation, disjunction, conjunction, implications and biimplication, 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 firstorder 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.
Table of contents
Propositional Logic
2 hrs 2 mins 8 chaptersDescription:In this unit, we'll discover the most fundamental area of logic, which is believed to be the foundation of logic — propositional calculus. We'll work with propositions, see how to combine them using logical operators, how to draw truth tables for given propositional expressions, how to work with implications, how to work with propositional equivalences and so on. We'll also discover one very famous set of equivalences named after the British mathematician, Augustus De Morgan.
Predicate Logic
42 mins 4 chaptersDescription:In this unit, we shall unravel the ideas behind predicate calculus, which is the next step after propositional calculus. We'll discover what are predicates and how to combine them with given objects to create propositions. We'll then see what are quantifiers and how to use them to express a huge variety of statements in logic.
Frequently asked questions

What if I get stuck somewhere in the course?
If you're having a hard time understanding a given concept in the course, feel free to reach out to us via our email
mail@codeguage.com
, describing the issue you're facing. We'll try our level best to help you out. 
Some important topics are missing from the course. Why is that so?
Our courses are released while they are still under construction so that our learners can get early previews. As we continuously work on adding more and more content to our courses, if a given topic isn't covered today, there's a high chance that it's already under way and will show up very soon. You can follow us on Twitter to be updated with our latest content releases.

How can I ask any general questions related to the course's content?
Write to us at
mail@codeguage.com
.
Share your experience
Empower others and help shape new learning journeys!
We are really glad to know that our immense effort on creating this and other suchlike courses got you here. We believe that your insights regarding this course can inspire and guide others on their learning path. We'd really love to hear about your viewpoint on the course and how it helped you improve your skills.
The best part is that you get to post the review from your own Instagram or Twitter account, while mentioning CodeGuage in your post. The process to follow is really simple:
 Write about your experience of a given course and how it helped you in levelling up your skills.
 Include the
@codeguage
handle in your post. (That's important!)  Include the
#SkilledUpWithCodeGuage
hashtag in your post.
And that's it! It's that simple.
We sincerely thank you for being an integral part of our community and helping us shape a brighter future for aspiring programmers and mathematicians.
Together, let's build a community of learners. Happy learning! 🙂
Why this course?

Free of cost
No need to buy any subscriptions, make any payments, or create any accounts. All the content is available for free.

Wellstructured
Content throughout the course is organized in a chronological fashion, ensuring a clear and intuitive learning experience.

Simple to understand
Everything is explained in plain and concise words, right from the perspective of an absolute beginner.

Detailed explanations
Certain concepts require a pretty deep insight. Fortunately, we provide all that insight in easy words.
*The durations mentioned on this page are merely an estimate; the actual time completing the underlying topic/course would obviously be much greater.