Udemy
    •  
    •  
    •  
    •  
    •  
    •  
    •  
    •  
Subscribe
Turn what you know into an opportunity and reach millions around the world.
Learn More
Your cart is empty.
Keep shopping
How is Mathematical Logic used?
Rating: 4.0 out of 5(1 rating)
10 students

How is Mathematical Logic used?

Also learn Quantified Statements: From Everyday Language to Propositional Logic
Created bySuman Mathews
Last updated 3/2026
English

What you'll learn

  • You will learn the introduction to Mathematical Reasoning and Logic.
  • Learn about the laws of logic, truth tables and more
  • Get acquainted with the concept of NAND and NOR
  • Bonus-Learn about quantifiers and laws of inference
  • Bonus- You'll learn about Quantified statements and how to find their negation
  • Practice writing the negations of Quantified statements using a simple trick
  • You'll learn Logical Puzzles such as Cracking the Code and Syllogism techniques

Course content

11 sections • 11 lectures • 1h 23m total length

  • Introduction1:10

    Learn fundamental logical operations, including conjunction, disjunction, conditional and truth tables, and master converse, inverse, and contrapositive, with nand and nor applications in discrete math and computer science.

  • Logic : A basic understanding5:51

    Explore the basics of mathematical logic, defining statements, negation, conjunction, disjunction, implication, and if and only if, with truth tables and practical examples.

Requirements

  • Basic knowledge of mathematics

Description

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!



Who this course is for:

  • Computer Science students, mathematics students at the college level

Report abuse