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.

10 Best Critical Thinking Courses for 2026: From Problems to Decisions

2U/edX Implements Another Round of Layoffs Amid Ongoing Financial Struggles

Coursera Q1 2026: Platform Fee Raises Consumer Margins to a Multi-Year High, Enterprise Customers Slip

Duolingo’s Reddit Community Revolts: ‘No Más’ to Unpaid Support

Stanford Medicine Offers Courses with Free Certificate & CME Credit

20 Most Cited Research Papers on MOOCs

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

2025’s Online Education Shakeup Claims Another: Skillshare’s CEO Departs

9 Best Quilting Courses for 2026: Turn Fabric Scraps Into Heirlooms

White-Labeling in Online Education: Whose Credential Is It Anyway?

Udemy Q4 2025: First Profitable Year Ends in a Loss

6,000+ Online Courses from California Community Colleges: A New Search Tool by Class Central

Open edX Conference 2026: Program, Workshops & Registration

200K Layoffs, $100B Lost: The Tsunami of China’s Regulation on Education

The Business of Online Education: Khan Academy Tax Returns Analysis (2008–2021)

Harvard and MIT’s $800 Million Mistake: The Triple Failure of 2U, edX, and Axim Collaborative