## Foundations of Mathematical Logic Course

Mathematical Logic is extensively used in Computer Science. The course introduces you to **basic terminology of Logic**. You'll learn about negation, conjunction, disjunction, implication, bi conditional and how to calculate the truth tables for each.

Learn about the **laws of Logic** next. You'll also come to understand the difference between a tautology and a contradiction. Realise how important the laws of logic are when it comes to problem solving.

You'll be introduced to the laws of Duality and the concept of **NAND and NOR.** How NAND and NOR are inverses of each other is also explained. The course proceeds to explain the laws of inference.

**Understand the terms**

Conjunctive Simplification

Disjunctive Amplification

Syllogism

Modus Pones

Modus Tollens and more.

Use these and more, to test the **validity of a statement**. You'll also be introduced to quantifiers, open statements and how to calculate the truth value of an open statement. You are introduced to the rules of Logic which connect universal and existential quantifiers.

Learn about Quantified statements and how to calculate their negation. Practice writing the **negations **of Quantified statements with a simple trick.

Also Master Logical Puzzles: Identify the **Odd Man Out and Syllogism problems.**

## Comments