Learning Outcomes

Logic and Reasoning

Modus Ponens, Tollens and Resolution Refutation

Skolemization, Prolog and Reasoning Approaches

Lesson Summary

This module will help you get a basic understanding of different logical concepts, logic languages, and reasoning. You will learn about propositional and predicate calculus. Also, you will discover different reasoning approaches and theorem proving by resolution refutation.

Logic, Reasoning and Resolution Refutation - Course Assessment

Learn how to apply logic and reasoning through resolution refutation in this free online critical thinking course.

Logic, Reasoning and Resolution Refutation

‘Logic’ is the scientific study of reasoning. While logic is significant in many fields, including philosophy and mathematics, it is especially crucial to computer science and is sometimes called the ‘calculus of computer science’. This course lays out the computational elements of logic, especially its applications in terms of databases. Sign up to hone your critical thinking skills and learn how to apply them in practical computer science.

Udemy Appoints McKinsey Veteran as CEO Amid Growth Challenges

Udacity’s 2021: Year in Review

15 Best Lisp Courses for 2025

9 Best Cinema 4D Courses for 2025: Navigating the 3D Universe

Best CSS Layout Courses for 2025

The Business of Online Education: A Deep Dive Into Thinkific’s Financials

6 Best Cyber Threat Intelligence (CTI) Courses in 2025

freeCodeCamp’s Responsive Web Design (Free) Certification Is Out of Beta

7 Best Kubernetes Courses for 2025

The Rise of AI Search: ChatGPT Surpasses DuckDuckGo, Threatens Bing

After Academia and Finance, Coursera Turns to Amazon for its Next CEO

8 Best Crochet Courses for 2025: Practical, Enriching, Creative

Coursera Announces Layoffs, Stock Plunges Despite $100M Milestone

262K Courses, 833M Enrollments: Breaking Down Udemy’s Massive Catalog

7 Best Free Haskell Courses for 2025

Udemy’s Fourth Leadership Exit of 2025: CMO Genefa Murphy Resigns