Hi, I am Suman Mathews, math educator. I hope to help you understand First Order Logic, which is an easy, yet ,tricky part of Discrete Mathematics which is also part of College Mathematics. I can help you understand College Mathematics by breaking down complex topics into bite sized lectures.

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.

Master Logical Puzzles: Identify the Odd Man Out and Syllogism problems. Learn about Decision Variables and Conjunctive and Disjunctive Normal Form. These are used in AI.

I hope this course helps you. Would you care to help any of your fellow students who need help in Logic, by sharing details of this course.  Once again, thank you and hoping to see you in the course.

Looking forward to hearing from you!